🐪 OCaml GADTs

Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

Building a Chat Interface: From Components to Conversation
dev.to·4h·
Discuss: DEV
🔗Lexical Scoping
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·2h
🎯99-Line Tools
Very cool work from Meta Superintelligence Lab.
threadreaderapp.com·6h
🏰Capability Machines
Clean Design, Strong Client: The way of the Elasticsearch's Java SDK
dev.to·1d·
Discuss: DEV
🔧API Design
A Developer's Guide to Negative API Testing
blog.dochia.dev·10h·
Discuss: Hacker News, r/programming
🛡️Error Ergonomics
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharp
hornetnode.org·1h
📡Binary Protocols
Sneaky Code Bites Back
architecture-weekly.com·10h·
Discuss: r/programming
📡Protocol Buffers
Enhanced Acoustic Anomaly Detection for Underwater Mine Countermeasures via Multi-Modal Fusion & Bayesian Filtering
dev.to·7h·
Discuss: DEV
📊Log Parsers
D&D.Sci: Serial Healers [Evaluation & Ruleset]
lesswrong.com·2h
💬Interactive REPLs
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·16h·
Discuss: DEV
🎭Racket
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·2d
📋S-Expression
Speeding Up NestJS Tests with DB Transactions
medium.com·5h·
Discuss: Hacker News
🧪Compiler Testing
Github Repository for Top LLM Datasets
analyticsvidhya.com·1d
🔍ML Language
Let's look at the structure of Vec<T>
marma.dev·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
Ray Marching a Blob in 3D
4rknova.com·2h·
Discuss: Hacker News
🔍Lens Libraries
LingoDB – Data Processing with Compiler Technology
lingo-db.com·2d·
Discuss: Hacker News
🗃️Query Compilation
Malicious fezbox npm Package Steals Browser Passwords from Cookies via Innovative QR Code Steganographic Technique
socket.dev·9h
🛡️Parser Security
Type safe GADT in Kotlin - who needs Haskell?
hacklewayne.com·4d
🔍Refinement Types
Object Orientation [2013 !]
jackrusher.com·2d·
Discuss: Hacker News
💬Smalltalk VMs
Mastering RAG: Precision from Table-Heavy PDFs
pub.towardsai.net·9h
🗂️Term Indexing