Running for the Python Packaging Council https://blog.yossarian.net/2026/08/13/python-packaging-council #oss #python

What does it take to keep Python secure for the next decade? 🔒🐍 William Woodruff explores the future of Python security, evolving threats, and how defenders need to adapt during this #EuroPython2026 keynote. 🎥 Watch now!! www.youtube.com/watch?v=wMPe...

Keynote: Securing Python for the next decade - William Woodruff

[EuroPython 2026 - Keynote - S1 on 2026-07-17] 🎤 *Securing Python for the next decade by William Woodruff* 🔗 https://ep2026.europython.eu/session/securing-python-for-the-next-decade 📝…

youtube.com

I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com

Logic for Programmers

Practical math for the working programmer.

logicforprogrammers.com

Does anyone know why ripgrep is soooooo much slower on macOS than Linux these days? On the left is my AMD Ryzen 9 7940HS laptop and on the right is my M2 mac mini. Both searching the same revision of Chromium and both are hot in the OS page cache.

The movie holds up. As does this great anecdote courtesy of Sam Neill and Jeff Goldblum.

I have such an expertly curated algorithm that I'm seeing posts from Mexican street food restaurants in the US and this is how they're advertising the game tomorrow night. "Good vibes"

Here’s a new tool I’ve been working on. A new approach to self-hosted distributed storage. apenwarr.ca/log/20260704

Agentic test processes, LLM benchmarks, and other notes on agentic coding from Galapagos Island: danluu.com/ai-coding/

just wanted to let everyone know that as of this morning, @monktoberfest.com tickets are publicly available. link is here. there is one important change this year that you should all be aware of as it affects ticket availability. more on that below. ti.to/monktoberfes...

The 2026 Monktoberfest

Back by popular demand, RedMonk brings you the fourteenth annual Monktoberfest. The only conference focused on how craft, technology and social come together, it's one of the most unique events in the...

ti.to

I've been telling people for 25 years that Jane Street is not interested in formal methods. No more! And we're actively hiring to form a new formal methods team! blog.janestreet.com/formal-metho...

Formal methods and the future of programming

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

blog.janestreet.com

Lego Masters Australia is impeccable.

Matt Seybold@mattseybold.bsky.social · 3mo ago

I would like to watch a TV series which is not about violent deaths, rich idiots, or totalitarian dystopias. I need some escapism. Please help.

I was recently diagnosed with a rare autoimmune disorder called anti-NMDA receptor encephalitis. It's a "disease of chaos" that completely upturned my life for a couple months. I wrote a blog about it that goes into more detail and discusses prognosis. :-) burntsushi.net/encephalitis/

from my colleague @p.ocmatos.com, a new agent-first language that embeds formal verification: p.ocmatos.com/blog/whats-i... it's very interesting. i don't like it! but interesting nonetheless

Just published my notes from this year's Python Typing Summit at PyCon US. If you've ever been curious what one of these is like from the inside: intersection types, constraint sets in ty, tensor shapes in Pyrefly, Guido on direction. 🐍📝 bernat.tech/posts/pycon-... #PyConUS

PyCon US 2026 Typing Summit Recap

Per-talk notes from the PyCon US 2026 Typing Summit in Long Beach: Pyrefly and AI agents, ty constraint sets, Lean formalization, tensor shape types, intersection types, PEP 827, Guido on the directio...

bernat.tech

With Ben Chandler, amazing #indiegame dev known for Technobabylon, Unavowed, & more. We talk heavy metal, why we make indie games, living in nature-filled Pacific regions yet working on urban cyberpunk, & Ben's exciting new sci-fi fantasy adventure, Gilt! https://www.youtube.com/live/1lRT4OuERfA

I think @antirez ds4.c is important! I wrote down my thoughts on why I built pi-ds4 and why we need to focus our local model efforts stronger than we do currently. lucumr.pocoo.org/2026/5/8/loc...

Pushing Local Models With Focus And Polish

Local models need focus and polish.

lucumr.pocoo.org

The largest cat you've ever seen.

To make it easier esp. for junior folks (students, postdocs, jr faculty) to talk to me, I'm trying a new thing: open office hours at conferences! Come find me at PLDI 2026, using the public calendar linked to the page below. Please feel free to reshare! cs.brown.edu/people/sk/Co...

On a more personal note, some thoughts on why I am working on this: crawshaw.io/blog/buildin...

C interpreters underlie many of our most widely used language implementations -- but they're slow. Wouldn't it be great if we could turn them into JIT compiling VMs? This video shows what happens when we do just that to the normal Lua VM (first) and "yklua" (Lua w/JIT, second).

not just baseball history: this is one of the greatest moments in TV history full stop

Ken Fang -- Very Asian@fangsbites.bsky.social · 4mo ago

I can’t believe I’m writing this, but today is one of the greatest moments in baseball history history. It’s the 19th anniversary of the Fenway Pizza Throw featuring Don Orsillo and the late Jerry Remy with a guy who wasted a piece of cheese pizza.

The peril of laziness lost bcantrill.dtrace.org/2026/04/12/t...

this is so sick???? github.com/astral-sh/uv/blob/8ae8cc3/crates/uv-pep440/src/version.rs#L1064-L1137

the last two weeks have been ~exciting~ in terms of open source security! I've put together a post on Astral's blog about how we think about open source security: astral.sh/blog/open-so...

Open source security at Astral

Insights and guidance from our engineering team on how Astral secures its tools.

astral.sh

stephano contributed all required patches to run Arch Linux ARM on MNT Reform series devices, yay! https://community.mnt.re/t/arch-linux-arm-update-for-mnt-reform/4310

Arch Linux (Arm) Update for MNT Reform

All required packages to run Arch Linux Arm (ALARM) are now available on the Arch User Repository: Linux & Linux Headers Reform Tools Reform LPC Module i.MX 8M Plus Wifi Module & Firmware Reform tools & modules build from source. Linux & headers are bin-only for now. You can view the whole kernel and headers build process used for these packages. You can also pick up an SD Card image there if you want to try it out. If you like what’s happening here please feel free to vote for these AUR p...

community.mnt.re

I have written a blog post about how my blog (and most of the rest of my online presence) is all stuck in a small box that lives under a TV: codon.org.uk/~mjg59/blog/...

from earlier this week: "uses for nested promises", where I look at why you might ever *not* want implicit promise flattening, and how promises concatenate things in time the way arrays do so in space blog.jcoglan.com/2026/03/23/u...

Making your conference talk slides? Make the font bigger. Do it again. I know the default font looks ok when you’re looking at it on your laptop but I promise no one can read that from the back If you can’t fit all the words you want on one slide, you have too many words. Make another slide!

Thoughts on OpenAI acquiring Astral and uv/ruff/ty simonwillison.net/2026/Mar/19/...

astral.sh/blog/openai

Astral to join OpenAI

Astral has entered into an agreement to join OpenAI as part of the Codex team.

astral.sh