Generalized ADTs, Type Equality, Phantom Types, OCaml

A new paradigm for programming: graph oriented programming
kmx.io·19h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·4d·
Discuss: Hacker News, r/cpp
🔢Algebraic Data Types
Flag this post
Storybook 10
storybook.js.org·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
Read more
yugabyte.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
OpenAI Model Spec
model-spec.openai.com·1d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·3d·
Discuss: Hacker News
🎯Hindley-Milner
Flag this post
Just dropping something useful I recently found, faceseek.
reddit.com·7h·
Discuss: r/artificial
🍎Apple
Flag this post
The AI Engineer's Guide to Surviving the EU AI Act • Larysa Visengeriyeva & Barbara Lampl • GOTO 25
youtube.com·1d
🛡️Privacy Engineering
Flag this post
Unlock Multi-Domain NLP: Adapt Pre-trained Models Without the Heavy Lifting
dev.to·1d·
Discuss: DEV
🧩Parser Combinators
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Temporal Fusion Transformer for Multi-Horizon Probabilistic Forecasting of Weekly Retail Sales
arxiv.org·3d
📚Automata Learning
Flag this post
Ripple – the elegant TypeScript UI framework
github.com·23h·
Discuss: Hacker News
🏢Jane Street Core
Flag this post
Addressing divergent representations from causal interventions on neural networks
arxiv.org·13h
🏹Effect Systems
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·4d
📐Linear Algebra
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·3d
🧩Parser Combinators
Flag this post
Few-Shot Multimodal Medical Imaging: A Theoretical Framework
arxiv.org·3d
📐Linear Algebra
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·3d
📚Automata Learning
Flag this post