🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

OrgChart: Coding Agent Organizations (Open Source)
gpeake.com·6h·
Discuss: Hacker News
⚙Operational Semantics
New Knot Theory Discovery Overturns Long-Held Mathematical Assumption
scientificamerican.com·7h·
Discuss: Hacker News
➡️Category Theory
High School Student's ChatGPT Trading Bot Is Crushing the Russell 2000
decrypt.co·3h·
Discuss: Hacker News
📚Automata Learning
Optimizing AI Inference with Edge Computing
edgee.cloud·2h·
Discuss: Hacker News
📚Automata Learning
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚙️PL Implementation
Test-Driven Development Is Stupid
geometrian.com·9h·
Discuss: Hacker News
🧪Property-Based Testing
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·9h·
Discuss: Hacker News
🐫Embedded OCaml
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
New AI Native Language
github.com·39m·
Discuss: Hacker News
🔤DSLs
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·6h·
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
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
Benchmarking LLM Codegen for SQL
beekeeperstudio.io·8h·
Discuss: Hacker News
🔄Reproducible Builds
Mago: Fast linter, formatter, and static analyzer for PHP, written in Rust
mago.carthage.software·4h·
Discuss: Hacker News
🔬Static Analysis