Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 L:
Arjun's website!
Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4
 C: https://news.ycombinator.com/item?id=46335961 posted on 2025.12.20 at 08:16:21 (c=0, p=3)
Show HN: Turn raw HTML into production-ready images for free L:
High Performance HTML to PNG API
Convert HTML and CSS to high-quality PNG images instantly. Perfect for dynamic OG images, social shares, and automated screenshots.
 C: https://news.ycombinator.com/item?id=46371743 posted on 2025.12.23 at 21:18:38 (c=2, p=6)
'Dracula's Chivito': Hubble reveals largest birthplace of planets ever observed L: https://phys.org/news/2025-12-chaotic-dracula-chivito-hubble-reveals.html C: https://news.ycombinator.com/item?id=46371673 posted on 2025.12.23 at 21:01:49 (c=1, p=4)
Charts in Slides L:
iA
Charts in Slides
Debuting in Presenter. Designed to travel further.
 C: https://news.ycombinator.com/item?id=46305974 posted on 2025.12.17 at 16:46:04 (c=0, p=3)
Correspondence Between Don Knuth and Peter van Emde Boas on Priority Deques 1977 [pdf] L: πŸ“„.pdf C: https://news.ycombinator.com/item?id=46371759 posted on 2025.12.23 at 21:21:42 (c=0, p=3)
Open source USB to GPIB converter (for Test and Measurement instruments) L:
GitHub
GitHub - xyphro/UsbGpib: Versatile, cheap and portable USB to GPIB converter (USBTMC class based)
Versatile, cheap and portable USB to GPIB converter (USBTMC class based) - xyphro/UsbGpib
 C: https://news.ycombinator.com/item?id=46371429 posted on 2025.12.23 at 20:21:58 (c=0, p=3)
Could lockfiles just be SBOMs? L:
Andrew Nesbitt
Could lockfiles just be SBOMs?
Lockfiles and SBOMs record the same information in different formats. What if package managers used SBOMs directly, instead of converting later?
 C: https://news.ycombinator.com/item?id=46371705 posted on 2025.12.23 at 21:10:34 (c=0, p=4)
P2B Modification Guide L:
P2B Modification Guide
Dual Pentium III-S on the Asus P2B-DS and other nefarious deeds
 C: https://news.ycombinator.com/item?id=46370716 posted on 2025.12.23 at 18:26:54 (c=0, p=3)
Show HN: I hired AI to fix my memory, but made it 100% Offline for privacy L:
NameMemory - Never Forget a Name Again
Scientific memory support with the Forgetting Curve. Privacy-first, local-only app.
 C: https://news.ycombinator.com/item?id=46371157 posted on 2025.12.23 at 19:32:37 (c=1, p=4)
Nabokov's guide to foreigners learning Russian
X (formerly Twitter)
YevardiaΥ² (@haravayin_hogh) on X
Nabokov's advice to foreigners learning Russian, giving pronunciation advice on how to reposition one's jaw and taking slightly sadistic pleasure i...
 C: https://news.ycombinator.com/item?id=46371423 posted on 2025.12.23 at 20:20:39 (c=0, p=4)