Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·1d·
Discuss: Hacker News
🔧Binary Parsing
The Ternary Manifesto
homepage.cs.uiowa.edu·11h
📝Concrete Syntax
Advent of Code: Libraries
elly.town·22h
🔒Type Safety
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·18h
⚔️Lean Tactics
Semantic Dictionary Encoding
falvotech.com·2d·
Discuss: Hacker News
🌀Brotli Dictionary
WebSocket Turbo Intruder: Unearthing the WebSocket Goldmine
portswigger.net·9h
🧪Protocol Fuzzing
JDK 25 LTS Released with TLS Key Exporters, Improved Debugging
linuxiac.com·1h
🛡️CBOR Security
Understanding legacy application rewrite vs. refactor tradeoffs
testdouble.com·22h
🔄Language Evolution
Golang Interfaces are easy
dev.to·7h·
Discuss: DEV
🌐Protocol Synthesis
Cap'n Proto - structured data serialziation format
capnproto.org·2d
📋Protocol Buffers
Compiling with Continuations
swatson555.github.io·18h·
Discuss: Hacker News
💻Programming languages
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.com·12h·
Discuss: Hacker News
🎯Interactive Provers
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
[$] Comparing Rust to Carbon
lwn.net·1d
🦀Rust Borrowing
PSA: `views::single` doesn’t really view
quuxplusone.github.io·1d
🧮Algebraic Datatypes
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Cve-2025-43330: breaking out of a sandbox using font files
bsssq.xyz·6h·
Discuss: Hacker News
🧬Bitstream Evolution
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·17h·
Discuss: r/programming
📏Code Metrics
libicns v0.8.1 Heap Buffer Overflow in libicns ICNS Parsing (icns2png)
seclists.org·1d
✅Format Verification
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·6h·
Discuss: Hacker News
🎯Gradual Typing