- 7
US unveils sanctions on ICC in move court condems as 'assault on rule of law'
(bbc.com)
- 3
Ful
(hackerone.com)
- 1
ModRetro Chromatic: Transparent
(modretro.com)
- 2
Portfolio Risk Lab: uncertainty-aware rebalancing in Python
(github.com)
- 4
Branches in Branch-Free Code
(00f.net)
- 5
Microsoft is about to hobble your O-365 Family Storage
(support.microsoft.com)
- 3
Show HN: Plannotator Inbox – Decision Making Surface for Agents
(plannotator.ai)
- 4
Walmart exec speaks out on dynamic pricing again after watchdog calls out patent
(nypost.com)
- 1
15-Minute Lesson Plan: A.I.-Assisted Mathematics
(nytimes.com)
- 3
Rampart: Browser native on-device PII radaction
(ndstudio.gov)
- 5
English Instead of Code
(dalerank.github.io)
- 1
Show HN: Cactus Needle – Local tool calling and speech-to-text in JavaScript
(afshinm.github.io)
- 2
A Practical Guide to Naming Things
(smashingmagazine.com)
- 6
OpenAI will start watermarking ChatGPT's text in the EU
(techcrunch.com)
- 2
Show HN: LumiBridge – 448x64 LED display with SDR ship tracking
(timvasil.com)
- 9
Ben Affleck is an AI nerd
(twitter.com)
- 1
U-Space: Uncovering When and Why Uncertainty Arises in Language Models
(s2lab.org)
- 42
I'm still around.. I'm just not writing here
(rachelbythebay.com)
- 2
Show HN: PDF/ePub reader where you ask AI and each answer links to the passage
(marginal-ia.app)
- 1
Ross Douthat: I'm Writing a Column for the Free Press
(thefp.com)
- 1
AI Could End Encryption as We Know It
(ai-frontiers.org)
- 29
What mathematicians should know about the Lean Theorem Prover: reliability & AI
(terrytao.wordpress.com)
- 3
Remember Orkut? Its founder wants to bring it back
(techcrunch.com)
- 1
Jasmin: A language for high-assurance and high-speed cryptography
(github.com)
- 1
The Rise and Fall of the Plasma Screen
(construction-physics.com)
- 2
THX-01: An Open-Source Decision Model That Runs on Your Phone and Beats Jev
(doofz.substack.com)
- 70
Show HN: The rarest tech books and docs you've probably never read
(readrare.com)
- 3
CXMT's covert campaign to obtain Samsung tech by any means necessary
(koreajoongangdaily.com)
- 42
Scam American companies are using to manipulate ingredient lists
(twitter.com)
- 2
A tale of four theorem provers
(blueberrywren.dev)