Why the Will Smith Video Is Just the Beginning of AI Chaos
hollywoodreporter.com·2d·
Discuss: Hacker News
📚Automata Learning
Microsoft’s Copilot AI is now inside Samsung TVs and monitors
theverge.com·5d·
Discuss: Hacker News
🍎Apple
How Leeches Made Their Comeback
nymag.com·5d·
Discuss: Hacker News
🩹Self-Healing Systems
Why "caffè" may not be "caffè"
journal.bsd.cafe·15h·
Discuss: Lobsters, Hacker News
❄️Nix
So many conferences are mid. Why was BSC 2025 so good?
bgthompson.codeberg.page·6d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Show HN: A math tutor that won't hallucinate answers (ChatGPT and Photomath)
thinkercan.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Non-Consensus Is Dead. Long Live Non-Consensus
newinternet.tech·6d·
Discuss: Hacker News
🩹Self-Healing Systems
Margaux Blanchard, the fake AI journalist
dispatch-media.com·6d·
Discuss: Hacker News
🛡️seL4
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·6d·
Discuss: Hacker News
🧠Automated Reasoning
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·6d·
Discuss: Hacker News
🔬Static Analysis
In a new filing, Apple fights back against court’s ‘indefensible’ Epic Games ruling
9to5mac.com·3d
🍎Apple
Inference-Time Alignment Control for Diffusion Models with Reinforcement Learning Guidance
arxiv.org·3d
📚Automata Learning
El Salvador’s Bitcoin and Quantum Computing
johndcook.com·2d·
Discuss: Hacker News
🐫OCaml
Help with an Abandoned OSS project
github.com·5d·
Discuss: r/rust
⚙️PL Implementation
Israel committing genocide in Gaza, world’s top scholars on the crime say
theguardian.com·15h·
Discuss: Hacker News
💻CS
Evolutionary Brain-Body Co-Optimization Consistently Fails to Select for Morphological Potential
arxiv.org·6d
🐫OCaml
SWiFT: Soft-Mask Weight Fine-tuning for Bias Mitigation
arxiv.org·5d
🐫Embedded OCaml
Quantum-Circuit-Based Visual Fractal Image Generation in Qiskit and Analytics
arxiv.org·5d
🏹Effect Systems
First Time Build
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.org·6d
📚Automata Learning