PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
🧩Parser Combinators
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
λFunctional Programming
Flag this post
Bosses said I had to learn agentic coding, so I made an open source zombie survival game that uses reinforcement learning
reddit.com·20h·
Discuss: r/programming
🔲Cellular Automata
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·4h
⏱️Computational Complexity
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1h·
Discuss: Hacker News
👁️System Observability
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·5h·
Discuss: Substack
⚡Process Calculi
Flag this post
Nonmonotonic Logic
cambridge.org·5d·
Discuss: Hacker News
🔁Fixpoint Theory
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
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·1d
🧮SMT Solvers
Flag this post
Rouille – Rust Programming, in French
dev.to·1d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·4h·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
How to design effective agent workflows?
boliv.substack.com·23h·
Discuss: Substack
💎Refinement Types
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·17h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
My Wishlist for PHP in 2026
stitcher.io·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·2d
➡️Category Theory
Flag this post
LLM-generated text is not testimony
lesswrong.com·4h
⏳LTL
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post