🎨 GADTs

Generalized ADTs, Type Equality, Phantom Types, OCaml

"Green Llama" did not just beat Cascade Platinum Plus
foxchapelresearch.substack.com·8h·
Discuss: Substack
🐳Containerization
Flag this post
A new paradigm for programming: graph oriented programming
kmx.io·22h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Models Matter
cybadger.com·2h·
Discuss: Hacker News
🏔️Domain Theory
Flag this post
Storybook 10
storybook.js.org·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·3d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
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·10h·
Discuss: r/artificial
🍎Apple
Flag this post
From Dataset to DataFrame to Deployed: Your First Project with Pandas & Scikit-learn
kdnuggets.com·9h
📐Linear Algebra
Flag this post
CodeMachine-CLI: How I Learned to Stop Worrying and Let AI Write My Entire Codebase
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Measuring the Intrinsic Dimension of Earth Representations
arxiv.org·2d
🕸️Graph Theory
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·3d
⚙️Compiler Design
Flag this post
Markerless Augmented Reality Registration for Surgical Guidance: A Multi-Anatomy Clinical Accuracy Study
arxiv.org·2d
📐Linear Algebra
Flag this post
Ripple – the elegant TypeScript UI framework
github.com·1d·
Discuss: Hacker News
🏢Jane Street Core
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·1d·
Discuss: DEV
🐳Containerization
Flag this post
From Measurement to Expertise: Empathetic Expert Adapters for Context-Based Empathy in Conversational AI Agents
arxiv.org·1d
📚Automata Learning
Flag this post
Temporal Fusion Transformer for Multi-Horizon Probabilistic Forecasting of Weekly Retail Sales
arxiv.org·3d
📚Automata Learning
Flag this post
Addressing divergent representations from causal interventions on neural networks
arxiv.org·17h
🏹Effect Systems
Flag this post
Okay so I forked someone's project and now it's completely different 😅
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
Knowledge Graph for Intelligent Generation of Artistic Image Creation: Constructing a New Annotation Hierarchy
arxiv.org·1d
🕸️Graph Theory
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·4d
📐Linear Algebra
Flag this post