A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
✓Automated Theorem Proving
Parameters and binding forms should be mutually recursive
samestep.com·6h·
Discuss: Hacker News
🐫OCaml
Fil's Unbelievable Garbage Collector
fil-c.org·20h·
Discuss: Lobsters, Hacker News, r/programming
🔧Unikernel Development
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·1d
🧠Automated Reasoning
Observability’s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.io·1d
👁️System Observability
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·15h·
Discuss: Substack
🐫Embedded OCaml
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🧮Lambda Calculus
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·3h·
Discuss: Hacker News
🔧Unikernel Development
IL-SLAM: Intelligent Line-assisted SLAM Based on Feature Awareness for Dynamic Environments
arxiv.org·1d
🔄Finite State Machines
The capacity limits of moving objects in the imagination
nature.com·4h·
Discuss: Hacker News
🏹Effect Systems
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
The Aider Local Model Experience
hexeditreality.com·5h·
Discuss: Hacker News
🛡️seL4
Protobuffers Are Wrong
reasonablypolymorphic.com·5h·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·7h·
Discuss: Substack
🔧Unikernel Development
The Mighty Simplex
galileo-unbound.blog·3h·
Discuss: Hacker News
🏹Effect Systems
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·1d
🎮Verification Games
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·1d·
Discuss: r/programming
🤖Program Synthesis
InvisiCaps: The Fil-C capability model
fil-c.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving