HNHacker News
TopNewBestAskShowJobs

ocamoss

304 karma · joined September 24, 2025

submissionscomments

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

Comparing Python Type Checkers: Typing Spec Conformance

pyrefly.org·119 pts·ocamoss·
59

Pandas' Public API Is Now Type-Complete

pyrefly.org·4 pts·ocamoss·
0

Python Type Checker Comparison: Empty Container Inference

pyrefly.org·59 pts·ocamoss·
57

PyTorch Now Uses Pyrefly for Type Checking

pytorch.org·5 pts·ocamoss·
0

Making Pyrefly Diagnostics 18x Faster

pyrefly.org·5 pts·ocamoss·
0
Page 1 of 2Next →