Show HN: AI agents running on 2011 Raspberry Pi with pure PHP – no GPU
github.com·9h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·23h·
Discuss: Hacker News
🔨Compilers
Flag this post
A toy model of corrigibility
lesswrong.com·7h
⏰Timed Automata
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·4d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·20h
❄️NixOS
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·14h·
Discuss: Substack
🔀OCaml Multicore
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·1d
🔬Static Analysis
Flag this post
Understanding Debt: AI Coding at Warp Speed Without Flying Blind
blog.namar0x0309.com·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·2d
🔲Cellular Automata
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·5h·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·9h·
Discuss: DEV
📚Automata Learning
Flag this post
Uni-MMMU: A Massive Multi-discipline Multimodal Unified Benchmark
dev.to·1h·
Discuss: DEV
🧮SMT Solvers
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·19h·
Discuss: Hacker News
📚Automata Learning
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·2d
🧮SMT Solvers
Flag this post
Oops, My UUIDs Collided
alexsci.com·2d·
Discuss: Hacker News
🎯GADT
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·9h·
Discuss: Hacker News
🔤Language Design
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post