Smaller Surfaces
nrempel.com·17h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Horror Coding Stories: Therac-25
read.thecoder.cafe·2d·
Discuss: r/programming
🎯GADT
Flag this post
The Alchemist's Array: Sixfold Sorcery in Silicon, 2JCIE-EV01-FT1
dev.to·1d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Building a Xenon Lamp for Spectroscopy
hackaday.com·7h
🍎XNU Internals
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·7h·
Discuss: DEV
🤖Robotics
Flag this post
Artificial neurons that replicate biological function for improved chips
viterbischool.usc.edu·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
What hardware should I get?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·39m·
Discuss: Hacker News
📚Automata Learning
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Ask HN: Would you trust an AI that sees and hears everything you do?
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·20h·
Discuss: Hacker News
📦Opam
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·18h·
Discuss: DEV
💬Mach Messages
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·5h·
Discuss: DEV
🧮Lambda Calculus
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🔍CBMC
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
❄️Nixified Development
Flag this post
DDD and the Simplicity Gospel
oluatte.com·16h·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Making batteries more like bombs
orcasciences.com·22h·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
2025 Component Abuse Challenge: A Transistor As A Voltage Reference
hackaday.com·19h
🩹Self-Healing Systems
Flag this post