🐪 OCaml GADTs

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

D5 Render review: a beginner-friendly real-time renderer that surprised me
creativebloq.com·4h
⚡Live Programming
When tracing a job it helps to trace the correct address space.
colinpaice.blog·1d
🔍Execution Tracing
Tungsten Play Incoming — ALM is heating up, but TUNGF could run faster! *wooshing sounds*
i.redd.it·13h·
Discuss: r/smallstreetbets
🔮Speculative Execution
LeCun calls auto-regressive LLMs "doomed" at NYU seminar
ppc.land·1d
🪜Recursive Descent
How Do You Speak Pidgin to a Probability Distribution?
worksonmymachine.ai·1d·
Discuss: Hacker News, r/LLM
🌱Tiny Languages
Styx Emulator Public Release
stumbl.ing·2d·
Discuss: Hacker News
🤖Embedded Go
Unlocking a Million Times More Data for AI
ifp.org·1d·
Discuss: Hacker News
🎭Program Synthesis
Gabriele Bartolini: Run PostgreSQL 18 on Kubernetes Today with CloudNativePG
gabrielebartolini.it·3h
🌱Forth Kernels
How to analyze Git patch diffs on OSS projects to detect vulnerable function/method that were fixed?
reddit.com·10h·
Discuss: r/SoftwareEngineering
📦Package Managers
Show HN: SyGra – Graph-oriented Synthetic data generation Pipeline for LLMs
github.com·2d·
Discuss: Hacker News
📋Tablegen
The Power of Postgres Arrays in Your Supabase Projects
dev.to·9h·
Discuss: DEV
📋Row Typing
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·3d·
Discuss: DEV
🔗Concurrency Primitives
Fundamental Limits of Noncoherent Massive Random Access Networks
arxiv.org·11h
🎯Ring Buffers
An sp-sp2-hybridized molecular carbon allotrope C16 flake
nature.com·15h
🌱Forth Kernels
Disagreements in Reasoning: How a Model's Thinking Process Dictates Persuasion in Multi-Agent Systems
arxiv.org·11h
🔄Subinterpreters
Testing and MicroBenchmarking tool for C++ Code Optimisation
reddit.com·4d·
Discuss: r/cpp
⚡Interpreter Optimization
STL-FFT-STFT-TCN-LSTM: An Effective Wave Height High Accuracy Prediction Model Fusing Time-Frequency Domain Features
arxiv.org·1d
🪜Recursive Descent
NormGenesis: Multicultural Dialogue Generation via Exemplar-Guided Social Norm Modeling and Violation Recovery
arxiv.org·2d
✨Gleam
Lets Be Real: Its Time to Ditch `any` for `unknown` in TypeScript
dev.to·4d·
Discuss: DEV
🔧API Design
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.org·3d
📚Self-Documenting Code