🐪 OCaml GADTs

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

Free Visual JSON Schema Builder – Generate, Validate & Export Schemas Instantly
jsonpost.com·5h·
Discuss: r/javascript, r/reactjs
📋JSON Parsers
Organic memcapacitor-based neural network for diverse signal recognition
sciencedirect.com·13h
⚡Control Synthesis
GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·3d
📏Linear Haskell
BusyBeaver(5) is now known to be 47,176,870
scottaaronson.blog·1d
🧮Combinator Calculus
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·2d·
Discuss: Hacker News
🌊Streaming Lexers
Pancreatic cancer risk prediction using sequential models
cell.com·6h·
Discuss: Hacker News
✨Effect Inference
Libghostty Is Coming
mitchellh.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/neovim, r/programming
💻Terminal Emulators
The Coyier CSS Starter
frontendmasters.com·9h
✨Code Formatters
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·2d·
Discuss: Hacker News
🎯99-Line Tools
tRNA modification profiling reveals epitranscriptome regulatory networks
academic.oup.com·12h·
Discuss: Hacker News
📋JSON Parsing
MM-Spatial: Exploring 3D Spatial Understanding in Multimodal LLMs
machinelearning.apple.com·2d
🏗️MLIR
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·2d
🪜Recursive Descent
Building Your Own Data Parser with Docling
dev.to·12h·
Discuss: DEV
🔄Incremental Lexing
Real-time Deer Detection and Warning in Connected Vehicles via Thermal Sensing and Deep Learning
arxiv.org·1d
✨Effect Inference
Full-length protein classification via cysteine fingerprinting in solid-state nanopores
nature.com·18h
🔬Nanopasses
Autonomous Data Agents: A New Opportunity for Smart Data
arxiv.org·1d
🎓Educational Databases
🧠 Basic Algorithm Structures
dev.to·1d·
Discuss: DEV
🤐Zipper Structures
Why ETL Becomes ELT or Even LET?
dev.to·2d·
Discuss: DEV
📋Souffle Datalog
Training-free Truthfulness Detection via Value Vectors in LLMs
arxiv.org·2d
🔍ML Language
Rapid epigenomic classification of acute leukemia
nature.com·1d·
Discuss: Hacker News
✨Effect Inference