A lot of companies are getting bitten by high AI costs. Uber burned through the entire year’s AI budget in just 4 months and Microsoft, Salesforce and Github are taking steps to reduce AI spend by employees. On the other … Read more
I spent the past ~4 weeks trying out all the new and fancy AI tools for software development. Let’s get a few things out of the way: Learning how to use LLMs in a coding workflow is trivial. There is … Read more
The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada. It was a satellite event to ETAPS 2025, which I also attended, and plan to write about in the near future. … Read more
From the perspective of software engineering, current AI systems are unmanageable, and as a consequence their use in serious contexts is irresponsible. For foundational reasons (rather than any temporary technology deficit), the tools we have to manage complexity and scale … Read more
I believe the main reason for the focus on these earlier decades is due to the openness of both the hardware and software during this time. Manual published by computer manufacturers contained detailed schematics of all the circuits, assembly code … Read more
{{ message }} This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository. You can’t perform that action at this time.
In the previous post i discussed a bit the history of digital map design, in particular also outside of OpenStreetMap. I also wrote in the past about the history of OpenStreetMap Carto, the cartographic face of OpenStreetMap and without doubt … Read more
I want to start with that Qt is still IMHO the best way to develop C++ apps. This post is not supposed to be a rant. This is for the decision maker at Qt. If you have any question about … Read more
I was looking at the data used for layoff tracker [1] and it seems that the current wave of layoffs are mostly focused on US companies (~70%) and employees (~60%). And it got me wondering, how is the current career … Read more
In this post, I’ll be taking a look at the current state of AV1 playback support, covering which browsers, mobile devices, smart TVs, consoles and streaming sticks are compatible with the AV1 codec right now. I’ll also touch on some … Read more