🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

An overview of memory management in Go (2021)
medium.com·13h·
Discuss: Hacker News
🧠Memory Allocators
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·20h·
Discuss: r/programming
⚡Cache Coherence
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·20h·
Discuss: Substack
💻Programming languages
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
Hands-On With Antigravity: Google’s Newest AI Coding Experiment
thenewstack.io·17h
✨Effect Handlers
Flag this post
Trying Out C++26 Executors
mropert.github.io·11h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Build your own cursor
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.com·14h·
Discuss: www.blogger.com
⚡Circuit Archaeology
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🦀Rust Borrowing
Flag this post
Thankful for Memory Managed Languages
mooreds.com·12h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Weekly Update 479
troyhunt.com·2h
🔒Privacy Archives
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Letting coding agents access runtime output (my current approach)
foundinglean.substack.com·6h·
Discuss: Substack
👁️System Observability
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.com·2d
🐚Bash Monads
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Windows ARM64 Internals: Deconstructing Pointer Authentication
preludesecurity.com·8h·
Discuss: Lobsters, Hacker News
👑RISC-V Privilege
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Flag this post