Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·23h·
🐍Python
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·21h·
🐍Python
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·2d·
🐍Python
Flag this post
Linking and shrinking Rust static libraries: a tale of fire
centricular.com·5h·
🐍Python
Flag this post
The Verge’s favorite holiday gifts under $100
theverge.com·39m
☸️kubernetes
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·4d·
🐍Python
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·2d·
🐍Python
Flag this post
You Should Write An Agent
fly.io·1d·
🤖AI
Flag this post
React-Native-Godot
github.com·4d·
🐍Python
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·3d·
Discuss: Substack
🐍Python
Flag this post
A File Format Uncracked for 20 Years
landaire.net·22h·
🐍Python
Flag this post
Pain Points of OCaml
quamserena.com·3d·
🐍Python
Flag this post
Using XDP for Egress Traffic
loopholelabs.io·1d·
☸️kubernetes
Flag this post
Error Codes for Control Flow
matklad.github.io·1d·
🐍Python
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·2d·
🐍Python
Flag this post
I Use Typst Now
christopherbiscardi.com·14h·
🐍Python
Flag this post
Self-hosting your Mastodon media with SeaweedFS
it-notes.dragas.net·1d·
☸️kubernetes
Flag this post
A Security Model for Systemd
lwn.net·1d·
☸️kubernetes
Flag this post
Man Pages (Part 1)
abochannek.github.io·21h·
🤖AI
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·6d·
🐍Python
Flag this post