🐪 OCaml GADTs

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

Is Better Auth the key to solving authentication headaches?
blog.logrocket.com·1d
🎮Language Ergonomics
Fixing Deus Ex's Lip Syncing
joewintergreen.com·1d·
Discuss: Hacker News
🔄Incremental Lexing
Compositor 0.3 for Windows
compositorapp.com·3d·
Discuss: Hacker News
📝Rope Editors
XCSSET evolves again: Analyzing the latest updates to XCSSET’s inventory
microsoft.com·2d·
Discuss: Hacker News
💻Terminal Control
Explicit Memory Reclamation in Scala
systemf.epfl.ch·4d
🗑️Garbage Collection
Can you vibe code features in a complex SaaS app?
reflag.com·1d·
Discuss: Hacker News, r/programming
🎮Language Ergonomics
How LLMs Work: Top 10 Executive-Level Questions
sloanreview.mit.edu·3d
🗺️Region Inference
Design Twice and Trust in What You Do
medium.com·2h·
Discuss: Hacker News, r/programming
🧱First Principles
Bulk Ingestion of Congressional Actions and Materials Dataset
nature.com·1d
🌳Tree Diffing
90 Days of Code: Day 17 — Building a Number Memory Game in Python
dev.to·2d·
Discuss: DEV
💬Interactive REPLs
How PropHero built an intelligent property investment advisor with continuous evaluation using Amazon Bedrock
aws.amazon.com·1d
🔄Incremental Parsers
How to Build a Minesweeper CLI Game in Node.js (Part 2/3)
dev.to·2d·
Discuss: DEV
💻Terminal Control
Achilles' Heel of Mamba: Essential difficulties of the Mamba architecture demonstrated by synthetic data
arxiv.org·4d
🔍ML Language
DragOSM: Extract Building Roofs and Footprints from Aerial Images by Aligning Historical Labels
arxiv.org·4d
📈Earley Parsing
Medical priority fusion: achieving dual optimization of sensitivity and interpretability in nipt anomaly detection
arxiv.org·4d
✨Effect Inference
Beyond for loops: Mastering Python's Iterators and Generators
dev.to·2d·
Discuss: DEV
🌲Deforestation
Serverless AI: EmbeddingGemma with Cloud Run
dev.to·2d·
Discuss: DEV
🌙Lua
Mitigating Strategy-Selection Bias in Reasoning for More Effective Test-Time Scaling
arxiv.org·4d
🧪Parser Testing
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·4d·
Discuss: DEV
🪢Rope Data Structures
NUMINA: A Natural Understanding Benchmark for Multi-dimensional Intelligence and Numerical Reasoning Abilities
arxiv.org·4d
🏗️MLIR