Hacker News
Inferno
Article URL: https://en.wikipedia.org/wiki/Inferno_(operating_system)
Comments URL: https://news.ycombinator.com/item?id=47105123
Points: 2
# Comments: 0
Gamepad Controls Elden Ring Streamer IRL Using a Wild Balance Hack
Article URL: https://kotaku.com/perri-karyal-galvanic-vestibular-stimulation-elden-ring-2000668749
Comments URL: https://news.ycombinator.com/item?id=47104680
Points: 1
# Comments: 0
Show HN: Nexus – A social platform where your GitHub profile is your identity
Hey HN,
I built Nexus because I kept asking why developers share their work on Twitter when GitHub already has everything that matters — contributions, repos, streaks, stack.
Nexus uses GitHub OAuth so your profile is built automatically. No bios to write, no follower games. Features so far: project showcases with repo previews, syntax-highlighted code snippets in the feed, threaded discussions, and a trending algorithm.
Just shipped the social feed (Phase 3). Very early, very few users. Looking for honest feedback from people who actually build things.
What would make you use this over just tweeting about your projects?
Comments URL: https://news.ycombinator.com/item?id=47104679
Points: 1
# Comments: 0
Show HN: Llama 3.1 70B on a single RTX 3090 via NVMe-to-GPU bypassing the CPU
Hi everyone, I'm kinda involved in some retrogaming and with some experiments I ran into the following question: "It would be possible to run transformer models bypassing the cpu/ram, connecting the gpu to the nvme?"
This is the result of that question itself and some weekend vibecoding (it has the linked library repository in the readme as well), it seems to work, even on consumer gpus, it should work better on professional ones tho
Comments URL: https://news.ycombinator.com/item?id=47104667
Points: 2
# Comments: 0
Anki-CLI
Article URL: https://github.com/ubermenchh/anki-cli
Comments URL: https://news.ycombinator.com/item?id=47104663
Points: 1
# Comments: 0
We estimate that Claude Opus 4.6 has a 50%-time-horizon of around 14.5 hours
Article URL: https://twitter.com/METR_Evals/status/2024923422867030027
Comments URL: https://news.ycombinator.com/item?id=47104653
Points: 1
# Comments: 0
Online Pebble Development
Article URL: https://cloudpebble.repebble.com/
Comments URL: https://news.ycombinator.com/item?id=47104613
Points: 2
# Comments: 0
Laser writing in glass for dense, fast and efficient archival data storage
Article URL: https://www.nature.com/articles/s41586-025-10042-w
Comments URL: https://news.ycombinator.com/item?id=47104609
Points: 1
# Comments: 0
I got annoyed by Claude Code's history, so I built a search CLI
Article URL: https://github.com/madzarm/ccsearch
Comments URL: https://news.ycombinator.com/item?id=47104602
Points: 2
# Comments: 2
India Open Network for Digital Commerce
Article URL: https://www.ondc.org/
Comments URL: https://news.ycombinator.com/item?id=47104591
Points: 1
# Comments: 0
Grove: Detect worktree conflicts at write time to scale parallel agents
Article URL: https://github.com/NathanDrake2406/grove
Comments URL: https://news.ycombinator.com/item?id=47104557
Points: 1
# Comments: 1
Why optimizing AUC may be insufficient for clinical deterioration systems
Medical ML research and competitions often optimize ROC-AUC as the primary performance metric.
However, in real hospital environments, the central question is not classification accuracy — it is escalation timing.
In deterioration detection systems: • A noisy alert creates alarm fatigue. • A late alert costs lives. • A static classifier may fail to reflect dynamic physiology.
I’ve been exploring a framework that introduces: • Dual-threshold activation (high/low) • Temporal stability validation • False-alarm suppression logic • Governed escalation timing
The aim is to shift from probability scoring toward structured decision triggering.
I’m curious how others here would approach modeling escalation timing in a clinically responsible way.
Would love perspectives from ML engineers and clinicians.
Comments URL: https://news.ycombinator.com/item?id=47104548
Points: 1
# Comments: 0
Fury over Discord's age checks explodes after shady Persona test in UK
Visualize Your Turborepo Workspace
Article URL: https://turbograph.dev/
Comments URL: https://news.ycombinator.com/item?id=47104522
Points: 1
# Comments: 0
Shai-Hulud-Style NPM Worm Hijacks CI Workflows and Poisons AI Toolchains
Article URL: https://socket.dev/blog/sandworm-mode-npm-worm-ai-toolchain-poisoning
Comments URL: https://news.ycombinator.com/item?id=47104510
Points: 2
# Comments: 0
Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap
Hi HN, I'm an independent researcher. Over the last several months, I worked alongside a neuro-symbolic AI daemon to formally verify the Clay Millennium Prize "Yang-Mills Mass Gap" problem directly in the Coq theorem prover.
We mapped the finite lattice topology entirely to the ℝ⁴ continuum by reconstructing the 5 Osterwalder-Schrader axioms, isolating the Millennium formulation into exactly 657 sequential Qed proofs.
We aggressively removed every single heuristic Admitted gap from the main topology. The entire framework now rests on exactly 4 standard textbook axioms (e.g., finite-dimensional Perron-Frobenius theorem, standard statistical mechanics).
The repository contains the raw coqc logic. The formally timestamped preprint is on Zenodo (DOI: 10.5281/zenodo.18726858).
I decided to open-source the kernel execution rather than fight arXiv gatekeepers. Happy to answer any questions about theorem proving, the physics, or the AI methodology.
Comments URL: https://news.ycombinator.com/item?id=47104504
Points: 1
# Comments: 0
Trump says he'll raise tariffs to 15 percent after Supreme Court ruling
Article URL: https://apnews.com/article/trump-tariff-truth-social-872c8f04112a8991d8aa6ae5005767b6
Comments URL: https://news.ycombinator.com/item?id=47104479
Points: 4
# Comments: 3
Apple's Ferret AI model is a step towards Siri seeing and controlling apps
ClipSafe
Article URL: https://clipsafe.app/blog/rss.xml
Comments URL: https://news.ycombinator.com/item?id=47104457
Points: 1
# Comments: 1
Show HN: Here.now – Web Hosting for Agents
Article URL: https://here.now/
Comments URL: https://news.ycombinator.com/item?id=47104451
Points: 1
# Comments: 1
