Elon Musk Threatens to Sue Apple Over App Store Rankings
macrumors.com·1d·
Discuss: Hacker News
🍎Apple
"I've got a solution: wolves"
robmanuelfuckyeah.substack.com·1d·
Discuss: Substack
🍎Apple
Show HN: Suitely. Your C-Suite, Reimagined by AI
suitely.prisen.co·5d·
Discuss: Hacker News, Hacker News, r/webdev
✓Automated Theorem Proving
Cosmic Ray Bit Flips and the Hidden Risk at Scale
cside.dev·4d·
Discuss: Hacker News
📦Unikernel Systems
How We Became Captives Of Social Media
noemamag.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
"I closed MPEG on 2 Jun '20 when I left because obscure forces had hijacked it."
leonardo.chiariglione.org·6d·
Discuss: Hacker News
🔬Unikernels
GNU libsigsegv is a library for handling page faults in user mode
gnu.org·5d·
Discuss: Hacker News
📦Unikernel Systems
The dangerous comfort of AI answers
maxvanijsselmuiden.nl·2d·
Discuss: Hacker News
🎮Verification Games
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·4d·
Discuss: Hacker News
⚙️PL Implementation
macOS Tahoe 26 developer beta 6 is out, here’s what’s new
9to5mac.com·2d
🍎Apple
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·6d·
Discuss: Substack
✓Automated Theorem Proving
Looking for advice for a game dev homelab build
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Ditching dedicated NAS software: How do you use Proxmox to manage storage?
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels
Learning More by Seeing Less: Line Drawing Pretraining for Efficient, Transferable, and Human-Aligned Vision
arxiv.org·1d
➡️Category Theory
A Big Bad App: Welcome to Corporatocracy (WHY2025)
cdn.media.ccc.de·3d
🖥️Self-hosted Infrastructure
Self-attention mechanism explained
jtlicardo.com·3d·
Discuss: Hacker News
🏹Effect Systems
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·6d
✓Automated Theorem Proving
Decision-Making with Deliberation: Meta-reviewing as a Document-grounded Dialogue
arxiv.org·5d
✓Automated Theorem Proving
I built a Python tool to spot legal risks in AI responses under the EU AI Act
medium.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Bridging Semantic Logic Gaps: A Cognition-Inspired Multimodal Boundary-Preserving Network for Image Manipulation Localization
arxiv.org·1d
💻CS