🎯 GADT

Generalized Algebraic Data Types, Type Safety, Phantom Types

Chatbots, My Rules of Engagement
christophedujarric.com·20h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Bold Devlog - October Summary
bold-edit.com·14h·
Discuss: r/programming
🔬Static Analysis
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
to transaction or not to transaction
reddit.com·5h·
Discuss: r/golang
📐Hoare Logic
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·10h·
Discuss: Hacker News
📝Nix Language
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·11h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·15h
❄️Nixified Development
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
➡️Category Theory
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
reddit.com·6h·
Discuss: r/programming
🌐ActivityPub
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Smaller Surfaces
nrempel.com·4h·
Discuss: Hacker News
💎Refinement Types
Flag this post
My first day in Rust
reddit.com·2d·
Discuss: r/rust
🔬Static Analysis
Flag this post
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.io·3d·
Discuss: r/programming, r/reactjs, r/webdev
📝Nix Language
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
A prvalue is not a temporary
blog.knatten.org·1d·
Discuss: Hacker News, r/cpp
λFunctional Programming
Flag this post
Graph RAG vs SQL RAG
towardsdatascience.com·12h
🧠Automated Reasoning
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·11h·
Discuss: Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post