python

Translation of Python code to Coq | Formal Land (formal.land)

Light speed with Python and JS (www.bitecode.dev)

What's up Python? Lots of Wasm, Pydantic on fire, and Guido in a crossword... (www.bitecode.dev)

A library for creating fully typed declarative API clients quickly and easily (github.com)

cross-posted from: programming.dev/post/13395352...

Testing with Python (part 1): the basics (www.bitecode.dev)

Announcing py2wasm: A Python to Wasm compiler (wasmer.io)

Guido in the NY Times crossword (framapiaf.org)

Idle Clicke in Tkinter for Pydroid3 or Desktop (github.com)

It runs!.. it’s just a toy.

Testing our brains. How would this node.js and python solution look to you? (chat-to.dev)

Many thumbnail programs exist that will take a large image and reduce it to a thumbnail for you, often supporting working in batches. But what about turning user-uploaded images into thumbnails? Obviously, you don’t want to simply send a large image to the browser and have HTML resize it, because the quality wouldn’t be...

Single and Double Underscores in Python Names – Real Python (realpython.com)

win32api alternative for mac and linux that isnt pyautogui, and preferably faster

is there any win32 alternative that is multi platform and doesnt consume too much resources and are fast? thx

Accelerating Python Code with Numba Vectorize - CodersLegacy (coderslegacy.com)

GitHub - Lancetnik/Propan: Propan is a powerful and easy-to-use Python framework for building event-driven applications that interact with any MQ Broker (github.com)

Dealing with Databases - Inserting, Updating Etc.

Wondering if anyone here has some advise or a good place to learn about dealing with databases with Python. I know SQL fairly well for pulling data and simple updates, but running into potential performance issues the way I've been doing it. Here are 2 examples....

Applying DRY to something that isn’t (gist.github.com)

Had some fun with generators while practicing DRY.

Is installing personal packages with pipx an anti-pattern?

So I made a small little command-line utility for myself just for practice, but I had a hard time figuring out how to actually turn it into something I can just use on the command line with no fuss. It uses a virtual environment as Python packages should, so it needs to be run in that environment and I was having trouble...

Is learning programming worth it? Outside of a career, what can I do with programming?

I learned a little bit of python back in college with the hope that it would give me a competitive edge in the field I hoped to enter. Lo and behold, I got a job in a different industry entirely and any knowledge of coding I once had became irrelevant....