The new binding application in Idris helps write programs with dependent pairs and other structures with lambda as the trailing argument. This post is a small collection of uses I have for it.

The presence of apparent biological signatures on Venus has left UK-based researchers chasing down bacterial life in the planet's clouds.

If you need a job queue in JS, you can do it in two lines:

: 'Our offer from Broadcom was five times higher than we expected'

Mahmoud Abdelhamid, Imtiaz Haque, Srikanth Pilla, Zoran S. Filipi, Rajendra Singh, Impacts of Adding Photovoltaic Solar System On-Board to Internal Combustion Engine Vehicles Towards Meeting 2025 Fuel Economy CAFE Standards, SAE International Journal of Alternative…

A new agentic IDE that works alongside you from prototype to production

Just 100 years ago, on 9 July 1925, Werner Heisenberg wrote a letter to his friend, colleague and fiercest critic, Wolfgang Pauli. A few weeks earlier, Heisenberg had returned from the North Sea outpost of Helgoland, where he had laid the foundations of modern…

Making compilation pipelines fast, starting with the tokenizer

SF and Oakland police appear to have repeatedly broken state law by sharing data from license plate cameras with federal agencies. OPD fulfilled a request related to an ICE investigation on one occasion.

For many years, data brokers have existed in the shadows, exploiting gaps in privacy laws to harvest our information—all for their own profit. They sell our precise movements without our knowledge or

Brothers-in-law use construction knowledge to compete against Comcast in Michigan.

your data is trapped inside the box that is your program. you can only see what the program author exposes.

Why random selection is necessary to create stable meritocratic institutions

I’ve been building Rails applications for the last 10 years on a daily base and almost all of them use active storage now. Users are uploading files and then...

Best. Grandparents. Ever.

Kapor dropped out of MIT’s Sloan School of Management in the '70s to join the startup world. An old friend ribbed him into coming back.