🎨 GADTs

Generalized ADTs, Type Equality, Phantom Types, OCaml

Apache Arrow’s Final Frontier: Replacing Outdated Database Drivers
thenewstack.io·54m
🎯GADT
Flag this post
Show HN: Four computational processes embedded in traditional mosaic
guillaumeslizewicz.com·3h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Dusty, new HTTP server using async I/O and coroutines
github.com·21h·
Discuss: r/Zig
🌐Network Protocols
Flag this post
MS-DOS Development with GCC
hackaday.com·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·5d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·3d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Active transfer learning for structural health monitoring
arxiv.org·12h
📚Automata Learning
Flag this post
From searching to solving: how Vector Databases transform product discovery
dev.to·9h·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·12h
🧩Parser Combinators
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·1d·
Discuss: DEV
🤖Robotics
Flag this post
How Powerful AI Gets Cheap
lesswrong.com·22m
🔀Brzozowski Derivatives
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
[R] We were wrong about SNNs. The bo.ttleneck isn't binary/sparsity, it's frequency.
reddit.com·8h·
Discuss: r/MachineLearning
🔧Microcontrollers
Flag this post
Enhanced Slater Determinant Calculation via Hybrid Tensor Decomposition & Adaptive Mesh Refinement
dev.to·17h·
Discuss: DEV
📐Linear Algebra
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·7h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·1d·
Discuss: Substack
🧩Parser Combinators
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·1d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Revisiting Model Interpolation for Efficient Reasoning
dev.to·14h·
Discuss: DEV
🧩Separation Logic
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.to·2d·
Discuss: DEV
🌐Network Protocols
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·20h·
Discuss: DEV
🧠Automated Reasoning
Flag this post