Tesla Model Y door handles now under federal safety scrutiny
arstechnica.com·18h·
Discuss: Hacker News
🩹Self-Healing Systems
Holocaust testimony is AI litmus test, and it fails
news.cornell.edu·1d·
Discuss: Hacker News
📚Automata Learning
Steering Committee Retrospective
haskellforall.com·12h·
Discuss: Lobsters, Hacker News, www.haskellforall.com
🔧Unikernel Development
Economics of Tech Debt
gorkempacaci.com·1d·
Discuss: r/programming
🧱Immutable Infrastructure
Work in Progress
i.redd.it·4d·
Discuss: r/homelab
🖥Self-Hosting
Hired Through GitHub: Part 1
zed.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Google Gemini earns gold medal in ICPC World Finals coding competition
arstechnica.com·16h·
Discuss: Hacker News
🤖Program Synthesis
Power Causes Brain Damage (2017)
theatlantic.com·14h·
Discuss: Hacker News
🩹Self-Healing Systems
I Vibe Coded an R Package
jcarroll.com.au·5d·
Discuss: Lobsters, Hacker News
🧩Parser Combinators
Pinterest co-founder Evan Sharp on his new company West Co
designerfounders.substack.com·1d·
Discuss: Substack
🧗Climbing Tech
Rules for creating good-looking user interfaces, from a developer
weberdominik.com·2d·
Discuss: Hacker News
📊Runtime Verification
Babies and LLMs
blog.karliner.net·5d·
Discuss: Hacker News
🔠Type-Level Programming
Review: SpikingBrain Technical Spiking Brain-Inspired Large Models
arxiviq.substack.com·4d·
Discuss: Substack
🐫Embedded OCaml
In Defense of Being Human Slug: in-defense-of-being-human-sweat-snot-stubble
lightcapai.medium.com·18h·
Discuss: Hacker News
📐Denotational Semantics
Learning Reverse Proxy on Hard Mode
reddit.com·15h·
Discuss: r/homelab
📡Network Protocol Design
Diving into Spec-Driven Development with GitHub Spec Kit
developer.microsoft.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Is the era of personal software portfolios over?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Program Synthesis
INapGPU: Text-mode graphics card, using only TTL gates
github.com·4h·
Discuss: Hacker News
💾Retro Computing
Cycles in Marsaglia’s mental RNG
johndcook.com·1d·
Discuss: Hacker News
🎮Verification Games
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·1d
🔠Type-Level Programming