ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·23m·
Discuss: Hacker News
👁️System Observability
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·9h·
Discuss: r/programming
🔬Static Analysis
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·3h
🏹Effect Systems
Binding Application in Idris
andrevidela.com·8h·
Discuss: Hacker News
🔠Type-Level Programming
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·14h·
Discuss: r/programming
📦Unikernel Systems
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·9h·
Discuss: Hacker News
💾Retro Computing
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·14h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·19h·
Discuss: Hacker News
🤖Program Synthesis
Galois field instructions on 2021 CPUs
corsix.org·20h·
Discuss: Hacker News
🐫Embedded OCaml
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·14h·
Discuss: Hacker News
🔬Static Analysis
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·14h·
Discuss: Hacker News
🔄Reproducible Builds
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·11h·
Discuss: r/golang, r/programming
🍎XNU Internals
Building Your First ETL Pipeline in Rust
ryuru.com·1d·
Discuss: r/programming
🔬Static Analysis
Realbasic (2000)
joelonsoftware.com·3h·
Discuss: Hacker News
💾Retro Computing
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com·14h·
Discuss: r/programming
🔬Static Analysis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
Full QuickJS Support for Nginx
blog.nginx.org·4h·
Discuss: Hacker News
🌐NetworkProtocols