Generalized Algebraic Data Types, Type Safety, Phantom Types

Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·2d·
Discuss: Hacker News
📦Opam
Flag this post
Advice for System Design Interviews
jacobbrazeal.wordpress.com·1h·
Discuss: Hacker News
🛡️seL4
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·3d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·9h
📵Digital Minimalism
Flag this post
Not Over Or Under Indexed
lesswrong.com·1d
📵Digital Minimalism
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
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·16h
🖥️Self-hosted Infrastructure
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·2d
🎮Verification Games
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Parsing Validation
lesswrong.com·1d
🔀Brzozowski Derivatives
Flag this post
Rethinking Vibe Coding: A Skeptic's Field Notes
dev.to·8h·
Discuss: DEV
🤖Program Synthesis
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·5h·
Discuss: DEV
🐫Embedded OCaml
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1h·
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