Monthly Highlights
691.
692.
693.
Some thoughts about Anthropic's new cryptanalysis results
(blog.cryptographyengineering.com)
694.
F*: A general-purpose proof-oriented programming language
(fstar-lang.org)
695.
696.
SeL4 security proofs now complete on AArch64
(proofcraft.systems)
697.
Folding Paper Globes
(foldingglobes.com)
698.
699.
Opus 5.0 drives incoherence into the stratosphere
(github.com)
700.
701.
hdiutil is deprecated in macOS 27 Golden Gate
(lapcatsoftware.com)
702.
Coconut oil jet fuel matches kerosene's efficiency in engine tests
(studyfinds.com)
703.
Omacom Foundation launches with $8M
(omarchy.org)
704.
705.
Magnitude 7.4 Earthquake – 5 km S of San José del Palmar, Colombia
(earthquake.usgs.gov)
706.
707.
Melatonin impairs morning cognition in healthy young adults (2023)
(academic.oup.com)
708.
709.
710.
Show HN: ssh ssh.place
(ssh.place)
711.
FDA clears blood test to aid evaluation for Alzheimer's disease
(medicine.washu.edu)
712.
Palomar: A registry of Lean verified mathematics
(terrytao.wordpress.com)
713.
Helsinki Hacker News Meetup
(calpaterson.com)
714.
The Absurdity of Albert Camus
(historytoday.com)
715.
'Pervert glasses': Backlash against Meta's smart glasses grows
(seattletimes.com)
716.
717.
Activation Energy is a good model for a lot of things
(homosabiens.substack.com)
719.
Making holograms with a pen plotter
(blog.jordan.matelsky.com)