🐪 OCaml GADTs

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

Free Visual JSON Schema Builder – Generate, Validate & Export Schemas Instantly
jsonpost.com·2h·
Discuss: r/javascript, r/reactjs
📋JSON Parsers
Organic memcapacitor-based neural network for diverse signal recognition
sciencedirect.com·10h
⚡Control Synthesis
GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·3d
📏Linear Haskell
Enhancing Web Development with Large Language Models: A New Era of User Interaction - Mid-day
news.google.com·11h
🎮Language Ergonomics
Intel XeSS multi-frame generation reference found in driver files
tweaktown.com·21h
🤖Embedded Go
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·2d·
Discuss: Hacker News
🌊Streaming Lexers
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·3d·
Discuss: Hacker News
🔮Clojure
Startup update 20: LLM Zombies
moderndescartes.com·21h
🌳Tree Diffing
Libghostty Is Coming
mitchellh.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/neovim, r/programming
💻Terminal Emulators
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·2d·
Discuss: Hacker News
🎯99-Line Tools
Regexss: Turned into over $6k in Bounties
sec.stealthcopter.com·15h·
Discuss: Hacker News
🛡️Parser Security
MM-Spatial: Exploring 3D Spatial Understanding in Multimodal LLMs
machinelearning.apple.com·2d
🏗️MLIR
Cursed organization ?
i.redd.it·4h·
Discuss: r/godot
💫Effect Systems
Guard Your Rust Code with Tests
dev.to·3d·
Discuss: DEV
🎲Test Generators
WolBanking77: Wolof Banking Speech Intent Classification Dataset
arxiv.org·21h
📊LR Parsing
Your Code is a Minefield: Let's Talk About Kotlin's Sealed Classes
dev.to·2d·
Discuss: DEV
🔀Control Structures
Phase Diagram of Extensive-Rank Symmetric Matrix Denoising beyond Rotational Invariance
journals.aps.org·1d
🧮Linear Algebra
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·1d
🗺️Region Inference
OrthoLoC: UAV 6-DoF Localization and Calibration Using Orthographic Geodata
arxiv.org·21h
🗑️Stack Scanning GC
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·1d
🪜Recursive Descent