Pyrefly: A new type checker and IDE experience for Python https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/
Engineering at Meta
Introducing Pyrefly: A new type checker and IDE experience for Python
Today we are announcing an alpha version of Pyrefly, an open source Python type checker and IDE extension crafted in Rust. Pyrefly is a static type checker that analyzes Python code to ensure type …
Palette lighting tricks on the Nintendo 64 https://30fps.net/pages/palette-lighting-tricks-n64/
AniSora: Open-source anime video generation model https://komiko.app/video/AniSora
komiko.app
Try AniSora: The Ultimate Anime Video Generation Model
Index-AniSora is the most powerful open-source animated video generation model presented by Bilibili. It enables one-click creation of video shots across diverse anime styles including series episodes, Chinese original animations, manga adaptations, VTuber…
In Memoriam: John L. Young, Cryptome Co-Founder https://www.eff.org/deeplinks/2025/05/memoriam-john-l-young-cryptome-co-founder
Electronic Frontier Foundation
In Memoriam: John L. Young, Cryptome Co-Founder
John L. Young, who died March 28 at age 89 in New York City, was among the first people to see the need for an online library of official secrets, a place where the public could find out things that
Why does the U.S. always run a trade deficit? https://libertystreeteconomics.newyorkfed.org/2025/05/why-does-the-u-s-always-run-a-trade-deficit/
Liberty Street Economics
Why Does the U.S. Always Run a Trade Deficit? - Liberty Street Economics
Persistent shortfalls in domestic savings, requiring funds from abroad to finance domestic investment spending, could be why the U.S. runs a trade deficit.
Deep Learning Is Applied Topology https://theahura.substack.com/p/deep-learning-is-applied-topology
Substack
Deep Learning is Applied Topology
Everything lives on a manifold
🥱2
Show HN: 90s.dev – Game maker that runs on the web https://90s.dev/blog/finally-releasing-90s-dev.html
Veo 3 and Imagen 4, and a new tool for filmmaking called Flow https://blog.google/technology/ai/generative-media-models-io-2025/
Google
Fuel your creativity with new generative media models and tools
From Imagen 4 and Veo 3 to Flow, try these new generative media tools today.
Improving performance of rav1d video decoder https://ohadravid.github.io/posts/2025-05-rav1d-faster/
ohadravid.github.io
Making the rav1d Video Decoder 1% Faster
*on macOS with an M3 chip *slightly more than 1%, on a specific benchmark, without any new unsafe code
A while ago, memorysafety.org announced a contest for …
A while ago, memorysafety.org announced a contest for …
That fractal that's been up on my wall for years https://chriskw.xyz/2025/05/21/Fractal/
chriskw.xyz
That fractal that's been up on my wall for 12 years
Warning: Math, Handwaving
I spent a lot of time doodling in middle school in lieu of whatever it is middle schoolers are
supposed to be doing. Somewhere between the Cool S’s
and Penrose triangles I stumbled upon a neat
way to fill up graph paper by repeatedly…
I spent a lot of time doodling in middle school in lieu of whatever it is middle schoolers are
supposed to be doing. Somewhere between the Cool S’s
and Penrose triangles I stumbled upon a neat
way to fill up graph paper by repeatedly…
Why I no longer have an old-school cert on my HTTPS site https://rachelbythebay.com/w/2025/05/22/ssl/
Postgres IDE in VS Code https://techcommunity.microsoft.com/blog/adforpostgresql/announcing-a-new-ide-for-postgresql-in-vs-code-from-microsoft/4414648
TECHCOMMUNITY.MICROSOFT.COM
Announcing a new IDE for PostgreSQL in VS Code from Microsoft | Microsoft Community Hub
We are excited to announce the public preview of the brand-new PostgreSQL extension for Visual Studio Code (VS Code), designed to simplify PostgreSQL...
Root for your friends https://josephthacker.com/personal/2025/05/13/root-for-your-friends.html