ocamoss's submissions

1.		Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org)
		3 points by ocamoss 3 days ago \| past \| discuss
2.		Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org)
		2 points by ocamoss 3 days ago \| past \| discuss
3.		Python Type Checker Comparison: Speed and Memory Usage (pyrefly.org)
		2 points by ocamoss 23 days ago \| past
4.		How to Support Notebooks in a Language Server (pyrefly.org)
		3 points by ocamoss 31 days ago \| past
5.		We chose Positron's Python type checker (posit.co)
		1 point by ocamoss 35 days ago \| past
6.		Reaching 100% Type Coverage by Deleting Unannotated Code (pyrefly.org)
		3 points by ocamoss 37 days ago \| past
7.		Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
		6 points by ocamoss 45 days ago \| past
8.		PyCon 2026 Typing Summit: Thu May 14, 1-5pm (python.org)
		2 points by ocamoss 53 days ago \| past
9.		Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
		119 points by ocamoss 53 days ago \| past \| 59 comments
10.		Pandas' Public API Is Now Type-Complete (pyrefly.org)
		4 points by ocamoss 60 days ago \| past
11.		Python Type Checker Comparison: Empty Container Inference (pyrefly.org)
		59 points by ocamoss 72 days ago \| past \| 57 comments
12.		PyTorch Now Uses Pyrefly for Type Checking (pytorch.org)
		5 points by ocamoss 84 days ago \| past
13.		Making Pyrefly Diagnostics 18x Faster (pyrefly.org)
		5 points by ocamoss 88 days ago \| past
14.		Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive (pyrefly.org)
		6 points by ocamoss 3 months ago \| past
15.		Making a Strava-Style Heatmap with My Citibike Ride History (yangdanny97.github.io)
		2 points by ocamoss 3 months ago \| past
16.		Python Typing Survey 2025: Code Quality and Flexibility Top Reasons for Adoption (fb.com)
		1 point by ocamoss 4 months ago \| past
17.		Reforging the ReScript Build System (rescript-lang.org)
		3 points by ocamoss 4 months ago \| past
18.		What can I do with ReScript? (rescript-lang.org)
		3 points by ocamoss 4 months ago \| past
19.		Fly through data validation with Pyrefly's new Pydantic integration (pyrefly.org)
		1 point by ocamoss 4 months ago \| past
20.		ReScript 12 (rescript-lang.org)
		2 points by ocamoss 4 months ago \| past
21.		Pyrefly Beta (fast type checker and language server for Python) [video] (youtube.com)
		2 points by ocamoss 5 months ago \| past
22.		Pyrefly: Type Checking 1.8M Lines of Python per Second [video] (youtube.com)
		1 point by ocamoss 6 months ago \| past
23.		Talk Python Podcast Ep 523 – Pyrefly: Fast, IDE-Friendly Typing for Python (talkpython.fm)
		1 point by ocamoss 6 months ago \| past
24.		Python developers are embracing type hints (pyrefly.org)
		318 points by ocamoss 7 months ago \| past \| 566 comments