🐪 OCaml GADTs

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

Transitive Dependency Version Resolution in Rust and Java: Comparing the Two
hackernoon.com·1d
📦Dependency Analysis
Clean Design, Strong Client: The way of the Elasticsearch's Java SDK
dev.to·1d·
Discuss: DEV
🔧API Design
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·7h
🎯99-Line Tools
Automated Contractual Dispute Resolution via Hybrid Symbolic-Probabilistic Reasoning for Ship Brokering
dev.to·2h·
Discuss: DEV
📈Earley Parsing
Very cool work from Meta Superintelligence Lab.
threadreaderapp.com·11h
🏰Capability Machines
A Developer's Guide to Negative API Testing
blog.dochia.dev·15h·
Discuss: Hacker News, r/programming
🛡️Error Ergonomics
Sneaky Code Bites Back
architecture-weekly.com·15h·
Discuss: r/programming
📡Protocol Buffers
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·20h·
Discuss: DEV
🎭Racket
D&D.Sci: Serial Healers [Evaluation & Ruleset]
lesswrong.com·7h
💬Interactive REPLs
Speeding Up NestJS Tests with DB Transactions
medium.com·10h·
Discuss: Hacker News
🧪Compiler Testing
LingoDB – Data Processing with Compiler Technology
lingo-db.com·2d·
Discuss: Hacker News
🗃️Query Compilation
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
Malicious fezbox npm Package Steals Browser Passwords from Cookies via Innovative QR Code Steganographic Technique
socket.dev·13h
🛡️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
Rhizomes and the Roots of Efficiency—Improving Prio
eprint.iacr.org·11h
🧮Combinator Calculus
original ↗
redblobgames.com·1d
🚪Escape Hatch
Mastering RAG: Precision from Table-Heavy PDFs
pub.towardsai.net·14h
🗂️Term Indexing
Lets Be Real: Its Time to Ditch `any` for `unknown` in TypeScript
dev.to·15h·
Discuss: DEV
🔧API Design