A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
📝Term Rewriting
Lessons from building an AI data analyst
pedronasc.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Testing the not-so-happy path
jorgeortiz.dev·2h·
Discuss: r/rust
🧪Property-Based Testing
Time's arrow => decision theory
lesswrong.com·3h
➡️Category Theory
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·20h·
Discuss: r/programming
🩹Self-Healing Systems
Cyclic Implicit Complexity
arxiv.org·1d
🐫OCaml
Breaking Verifiable Abstractions
alperenkeles.com·21h·
Discuss: Hacker News, r/programming
🔍Formal Verification
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·15h·
Discuss: Hacker News
🧩Parser Combinators
There's a gap between AI coding demos and daily reality
github.com·2h·
Discuss: Hacker News
🤖Program Synthesis
The Paradigm
nonint.com·13h·
Discuss: Hacker News
📚Automata Learning
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
The limits of ChatGPT: a week of interaction and AI research
marktarver.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Need a automation specialist asap can pay
reddit.com·6h·
Discuss: r/programming
🤖Program Synthesis
Test-Driven Development Is Stupid
geometrian.com·1h·
Discuss: Hacker News
🧪Property-Based Testing
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Embedding MicroHs
thma.github.io·3d
🐫OCaml
DynaMark: A Reinforcement Learning Framework for Dynamic Watermarking in Industrial Machine Tool Controllers
arxiv.org·1d
🩹Self-Healing Systems
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming