HNHacker News
TopNewBestAskShowJobs

ocamoss

311 karma · joined September 24, 2025

submissionscomments

Python Typing Survey 2026 Results

engineering.fb.com·2 pts·ocamoss·
1

Microsoft and Meta partner to bring Pyrefly support to Pylance in VS Code

devblogs.microsoft.com·3 pts·ocamoss·
0

Pyrefly v1.4.0

github.com·3 pts·ocamoss·
0

Origin App Marketplace

cursor.com·1 pts·ocamoss·
0

Adopting Pyrefly as the Python type checker at Google

opensource.googleblog.com·4 pts·ocamoss·
0

From Any to Certainty: A Typechecking Journey

napari.org·1 pts·ocamoss·
0

Pyrefly v1.3: More configurability and composable tensor shapes

pyrefly.org·1 pts·ocamoss·
0

LSPs for LLMs

ianbarber.blog·2 pts·ocamoss·
0

What's type-coverage, and why should I care?

pyrefly.org·2 pts·ocamoss·
0

Cognition CEO denies report that SpaceX tried to acquire the startup

techcrunch.com·4 pts·ocamoss·
1

Pyrefly 1.2 is here – feat. Bazel support, attrs, and type coverage checking

pyrefly.org·5 pts·ocamoss·
0

2026 Python Type System and Tooling Survey

discuss.python.org·2 pts·ocamoss·
0

Define less, check more: Pyrefly now supports attrs

pyrefly.org·6 pts·ocamoss·
0

Making Type Coverage Visible in Dify's CI

pyrefly.org·1 pts·ocamoss·
0

Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes

pyrefly.org·5 pts·ocamoss·
0

How to get your agent to use Pyrefly for type checking [video]

youtube.com·4 pts·ocamoss·
0

Talk: Python Type Checking in Agentic Workflows [video]

youtube.com·2 pts·ocamoss·
0

Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit

pyrefly.org·3 pts·ocamoss·
0

Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit

pyrefly.org·3 pts·ocamoss·
0

Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video]

youtube.com·9 pts·ocamoss·
0

Are you expected to run five Python type-checkers now?

pyrefly.org·168 pts·ocamoss·
208

Pyrefly v1.0 is here (fast type checker and language server for Python)

pyrefly.org·41 pts·ocamoss·
9

Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches

pyrefly.org·3 pts·ocamoss·
0

Adding Pyrefly Type Checking to Your Agentic Loop

pyrefly.org·2 pts·ocamoss·
0

Python Type Checker Comparison: Speed and Memory Usage

pyrefly.org·2 pts·ocamoss·
0

How to Support Notebooks in a Language Server

pyrefly.org·3 pts·ocamoss·
0

We chose Positron's Python type checker

positron.posit.co·1 pts·ocamoss·
0

Reaching 100% Type Coverage by Deleting Unannotated Code

pyrefly.org·3 pts·ocamoss·
0

Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly

pyrefly.org·6 pts·ocamoss·
0

PyCon 2026 Typing Summit: Thu May 14, 1-5pm

discuss.python.org·2 pts·ocamoss·
0
Page 1 of 2Next →