🎯 GADT

Generalized Algebraic Data Types, Type Safety, Phantom Types

"Green Llama" did not just beat Cascade Platinum Plus
foxchapelresearch.substack.com·23h·
Discuss: Substack
🐳Containerization
Flag this post
Two years without Google, et al. -- has it been worth it?
kevinboone.me·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Origin and Evolution of the Globstar
mergify.com·1d·
Discuss: Hacker News
🐳Containerization
Flag this post
Best option: MSA2040 or scale-out
i.redd.it·7h·
Discuss: r/homelab
🔧Unikernel Development
Flag this post
original ↗
raymondcamden.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
reddit.com·3d·
Discuss: r/programming
🔧ppx
Flag this post
So This Is How The Internet Dies
dev.to·7h·
Discuss: DEV
📵Digital Minimalism
Flag this post
Buy Verified Google Ads Accounts
dev.to·4h·
Discuss: DEV
🔒Protocol Verification
Flag this post
Proton a new Linux kernel module for crypto functions callable from XDP
github.com·1d·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
# 🏗️ Understanding Go Project Structure (Without Losing Your Mind)
dev.to·1h·
Discuss: DEV
❄️Nixified Development
Flag this post
Need some help optimizing for an academic research use case
reddit.com·10h·
Discuss: r/homelab
🔧Unikernel Development
Flag this post
Is it really paranoia if I'm really Out to Get Me?
lesswrong.com·1d
⬜Minimalism
Flag this post
Machine Learning vs Deep Learning: I Finally Get the Difference
dev.to·6h·
Discuss: DEV
🎯Complexity Classes
Flag this post
SCALE-VLP: Soft-Weighted Contrastive Volumetric Vision-Language Pre-training with Spatial-Knowledge Semantics
arxiv.org·2d
🧩Parser Combinators
Flag this post
GAFD-CC: Global-Aware Feature Decoupling with Confidence Calibration for OOD Detection
arxiv.org·3d
🎨GADTs
Flag this post
Automated Variant Calling Refinement via Multi-Modal Neuro-Symbolic Integration (AMVR-MNSI)
dev.to·3d·
Discuss: DEV
📚Automata Learning
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🎯Complexity Classes
Flag this post
Decoding Kiroween
dev.to·4d·
Discuss: DEV
⚙️Compiler Design
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·19h·
Discuss: DEV
🔬Unikernels
Flag this post
FP-AbDiff: Improving Score-based Antibody Design by Capturing Nonequilibrium Dynamics through the Underlying Fokker-Planck Equation
arxiv.org·2d
📐Linear Algebra
Flag this post