My petty gripe: forced software updates just make everything worse | Patrick Lum
theguardian.com·16h·
Discuss: Hacker News
🍎Apple
PyPl is blocking hundreds of expired domains to halt malware attacks
techradar.com·15h·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: AI that handles calls and emails for busy CXOs
maksai.nexicornai.com·1d·
Discuss: Hacker News
🍎Apple
URL context tool for Gemini API now generally available
developers.googleblog.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Philosophical Thoughts on Kolmogorov-Arnold Networks
kindxiaoming.github.io·1d·
Discuss: Hacker News
🏹Effect Systems
What language should LLMs program in?
devinterrupted.substack.com·5d·
Discuss: r/programming
🤖Program Synthesis
Physics Hub - Open source project for student
reddit.com·2d·
Discuss: r/programming
🎮Verification Games
Google's Chrome Antitrust Paradox
arxiv.org·2d
🖥️Self-hosted Infrastructure
Generation and Evaluation in the Human Invention Process through the Lens of Game Design
arxiv.org·2d
🎮Verification Games
Predicting ChatGPT Use in Assignments: Implications for AI-Aware Assessment Design
arxiv.org·1d
🎮Verification Games
Anatomic Feature Fusion Model for Diagnosing Calcified Pulmonary Nodules on Chest X-Ray
arxiv.org·1d
💻CS
Artificial Intelligence in Rural Healthcare Delivery: Bridging Gaps and Enhancing Equity through Innovation
arxiv.org·1d
🖥️Self-hosted Infrastructure
EgoLoc: A Generalizable Solution for Temporal Interaction Localization in Egocentric Videos
arxiv.org·1d
🔄Finite State Machines
OpenAI’s GPT-5 Launch Causes Backlash Due to Colder Responses
nytimes.com·14h·
Discuss: Hacker News
🔬Unikernels
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·1d
🖥️Self-hosted Infrastructure
Seeking Feedback on My AI Inference PC Build
reddit.com·5d·
Discuss: r/homelab
💾Retro Computing
Opnsense Virtualization
reddit.com·2d·
Discuss: r/homelab
🔬Unikernels
SO-PIFRNN: Self-optimization physics-informed Fourier-features randomized neural network for solving partial differential equations
arxiv.org·2d
🐫OCaml
MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents
arxiv.org·2d
✓Automated Theorem Proving
SafeConstellations: Steering LLM Safety to Reduce Over-Refusals Through Task-Specific Trajectory
arxiv.org·2d
🛡️seL4