Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·5d
🔓Decompilation
German State of Schlesiwg-Holstein Migrates To FOSS Groupware. Next Up: Linux OS
linux.slashdot.org·14h
🐧FOSS
Dev Services for Spring Boot Using Arconia
thomasvitale.com·21h·
Discuss: Hacker News
🔌Archive APIs
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·17h·
Discuss: Hacker News
🎮Gameboy Emulation
C++ Reflection and Qt MOC
wiki.qt.io·3d·
Discuss: Hacker News, r/cpp
🧩WASM Modules
I have seen the compounding teams
sundaylettersfromsam.substack.com·1d·
Discuss: Substack
⚔️Lean Tactics
Organizations, Like Code, Deserve Refactoring
robbyonrails.com·2d·
Discuss: Hacker News
🔄Language Evolution
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·4d·
💿ZFS Internals
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to·15h·
Discuss: DEV
Circuit Archaeology
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
100 Poisoned Examples Can Hijack Any AI Model (Even GPT-4-Scale LLMs)
dev.to·2d·
Discuss: DEV
Proof Automation
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·4d·
Discuss: DEV
💧Liquid Types
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
Proof Automation
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·2d
💻Local LLMs
Every Line of Code Is a Philosophy in Disguise
dev.to·2d·
Discuss: DEV
⚖️Emulation Ethics
The Rise of Reactive Backends That Adapt in Real Time
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·2d·
Discuss: DEV
🌊Apache Kafka
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·20h·
Discuss: r/golang
💧Liquidhaskell