Anton I. Sipos

Anton I. Sipos

@aisipos.bsky.social

Opinionated musings on software development and whatnot. Interests include Astrophotography, SDR, History / Philosophy, and Saxophone. He/him.

210 followers806 following83 posts

#pycon has an AI track this year. I'll have my AI agent watch all the videos later and give me a paragraph summary (kidding, maybe???). Meanwhile I'll be interacting with real humans at the open spaces. Some of which are about AI. Hmmm.....

TIL at #PyconUS : uv sync will install the current project / directory as an editable package. Perfect for the sprints! zanieb recommends uv sync as the preferred interface over the "imperative" uv pip workflow.

Sadly due to my late arrival at #PyconUS I'll have to miss the typing summit. The announcements of Ty and Pyrefly are the biggest news of the conference so far. Excited to see how well these work as LSP servers going forward.

Anton I. Sipos reposted

PEP 751 has been accepted! peps.python.org/pep-0751/ This means #Python now has a lock file standard that can act as an export target for tools that can create some sort of lock file. And for some tools the format can act as their primary lock file format as well instead of some proprietary format.

peps.python.orgPEP 751 – A file format to record Python dependencies for installation reproducibility | peps.python.orgThis PEP proposes a new file format for specifying dependencies to enable reproducible installation in a Python environment. The format is designed to be human-readable and machine-generated. Installe...
View full thread
View full thread

"Formal methods are surprisingly feasible for mainstream software development and give good return on investment", "TLA+ finds bugs in system designs that cannot be found through any other technique that we know of", referring to the use of TLA+ at Amazon / AWS

Great quotes from @kylegospodneti.ch at his talk "#Bazzite , The next generation of Linux gaming" at #SCALE22x : ""#Flathub is a controversial topic in some circles, I don't think it should be." "Pragmatism is better for your audience than idealism" (ref. to closed source Steam / Discord / NVidia)