July 2025 Archive
18301.
18302.
Switchboard
(switchboard-ai.com)
18303.
Show HN: Mitte 1.0
(mitte.ai)
18304.
Window-sized device taps the air for safe drinking water
(news.mit.edu)
18306.
18307.
Community Publishing Platform
(hackernoon.tech)
18308.
Gilles Dowek: an explorer of formal methods
(inria.fr)
18309.
18310.
iNaturalist Animals and Plants
(xkcd.com)
18311.
I made an "Oddly Satisfying" UI Framework – open-source
(chainlift.io)
18312.
Manual Cryptography with a Deck of Cards
(en.wikipedia.org)
18313.
Fine-Grained Authorization Is Changing Our Applications Forever
(fusionauth.io)
18314.
Detecting code copying at scale with Vendetect
(blog.trailofbits.com)
18315.
18316.
In Defense of Defensive Forecasting
(argmin.net)
18317.
Getting into Technical Writing: A Primer
(devinlogan.org)
18318.
Tech Resume and Interview Tips from a Hiring Manager Perspective
(ravelantunes.com)
18319.
Litestream v0.5.0-Beta1 Released
(github.com)
18320.
A DSL for Browser Automation
(github.com)
18321.
The NASA Voyager Declaration Now
(standupforscience.net)
18322.
18323.
Gilles Dowek: at the crossroads of computer science, logic and philosophy
(universite-paris-saclay.fr)
18324.
Model Metropolis
(logicmag.io)
18325.
Generative AI is not the new Internet
(eloidereynal.com)
18326.
Pro AI – Human Segregation
(onlyluck.substack.com)
18328.
Show HN: The Rankings Game: A satirical simulation of university management
(rankingsgame.com)
18329.
18330.
Computer Glitch Grounds Every Alaska Airlines Flight
(gizmodo.com)