Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
arxiv.org·1d
🎯Performance Proofs
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·3h·
Discuss: Hacker News
📝Concrete Syntax
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·13h
🧮Algebraic Datatypes
Systematic AI Development: A Demo Project Breakdown
dev.to·8h·
Discuss: DEV
⚡Proof Automation
The Illusion of Thinking
mjtsai.com·10h
🧮SMT Solvers
Programming Vehicles in Games
wassimulator.com·12h·
Discuss: Lobsters, Hacker News
🎯Emulator Accuracy
Uncertain⟨T⟩
nshipster.com·14h·
Discuss: Hacker News
🧪CBOR Fuzzing
TreeView - A Go module for building, navigating, and displaying hierarchical data in the terminal.
github.com·1d·
Discuss: r/golang
🌳Incremental Parsing
How to draw lambda diagrams (2020)
risingentropy.com·13h·
Discuss: Hacker News
λLambda Formalization
Determinism
theprogrammersparadox.blogspot.com·8h·
Discuss: theprogrammersparadox.blogspot.com
🐚Shell Calculus
Programming Language Escape Hatches
buttondown.com·1d·
Discuss: Hacker News
🦀Rust Macros
Automated Brake Onset Detection in Naturalistic Driving Data
arxiv.org·22h
🌀Differential Geometry
Codeminer42 Dev Weekly #71
blog.codeminer42.com·9h
🌀Brotli Internals
GA and RL and prompt-driven agents
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Issue 719
iosdevweekly.com·1d
🌀Brotli Dictionary
Migrating to AI SDK v5: A Story of Tool Streaming, Caching, and Type Safety
braingrid.ai·3h·
Discuss: Hacker News
🔌Interface Evolution
Top 5 Python Libraries Every Control Engineer Should Know
dev.to·8h·
Discuss: DEV
✨Algebraic Effects
Real-time Feature Generation at Lyft // Rakesh Kumar // #334
podcasters.spotify.com·7h
📊Count-Min Sketch
When to use model distillation in production
inference.net·1d·
Discuss: Hacker News
💻Local LLMs
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·3d·
Discuss: Hacker News
🔗Functional Compilers