Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·18h·
Discuss: Hacker News
⚡Proof Automation
Why does my regular expression work in X but not in Y?
unix.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
I wasn't taught Git in school
youtube.com·19h·
Discuss: r/programming
🌳Git Internals
Codanna now supports Go! Instant call graphs, code-aware lookup, zero servers
reddit.com·8h·
Discuss: r/golang
🦀Rust Macros
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·8h·
Discuss: Hacker News
🧪Binary Fuzzing
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·17h
🔗Tailscale
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·8h·
Discuss: Hacker News
⚡Proof Automation
Understanding Bootstrapping: How Go’s Compiler Is Written in Go
dev.to·22h·
Discuss: DEV
🏗️Compiler Archaeology
My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org·2d·
Discuss: Hacker News
💣ZIP Vulnerabilities
Launch HN: BlankBio (YC S25) – Making RNA Programmable
news.ycombinator.com·16h·
Discuss: Hacker News
⚡Incremental Computation
Deep Dive: OpenAI's GPT-OSS
dev.to·6h·
Discuss: DEV
📊Quantization
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.com·1d·
Discuss: Hacker News
🎯Gradual Typing
FFmpeg 8.0 Released
ffmpeg.org·6h·
Discuss: Hacker News
🎬AV1 Encoding
Show HN: Novel GPT-2 sampling and memory architecture
github.com·25m·
Discuss: Hacker News
💎Information Crystallography
Bringing restartable sequences out of the niche
lwn.net·1d·
Discuss: Hacker News
🔩Systems Programming
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Show HN: Implement BLAKE3 with Awk
github.com·20h·
Discuss: Hacker News
🔐Hash Functions
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·1d
💻Local LLMs