Invincible Title Card Generator
invincibletitlecardgenerator.com·12h·
Discuss: Hacker News
🎮Verification Games
Is Roman concrete more sustainable? It’s complicated.
arstechnica.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Vision for W3C: a manifesto for our operations and decision making
w3.org·2d·
Discuss: Hacker News
🔤DSLs
Show HN: I created an AI writing app that helps you write books
bookswriter.xyz·2d·
Discuss: Hacker News
✓Automated Theorem Proving
tcmalloc's Temeraire: A Hugepage-Aware Allocator
paulcavallaro.com·3d·
Discuss: Hacker News, r/compsci, r/programming
👁️System Observability
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·6d·
Discuss: Hacker News, r/programming
💻CS
Automating container notes in Proxmox — built a small tool to streamline it - first Github code project
reddit.com·1d·
Discuss: r/homelab
👁️System Observability
A practical guide on how to use the GitHub MCP server
github.blog·1d·
Discuss: Hacker News
🏠HomeLab
Information Fusion in Multimodal IoT Systems for physical activity level monitoring
arxiv.org·1d
🧗Climbing Tech
Senior Rust Engineer
news.ycombinator.com·1d·
Discuss: Hacker News
🔤DSLs
Simultaneous improvement of control and estimation for battery management systems
arxiv.org·1d
🔄Finite State Machines
Synthetic aperture waveguide holography for compact MR displays w large étendue
nature.com·1d·
Discuss: Hacker News
🐫OCaml
Ask HN: Is university still credible?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Contains Studio AI Agents
github.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Neural Machine Unranking
arxiv.org·6d
💻CS
Making a Case for Research Collaboration Between Artificial Intelligence and Operations Research Experts
arxiv.org·1d
✓Automated Theorem Proving
LLM assisted language learning using Babbelaar
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Prompt template for a fictitious LLM agent in a content-flagging experiment
arxiv.org·1d
🎮Verification Games
Unified machine-learning framework for property prediction and time-evolution simulation of strained alloy microstructure
arxiv.org·1d
🐫OCaml
A Self-training Framework for Semi-supervised Pulmonary Vessel Segmentation and Its Application in COPD
arxiv.org·3d
🏹Effect Systems