Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·1d·
Discuss: Hacker News
⚙️RISC-V Microcode
From Prompt to Pipeline: Large Language Models for Scientific Workflow Development in Bioinformatics
arxiv.org·23h
🦀Rust Macros
Laurence Tratt: Which Parsing Approach?
tratt.net·17h·
Discuss: r/programming
📝Parsing Grammars
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·4h·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
Structured Parsing Is the Key to Making LLMs Work on Large Codebases
hackernoon.com·8h
🌳Incremental Parsing
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·7h
🛡️Proof-Carrying Archives
Building great SDKs
newsletter.pragmaticengineer.com·12h
🔌Interface Evolution
Bun, WASM and Rust Projects with GitHub Actions
vectronic.io·9h·
Discuss: Hacker News
🦀Rust Macros
AI Coding Assistants Are the New Compilers
marmelab.com·12h·
Discuss: Hacker News
🦀Rust Macros
How JIT builds of CPython work
savannah.dev·5h·
Discuss: Hacker News
📝Concrete Syntax
A Developer’s Guide to Go’s Garbage Collection: Mastering the Tri-Color Algorithm
dev.to·1h·
Discuss: DEV
🧠Memory Allocators
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·9h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Cactus Language • Pragmatics 5
inquiryintoinquiry.com·12h
📐Format Grammars
Achieving Early Wins in Generative AI
cacm.acm.org·9h
📋Document Grammar
InNative – Run WebAssembly Outside the Sandbox at 95% Native Speed
innative.dev·3d·
Discuss: Hacker News
🕸️WebAssembly
Understanding why deterministic output from LLMs is nearly impossible
unstract.com·1d·
Discuss: Hacker News
🎯Performance Proofs
From XML to JSON to CBOR
cborbook.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📋Document Grammar
Playing with open source LLMs
alicegg.tech·20h·
Discuss: Hacker News
🌀Brotli Internals
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·23h
🧮SMT Solvers
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·7h·
Discuss: Hacker News
🧮Theorem Proving