Overview
News
Technologies
Salaries
Products
People
Growth
Financials

Overview

About I am passionate about technology, with a focus on programming languages, verification and artificial intelligence. Not to get stuck in the academic ivory tower, I try to balance some professional work to keep me up to date, and to feel I have a real impact in the world.

News

Blog 17 days ago
If I were a Bank or a State CTO...
So Mythos and Sol come around, and they are weapons of mass destruction in the hands of civilians . At least, that's what Anthropic tried to say, when they delayed its release to civilians - a brilliant marketing move on the heels of OpenAI back-talking t
Read more
Report
Blog 18 days ago
LG will start using user-replaceable batteries in their mice
This is one of those exceedingly rare cases where EU legislation has produced an unambiguously good outcome: from February 2027, Logitech's European wireless devices will ship with hard-pack, user-replaceable batteries, and Logitech will sell certified re
Read more
Report
Blog 18 days ago
Multithreading bug in Numpy
Whenever I have worked on parallel programming, I always plot some variation of the speedup scale. This is very helpful to detect problems like this one that affects numpy, where you can only see it whenever the contention for some resource is high enough
Read more
Report
Blog 18 days ago
Someone found the zsh bug I was experiencing without knowing
Since Apple forced me to migrate to zsh as my default shell 1 , I have noticed that every now and then I lose part of my command history. I am sure I ran the command in the morning, and in the afternoon going up, up and up in the terminal would not find i
Read more
Report
Pro access
Upgrade to see all 20 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.