ocamoss's submissions

1.		Origin App Marketplace (cursor.com)
		1 point by ocamoss 3 days ago \| past \| discuss
2.		Adopting Pyrefly as the Python type checker at Google (googleblog.com)
		4 points by ocamoss 8 days ago \| past \| discuss
3.		From Any to Certainty: A Typechecking Journey (napari.org)
		1 point by ocamoss 22 days ago \| past
4.		Pyrefly v1.3: More configurability and composable tensor shapes (pyrefly.org)
		1 point by ocamoss 31 days ago \| past
5.		LSPs for LLMs (ianbarber.blog)
		2 points by ocamoss 48 days ago \| past
6.		What's type-coverage, and why should I care? (pyrefly.org)
		2 points by ocamoss 51 days ago \| past
7.		Cognition CEO denies report that SpaceX tried to acquire the startup (techcrunch.com)
		4 points by ocamoss 58 days ago \| past \| 1 comment
8.		Pyrefly 1.2 is here – feat. Bazel support, attrs, and type coverage checking (pyrefly.org)
		5 points by ocamoss 70 days ago \| past
9.		2026 Python Type System and Tooling Survey (python.org)
		2 points by ocamoss 72 days ago \| past
10.		Define less, check more: Pyrefly now supports attrs (pyrefly.org)
		6 points by ocamoss 88 days ago \| past
11.		Making Type Coverage Visible in Dify's CI (pyrefly.org)
		1 point by ocamoss 4 months ago \| past
12.		Pyrefly v1.1 is here 27% faster, refactoring tools, tensor shapes (pyrefly.org)
		5 points by ocamoss 4 months ago \| past
13.		How to get your agent to use Pyrefly for type checking [video] (youtube.com)
		4 points by ocamoss 4 months ago \| past
14.		Talk: Python Type Checking in Agentic Workflows [video] (youtube.com)
		2 points by ocamoss 4 months ago \| past
15.		Tensor Shapes in the Python Type System – Avik Chaudhuri – PyCon Typing Summit (pyrefly.org)
		3 points by ocamoss 4 months ago \| past
16.		Type Checking in Agentic Workflows – Conner Nilsen – PyCon US 2026 Typing Summit (pyrefly.org)
		3 points by ocamoss 4 months ago \| past
17.		Thoughts on Python Typing – Guido van Rossum – PyCon US 2026 Typing Summit [video] (youtube.com)
		9 points by ocamoss 4 months ago \| past
18.		Are you expected to run five Python type-checkers now? (pyrefly.org)
		168 points by ocamoss 4 months ago \| past \| 208 comments
19.		Pyrefly v1.0 is here (fast type checker and language server for Python) (pyrefly.org)
		41 points by ocamoss 5 months ago \| past \| 9 comments
20.		Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches (pyrefly.org)
		3 points by ocamoss 5 months ago \| past
21.		Adding Pyrefly Type Checking to Your Agentic Loop (pyrefly.org)
		2 points by ocamoss 5 months ago \| past
22.		Python Type Checker Comparison: Speed and Memory Usage (pyrefly.org)
		2 points by ocamoss 6 months ago \| past
23.		How to Support Notebooks in a Language Server (pyrefly.org)
		3 points by ocamoss 6 months ago \| past
24.		We chose Positron's Python type checker (posit.co)
		1 point by ocamoss 6 months ago \| past
25.		Reaching 100% Type Coverage by Deleting Unannotated Code (pyrefly.org)
		3 points by ocamoss 6 months ago \| past
26.		Designing a Python Language Server: Lessons from Pyre That Shaped Pyrefly (pyrefly.org)
		6 points by ocamoss 6 months ago \| past
27.		PyCon 2026 Typing Summit: Thu May 14, 1-5pm (python.org)
		2 points by ocamoss 7 months ago \| past
28.		Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
		119 points by ocamoss 7 months ago \| past \| 59 comments
29.		Pandas' Public API Is Now Type-Complete (pyrefly.org)
		4 points by ocamoss 7 months ago \| past
30.		Python Type Checker Comparison: Empty Container Inference (pyrefly.org)
		59 points by ocamoss 7 months ago \| past \| 57 comments
		More