Holocaust testimony is AI litmus test, and it fails
news.cornell.edu·1d·
Discuss: Hacker News
📚Automata Learning
Kubernetes Security can be Fun?
whitneylee.com·8h·
Discuss: Hacker News
⎈Kubernetes
Economics of Tech Debt
gorkempacaci.com·1d·
Discuss: r/programming
🧱Immutable Infrastructure
A Positive Lambda: '+[]{}'
stackoverflow.com·5d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Hired Through GitHub: Part 1
zed.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Why designing will be the key skill in the age of AI
shuvrojit.substack.com·2d·
Discuss: Substack
🔄Finite State Machines
Learning Reverse Proxy on Hard Mode
reddit.com·2h·
Discuss: r/homelab
📡Network Protocol Design
I Vibe Coded an R Package
jcarroll.com.au·4d·
Discuss: Lobsters, Hacker News
🧩Parser Combinators
Review: SpikingBrain Technical Spiking Brain-Inspired Large Models
arxiviq.substack.com·4d·
Discuss: Substack
🐫Embedded OCaml
Lobsters Interview with Susam
lobste.rs·5d·
Discuss: Lobsters
💾Retro Computing
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·6d·
Discuss: Substack
📚Automata Learning
In Defense of C++
dayvster.com·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Static Analysis
Building software that survives contact with reality
complexsystemspodcast.com·3d·
Discuss: Hacker News
📊Runtime Verification
Interview with Eliezer Yudkowsky on Rationality and Systematic Misunderstanding of AI Alignment
lesswrong.com·2d
🧠Automated Reasoning
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·2d·
Discuss: Hacker News, r/golang, r/programming
⚙️Operating System Design
Flexible Multimodal Neuroimaging Fusion for Alzheimer's Disease Progression Prediction
arxiv.org·16h
💻CS
CRUDAdmin – Modern admin interface for FastAPI
github.com·7h·
Discuss: Hacker News
🏠HomeLab
Diving into Spec-Driven Development with GitHub Spec Kit
developer.microsoft.com·21h·
Discuss: Hacker News
🔄Reproducible Builds
Is the era of personal software portfolios over?
news.ycombinator.com·11h·
Discuss: Hacker News
🤖Program Synthesis
LLMs for energy and macronutrients estimation using only text data from 24-hour dietary recalls: a parameter-efficient fine-tuning experiment using a 10-shot pr...
arxiv.org·16h
🔠Type-Level Programming