#Tag · bonfire.cafe

#Tag

Log in

@h4ckernews@mastodon.social · 2 weeks ago

Ty: A fast Python type checker and LSP

https://astral.sh/blog/ty

#HackerNews #Ty #Python #type #checker #LSP #programming #tools #developer #productivity

ty: An extremely fast Python type checker and language server

ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to mypy, Pyright, and Pylance.

@h4ckernews@mastodon.social · 4 weeks ago

Ty – A fast Python type checker, written in Rust

https://docs.astral.sh/ty/

#HackerNews #Ty #Python #Type #Checker #Rust #Fast #Programming

@h4ckernews@mastodon.social · 2 months ago

Reproducing the AWS Outage Race Condition with a Model Checker

https://wyounas.github.io/aws/concurrency/2025/10/30/reproducing-the-aws-outage-race-condition-with-model-checker/

#HackerNews #Reproducing #AWS #Outage #Race #Condition #Model #Checker #Concurrency #TechNews

Reproducing the AWS Outage Race Condition with a Model Checker | Waqas Younas' blog

Welcome to Waqas' blog

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances

Bonfire social · 1.0.1-alpha.40 no JS en

Automatic federation enabled

Log in