An experimental proof assistant based on a type theory for synthetic ∞-categories. - rzk-lang/rzk

Definitions of algorithms, data structures, and classical
Computer Science problems.

Some entries have links to implementations and more information.

This post looks at the Closure Compiler, Google's tool from the mid-2000s for adding types to JavaScript. It looks at how its focus on minification led to very different design choices than TypeScript, and how this and a few other factors led to TypeScript…

The Pentagon is already a high-value buyer of the company's rocket launches and had shown increasing interest in its Starlink satellite internet.

California Gov. Gavin Newsom has signed a law raising the minimum wage for fast food workers to $20 per hour. The raise takes effect April 1. It applies to fast food restaurants that have at least 60 locations nationwide.

Mark Zuckerberg is CEO of Meta.

Thank you for listening ❤ Please support this podcast by checking out our sponsors:
- LMNT: https://drinkLMNT.com/lex to get free sample pack
- InsideTracker: https://insidetracker.com/lex to get 20% off
- Eight Sleep: ht…

A Nintendo Entertainment System (NES) emulator module for VCV Rack. - Kautenja/RackNES

As the Department of Justice’s antitrust case against Google presses on, we continue to learn more about Apple’s search agreement...

You probably know how to use async/await. But have you ever wondered how it works under the hood?

Stories, essays and news from across lesser known archaeology, anthropology, history and biology. Click to read Grey Goose Chronicles, a Substack publication.

The new visual appearance and functionality of watchOS 10 is a welcome change. There was clearly a lot of design and engineering effort put into this new interface and the improvements are tangible for most apps. Unfortunately, the app that I use the most…

News and analysis from Capitol Hill for when you only have a few minutes, from POLITICO.