A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·21h
📝Term Rewriting
Lessons from building an AI data analyst
pedronasc.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🧮Lambda Calculus
Lively Linear Lisp (1992)
plover.com·23h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·11h·
Discuss: r/programming
🩹Self-Healing Systems
Cyclic Implicit Complexity
arxiv.org·21h
🐫OCaml
Breaking Verifiable Abstractions
alperenkeles.com·13h·
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·6h·
Discuss: Hacker News
🧩Parser Combinators
The Paradigm
nonint.com·4h·
Discuss: Hacker News
📚Automata Learning
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·16h·
Discuss: Hacker News
👁️System Observability
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The limits of ChatGPT: a week of interaction and AI research
marktarver.com·3d·
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·21h
🩹Self-Healing Systems
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·10h·
Discuss: Hacker News
📚Automata Learning
Use Bayes rule to mechanically solve probability riddles
cloud.disroot.org·21h·
Discuss: Hacker News
✓Automated Theorem Proving
ORCA: ORchestrating Causal Agent
arxiv.org·21h
⚙Operational Semantics
OmniCloudMask: Cloud and shadow segmentation for satellite imagery
github.com·9h·
Discuss: Hacker News
🐫OCaml