Master Foo and LLM Mountain
tusshah.github.io·2d·
Discuss: Hacker News
⚙️PL Implementation
Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·1d·
Discuss: Hacker News, r/golang
🌐NetworkProtocols
UI Power Hour: A 60-Minute Ritual for Product Polish
leemunroe.medium.com·1d·
Discuss: Hacker News
🍎Apple
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Quiet Influence: A Guide to Nemawashi in Engineering
hodgkins.io·1d·
Discuss: Hacker News, r/programming
🍏Darwin
C++26: erroneous behaviour
sandordargo.com·4d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Static Analysis
NPM in a box: Containerizing package managers for security. (2022)
supergeekery.com·1d·
Discuss: Hacker News
🐳Containerization
EmbeddingGemma Model Card
ai.google.dev·4d·
Discuss: Hacker News
🧩Parser Combinators
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🛡️seL4
AI Ate Its Own Tail, and I Learned Something About Writing
nibzard.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·2d
🧩Parser Combinators
Covariant spatio-temporal receptive fields for spiking neural networks
nature.com·4d·
Discuss: Hacker News
🧮Lambda Calculus
Analyzing Finnish Inflectional Classes through Discriminative Lexicon and Deep Learning Models
arxiv.org·3d
📚Automata Learning
Kerberoasting
blog.cryptographyengineering.com·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
Small Steps vs. Big Steps
lesswrong.com·5d
📝Term Rewriting
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·2d
🎮Verification Games
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·1d·
Discuss: Hacker News
🏠HomeLab
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·2d
🔠Type-Level Programming
MTQA:Matrix of Thought for Enhanced Reasoning in Complex Question Answering
arxiv.org·6d
➡️Category Theory
Benchmarking Gender and Political Bias in Large Language Models
arxiv.org·2d
🧩Parser Combinators