🐪 OCaml GADTs

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

Thankful for Memory Managed Languages
mooreds.com·16h·
Discuss: Hacker News
🔗Concatenative Languages
Flag this post
Refined Linear Approximations for ARX Ciphers and Their Application to ChaCha
eprint.iacr.org·2d
🔗Hash Functions
Flag this post
F# 10 features scoped warning suppression
infoworld.com·2d
🌉Cross-Platform FFI
Flag this post
From Swift to Machine Code
dev.to·5d·
Discuss: DEV
🦉Swift Interpreters
Flag this post
The Sacrilegious Coder
medium.com·11h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
How Modality Shapes Perception and Reasoning: A Study of Error Propagation in ARC-AGI
arxiv.org·2d
📈Earley Parsing
Flag this post
Finding duplicated code with tools from your CS course
purplesyringa.moe·6d·
Discuss: Hacker News, r/programming
λLambda Calculus
Flag this post
Claude Loves a Challenge, Bonus Secret Menu Attached. (Ultimate Guide to Claude, from Claude, Saving Face and Rising to the Occasion).
api.anthropic.com·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·18h
🌐WebAssembly
Flag this post
Nested query strings in depth — a complete technical guide
dev.to·1d·
Discuss: DEV
📋JSON Parsers
Flag this post
This Ain't Yer Grandaddy's C (Tricks for Writing Gorgeous C)
spader.zone·3d·
Discuss: Hacker News
🪄C Metaprogramming
Flag this post
Improving/Correcting Godot's Rigid Body Rotational Motion
reddit.com·8h·
Discuss: r/godot
🌊Loop Invariant Motion
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.org·2d
📊LR Parsing
Flag this post
A bit about traits in embedded Rust
blog.igamble.dev·3d·
Discuss: r/rust
🦀MIR Optimization
Flag this post
LLM Council: query multiple LLMs, and asks them to rank each other's work
github.com·1h·
Discuss: Hacker News
🔍ML Language
Flag this post
🚀 Type Alias in TypeScript: Why I Use Them Every Day (And How They Compare to Interfaces)
dev.to·3d·
Discuss: DEV
🔧API Design
Flag this post
Show HN: Lamina – A compiler back end that is not LLVM or Cranelift
github.com·3d·
Discuss: Hacker News
🔧LLVM IR
Flag this post
The Future For Formal Verification
semiengineering.com·4d
✅Configuration Validation
Flag this post
TONL: A New LLM-Friendly Data Serialization Format
github.com·2d·
Discuss: DEV
⚙️TOML Parsers
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·1h·
Discuss: DEV
⚡Partial Evaluation
Flag this post