Generalized Algebraic Data Types, Type Safety, Phantom Types

What Is Occult Grammar?
blog.izs.me·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·2d·
Discuss: Hacker News
📦Opam
Flag this post
📢 New Series: Neuro-Symbolic Wednesday
dev.to·1d·
Discuss: DEV
📐Linear Algebra
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
Why Space and Time's Mainnet v2 Could Change How Banks Handle Tokenized Assets
hackernoon.com·18h
🖥️Self-hosted Infrastructure
Flag this post
Managing long contexts in agentic coding systems
cto.new·17h·
Discuss: Hacker News
🔤Language Design
Flag this post
Rethinking Vibe Coding: A Skeptic's Field Notes
dev.to·10h·
Discuss: DEV
🤖Program Synthesis
Flag this post
The Case Against PGVector
alex-jacobs.com·2d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·7h·
Discuss: DEV
🐫Embedded OCaml
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3h·
Discuss: DEV
🎯Complexity Classes
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
Chibi Izumi: Phased dependency injection for TypeScript
github.com·5d·
Discuss: Hacker News
📦OPAM
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·1d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post