Babelscope
bbenchoff.github.io·3d
🖥Retro Computing
Binary Search in Haskell and Rust
mmhaskell.com·2d
📐Interval Arithmetic
Are You a Software Engineer, or Just an AI Content Paster?
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Types are Transforming Python
spin.atomicobject.com·15h·
Discuss: Hacker News
🎯Gradual Typing
An InfoSec Architect's First Taste of Temporal
supasaf.com·1d·
Discuss: Hacker News
⏰Temporal Logic
Building the Rust Compiler with GCC
fractalfir.github.io·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Windows BSoD to Watson: The Reliability Journey (2022)
hardcoresoftware.learningbyshipping.com·42m·
Discuss: Hacker News
🎮Switch Archaeology
Redis Historical Versions from 2009
github.com·12h·
Discuss: Hacker News
⚡Redis Internals
guile lab notebook: on the move!
wingolog.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Fun with flags: How Compilers Break and Fix Constant-Time Code
arxiv.org·23h·
Discuss: Hacker News, r/programming
🚀Compiler Optimizations
Beyond prompt crafting: How to be a better partner for your AI pair programmer
github.blog·11h
🔗Concatenative Programming
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·23h
⟷Bidirectional Programming
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·8h·
Discuss: Substack
👁️Observatory Systems
Java Criminally Underhyped? Not Back in 1997. (2021)
dylanbeattie.net·1h·
Discuss: Hacker News
🎮Switch Archaeology
FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them
arxiv.org·23h
🐛Fuzzing
Understand CPU Branch Instructions Better
chrisfeilbach.com·3d·
Discuss: Hacker News
🦾ARM Assembly
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·23h
🐛Fuzzing
Making the Solution Fit the Problem
all-things-andy-gavin.com·4d·
Discuss: Hacker News
🦀Rust Macros
Automating Enterprise Applications with Implementation of LLM Frameworks
blog.devops.dev·14h
🔄Language Evolution
I ride AI-hype train
blog-doe.pages.dev·14h·
Discuss: Hacker News
🚀Indie Hacking