Home / 2025 / June
June 2025 Archive
841.
100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (research.mietek.io)
121 points by Bogdanp 3 weeks ago | 129 comments
842.
From SDR to 'Fake HDR': Mario Kart World on Switch 2 (alexandermejia.com)
121 points by ibobev 3 weeks ago | 118 comments
843.
Apptainer: Application Containers for Linux (apptainer.org)
121 points by cl3misch 1 week ago | 105 comments
844.
A proof-of-concept neural brain implant providing speech (arstechnica.com)
121 points by LorenDB 1 week ago | 72 comments
845.
I feel open source has turned into two worlds (utcc.utoronto.ca)
121 points by sdht0 2 weeks ago | 49 comments
846.
Finding Dead Websites (marginalia.nu)
121 points by ingve 3 weeks ago | 22 comments
847.
AMD's Pre-Zen Interconnect: Testing Trinity's Northbridge (chipsandcheese.com)
121 points by zdw 3 weeks ago | 19 comments
848.
Studio Ghibli marks 40 years, but future looks uncertain (japantimes.co.jp)
120 points by gslin 3 weeks ago | 101 comments
849.
Denmark Is Switching to Linux (pcgamer.com)
120 points by ricecat 2 weeks ago | 81 comments
850.
Dr. Demento Announces Retirement After 55-Year Radio Career (sopghreporter.com)
120 points by coloneltcb 2 weeks ago | 51 comments
851.
Why quadratic funding is not optimal (jonathanwarden.com)
119 points by jwarden 1 month ago | 96 comments
852.
Privacy implications of browsers’ (mis)implementations of Widevine EME (2023) (hal.science)
119 points by exceptione 3 weeks ago | 80 comments
853.
'Sticky thinking' hampers decisions in depression (bps.org.uk)
119 points by domofutu 2 weeks ago | 71 comments
854.
OpenAI is retaining all ChatGPT logs "indefinitely." Here's who's affected (arstechnica.com)
119 points by Bender 1 month ago | 55 comments
855.
Ex-FCC Chair Ajit Pai is now a wireless lobbyist (arstechnica.com)
119 points by Bender 1 month ago | 55 comments
856.
Small Programs and Languages (ratfactor.com)
119 points by todsacerdoti 1 month ago | 45 comments
857.
Show HN: I built a tensor library from scratch in C++/CUDA (github.com)
119 points by nirw4nna 3 weeks ago | 28 comments
858.
How you breathe is like a fingerprint that can identify you (nature.com)
118 points by XzetaU8 3 weeks ago | 85 comments
859.
WWDC25: macOS Tahoe Breaks Decades of Finder History (512pixels.net)
118 points by syx 4 weeks ago | 75 comments
860.
A Blacklisted American Magician Became a Hero in Brazil (wsj.com)
118 points by bookofjoe 4 weeks ago | 60 comments
861.
End of an Era: Landsat 7 Decommissioned After 25 Years of Earth Observation (usgs.gov)
118 points by keepamovin 1 month ago | 46 comments
862.
Workhorse LLMs: Why Open Source Models Dominate Closed Source for Batch Tasks (sutro.sh)
118 points by cmogni1 1 month ago | 35 comments
863.
Revisiting Minsky's Society of Mind in 2025 (suthakamal.substack.com)
118 points by suthakamal 3 weeks ago | 31 comments
864.
Modeling the World in 280 Characters (tympanus.net)
118 points by OuterVale 2 weeks ago | 16 comments
865.
Can I stop drone delivery companies flying over my property? (rte.ie)
117 points by austinallegro 1 month ago | 324 comments
866.
Pentagon Has Been Pushing Americans to Believe in UFOs for Decades, New Report (gizmodo.com)
117 points by pseudolus 3 weeks ago | 127 comments
867.
Use Plaintext Email (2019) (useplaintext.email)
117 points by cyrc 1 week ago | 112 comments
868.
The Medley Interlisp Project: Reviving a Historical Software System [pdf] (interlisp.org)
117 points by pamoroso 1 week ago | 29 comments
869.
Writing Toy Software Is a Joy (jsbarretto.com)
117 points by todsacerdoti 3 weeks ago | 28 comments
870.
Low-Temperature Additive Manufacturing of Glass (ll.mit.edu)
117 points by LorenDB 3 weeks ago | 22 comments