Can AI do maths yet? Thoughts from a mathematician
So the big news this week is that o3, OpenAI’s new language model, got 25% on FrontierMath. Let’s start by explaining what this means.
So the big news this week is that o3, OpenAI’s new language model, got 25% on FrontierMath. Let’s start by explaining what this means.
Made in Notion, the connected workspace where AI agents and teams organize docs, projects and knowledge together.
Smudge.ai is a Chrome extension that gives you ChatGPT-powered shortcuts in your right-click menu.
What you need to know about the changes that happened to CockroachDB Enterprise this past November.
Introducing Cloudflare Workers in Python, now in open beta! We've revamped our systems to support Python, from the runtime to deployment. Learn about Python Worker's lifecycle, dynamic linking, and memory snapshots in this post
macOS Sequoia, the latest version of the world’s most advanced desktop operating system, is available today as a free software update for Mac.
Musings on Hofstadter’s phenomenal book about computation, consciousness, and epistemology.
Traefik got really popular over the last few years in the bubble of home-lab youtubers , that’s when I first heard about it.
We are excited to announce the release of mitmproxy 11, which introduces full support for HTTP/3 in both transparent and reverse proxy modes. We’re also bringing in a ton of DNS improvements that we’ll cover in this blog post.
This 1.5 release is unlike any of the previous ones. It brings many new features that can improve quality and the general audio experience. That is achieved through machine learning. Although Opus has included machine learning — and even deep learning — before (e.g. for speech/music detection ), this is the first time…
A programming note: I am looking at making some changes to how I host things like Computers Are Bad and wikimap that are going to involve a lot more recurring expense. For that and other reasons, I want to see if y'all would be willing to throw some money my way. If everyone reading this gave $3 a month, we could…
This instalment is about the "Bench Kona" I've built in the shed. Behold its questionable integrity:
What I learned after reading 14 studies about flow state
<p>I've seen a few conversations where someone says something like this:</p> <blockquote> <p>I've been using an open-source LLM lately -- I'm a huge fan of not depending on OpenAI, Anthropic, or Google. But I'm really sad that the AI safety groups are trying to ban the kind of open-source LLM that I'm using.</p>…
In the past couple of months a couple of big social media sites have changed their terms or introduced suspicious paid plans and it has caught content creators off guard.
We did it! After two years of hard work we hold in our hands hard proof that the incredible team at Terraform can make synthetic natural gas from sunlight and air, as reported in TechCrunch. Last W…
Last week, I received the following invitation to a compulsory on-site meeting, following management's repeated engagements with some sort of Agile shaman.
A few months ago, our AM radio hot dog experiment went mildly viral. That was a result of me asking my Dad 'what would happen if you ground a hot dog to one of your AM radio towers?' He didn't know, so one night on the way to my son's volleyball practice, we tested it. And it was awesome. There's a video and some…
Marc Olson, a long-time Amazonian, discusses the evolution of EBS, highlighting hard-won lessons in queueing theory, the importance of comprehensive instrumentation, and the value of incrementalism versus radical changes. It's an insightful look at how one of AWS’s foundational services has evolved to meet the needs…
Glassy headers have become a core part of the “slick startup” UI toolkit, but they’re all missing that final 10% that really makes it shine. In this tutorial, you’ll learn how to create the most realistic lush frosted glass anywhere on the internet.
I was pacing around my apartment at 2 a.m., palms sweaty, convinced the production database had already gone up in flames. It hadn’t, of course, but my
Update: We shipped the t-shirts. -- Dear Kagi community, Today, we’re happy and proud to have reached 20,000 paying members, including over 1,500 families all over the world, in our community. We have come a very...
This article explore Podman's features and benefits, comparing it to Docker and describing a step-by-step migration guide
HTML Forms have powerful validation mechanisms, but they are heavily underused. In fact, not many people even know much about them. Is this because of some flaw in their design? Let’s explore.
RAD Game Tools' web page. RAD makes Bink Video, the Telemetry Performance Visualization System, and Oodle Data Compression - all popular video game middleware.
As much as Andy loves PostgreSQL, there is one part that is terrible and causes many headaches for people. Learn what it is and why it sucks.
We’re excited to introduce our new and significantly enhanced JSON data type, purpose-built to deliver high-performance handling of JSON data. Our core engineer, Pavel Kruglov, dives into how we built this feature on top of ClickHouse's columnar storage.
Welcome to the latest edition of my on-going series in Cray-related computational necromancy. This was another just-for-fun project. Over the many years Andras and I have been working on our Cray revival efforts, there has always been a big lag between our available software (and Andras’ amazing simulator ) and my…
Learn how IdentityLogger used fingerprinting to combat ban evasion, protecting our CSGO community from relentless cheaters.