AI In UX: Achieve More With Less
I have made a lot of mistakes with AI over the past couple of years. I have wasted hours trying to get it to do things...
WeiterlesenCategory: Allgemein
Deno’s Other Open Source Projects
Here’s a roundup of some of our popular open source libraries and how we use them in Deno.
WeiterlesenThe Phase Change
Last week I ran my first 10k. It wasn’t a race or anything. I left that evening planning to run a 5k, and then three miles...
Weiterlesen
How To Make Your UX Research Hard To Ignore
In the early days of my career, I believed that nothing wins an argument more effectively than strong and unbiased research. Surely facts speak for themselves,...
Weiterlesen
Spec-driven development with Kiro
We’re joined by Deepak Singh from the Kiro team. Kiro is AWS’s attempt at building an AI coding environment to take you from prototype to production....
Weiterlesen
Let’s Build the GPT Tokenizer: A Complete Guide to Tokenization in LLMs
A text and code version of Karpathy’s famous tokenizer video.
Weiterlesen
Understanding Spec-Driven-Development: Kiro, spec-kit, and Tessl
Birgitta Böckeler has been trying to understand one of the latest AI coding buzzword: Spec-driven development (SDD). She looked at three of the tools that label...
Weiterlesen
How to Solve it With Code course now available
An email sent to all fast.ai forum users.
WeiterlesenKubernetes on Bare Metal for Maximum Performance
When teams consider deploying Kubernetes, one of the first questions that arises is: where should it run? The default answer is often the public cloud, thanks...
Weiterlesen
LMDE 7 “Gigi” released!
The team is proud to announce the release of LMDE 7 “Gigi”. LMDE 7 Gigi LMDE is a Linux Mint project which stands for “Linux Mint...
Weiterlesen
How to upgrade to LMDE 7
It is now possible to upgrade LMDE 6 to version 7. First, refresh your cache and install the Upgrade Tool by typing the following commands in...
Weiterlesen
The great software quality collapse
Denis Stetskov describes how we’ve “normalized catastrophe” in the software industry, Meta is officially handing React and React Native over to a foundation, The New Stack...
Weiterlesen
The Grayscale Problem
Last year, a study found that cars are steadily getting less colourful. In the US, around 80% of cars are now black, white, gray, or silver,...
Weiterlesen
A new direction for AI developer tooling
Elixir creator, José Valim, is throwing his hat into the coding agent ring with Tidewave –a coding agent for full-stack web development. Tidewave runs in the...
Weiterlesen
Three ways formally verified code can go wrong in practice
New Logic for Programmers Release! v0.12 is now available! This should be the last major content release. The next few months are going to be technical...
WeiterlesenThe Real Python Podcast – Episode #269: Python 3.14: Exploring the New Features
Python 3.14 is here! Christopher Trudeau returns to discuss the new version with Real Python team member Bartosz Zaczyński. This year, Bartosz coordinated the series of...
Weiterlesen
Notes on switching to Helix from vim
Hello! Earlier this summer I was talking to a friend about how much I love using fish, and how I love that I don’t have to...
WeiterlesenVite documentary companion pod
Our friends at Cult.Repo launch their epic Vite documentary on October 9th, 2025! To celebrate, Jerod sat down with Evan You to discuss Vite’s adoption story,...
Weiterlesen
Kurt Got Got
The $FLY Airdrop is live! Claim your share of the token powering Fly.io’s global network of 3M+ apps and (🤮) own a piece of the sky!...
WeiterlesenThe best coders should exit the feed
Abner Coimbre makes a compelling case why our biggest technical talent should abandon for-profit social platforms, Noah Brier creates a Claude Code and Obsidian starter kit,...
Weiterlesen
Smashing Animations Part 5: Building Adaptive SVGs With “, “, And CSS Media Queries
I’ve written quite a lot recently about how I prepare and optimise SVG code to use as static graphics or in animations. I love working with...
WeiterlesenHow to Install CSF (Config Server Firewall) on Debian 12
CSF or Config Server Firewall is a Stateful Packet Inspection (SPI) firewall based on IPtables and Perl. it provides a daemon process that will monitor your...
Weiterlesennpm under siege (what to do about it)
Over the past two months, we’ve seen some of the most serious supply chain attacks in npm history: phishing campaigns, maintainer account takeovers, and malware published...
WeiterlesenThe Real Python Podcast – Episode #268: Advice on Beginning to Learn Python
What’s changed about learning Python over the last few years? What new techniques and updated advice should beginners have as they start their journey? This week...
Weiterlesen
Intent Prototyping: A Practical Guide To Building With Clarity (Part 2)
In Part 1 of this series, we explored the “lopsided horse” problem born from mockup-centric design and demonstrated how the seductive promise of vibe coding often...
Weiterlesen
Monthly News – September 2025
Hi everyone, Before we start with the news I’d like to thank all the people who help us. Whether it’s donations, sponsorships, bug reports, ideas, PRs,...
Weiterlesen
Litestream v0.5.0 is Here
I’m Ben Johnson, and I work on Litestream at Fly.io. Litestream makes it easy to build SQLite-backed full-stack applications with resilience to server failure. It’s open...
WeiterlesenReinventing Python tooling with Rust
Charlie Marsh built Ruff (an extremely fast Python linter written in Rust) and uv (an extremely fast Python package manager written in Rust) because he believes...
WeiterlesenHow Deno protects against npm exploits
Recent supply chain attacks on npm is a reminder that Node and npm grants unfettered access to your systems. Here’s how Deno, with an opt-in security...
Weiterlesen
Shades Of October (2025 Wallpapers Edition)
As September comes to a close and October takes over, we are in the midst of a time of transition. The air in the morning feels...
WeiterlesenHiring only senior engineers is killing companies
Andrew Churchill thinks companies should really be hiring junior engineers, Addy Osmani announces Chrome DevTools MCP, GitHub lays out a roadmap to fend off npm attacks,...
Weiterlesen
100X Faster: How We Supercharged Netflix Maestro’s Workflow Engine
By Jun He, Yingyi Zhang, Ely Spears TL;DR We recently upgraded the Maestro engine to go beyond scalability and improved its performance by 100X! The overall overhead...
WeiterlesenInside Oxide
Bryan Cantrill and Steve Tuck, the co-founders of Oxide, are on the pod live (to tape) from the stage at OxCon. Jerod and I were invited...
WeiterlesenVoices of Oxide
Voices of Oxide on the pod! Cliff Biffle (engineer), Dave Pacheco (engineer), and Ben Leonard (designer) are on the show today. Jerod and I were invited...
Weiterlesen
Building a Resilient Data Platform with Write-Ahead Log at Netflix
By Prudhviraj Karumanchi, Samuel Fu, Sriram Rangarajan, Vidhya Arvind, Yun Wang, John Lu Introduction Netflix operates at a massive scale, serving hundreds of millions of users with...
WeiterlesenDesign Dialects: Breaking the Rules, Not the System
“Language is not merely a set of unrelated sounds, clauses, rules, and meanings; it is a totally coherent system bound to context and behavior.” — Kenneth...
Weiterlesen
From Prompt To Partner: Designing Your Custom AI Assistant
In “A Week In The Life Of An AI-Augmented Designer”, Kate stumbled her way through an AI-augmented sprint (coffee was chugged, mistakes were made). In “Prompting...
Weiterlesen
Flight Recorder in Go 1.25
The Go Blog Flight Recorder in Go 1.25 Carlos Amedee and Michael Knyszek 26 September 2025 In 2024 we introduced the world to more powerful Go...
WeiterlesenNew Blog Post: ” A Very Early History of Algebraic Data Types”
Last week I said that this week’s newsletter would be a brief history of algebraic data types. I was wrong. That history is now a 3500...
WeiterlesenAnchoring AI to a reference application
Service templates are a typical building block in the “golden paths” organisations build for their engineering teams, to make it easy to do the right thing....
Weiterlesen
Intent Prototyping: The Allure And Danger Of Pure Vibe Coding In Enterprise UX (Part 1)
There is a spectrum of opinions on how dramatically all creative professions will be changed by the coming wave of agentic AI, from the very skeptical...
WeiterlesenTo vibe or not to vibe
Birgitta Böckeler examines the risk assessment around when to use vibe coding, using three dimensions of risk: Probability, Impact, and Detectability more…
Weiterlesen
Scaling Muse: How Netflix Powers Data-Driven Creative Insights at Trillion-Row Scale
By Andrew Pierce, Chris Thrailkill, Victor Chiapaikeo At Netflix, we prioritize getting timely data and insights into the hands of the people who can act on...
WeiterlesenAn escape route from YAML hell
Adolfo Ochagavía believes we’re approaching the problem of configuration from a flawed starting point, Annie Mueller hits us with a wakeup call about how she reads...
Weiterlesen
Ambient Animations In Web Design: Principles And Implementation (Part 1)
Unlike timeline-based animations, which tell stories across a sequence of events, or interaction animations that are triggered when someone touches something, ambient animations are the kind...
WeiterlesenLinux Fest in Texas!
Carl George joins the show to talk about Texas Linux Fest, Omarchy, Linux desktop environments, configuring Linux, and more. Use the code CHL15 for 15% off...
Weiterlesen
The Psychology Of Trust In AI: A Guide To Measuring And Designing For User Confidence
Misuse and misplaced trust of AI is becoming an unfortunate common event. For example, lawyers trying to leverage the power of generative AI for research submit...
WeiterlesenHelp Us Raise $200k to Free JavaScript from Oracle
Our legal battle over Oracle’s claim on the word “JavaScript” is entering the discovery phase. Here’s how you can help.
WeiterlesenLMDE 7 “Gigi” – BETA Release
This is the BETA release for LMDE 7 “Gigi”. LMDE 7 Gigi LMDE is a Linux Mint project which stands for “Linux Mint Debian Edition”. Its...
Weiterlesen
How To Minimize The Environmental Impact Of Your Website
Climate change is the single biggest health threat to humanity, accelerated by human activities such as the burning of fossil fuels, which generate greenhouse gases that...
WeiterlesenFlowing with agents
Everything is changing. Adam is joined by his good friend Beyang Liu from Sourcegraph — this time, talking about Amp (ampcode.com). Amp is one of the...
Weiterlesen
SerpApi: A Complete API For Fetching Search Engine Data
This article is a sponsored by SerpApi SerpApi leverages the power of search engine giants, like Google, DuckDuckGo, Baidu, and more, to put together the most...
Weiterlesen
Functional Personas With AI: A Lean, Practical Workflow
Traditional personas suck for UX work. They obsess over marketing metrics like age, income, and job titles while missing what actually matters in design: what people...
WeiterlesenIt’s survey time! How has Go has been working out for you?
The Go Blog It’s survey time! How has Go has been working out for you? Todd Kulesza, on behalf of the Go team 16 September 2025...
WeiterlesenJust enough automation
Zach Gates quantifies the value of automating things, Albania’s new prime minister names an AI “minister” to his Cabinet, Eckart Walther launches Really Simple Licensing (RSL)...
Weiterlesen
Creating Elastic And Bounce Effects With Expressive Animator
This article is a sponsored by Expressive In the world of modern web design, SVG images are used everywhere, from illustrations to icons to background effects,...
Weiterlesen
From Data To Decisions: UX Strategies For Real-Time Dashboards
I once worked with a fleet operations team that monitored dozens of vehicles in multiple cities. Their dashboard showed fuel consumption, live GPS locations, and real-time...
Weiterlesen
Monthly News – August 2025
Hello everyone, Many thanks to our sponsors and to all of you who support the project with your donations. LMDE 7 Work started on LMDE 7,...
Weiterlesen
Many Hard Leetcode Problems are Easy Constraint Problems
In my first interview out of college I was asked the change counter problem: Given a set of coin denominations, find the minimum number of coins...
Weiterlesen
Integrating CSS Cascade Layers To An Existing Project
You can always get a fantastic overview of things in Stephenie Eckles’ article, “Getting Started With CSS Cascade Layers”. But let’s talk about the experience of...
WeiterlesenDeno 2.5: Permissions in the config file
Simpler permission management with permission sets, new Deno.test APIs for setting up and tearing down test cases, specifying custom headers in WebSocket connections, runtime APIs in...
Weiterlesen
A new experimental Go API for JSON
The Go Blog A new experimental Go API for JSON Joe Tsai, Daniel Martí, Johan Brandhorst-Satzkorn, Roger Peppe, Chris Hines, and Damien Neil 9 September 2025...
WeiterlesenWhy AI coding claims don’t add up
Mike Judge breaks down why he doesn’t believe the AI coding claims add up, the folks behind Cactoide create an open source alternative to Meetup /...
WeiterlesenThe Angels and Demons of Nondeterminism
Greetings everyone! You might have noticed that it’s September and I don’t have the next version of Logic for Programmers ready. As penance, here’s ten free...
Weiterlesen
Linux Mint 22.2 “Zara” released!
The team is proud to announce the release of Linux Mint 22.2 “Zara”. Linux Mint 22.2 is a long term support release which will be supported...
WeiterlesenXO Ruby is hitting the road
Jim Remsik has lived on the bleeding edge (but also the heart’s center) of the Ruby world for decades. This fall, he’s organizing six (yes, SIX)...
WeiterlesenNext.js is infuriating
Dominik Meca is infuriated by Next.js, Josh Bressers explains why open source is just one person, Huon Wilson describes the usefulness of “Copy as cURL”, Herman...
WeiterlesenFresh 2.0 Graduates to Beta, Adds Vite Support
Fresh 2.0 beta introduces optional Vite integration – with hot reloading, faster boot times, seamless React aliasing, and the full Vite plugin ecosystem
Weiterlesen
What exactly does word2vec learn?
What exactly does word2vec learn, and how? Answering this question amounts to understanding representation learning in a minimal yet interesting language modeling task. Despite the fact...
WeiterlesenAction absorbs anxiety
Arun Gupta, now a “free agent” after his surprise exit from Intel, joins us to discuss how he’s dealing with his first job hunt since the...
WeiterlesenSome thoughts on LLMs and Software Development
I’m about to head away from looking after this site for a few weeks (part vacation, part work stuff). As I contemplate some weeks away from...
Weiterlesen
From Black Box to Blueprint
A common enterprise problem: crucial legacy systems become “black boxes”—key to operations but opaque and risky to touch. Thiyagu Palanisamy and Chandirasekar Thiagarajan worked with a...
WeiterlesenLogical Duals in Software Engineering
(Last week’s newsletter took too long and I’m way behind on Logic for Programmers revisions so short one this time.1) In classical logic, two operators F/G...
WeiterlesenPython documentary companion pod
Our friends at Cult.Repo launched their epic Python documentary on August 28th, 2025! To celebrate, we sat down with Travis Oliphant –creator of NumPy, SciPy, and...
Weiterlesen
Research, Review, Rebuild: Intelligent Modernisation with MCP and Strategic Prompting
The Bahmni open-source hospital management system was began over nine years ago with a front end using AngularJS and an OpenMRS REST API. Rahul Ramesh wished...
WeiterlesenBuilding your own CLI Coding Agent with Pydantic-AI
CLI coding agents are a fundamentally different tool to chatbots or autocomplete tools – they’re agents that can read code, run tests, and update a codebase....
WeiterlesenChatting with Unmesh about building language with LLMs
A few weeks ago, Unmesh Joshi and I started having a conversation about how he likes to grow a language of abstractions when working with an...
WeiterlesenTesting Time (and other asynchronicities)
The Go Blog Testing Time (and other asynchronicities) Damien Neil 26 August 2025 In Go 1.24, we introduced the testing/synctest package as an experimental package. This...
WeiterlesenOmarchy 2.0: Best Linux setup ever?
Elon Musk and xAI take on Microsoft, DHH ships version 2 of Omarchy (his love letter to Linux), Glyn Normington on managing developer’s block, Mitchell Hashimoto...
Weiterlesen
Build Better Agents With MorphLLM
I’m an audiophile, which is a nice way to describe someone who spends their children’s college fund on equipment that yields no audible improvement in sound...
WeiterlesenGit with your friends (remastered)
Our Changelog & Friends proof-of-concept with Mat Ryer has been remastered! Now with full-length video on YouTube. Originally recorded: 2023-02-08 Mat joins us for some good...
WeiterlesenCreative ways to fund open source projects
Every engineer and tech company likes open source projects, but few are willing to pay for them. This is fine for a while – enthusiasm to...
WeiterlesenFrom Chef to System Initiative (remastered)
The epic show with Adam Jacob has been remastered! Now with full-length video on YouTube. Adam goes solo with Adam Jacob for an epic pod into...
WeiterlesenSapir-Whorf does not apply to Programming Languages
This one is a hot mess but it’s too late in the week to start over. Oh well! Someone recognized me at last week’s Chipy and...
WeiterlesenContainer-aware GOMAXPROCS
The Go Blog Container-aware GOMAXPROCS Michael Pratt and Carlos Amedee 20 August 2025 Go 1.25 includes new container-aware GOMAXPROCS defaults, providing more sensible default behavior for...
WeiterlesenBliki: Expansion Joints
Back in the days when I did live talks, one of my abilities was to finish on time, even if my talk time was cut at...
Weiterlesen
Trust Calibration for AI Software Builders
Trust calibration is a concept from the world of human-machine interaction design, one that is super relevant to AI software builders. Trust calibration is the practice...
WeiterlesenNew trend: extreme hours at AI startups
Two months after publishing this article, The Wall Street Journal covered the same trend in its article AI workers are putting in 100-hour workweeks to win...
Weiterlesen
Team OKRs in Action
OKRs have become a popular way to connect strategy with execution in large organizations. But when they are set in a top‑down cascade, they often lose...
Weiterlesen
Impact Intelligence, addressing common objections
Sriram Narayan concludes his article in impact intelligence by addressing five common objections to this activity, including slowing down, lack of agility and collaboration, and the...
WeiterlesenGo 1.25 is released
The Go Blog Go 1.25 is released Dmitri Shuralyov, on behalf of the Go team 12 August 2025 Today the Go team is pleased to release...
Weiterlesen
Games as Model Eval: 1-Click Deploy AI Town on Fly.io
Recently, I suggested that The Future Isn’t Model Agnostic, that it’s better to pick one model that works for your project and build around it, rather...
Weiterlesen
The Future Isn’t Model Agnostic
Your users don’t care that your AI project is model agnostic. In my last project, I spent countless hours ensuring that the LLMs running my services...
WeiterlesenQuick but worthwhile links
Abi Noda observes Just met with a 2000+ eng company. Their developers are saving 2+ hours per week thanks to Copilot. But they’re also losing: 3...
WeiterlesenActions to improve impact intelligence
Sriram Narayan continues his article on impact intelligence by outlining five actions that can be done to improve impact intelligence: introduce robust demand management, pay down...
WeiterlesenThe Reformist CTO’s Guide to Impact Intelligence
The productivity of knowledge workers is hard to quantify and often decoupled from direct business outcomes. The lack of understanding leads to many initiatives, bloated tech...
WeiterlesenSoftware books I wish I could read
New Logic for Programmers Release! v0.11 is now available! This is over 20% longer than v0.10, with a new chapter on code proofs, three chapter overhauls,...
Weiterlesen
How far can we push AI autonomy in code generation?
Birgitta Böckeler reports on a series of experiments we did to explore how far Generative AI can currently be pushed toward autonomously developing high-quality, up-to-date software...
WeiterlesenPartner with the AI, throw away the code
Matteo Vaccari shows why the common metric of AI code acceptance has big hole. An LLM can be helpful even if you throw away its code....
Weiterlesen2000 words about arrays and tables
I’m way too discombobulated from getting next month’s release of Logic for Programmers ready, so I’m pulling a idea from the slush pile. Basically I wanted...
Weiterlesen
Cursor makes developers less effective?
Hi, this is Gergely with a bonus, free issue of the Pragmatic Engineer Newsletter. In every issue, I cover Big Tech and startups through the lens...
WeiterlesenProgramming Language Escape Hatches
The excellent-but-defunct blog Programming in the 21st Century defines “puzzle languages” as languages were part of the appeal is in figuring out how to express a...
WeiterlesenWho is LLM
It’s become a common habit for developers to give Large Language Models (LLMs) a persona when working with them. I describe four of them, a stubborn...
WeiterlesenGenerative AI in software and essaying
Korny Sietsma has a great example of how using an LLM for coding is very helpful but with limitations… and a thoughtful general essay on why...
WeiterlesenMaybe writing speed actually is a bottleneck for programming
I’m a big (neo)vim buff. My config is over 1500 lines and I regularly write new scripts. I recently ported my neovim config to a new...
Weiterlesen
The Pulse: Section 174 is reversed! Mostly, that is
Hi, this is Gergely with a bonus, free issue of the Pragmatic Engineer Newsletter. In every issue, I cover Big Tech and startups through the lens...
WeiterlesenThe FIPS 140-3 Go Cryptographic Module
The Go Blog The FIPS 140-3 Go Cryptographic Module Filippo Valsorda (Geomys), Daniel McCarney (Geomys), and Roland Shoemaker (Google) 15 July 2025 FIPS 140 is a...
WeiterlesenThree worthwhile articles yesterday
Three articles I enjoyed yesterday: Stephen O’Grady talks about how Gen AI tools break two common constants with developer tools: they are willing to flit between...
WeiterlesenI still care about the code
Even with LLMs, Birgitta Böckeler still cares about the code: “LLMs are NOT compilers, interpreters, transpilers or assemblers of natural language, they are inferrers. more…
Weiterlesen
Logic for Programmers Turns One
I released Logic for Programmers exactly one year ago today. It feels weird to celebrate the anniversary of something that isn’t 1.0 yet, but software projects...
WeiterlesenGeneric interfaces
The Go Blog Generic interfaces Axel Wagner 7 July 2025 There is an idea that is not obvious until you hear about it for the first...
Weiterlesen
Software engineering with LLMs in 2025: temperature check
How are devs using AI tools at Big Tech and startups, and what do they actually think of them? This was the topic of my annual...
WeiterlesenLogical Quantifiers in Software
I realize that for all I’ve talked about Logic for Programmers in this newsletter, I never once explained basic logical quantifiers. They’re both simple and incredibly...
WeiterlesenDeno 2.4: deno bundle is back
Deno bundle is back, alongside the addition of bytes and text imports, stabilized built-in OpenTelemetry, a new –preload flag, simplified dependency management with deno update, and...
WeiterlesenWhole-Body Conditioned Egocentric Video Prediction
× Predicting Ego-centric Video from human Actions (PEVA). Given past video frames and an action specifying a desired change in 3D pose, PEVA predicts the next...
WeiterlesenJavaScript™ Trademark Update
The Trademark Trial and Appeal Board has dismissed our fraud claim against Oracle. We disagree with this decision.
WeiterlesenHow to Install Wiki.js on Debian 12
Wiki.js is free and open-source wiki software based on Node.js, Git, and Markdown. In this article, we’ll show you how to install Wiki.js on a Debian...
WeiterlesenWhat’s coming to JavaScript
Here are proposals that were advanced at the last TC39 meeting and what that means for the future of JavaScript.
Weiterlesen
New zine: The Secret Rules of the Terminal
Hello! After many months of writing deep dive blog posts about the terminal, on Tuesday I released a new zine called “The Secret Rules of the...
WeiterlesenAlphaGenome: AI for better understanding the genome
Introducing a new, unifying DNA sequence model that advances regulatory variant-effect prediction and promises to shed new light on genome function — now available via API.
WeiterlesenYou can cheat a test suite with a big enough polynomial
Hi nerds, I’m back from Systems Distributed! I’d heartily recommend it, wildest conference I’ve been to in years. I have a lot of work to catch...
WeiterlesenGemini Robotics On-Device brings AI to local robotic devices
We’re introducing an efficient, on-device robotics model with general-purpose dexterity and fast task adaptation.
Weiterlesen
Phoenix.new – The Remote AI Runtime for Phoenix
I’m Chris McCord, the creator of Elixir’s Phoenix framework. For the past several months, I’ve been working on a skunkworks project at Fly.io, and it’s time...
WeiterlesenISPConfig Perfect Multiserver setup on Ubuntu 24.04 and Debian 12
This tutorial will take you through installing your own ISPConfig 3 multiserver setup with dedicated servers for the panel, web, DNS, mail, and webmail using the...
WeiterlesenSecuring your ISPConfig 3 managed mailserver with a valid Let’s Encrypt SSL certificate
If you’re running your own mailserver, it’s best practice to connect to it securely with a SSL/TLS connection. You’ll need a valid certificate for these secure...
WeiterlesenWe’re expanding our Gemini 2.5 family of models
Gemini 2.5 Flash and Pro are now generally available, and we’re introducing 2.5 Flash-Lite, our most cost-efficient and fastest 2.5 model yet.
WeiterlesenGemini 2.5: Updates to our family of thinking models
Explore the latest Gemini 2.5 model updates with enhanced performance and accuracy: Gemini 2.5 Pro now stable, Flash generally available, and the new Flash-Lite in preview.
Weiterlesen
Solving LinkedIn Queens with SMT
No newsletter next week I’ll be speaking at Systems Distributed. My talk isn’t close to done yet, which is why this newsletter is both late and...
WeiterlesenHow we’re supporting better tropical cyclone prediction with AI
We’re launching Weather Lab, featuring our experimental cyclone predictions, and we’re partnering with the U.S. National Hurricane Center to support their forecasts and warnings this cyclone...
Weiterlesen
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...
WeiterlesenUsing `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...
Weiterlesen
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...
WeiterlesenHow 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...
Weiterlesen
AI 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...
WeiterlesenAdvanced audio dialog and generation with Gemini 2.5
Gemini 2.5 has new capabilities in AI-powered audio dialog and generation.
Weiterlesen
My 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...
WeiterlesenHow 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...
WeiterlesenHow 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...
Weiterlesen
Using 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...
WeiterlesenWhat 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...
Weiterlesen
parking_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...
Weiterlesen
GenAI’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,...
WeiterlesenA 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...
WeiterlesenFinding hard 24 puzzles with planner programming
Planner programming is a programming technique where you solve problems by providing a goal and actions, and letting the planner find actions that reach the goal....
WeiterlesenReports of Deno’s Demise Have Been Greatly Exaggerated
Addressing recent Deno criticisms and sharing our vision for the future
WeiterlesenOur vision for building a universal AI assistant
We’re extending Gemini to become a world model that can make plans and imagine new experiences by simulating aspects of the world.
WeiterlesenAdvancing Gemini’s security safeguards
We’ve made Gemini 2.5 our most secure model family to date.
WeiterlesenFuel your creativity with new generative media models and tools
Introducing Veo 3 and Imagen 4, and a new tool for filmmaking called Flow.
WeiterlesenAnnouncing Gemma 3n preview: Powerful, efficient, mobile-first AI
Gemma 3n is a cutting-edge open model designed for fast, multimodal AI on devices, featuring optimized performance, unique flexibility with a 2-in-1 model, and expanded multimodal...
WeiterlesenSynthID Detector — a new portal to help identify AI-generated content
Learn about the new SynthID Detector portal we announced at I/O to help people understand how the content they see online was generated.
WeiterlesenGemini 2.5: Our most intelligent models are getting even better
Gemini 2.5 Pro continues to be loved by developers as the best model for coding, and 2.5 Flash is getting even better with a new update....
Weiterlesen
Litestream: Revamped
Litestream is an open-source tool that makes it possible to run many kinds of full-stack applications on top of SQLite by making them reliably recoverable from...
Weiterlesen
Launching MCP Servers on Fly.io
This is a blog post. Part showing off. Part opinion. Plan accordingly. The Model Context Protocol is days away from turning six months old. You read...
WeiterlesenAn Update on Fresh
Fresh 2.0 is very much still active. Here’s an update and how to try out the alpha.
Weiterlesen
Modeling Awkward Social Situations with TLA+
You’re walking down the street and need to pass someone going the opposite way. You take a step left, but they’re thinking the same thing and...
WeiterlesenAlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms
New AI agent evolves algorithms for math and practical applications in computing by combining the creativity of large language models with automated evaluators
Weiterlesen
Automating Compliance Management with UTMStack’s Open Source SIEM & XDR
Achieving and maintaining compliance with regulatory frameworks can be challenging for many organizations. Managing security controls manually often leads to excessive use of time and resources,...
Weiterlesen
Write the most clever code you possibly can
I started writing this early last week but Real Life Stuff happened and now you’re getting the first-draft late this week. Warning, unedited thoughts ahead! New...
Weiterlesen
Provisioning Machines using MCPs
Today’s state of the art is K8S, Terraform, web based UIs, and CLIs. Those days are numbered. On Monday, I created my first fly volume using...
WeiterlesenGemini 2.5 Pro Preview: even better coding performance
We’ve seen developers doing amazing things with Gemini 2.5 Pro, so we decided to release an updated version a couple of weeks early to get into...
WeiterlesenBuild rich, interactive web apps with an updated Gemini 2.5 Pro
Our updated version of Gemini 2.5 Pro Preview has improved capabilities for coding.
WeiterlesenHow Plaid migrated 100 services to a new database platform 5x faster with Deno
Learn how Plaid used Deno to minimize downtime and improve cutover speed during a critical infrastructure migration.
WeiterlesenDeno 2.3: Improved deno compile, local npm packages, and more
Deno 2.3 adds new features for deno compile and deno fmt, support for using local npm packages, several performance improvements, and more. Here are the biggest...
WeiterlesenWhy We Think
Special thanks to John Schulman for a lot of super valuable feedback and direct edits on this post. Test time compute (Graves et al. 2016, Ling,...
Weiterlesen
A Simple Way to Install Talos Linux on Any Machine, with Any Provider
Talos Linux is a specialized operating system designed for running Kubernetes. First and foremost it handles full lifecycle management for Kubernetes control-plane components. On the other...
WeiterlesenAdd JSR packages with pnpm and Yarn
You can now access JSR packages via pnpm and Yarn. Here’s how.
WeiterlesenMusic AI Sandbox, now with new features and broader access
Helping music professionals explore the potential of generative AI
Weiterlesen
Requirements change until they don’t
Recently I got a question on formal methods1: how does it help to mathematically model systems when the system requirements are constantly changing? It doesn’t make...
WeiterlesenHow to Install GlassFish Application Server with Nginx Reverse Proxy on Debian 12
GlassFish is a free and open-source implementation of the Java EE Platform developed by Eclipse. In this guide, you will install GlassFish Application Server on Debian...
WeiterlesenIntroducing Gemini 2.5 Flash
Gemini 2.5 Flash is our first fully hybrid reasoning model, giving developers the ability to turn thinking on or off.
WeiterlesenThe Halting Problem is a terrible example of NP-Harder
Short one this time because I have a lot going on this week. In computation complexity, NP is the class of all decision problems (yes/no) where...
WeiterlesenGenerate videos in Gemini and Whisk with Veo 2
Transform text-based prompts into high-resolution eight-second videos in Gemini Advanced and use Whisk Animate to turn images into eight-second animated clips.
WeiterlesenDolphinGemma: How Google AI is helping decode dolphin communication
DolphinGemma, a large language model developed by Google, is helping scientists study how dolphins communicate — and hopefully find out what they’re saying, too.
Weiterlesen
Defending against Prompt Injection with Structured Queries (StruQ) and Preference Optimization (SecAlign)
Recent advances in Large Language Models (LLMs) enable exciting LLM-integrated applications. However, as LLMs have improved, so have the attacks against them. Prompt injection attack is...
Weiterlesen
30 Minutes With MCP and flyctl
I wrote this post on our internal message board, and then someone asked, “why is this an internal post and not on our blog”, so now...
WeiterlesenZero-config Debugging with Deno and OpenTelemetry
Debugging requires implementation to get the right data for you to resolve issues quickly. Here’s how you can use Deno to capture necessary telemetry data without...
Weiterlesen
Solving a “Layton Puzzle” with Prolog
I have a lot in the works for the this month’s Logic for Programmers release. Among other things, I’m completely rewriting the chapter on Logic Programming...
Weiterlesen
Repurposing Protein Folding Models for Generation with Latent Diffusion
PLAID is a multimodal generative model that simultaneously generates protein 1D sequence and 3D structure, by learning the latent space of protein folding models. The awarding...
Weiterlesen
Our Best Customers Are Now Robots
We’re Fly.io, a developer-focused public cloud. We turn Docker containers into hardware-isolated virtual machines running on our own metal around the world. We spent years coming...
WeiterlesenUsing OpenTelemetry and the OTel Collector for Logs, Metrics, and Traces
OpenTelemetry (fondly known as OTel) is an open-source project that provides a unified set of APIs, libraries, agents, and instrumentation to capture and export logs, metrics,...
WeiterlesenTaking a responsible path to AGI
We’re exploring the frontiers of AGI, prioritizing technical safety, proactive risk assessment, and collaboration with the AI community.
WeiterlesenEvaluating potential cybersecurity threats of advanced AI
Our framework enables cybersecurity experts to identify which defenses are necessary—and how to prioritize them
Weiterlesen![[April Cools] Gaming Games for Non-Gamers](https://www.aprilcools.club/aprilcoolsclub.png)
[April Cools] Gaming Games for Non-Gamers
My April Cools is out! Gaming Games for Non-Gamers is a 3,000 word essay on video games worth playing if you’ve never enjoyed a video game...
WeiterlesenExploring Art with TypeScript, Jupyter, Polars, and Observable Plot
With Deno’s Jupyter support, you can explore, interact, and create interactive charts with TypeScript and HTML. Here’s a tutorial featuring data of over 130,000 famous artworks.
WeiterlesenDeno v Oracle Update 3: Fighting the JavaScript Trademark
Oracle has filed a partial motion to dismiss our fraud claim. We’re now waiting on the USPTO to weigh in.
Weiterlesen
Operationalizing Macaroons
We’re Fly.io, a security bearer token company with a public cloud problem. You can read more about what our platform does (Docker container goes in, virtual...
Weiterlesen
Betteridge’s Law of Software Engineering Specialness
Logic for Programmers v0.8 now out! The new release has minor changes: new formatting for notes and a better introduction to predicates. I would have rolled...
WeiterlesenGemini 2.5: Our most intelligent AI model
Gemini 2.5 is our most intelligent AI model, now with thinking built in.
Weiterlesen
Scaling Up Reinforcement Learning for Traffic Smoothing: A 100-AV Highway Deployment
Training Diffusion Models with Reinforcement Learning We deployed 100 reinforcement learning (RL)-controlled cars into rush-hour highway traffic to smooth congestion and reduce fuel consumption for everyone....
Weiterlesen
The Road Not Taken is Guaranteed Minimum Income
The following is drawn from a speech I delivered today at Cooper Union’s Great Hall in New York City, where I joined Lieutenant Colonel Alexander Vindman...
WeiterlesenBuild a custom RAG AI agent in TypeScript and Jupyter
AI and LLMs are certainly useful assistive tools. But what if we need to train LLMs on confidential documents and materials? Here’s how you can build...
WeiterlesenDownload of the day: GIMP 3.0 is FINALLY Here!
Wow! After years of hard work and countless commits, we have finally reached a huge milestone: GIMP 3.0 is officially released! I am excited as I...
WeiterlesenUbuntu to Explore Rust-Based “uutils” as Potential GNU Core Utilities Replacement
In a move that has sparked significant discussion within the Ubuntu Linux fan-base and community, Canonical, the company behind Ubuntu, has announced its intention to explore...
Weiterlesen
What kind of disruption?
I made this slide for a presentation I’m giving next week, but I think it’s worth picking up and talking about in its own right. Everyone...
Weiterlesen