PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·1d
🎭Program Synthesis
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·7h·
Discuss: Lobsters, Hacker News, r/programming
🔓Binary Exploitation
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·5h·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post
User Experience Is Computation
madebynathan.com·14h·
Discuss: Hacker News
🗃️Zettelkasten
Flag this post
How JavaScript Works: The Runtime Environment
linkedin.com·1d·
Discuss: DEV
🎯WASM Runtime
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·4d·
Discuss: Hacker News
⚡Tokio
Flag this post
A brief guide for those who slept (on AI) the last two years
github.com·1h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·13m·
Discuss: Hacker News
✅Property Testing
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·13h·
Discuss: r/rust
🦀Rust Macros
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·4d·
Discuss: Substack
🦀Rust Async
Flag this post
Process Bottleneck Breakthrough: AI-Powered Outcome Prediction
dev.to·14h·
Discuss: DEV
🚀Performance
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·21h·
Discuss: r/programming
📏Linear Types
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·16h·
Discuss: Lobsters, Hacker News
⚙️Systems Programming
Flag this post
Building Faster, Smarter APIs in Python with Async I/O
dev.to·2d·
Discuss: DEV
⚡FastAPI
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·2h·
Discuss: r/rust
🔀SIMD Programming
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·6h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·11h·
Discuss: Hacker News
🦀Rust Macros
Flag this post