Stories by belter

On the independence between consciousness and computational intelligence

Finding smart contract vulnerabilities with ConCert

CoqQ: Foundational Verification of Quantum Programs

Interview with Maryna Viazovska, second woman to win the Fields Medal

Despite its drawbacks, robotic-assisted surgery is on the rise

Germany and the End of Globalization

Elon Musk's Twitter countersuit due by Friday as acrimony grows

The Impact of Age Stereotypes in Job Ads on Applications from Older Workers

World spending more on cloud infrastructure than ever before

Amazon Cut Its Staff by Almost 100k in the June Quarter

Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js

What Happens When Texans Protest Their “Mind-Boggling” Property Taxes?

OpenAI shouldn't need your phone number

List of the most distant astronomical objects

Can we analyze Kotlin programs using existing Java taint analysis tools?

Microsoft 365: “Users may be unable to use multiple Microsoft 365 services”

Feedback required: the science of criticism that actually works

Man walks on the moon: 21 July 1969

How to speed up the Rust compiler in July 2022