Ambitious Denmark project starts farm-to-forest conversion
news.mongabay.com·6h·
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·14h·
Discuss: Hacker News, r/longform
🧗Climbing Tech
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
Why Remediation Is the Hardest Problem in NHI Security
token.security·8h·
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
Losing the "fun" part of "for fun and profit"
ezhik.jp·2d·
Discuss: Hacker News
💾Retro Computing
CPI for all items rises 0.2% in July, 2.7% YoY; shelter up
bls.gov·2d·
Discuss: Hacker News
➡️Category Theory
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
you can stick with it
blog.avas.space·2d·
Discuss: Hacker News
❄️Nixified Development
US government reportedly in talks to take stake in Intel, stock surges
9to5mac.com·2h
🍎Apple
Generative Answers Are Reshaping Google Search
procurefyi.substack.com·1d·
Discuss: Substack
🍎Apple
Cross-Subject and Cross-Montage EEG Transfer Learning via Individual Tangent Space Alignment and Spatial-Riemannian Feature Fusion
arxiv.org·2d
💻CS
Need Feedback: Browser Extension for Bulk ChatGPT Content Generation
news.ycombinator.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Large Language Models Still Exhibit Bias in Long Text
arxiv.org·6d
✓Automated Theorem Proving
How and Why: Taming Flow Matching for Unsupervised Anomaly Detection and Localization
arxiv.org·6d
➡️Category Theory
The GPT-5 rollout has been a big mess
arstechnica.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Towards MR-Based Trochleoplasty Planning
arxiv.org·3d
🤖Program Synthesis