Order vs. Chaos – 6×6 variant of tic-tac-toe
prabhakargupta.com·1d·
Discuss: Hacker News
🎮Verification Games
Test on a fleet of physical devices with Android Device Streaming, now with Android Partner Device Labs
android-developers.googleblog.com·4d·
Discuss: android-developers.googleblog.com, Hacker News
🔬Unikernels
How One Oregon Activist Is Using a Decades-Old Liberal Policy to Stall Green Energy Projects in Rural Areas
propublica.org·5d·
Discuss: Hacker News, r/longform
🖥️Self-hosted Infrastructure
Let's Encrypt End of Life Plan for RFC 6962 Certificate Transparency Logs
letsencrypt.org·4d·
Discuss: Hacker News
🌐NetworkProtocols
Fabricated data in posts.xml for multiple/all data dumps
meta.stackexchange.com·6d·
Discuss: Hacker News
❄️Nixified Development
Predicted 'neglectons' hold promise for robust, universal quantum computing
physicsworld.com·4d·
Discuss: Hacker News
➡️Category Theory
Study: AI tools can polish managers' emails but can also erode employee trust
news.ufl.edu·4d·
Discuss: Hacker News
🤖Program Synthesis
Apple’s Private Cloud Compute vs. Confidential Computing
thenewstack.io·4d
💾Retro Computing
These tiny flyers levitate on the Sun’s heat alone
nature.com·5d·
Discuss: Hacker News
🔬Unikernels
Car-carrier truck loaded with Teslas causes hazmat fire on 5 Freeway in Sylmar
abc7.com·1d·
Discuss: Hacker News
🤖Program Synthesis
An Introduction to Python-Rust Interop for Scientific Codebases
github.com·6d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Reverse Physician-AI Relationship: Full-process Clinical Diagnosis Driven by a Large Language Model
arxiv.org·4d
✓Automated Theorem Proving
HiFACTMix: A Code-Mixed Benchmark and Graph-Aware Model for EvidenceBased Political Claim Verification in Hinglish
arxiv.org·4d
✓Automated Theorem Proving
BIPOLAR: Polarization-based granular framework for LLM bias evaluation
arxiv.org·1d
➡️Category Theory
New iOS 26 and watchOS 26 betas include redesigned Blood Oxygen feature in the US
9to5mac.com·18h
🍎Apple
Compositional Zero-shot Learning via Progressive Language-based Observations
arxiv.org·1d
➡️Category Theory
Merge Strategies To Keep Builds Green in Large Monorepos
thenewstack.io·5d
🔄Reproducible Builds
Integrating Clinical Knowledge Graphs and Gradient-Based Neural Systems for Enhanced Melanoma Diagnosis via the 7-Point Checklist
arxiv.org·5d
➡️Category Theory
AI is different
antirez.com·5d·
Discuss: Hacker News
💻CS
DeepSeek delays next AI model due to poor performance of Chinese-made chips
arstechnica.com·4d·
Discuss: Hacker News, r/hardware
🍎XNU Internals