Are you expected to run five Python type-checkers now?
(news.ycombinator.com)
1.
2.
4.
you_can::turn_off_the_borrow_checker
(news.ycombinator.com)
5.
6.
Intro to TLA+ for the LLM Era: Prompt Your Way to Victory
(news.ycombinator.com)
7.
Free, fast diagnostic tools for DNS, email authentication, and network security
(news.ycombinator.com)
8.
InspectMind AI (YC W24) Is Hiring
(news.ycombinator.com)
9.
Type Construction and Cycle Detection
(news.ycombinator.com)
10.
11.
12.
It doesn’t matter if the Netanyahu coffee video is real. We are screwed no matter what
(feeds.feedburner.com)
13.
Python Type Checker Comparison: Empty Container Inference
(news.ycombinator.com)
14.
Show HN: Browse Internet Infrastructure
(news.ycombinator.com)
15.
16.
The U.S. is now blocking visas for people who fight misinformation
(feeds.feedburner.com)
17.
The Checkerboard
(news.ycombinator.com)
18.
Show HN: Secure private diffchecker with merge support
(news.ycombinator.com)
19.
I made a downdetector for downdetector's downdetector's downdetector
(news.ycombinator.com)
20.
21.
A spellchecker used to be a major feat of software engineering (2008)
(news.ycombinator.com)
22.
A Spellchecker Used to Be a Major Feat of Software Engineering
(news.ycombinator.com)
23.
The borrowchecker is what I like the least about Rust
(news.ycombinator.com)