How to Make a Paper Airplane
foldnfly.com·3h·
Discuss: Hacker News
🎮Verification Games
MIPS
thechipletter.substack.com·3d·
Discuss: Substack
⚙️Operating System Design
AI that can simulate billions of atoms simultaneously proves the feasibility of carbon-neutral concrete
phys.org·1d·
Discuss: Hacker News
💻CS
Zig Interface Revisited
williamw520.github.io·6d·
Discuss: Hacker News
🐫Embedded OCaml
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·4d·
Discuss: Hacker News
➡️Category Theory
Quicksilver v2: evolution of a globally distributed key-value store (Part 2)
blog.cloudflare.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Made-to-order DNA goes big: new tech doubles size of custom genetic sequences
nature.com·15h·
Discuss: Hacker News
🤖Program Synthesis
This Should Not Be Possible
ghuntley.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Power Grid Stability: From Generators to Reactive Power
hackaday.com·12h
📡Network Protocol Design
Stop Pretending LLMs Have Feelings Media's Dangerous AI Anthropomorphism Problem
readtpa.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
From Idea to Launch in 2 Weeks
yusufaytas.com·5d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Windows 11 gets new Black Screen of Death, auto recovery tool
bleepingcomputer.com·4h·
Discuss: Hacker News
⚙️Operating System Design
An Overview of the Risk-based Model of AI Governance
arxiv.org·22h
🏹Effect Systems
Popular NPM linter packages hijacked via phishing to drop malware
bleepingcomputer.com·3d·
Discuss: Hacker News, Hacker News
🔬Unikernels
AI chatbots remain overconfident—even when they're wrong, study finds
techxplore.com·9h·
Discuss: Hacker News
✓Automated Theorem Proving
China proves that open models are more effective than all the GPUs in the world
theregister.com·3d·
Discuss: Hacker News
🔬Unikernels
Show HN: Browser AI – Use Playwright Without Blowing Up Your Context Window
news.ycombinator.com·11h·
Discuss: Hacker News
🌐NetworkProtocols
Consistent Explainers or Unreliable Narrators? Understanding LLM-generated Group Recommendations
arxiv.org·1d
🎮Verification Games
Open-Vocabulary Object Detection in UAV Imagery: A Review and Future Perspectives
arxiv.org·1d
🐫OCaml
Forecasting Faculty Placement from Patterns in Co-authorship Networks
arxiv.org·22h
💻CS