15,000 lines of verified cryptography now in Python https://jonathan.protzenko.fr/2025/04/18/python.html
Jonathan Protzenko
15,000 lines of verified cryptography now in Python
In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related infrastructure.
Restoring the Galaxian3 Theatre 6, 1992 six player arcade machine https://philwip.com/2025/04/14/galaxian-3-project-revival/
PhilWIP
Galaxian 3: Project Revival
Introduction During the late 1980s, Namco set out to create the world’s largest arcade game. The result was Galaxian3: Project Dragoon; a 28 player behemoth that debuted in April 1990 at the …
Android phones will soon reboot themselves after sitting unused for three days https://arstechnica.com/gadgets/2025/04/android-phones-will-soon-reboot-themselves-after-sitting-unused-for-3-days/
Ars Technica
Android phones will soon reboot themselves after sitting unused for 3 days
The latest Google update will make your phone more secure if you don’t touch it…
Show HN: I built an AI that turns GitHub codebases into easy tutorials https://github.com/The-Pocket/Tutorial-Codebase-Knowledge
GitHub
GitHub - The-Pocket/PocketFlow-Tutorial-Codebase-Knowledge: Pocket Flow: Codebase to Tutorial
Pocket Flow: Codebase to Tutorial. Contribute to The-Pocket/PocketFlow-Tutorial-Codebase-Knowledge development by creating an account on GitHub.
👏1
Gemma 3 QAT Models: Bringing AI to Consumer GPUs https://developers.googleblog.com/en/gemma-3-quantized-aware-trained-state-of-the-art-ai-to-consumer-gpus/
Googleblog
Google for Developers Blog - News about Web, Mobile, AI and Cloud
Explore Gemma 3 models now offering state-of-the-art AI performance on consumer GPUs with new int4 quantized versions optimized with Quantization Aware Training (QAT).
Pipelining might be my favorite programming language feature https://herecomesthemoon.net/2025/04/pipelining/
MOND←TECH MAGAZINE
Pipelining might be my favorite programming language feature
Free-standing function call syntax considered kind of suboptimal.
How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2 https://cookieplmonster.github.io/2025/04/23/gta-san-andreas-win11-24h2-bug/
Silent’s Blog
How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2
After over two decades, players are now forbidden from flying a seaplane, all thanks to undefined code behavior.
Launch HN: Cua (YC X25) – Open-Source Docker Container for Computer-Use Agents https://github.com/trycua/cua
GitHub
GitHub - trycua/cua: c/ua is the Docker Container for Computer-Use AI Agents.
c/ua is the Docker Container for Computer-Use AI Agents. - trycua/cua
You wouldn't steal a font https://fedi.rib.gay/notes/a6xqityngfubsz0f
fedi.rib.gay
Rib :ms_red_panda: (@Rib)
Today Melissa Lewis over on BlueSky pointed out that the font used in the infamous "You wouldn't steal a car" anti-piracy campaign was actually designed by Just van Rossum, whose brother, Guido, created the Python programming language (https://bsky.app/p…
The hidden cost of AI coding https://terriblesoftware.org/2025/04/23/the-hidden-cost-of-ai-coding/
Terrible Software
The Hidden Cost of AI Coding
AI coding tools boost productivity but may sacrifice the flow state and deep satisfaction developers experience when writing code by hand. What are we losing?
Careless People https://pluralistic.net/2025/04/23/zuckerstreisand/#zdgaf
Assignment 5: Cars and Key Fobs (2021) https://web.stanford.edu/class/ee26n/Assignments/Assignment5.html
I wrote to the address in the GPLv2 license notice (2022) https://code.mendhak.com/gpl-v2-address-letter/
Mendhak
I wrote to the address in the GPLv2 license notice and received the GPLv3 license
I was curious about the 51 Franklin Street address in the GPLv2 license notice so I wrote to them as they said