Profile avatar
leodevian.bsky.social
14 posts 1 followers 21 following
Getting Started
Conversation Starter
Posts 8 Comments 13

Use #Python at all? I would like to do a silly thing, which I hope will bring amusement to others as well as me (if it works out). If you wouldn't mind, please fill out this form, and boost for reach: docs.google.com/forms/d/e/1F...

submitted 34 days ago • 1 comment

Today, we're announcing plans to make VS Code an open source AI editor. We believe AI development should stay true to VS Code's core principles: open, collaborative, and community-driven. Let's build the future of software development together. aka.ms/open-source-...

submitted 41 days ago • 13 comments

Today, we’re announcing the preview release of ty, an extremely fast type checker and language server for Python, written in Rust. In early testing, it's 10x, 50x, even 100x faster than existing type checkers. (We've seen >600x speed-ups over Mypy in some real-world projects.)

submitted 47 days ago • 14 comments

Little Python quiz. What does list(f()) return for these: def one(): return [1] yield def two(): return (yield 1) And why :)

submitted 51 days ago • 3 comments

Sad to see an AI suggest these entries for a [tool.coverage.run] section: omit = tests/*, */__init__.py, */__main__.py, */cli.py, */setup.py, */__pycache__/*, */test_*.py nedbatchelder.com/blog/202008/...

submitted 64 days ago • 1 comment

The latest @talkpython.fm is out with @akshaykagrawal.bsky.social and @mkennedy.codes . We're diving into reactive data science notebooks with Marimo. #python talkpython.fm/episodes/sho...

submitted 75 days ago • 2 comments

Congrats on PEP 751 @snarky.ca

submitted 90 days ago • 0 comments

How I am going about my days lately (cc @crmarsh.com)

submitted 216 days ago • 2 comments