🎯 GADT

Generalized Algebraic Data Types, Type Safety, Phantom Types

MS-DOS Development with GCC
hackaday.com·14h·
Discuss: Hacker News
💾Retro Computing
Flag this post
Chain of Pattern: Rethink
dev.to·7h·
Discuss: DEV
🔤Language Design
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
⚡Process Calculi
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🔍CBMC
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
to transaction or not to transaction
reddit.com·1d·
Discuss: r/golang
📐Hoare Logic
Flag this post
It isn't Easy to Remove the GIL (2007)
artima.com·1d·
Discuss: Hacker News
📝Nix Language
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·11h·
Discuss: Hacker News
🔤Language Design
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
dev.to·16h·
Discuss: DEV
🧮Z3
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·21h
❄️NixOS
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post
Nostr is deceptively tricky to understand
njump.me·4h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·3d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Monster Splash double-hires demo for Apple IIe
deater.net·2h·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Flag this post
MCP standard
dev.to·11h·
Discuss: DEV
💬Mach Messages
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
reddit.com·1d·
Discuss: r/programming
🌐ActivityPub
Flag this post
GIL and Race Condition in Python
dev.to·21h·
Discuss: DEV
⏰Timed Automata
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·4d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post