ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to mypy, Pyright, and Pylance.

This was a fun project for a couple of days, but I will probably shelve it for now so I can continue what I was already working on before. Read on to follow along with my journey.
Spoilers: I didn’t get very far.

Nuno F Gomes Loureiro, 47, a nuclear science and engineering professor was shot "multiple times" on Monday.

The development of geometry in humans

Create custom emoji handshakes using yellow hands like 🫱‍🫲🏿 and 🫱🏿‍🫲.

Mozilla's pivot to AI first browsing raises fundamental questions about what a browser should be.

An us-versus-them mentality has emerged between Meta’s top artificial intelligence team and longtime lieutenants to Mark Zuckerberg.

Introducing Letta Code, a memory-first coding agent. Letta Code is the #1 model-agnostic open source agent on the leading AI coding benchmark Terminal-Bench.

I wrote about JustHTML yesterday—Emil Stenström’s project to build a new standards compliant HTML5 parser in pure Python code using coding agents running against the comprehensive html5lib-tests testing library. Last …

aadil pickle's internet home

Brian Scott made an app that's safe, simple, and educational for kids to chat in, using Tailscale's tsnet and connectivity.

Canadian judge Kimberly Prost is unable to use credit cards, transfer money or book everyday services in what she calls an attack on the independence of the judiciary

Protesters held signs noting dangers to water and potential electricity rate increases because of data centers being proposed across Michigan.

Tesla has reported yet another crash involving its Robotaxi fleet in Austin to the NHTSA. The new data keeps the...

The locking of an Apple Account and the difficulty one loyal Apple customer has experienced in regaining access is a stark reminder to be vigilant when buying gift cards for the holidays.

The Dafny Programming and Verification Language and tools