🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

How to Avoid Fighting Rust Borrow Checker
qouteall.fun·2d·
Discuss: Hacker News
🧪Property-Based Testing
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚙️PL Implementation
How to Test
matklad.github.io·18h·
Discuss: Hacker News
🧪Property-Based Testing
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Ask HN: Polyglot Mirroring
news.ycombinator.com·19h·
Discuss: Hacker News
🐫OCaml
I built a Debounce vs Throttle Interactive Visual Simulator on my blog
coffeebytes.dev·2h·
Discuss: r/programming
🏹Effect Systems
Inferno Part 2: Let's Make a Cluster
debu.gs·20h·
Discuss: Hacker News
🏠HomeLab
Tripping Around REPL
vlaaad.github.io·20h·
Discuss: Hacker News
🛡️seL4
Analysis of Semantic Communication for Logic-based Hypothesis Deduction
arxiv.org·1d
🧠Automated Reasoning
Breaking Verifiable Abstractions
alperenkeles.com·17h·
Discuss: Hacker News, r/programming
🔍Formal Verification
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·1d
🧠Automated Reasoning
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
How I Solved S3 Write Contention with a Distributed Lock Server
reddit.com·2d·
Discuss: r/programming
🌐NetworkProtocols
Why Kafka and Iceberg Will Define the Next Decade of Data Infrastructure
blog.streambased.io·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·9h·
Discuss: Lobsters
🔧Unikernel Development
Build an AI coding agent in Python
theptrk.com·44m·
Discuss: Hacker News
💎Refinement Types
The Paradigm
nonint.com·9h·
Discuss: Hacker News
📚Automata Learning