Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
✓Automated Theorem Proving
The Great Refactor
ifp.org·1h·
Discuss: Hacker News
🔬Static Analysis
Structured (Synchronous) Concurrency
fsantanna.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Building a Regex Engine
abstractsyntaxseed.com·49m·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
You Can Build Better AI Agents in Java Than Python
medium.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
how to resolve a halting paradox
academia.edu·12h·
Discuss: r/programming
🔄Finite State Machines
Lisp in 99 Lines of C With TinyLisp
hackaday.com·11h
⚙️PL Implementation
Carter2099/dsa.rb: A CLI test suite for implementations of core Ruby algorithms
github.com·1h·
Discuss: Hacker News
🧪Property-Based Testing
Working with Asynchronous Coding Agents
elite-ai-assisted-coding.dev·23h·
Discuss: Hacker News
👁️System Observability
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·22h·
Discuss: Hacker News, Hacker News
🏹Effect Systems
A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·2h·
Discuss: Hacker News
🐫Embedded OCaml
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·9h
🐫OCaml
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Overview of Complex System Design
arxiv.org·2d
📡Network Protocol Design
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.org·1d
🔬Static Analysis
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·1d
✓Automated Theorem Proving
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·47m·
Discuss: Hacker News
🐫Embedded OCaml
Beyond AI Models: Data Platform Requirements for Agentic AI
thenewstack.io·1d
🖥️Self-hosted Infrastructure
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
Why Is This Hard?
programmersstone.blog·15m·
Discuss: Lobsters, Hacker News
🔬Static Analysis