841
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.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,273 posts.
842
Everything Is Just Functions: 1 week with David Beazley and SICP
Made in Notion, the connected workspace where AI agents and teams organize docs, projects and knowledge together.
843
Visualizing algorithms for rate limiting
Smudge.ai is a Chrome extension that gives you ChatGPT-powered shortcuts in your right-click menu.
844
CockroachDB license change
What you need to know about the changes that happened to CockroachDB Enterprise this past November.
845
Python Cloudflare Workers
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
846
macOS Sequoia is available today
macOS Sequoia, the latest version of the world’s most advanced desktop operating system, is available today as a free software update for Mac.
847
Gödel, Escher, Bach is the most influential book in my life (2022)
Musings on Hofstadter’s phenomenal book about computation, consciousness, and epistemology.
848
Take a look at Traefik, even if you don't use containers
Traefik got really popular over the last few years in the bubble of home-lab youtubers , that’s when I first heard about it.
849
Mitmproxy 11: Full HTTP/3 Support
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.
850
Opus 1.5 released: Opus gets a machine learning upgrade
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…
851
Minuteman missile communications
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…
852
The motor turns too much
This instalment is about the "Bench Kona" I've built in the shed. Behold its questionable integrity:
853
Fragmented thinking is a bigger threat to flow state than interruptions
What I learned after reading 14 studies about flow state
854
Many AI safety orgs have tried to criminalize currently-existing open-source AI
<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>…
855
Don't build your castle in other people's kingdoms (2021)
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.
856
Terraform makes carbon neutral natural gas
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…
857
Leadership is a hell of a drug
Last week, I received the following invitation to a compulsory on-site meeting, following management's repeated engagements with some sort of Agile shaman.
858
859
What happens when you touch a pickle to an AM radio tower
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…
860
Continuous reinvention: A brief history of block storage at AWS
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…
861
Next-level frosted glass with backdrop-filter
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.
862
Mental health in software engineering
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
863
Kagi search reached 20k paying members
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...
864
Exploring Podman: A More Secure Docker Alternative
This article explore Podman's features and benefits, comparing it to Docker and describing a step-by-step migration guide
865
HTML Form Validation is underused
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.
866
Intel Processor Instability Causing Oodle Decompression Failures
RAD Game Tools' web page. RAD makes Bink Video, the Telemetry Performance Visualization System, and Oodle Data Compression - all popular video game middleware.
867
MVCC – the part of PostgreSQL we hate the most (2023)
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.
868
A new JSON data type for ClickHouse
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.
869
1/25-scale Cray C90 wristwatch
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…
870
We outsmarted CSGO cheaters with IdentityLogger
Learn how IdentityLogger used fingerprinting to combat ban evasion, protecting our CSGO community from relentless cheaters.