December 2025 Archive
24693.
A Centralized Database of All Math (2024)
(ista.ac.at)
24694.
24695.
"Tuimorphic" style: GUIs that are like TUIs
(twitter.com)
24696.
24697.
24699.
At the Cafe – or the online "playground" for Caffeine
(caffeine-lang.run)
24700.
Reatom – State managers for any kind of apps
(v1000.reatom.dev)
24701.
Public Prompt License (PPL) – prompt-native licensing for LLM prompts
(shipfail.github.io)
24702.
24704.
24705.
Show HN: This week we shipped 'Surfaces' on rynk.io
(twitter.com)
24706.
Musk's Mars mission adds risk to red-hot SpaceX IPO
(reuters.com)
24707.
24708.
There is no data-generating distribution
(argmin.net)
24709.
Satya Nadella demos an app he built [video]
(youtube.com)
24710.
The First Internal Evaluation of the Faust Baseline Version 2.5
(intelligent-people.org)
24711.
24712.
24713.
24714.
24716.
24717.
How to stream video from robots for monitoring and teleoperation
(transitiverobotics.com)
24718.
Energy Revolution System
(sites.google.com)
24720.
Can I use HTTPS RRs?
(netmeister.org)