Generalized Algebraic Data Types, Type Safety, Phantom Types

Battle-Tested Lessons From 10 Years In A Single Codebase
revelry.coยท19mยท
Discuss: r/programming
๐Ÿ”งDevOps
Flag this post
Nimony v0.2 โ€“ early preview of Nim 3.0's compiler
nim-lang.github.ioยท3dยท
Discuss: Hacker News
๐Ÿ“ฆOpam
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.comยท1d
๐Ÿ”„Reproducible Builds
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸงฉParser Combinators
Flag this post
Not Over Or Under Indexed
lesswrong.comยท1d
๐Ÿ“ตDigital Minimalism
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.ioยท3dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Why Space and Time's Mainnet v2 Could Change How Banks Handle Tokenized Assets
hackernoon.comยท1d
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท6hยท
Discuss: DEV
๐Ÿ”€Brzozowski Derivatives
Flag this post
What a diff makes: automating code migration with large language models
arxiv.orgยท2d
๐Ÿ“ฆOpam
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.toยท2dยท
Discuss: DEV
โ“Existential Types
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Flag this post
The Case Against PGVector
alex-jacobs.comยท3dยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.comยท5dยท
๐Ÿ“ฆOPAM
Flag this post
[Linkpost] How to Win Board Games
lesswrong.comยท1h
๐ŸŽฎVerification Games
Flag this post
Grok AI: A Deep Dive into xAIโ€™s Maverick Chatbot
dev.toยท1dยท
Discuss: DEV
๐Ÿ”€Brzozowski Derivatives
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.orgยท2d
๐Ÿ“šAutomata Learning
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard ๐Ÿง™โ€โ™‚๏ธ
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Program Synthesis
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.orgยท2d
๐Ÿ“Linear Algebra
Flag this post
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.orgยท1d
๐ŸงฉParser Combinators
Flag this post