Note: this post was written for Lean 3; the latest version, Lean 4, is a very different language.
Turn back the clock to 2009: a confused physics major newly infatuated with math and computer science, …

I remember when it was easy to find logic, facts, and reason on the web. Then, we optimized it.

Theia IDE is an AI-native, modern, open-source development environment that runs on desktop and in the cloud. Not a VS Code fork, Theia offers transparent AI assistance with full control over your data, supports the Language Server Protocol (LSP), and is…

Malariamedicinen klorokin har lyfts fram som ett mirakelmedel mot det nya coronaviruset, bland annat av Donald Trump. Nu går Sahlgrenska mot strömmen och stoppar medicinen, som kan ge svåra biverkningar. – Vi kan inte utesluta att behandlingen gör mer skada…

A Q+A with Cal Newport on why the quality of your quarantine may come down to how you use your technology.

Historically, perfumery and fragrance creation has toed the line between art and science.

On 6th March 2017, the world's most famous mobile money transfer service turned 10. In this first instalment, we look at the wars it had to fight to survive, and the two transactions that saved it.

Data from Cold War nuclear bomb tests help scientists accurately age whale sharks for the first time.

Most of the attention in the COVID-19 pandemic has been on how the virus affects the lungs. But evidence shows that up to 1 in 5 hospitalized patients have signs of heart damage and many are dying …

Engineering update on the Tesla ventilator

Microsoft’s new Edge is now the second most-used browser

Meet one of the world’s most prolific writers of disinformation

afctl helps to manage and deploy Apache Airflow projects faster and smoother. - qubole/afctl

When I was recently working on a Google Workspace deployment project, customer asked me if its possible to watch users emails, So I did some research and testing to find if its really possible.

Spain’s government is working on introducing a measure that will last “indefinitely,” to help those facing economic hardship because of the coronavirus crisis, Economy Minister Nadia Calvino said.

Massive order volume, fueled by the global coronavirus crisis, is causing a logistics backlog at Amazon. Retailers with temporarily closed bricks-and-mortar spaces are rivaling, and sometimes even beating, the e-commerce giant on shipping times.

io_uring is a clever new, high-performance interface for asynchronous I/O for Linux without the drawbacks of the aio set of APIs. In this 3-part article series, we look at how to use io_uring to ge…