AI metrics
In the early days of the consumer Internet, a lot of metrics floated around and no-one was clear what to measure or what it meant. The...
Read moreNews
How to Deploy Lightweight Language Models on Embedded Linux with LiteLLM
This article was contributed by Vedrana Vidulin, Head of Responsible AI Unit at Intellias (LinkedIn). As AI becomes central to smart devices, embedded systems, and edge computing, the...
Read moreAI is a gamechanger for TLA+ users
New Logic for Programmers Release v0.10 is now available! This is a minor release, mostly focused on logic-based refactoring, with new material on set types and...
Read moreAdvanced audio dialog and generation with Gemini 2.5
Gemini 2.5 has new capabilities in AI-powered audio dialog and generation.
Read moreMy AI Skeptic Friends Are All Nuts
A heartfelt provocation about AI-assisted programming. Tech execs are mandating LLM adoption. That’s bad strategy. But I get where they’re coming from. Some of the smartest...
Read moreHow to Install OpenEMR on Ubuntu 24.04 Server
OpenEMR is an open-source health records and medical practice management solution. It is a fully integrated electronic health record and practice management, scheduling, electronic billing, and...
Read moreHow to Install Moodle LMS on Debian 12 Server
Moodle is an open solution for the Learning Management System (LMS). It is a platform for educational purposes, from creating online courses, managing online schools, managing...
Read moreUsing Kamal 2.0 in Production
Agile Web Development with Rails 8 is off to production, where they do things like editing, indexing, pagination, and printing. In researching the chapter on Deployment...
Read moreWhat does “Undecidable” mean, anyway
Systems Distributed I’ll be speaking at Systems Distributed next month! The talk is brand new and will aim to showcase some of the formal methods mental...
Read moreparking_lot: ffffffffffffffff…
We’re Fly.io, a public cloud that runs apps in a bunch of locations all over the world. This is a post about a gnarly bug in...
Read moreGenAI’s adoption puzzle
This chart is very ‘glass half-empty or half-full?’, and it’s a puzzle. You could say that this is amazingly fast adoption, and much faster than PCs,...
Read moreA brief history of JavaScript
In 30 years, JavaScript went from being a little scripting language to one of the world’s most popular. Here are key moments to show how it...
Read more