What are MCP Servers?
With Fly.io, you can get your app running globally in a matter of minutes, and with MCP servers you can integrate with Claude, VSCode, Cursor and...
Read moreCategory: General
Using `make` to compile C programs (for non-C-programmers)
I have never been a C programmer but every so often I need to compile a C/C++ program from source. This has been kind of a...
Read moreAI 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 moreHow 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 more