First screen, captured 4 hours ago. Hover to scroll the page, or open the video.

Type Server Protocol

What HN thinks

A Python type protocol announcement swiftly becomes a referendum on whether Python should exist at all.

Python-specific, oddly generic name
Many argue the protocol only serves Python (its result-type schema is very Python-shaped) and should be named accordingly rather than claiming the generic TSP namespace.
Python itself is the problem
A large subthread debates Python's quality, with critics citing packaging, venvs and the 2-to-3 split, while defenders credit ease of use, the standard library and NumPy/SciPy for its success.
Unclear why LSP isn't enough
Several commenters ask what TSP adds; the apparent answer is machine-readable type queries so Pylance can plug in third-party checkers like Pyrefly or ty.

Consensus: Most agree TSP is effectively a Python/Pylance extension unlikely to be used by other languages; there is no consensus on Python's merits.

Recommended in the comments

ty ↗ (tool): Noted as planning to support TSP.
F# (other): Some wish Microsoft invested there instead of Python tooling.

Summarised by Claude from the comment thread 3 hours ago.

Points: 169
Comments: 125
Best rank: #1
Posted: 2026-10-26 by adamnemecek
Category: Programming

type-server-protocol pylance python language-server-protocol microsoft json-rpc type-checking

All captures:

Full page

Captured 4 hours ago. Click for the whole screenshot.

Looks similar

Screenshot of github.com: Hedra is a 3D open world game I wrote from scratch while in highschool

Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)

219 points by maxilevi 4 days ago | 41 comments

GitHub repository for Project Hedra, a low-poly procedurally generated 3D open-world RPG and custom C#/OpenGL engine written by its author starting in high school.

game-development game-engine csharp opengl

Screenshot of github.com: Symbolic Learning in Python and Julia

Symbolic Learning in Python and Julia (github.com)

59 points by alex_hirner 6 days ago | 11 comments

GitHub repository for PySR, an open-source library for symbolic regression and equation discovery in Python with a Julia backend.

symbolic-regression pysr julia python

Screenshot of github.com: PyTorch-native TPU back end for vLLM

PyTorch-native TPU back end for vLLM (github.com)

4 points by zniturah 7 days ago | 0 comments

GitHub repository for vllm-torchtpu, a PyTorch-native TPU backend for the vLLM LLM inference engine.

vllm tpu pytorch llm-inference

Screenshot of github.com: Show HN: Making a smart TV dumb and then smart

Show HN: Making a smart TV dumb and then smart (github.com)

69 points by animalhot 3 days ago | 38 comments

GitHub repo for r2d2-tv, a local home screen, private remote browser, and push-to-talk voice assistant that replaces vendor software on rooted LG webOS TVs.

webos smart-tv lg voice-assistant

Screenshot of github.com: mitmproxy adds --emudhra option

mitmproxy adds --emudhra option (github.com)

541 points by ahlCVA 4 days ago | 141 comments

GitHub commit to mitmproxy adding an --emudhra option that signs TLS certificates using a compromised eMudhra intermediate CA private key.

mitmproxy emudhra certificate-authority tls

OpenSSL 4.1.0 (github.com)

165 points by petecooper 3 days ago | 55 comments

GitHub release page for OpenSSL 4.1.0, a feature release adding DTLS 1.3, GREASE support, ML-DSA/ML-KEM optimizations, and dropping legacy Windows targets.

openssl dtls tls cryptography