This is the first official release of Lean 4.
We intend to begin regular releases of Lean 4, providing a new "minor" version approximately monthly.
We do not yet make promises about backw...

Documents show authorities bought Voyager Lab products which the company claims can use AI to map online human behavior

Touch Pianist is a musical toy / instrument that allows the user to perform hard-to-play classical piano music favorites (from composers like Beethoven, Mozart, Bach, Satie, Debussy to name a few) just by tapping the rhythm of the piece's particular sound…

The federal government's first major antitrust action in decades could set a major precedent for internet giants

A rant about the complexity of modern Linux distributions, which places them on par with the opaqueness of Windows and OSX.

A custom version of Firefox, focused on privacy, security and freedom.

Nature - Manunoscripts that don’t disclose AI assistance are slipping past peer reviewers.

Armbian 23.08 is out, and adds preliminary support for this ultralight Snapdragon laptop

Updated 2024-09-17 to reflect updated PgBouncer support for protocol-level prepared statements 🐘
To start, I want to say that I’m appreciative that PgBouncer exists and the work its open source maintainers put into it. I also love working with PostgreSQL…

Learn how Apple and Meta use psychology and UX to collect your data while creating an illusion of privacy.

Flexport is rescinding a bunch of signed offer letters for people who were starting as soon as this Monday. I am deeply sorry to those people who were expecting to join our company and won't be able to at this time. It's messed up. But no way around it, we…

Novel news; a review for the NYT.

Boss Mark Liu says silicon ready but advanced packaging isn't

The new price rise, which will be effective from January 2024, will affect IaaS and PaaS services, the company said.

Not many people remember this 2005 documentary featured early interviews with Paul Graham, Aaron Swartz, Alexis Ohanian, and Steve Huffman.

Today is an exciting day.
To install Bun v1.0:
curl https://bun.sh/install | bash
# or you can use npm
# npm install -g bun
To upgrade to Bun v1.0:
bun upgrade
Read Bun v1.0.0's release notes o...

It can be hard to figure out why response times are high in Java applications. In my experience, people either apply a process of elimination to a set of recent commits, or might sometimes use profiles of the system to explain changes in metrics. Making guesses…

LGBTQ dating app Grindr ended its remote work policies and forced employees to relocate. Nearly half of its staff left.