🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Lisp Still Matters
funcall.blogspot.com·1d·
Discuss: Hacker News
⚙️PL Implementation
A new attack reshapes the rules of Bitcoin mining
techxplore.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·1d
🧩Parser Combinators
Run Erlang/Elixir on Microcontrollers and Embedded Linux
grisp.org·15h·
Discuss: Hacker News
🐫Embedded OCaml
New AI Native Language
github.com·6h·
Discuss: Hacker News
🔤DSLs
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
Apertus: An open, transparent, multilingual language model
swisscom.ch·12h·
Discuss: Hacker News
🐫OCaml
Why Kafka and Iceberg Will Define the Next Decade of Data Infrastructure
blog.streambased.io·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Spec-driven development with AI: Get started with a new open source toolkit
github.blog·7h·
Discuss: Hacker News
🤖Program Synthesis
Proper Error Handling for Your Node.js Application
masteringbackend.com·1d·
Discuss: Hacker News
📊Runtime Verification
Chicken Scheme internals: the garbage collector
more-magic.net·4d·
Discuss: Hacker News
🤖Program Synthesis
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
🔧Unikernel Development
Ask HN: Polyglot Mirroring
news.ycombinator.com·1d·
Discuss: Hacker News
🐫OCaml
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·14h·
Discuss: Hacker News
🔄Reproducible Builds
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·1d·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
Mago: Fast linter, formatter, and static analyzer for PHP, written in Rust
mago.carthage.software·11h·
Discuss: Hacker News
🔬Static Analysis
How to log structured JSON in Rust
josevalerio.com·1d·
Discuss: Hacker News
🔬Static Analysis
The MCP Neuron
jontysinai.github.io·5h·
Discuss: Hacker News
📚Automata Learning
Lessons from building an AI data analyst
pedronasc.com·1d·
Discuss: Hacker News
🧠Automated Reasoning