Python: Weekly Summary (May 19-25, 2025)

A Python frozenset interpretation of Dependent Type Theory

I stumbled upon an intriguing post by Philip Zucker that dives into the world of Dependent Type Theory using Python frozensets. Now, if you're like me, you might be scratching your head a bit at first. But Philip does a pretty good job of breaking it down. He talks about the core intuition of the model, which is a fancy way of saying the basic idea behind it. He also goes into judgements, type constructors, telescoped contexts, and universes. It's like a whole new language, but with Python as the translator. And if you're curious about dependent types and identity types, Philip's got examples to help you wrap your head around it. It's a bit of a brain workout, but definitely worth a read if you're into the nitty-gritty of programming languages.

Perl Weekly Challenge 322: Splitting and Sorting

Next up, Luca Ferrari takes us on a journey through the Perl Weekly Challenge 322. Now, I know what you're thinking – this is about Perl, not Python. But hold on, because Luca includes Python in his lineup of solutions. He tackles the challenge with a variety of languages, including Raku, PostgreSQL, PL/Perl, PL/PgSQL, PL/Java, and of course, Python. It's like a buffet of programming languages, and Luca serves up code examples for each one. If you're into seeing how different languages handle the same problem, this one's for you.

Satellites Spotting Depth

Then there's Mark Litwintschik who takes us on a high-tech adventure with Depth Anything V2. This depth estimation model was developed by a team from TikTok and the University of Hong Kong. Mark runs the model against Maxar's satellite imagery of Bangkok, Thailand, using a high-performance workstation. It's like something out of a sci-fi movie, but it's happening right now. He details the process of installing prerequisites, downloading the satellite imagery, and running the model to create depth maps of the images. It's a fascinating look at how technology is being used to see the world in new ways.

DumPy: NumPy except it’s OK if you’re dum

Now, here's a post that caught my eye – dynomight introduces us to DumPy, a new array language that's like NumPy but with a twist. The idea is to eliminate unnecessary thinking and complexity. It's like bringing back the good old days of loops and indices, but with a modern twist. DumPy secretly compiles it into vectorized operations, so you get the best of both worlds. The author compares the implementation of various problems using loops, NumPy, JAX, and DumPy, and gives DumPy a subjective score of 96.93877% as good as loops. It's a fun read, especially if you're a fan of NumPy and looking for something new to try.

/Now Page Update – Podcast Episode Artwork

Scott Willsey shares a personal update about his /now page, which now includes podcast artwork next to the episode entries. This change was prompted by his switch from Overcast to Apple Podcasts and then back to Overcast. It's a small change, but it makes a big difference in the look and feel of the page. Scott goes into detail about the process of automating the grabbing of recent podcast listening history for the /now page. It's a neat little project that shows how even small changes can have a big impact.

Esri's ArcGIS Pro 3.5

Back to Mark Litwintschik, who also discusses the features of ArcGIS Pro 3.5. This post is packed with information about system specifications, Python upgrades, Parquet support, 3D clouds, histogram ergonomics, SAR support, vector-based PDFs, label engine updates, and raster to polygon functionality. It's a lot to take in, but Mark does a great job of breaking it down. If you're into GIS and want to know what's new in ArcGIS Pro 3.5, this post is a must-read.

Using LocalStack for AWS Lambda with EventBridge rule trigger

Naiyer Asif takes us through the process of using LocalStack for AWS Lambda with EventBridge rule trigger. He explains how to write a handler for Lambda, deploy the function, create an event bus and event rule, trigger the function, and clean up the resources. It's a step-by-step guide with code examples and commands for each step. If you're working with AWS Lambda and want to try out LocalStack, this post is a great resource.

Iterators and adaptors

Finally, Jussi Pakkanen discusses the differences in iteration between Python, Rust, and C++. He also explains how to integrate an object of the former type with C++'s native language facilities without any macros. It's a technical post, but Jussi makes it accessible with clear explanations and examples. If you're interested in how different languages handle iteration, this post is worth checking out.

So there you have it, a whirlwind tour of the latest blog discussions around Python. Each post offers a unique perspective and insight into the world of programming, and I hope you'll find them as interesting as I did. If any of these topics piqued your interest, I encourage you to check out the full posts for more details and insights.