How Capacitor Works
🌐Browser Compilers
Flag this post
Strange prescriptions
languagelog.ldc.upenn.edu·2h
🔗Concatenative Theory
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
🛡️Security Type Systems
Flag this post
MoorTech
tomasbjartur.bearblog.dev·23h
📚Self-Documenting Code
Flag this post
New Turn-Based RPGs To Play – November 8, 2025
turnbasedlovers.com·1h
💬Interactive REPLs
Flag this post
Recording System Audio is hard, but with Microphone, it's even harder to get it right.
🌉Cross-Platform FFI
Flag this post
just use rustup
kivikakk.ee·4d
⚙️TOML Parsers
Flag this post
Plugin for julia Workflow in nvim
🔄Incremental Lexing
Flag this post
Self hosting setup help for a beginner
🔄Bootstrapping
Flag this post
HACI: A Haptic-Audio Code Interface to Improve Educational Outcomes for Visually Impaired Introductory Programming Students
arxiv.org·1d
🎓Educational Compilers
Flag this post
Lemonade's C++ port is available in beta today, let me know what you think
💬Smalltalk VMs
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔓Decompilers
Flag this post
Thoughts on Building Reliable Systems
🚂Error Propagation
Flag this post
I’m so tired on this AI copilot BS
🛡️Error Ergonomics
Flag this post
Loading...Loading more...