Ambitious Denmark project starts farm-to-forest conversion
news.mongabay.com·4h·
Discuss: Hacker News
🔬Unikernels
How One Oregon Activist Is Using a Decades-Old Liberal Policy to Stall Green Energy Projects in Rural Areas
propublica.org·12h·
Discuss: Hacker News, r/longform
🧗Climbing Tech
Good Justifications Write Themselves
oblique.security·2d·
Discuss: Hacker News
🛡️seL4
Terminal User Interfaces
onbreakpoint.com·2d·
Discuss: Hacker News
💾Retro Computing
Why do we agree to take off our shoes at the airport?
phys.org·3d·
Discuss: Hacker News
🛡️seL4
Is This the Hardest Physical Contest in the World?
theatlantic.com·1d·
Discuss: Hacker News
🧗Climbing Tech
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·6d·
Discuss: Hacker News
🧱Immutable Infrastructure
DeepSeek's launch of new AI model delayed by Huawei chip issues, FT reports
reuters.com·16h·
Discuss: Hacker News
🍎Apple
Former Intel CEO lays out radical plan to rescue the company — Suggests outing Lip-Bu Tan and asks for $40 billion investment from Nvidia, Apple, and others
tomshardware.com·3d·
Discuss: Hacker News
⚙️Operating System Design
Signs of recent life on Mars could be detected using new simple test
phys.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
US government reportedly in talks to take stake in Intel, stock surges
9to5mac.com·34m
🍎Apple
$160M VC-backed company just killed my EU trademark for a small OSS project
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Need Feedback: Browser Extension for Bulk ChatGPT Content Generation
news.ycombinator.com·3d·
Discuss: Hacker News
⚙️PL Implementation
How and Why: Taming Flow Matching for Unsupervised Anomaly Detection and Localization
arxiv.org·6d
➡️Category Theory
Large Language Models Still Exhibit Bias in Long Text
arxiv.org·6d
✓Automated Theorem Proving
The GPT-5 rollout has been a big mess
arstechnica.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Towards MR-Based Trochleoplasty Planning
arxiv.org·3d
🤖Program Synthesis
Fortinet discloses critical bug with working exploit code amid surge in brute-force attempts
theregister.com·1d·
Discuss: Hacker News
🛡️seL4
Do Ethical AI Principles Matter to Users? A Large-Scale Analysis of User Sentiment and Satisfaction
arxiv.org·3d
🏹Effect Systems
Character.AI Gave Up on AGI. Now It’s Selling Stories
wired.com·2d·
Discuss: Hacker News
🎮Verification Games