🎯 GADT

Generalized Algebraic Data Types, Type Safety, Phantom Types

Open Catalyst Project
opencatalystproject.org·9h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·1d·
Discuss: Hacker News
📝Nix Language
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
❄️Nixified Development
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post
The Useful Personal Computer
technicshistory.com·1h·
Discuss: Hacker News
💾Retro Computing
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
reddit.com·20h·
Discuss: r/programming
🌐ActivityPub
Flag this post
GIL and Race Condition in Python
dev.to·10h·
Discuss: DEV
⏰Timed Automata
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·4d·
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
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.com·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Mitre ATT&CK v18 released
medium.com·12h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·9h·
Discuss: Hacker News
📚Automata Learning
Flag this post
My first day in Rust
reddit.com·2d·
Discuss: r/rust
🔬Static Analysis
Flag this post
Smaller Surfaces
nrempel.com·17h·
Discuss: Hacker News
💎Refinement Types
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·2d·
Discuss: Hacker News, r/cpp
λFunctional Programming
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Graph RAG vs SQL RAG
towardsdatascience.com·1d
🧠Automated Reasoning
Flag this post