🎯 GADT

Generalized Algebraic Data Types, Type Safety, Phantom Types

From Lossy to Lossless Reasoning
manidoraisamy.com·11h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·9h
🛡️macOS Security
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.to·11h·
Discuss: DEV
🌐Network Protocols
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4h·
Discuss: Hacker News
📦OPAM
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·8h
🧠Automated Reasoning
Flag this post
Three Meanings of Reference
sandordargo.com·20h·
Discuss: Hacker News, r/cpp
❓Existential Types
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
You Don't Need Types in Ruby
zhisme.com·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·12h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Chatbots, My Rules of Engagement
christophedujarric.com·7m·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
How I solved nutrition aligned to diet problem using vector database
medium.com·1d·
Discuss: r/LLM, r/programming
📐Linear Algebra
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·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
My first day in Rust
reddit.com·1d·
Discuss: r/rust
🔬Static Analysis
Flag this post