🎯 GADT

Generalized Algebraic Data Types, Type Safety, Phantom Types

Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·3d·
Discuss: Hacker News
📦Opam
Flag this post
Advice for System Design Interviews
jacobbrazeal.wordpress.com·20h·
Discuss: Hacker News
🛡️seL4
Flag this post
Making a C64/C65 compatible computer: MEGAphone contact list and Dialer
c65gs.blogspot.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.org·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Calendar.txt Is the Simplest Time Planning System You Will Ever See
ellanew.com·3h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Prentice Hall Interview with Rich Stevens, Author of Unix Programming (1997)
kohala.com·16h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Battle-Tested Lessons From 10 Years In A Single Codebase
revelry.co·7h·
Discuss: r/programming
🔧DevOps
Flag this post
A Pentium In Your Hand
hackaday.com·23h
💾Retro Computing
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·1d
📵Digital Minimalism
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·4d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Consciousness-ECG Transformer for Conscious State Estimation System with Real-Time Monitoring
arxiv.org·21h
🩹Self-Healing Systems
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·20h·
Discuss: DEV
🎯Complexity Classes
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·14h·
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
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·1d·
Discuss: DEV
🔀Brzozowski Derivatives
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·6d·
Discuss: Hacker News, r/typescript
📦OPAM
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·1d
🕸️Graph Theory
Flag this post