-
1
Lean 4-Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations
(github.com)
-
2
Infecting the Steam Link with NixOS
(feyor.sh)
-
3
A Trump team wants to automate U.S. Web Design System accessibility testing
(fedscoop.com)
-
2
Seven nights of looking: the empty frame was the camera that was off
(write.as)
-
1
Show HN: HomeAI.design – Visualize interior design ideas from a photo
(homeai.design)
-
3
How Proton Handles Law Enforcement Data Requests [video]
(youtube.com)
-
3
I'm coding directly in production with AI and I'm not looking back
(joydemo.com)
-
2
Show HN: Fly Language Model
(flm.kuber.studio)
-
4
Show HN: I checked 1M free proxies – 1 in 5 working ones injected scripts
(github.com)
-
4
Webtop and Selkies 2.0 – Web based desktop streaming evolved
(linuxserver.io)
-
2
Show HN: Minimal dbt-style SQL builds with DuckDB and Make
(github.com)
-
4
Oxford University lets OpenAI train its AI models on Bodleian Library
(theguardian.com)
-
2
Show HN: The easiest way to (embed a calculator) on any website, with no coding
(calcupedia.io)
-
64
OpenAI bots meddled with multiple US Government agency sites
(bbc.com)
-
3
OpenAI says its models engaged with US Government websites in new disclosure
(techxplore.com)
-
2
Question – Have you created something original accidentally?
-
2
One Silicon Valley founder bought the Bucks County school board
(pbs.org)
-
3
The AI Fraud Loophole Washington Refuses to Close
(shearerp.substack.com)
-
5
Scammers Pretending to Be Grandchildren Are Robbing the Elderly
(thewalrus.ca)
-
2
Metro is changing its signage. Some riders aren't happy
(washingtonpost.com)
-
1
Skate 3 Rust Rewrite
(github.com)
-
1
Unit tests mark territory more than squash bugs
(yosefk.com)
-
1
Making a small language model behave like a Mythos
(tansei.io)
-
3
Naïve physics
(en.wikipedia.org)
-
1
A Universal Hölder Bound with runtime verification
(zenodo.org)
-
2
The AI Genie Phenomenon and Three Types of AI Chatbot Addiction
(arxiv.org)
-
4
OpenAI: Astra Model Is Nerfed
(reddit.com)
-
2
Australia investigating how F-35 fighter jet parts went missing in Hong Kong
(theguardian.com)
-
2
Show HN: AI coding agents that prove their work
(daneb.github.io)
-
3
Fear and Loathing in the Bunker
(nytimes.com)