421
AlphaGeometry: An Olympiad-level AI system for geometry
Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,273 posts.
422
An Unreasonable Amount of Time
A method for magic.
423
A bunch of programming advice I'd give to myself 15 years ago
I finally have the feeling that I’m a decent programmer, so I thought it would be fun to write some advice with the idea of “what would have gotten me to this point faster?” I’m not claiming this is great advice for everyone, just that it would have been good advice for me. If you (or your team) are shooting…
424
425
How to deal with receiving a cease-and-desist letter from Big Tech
Although this article isn’t related to any of the 12 Challenges so far, it’s on a subject I’m developing for a potential future challenge.
426
Pledging $300k to the Zig Software Foundation
The ZSF has posted their own announcement which clearly explains their mission and specifically what the money will be used for. Instead, I want to talk more broadly about why we've decided to support ZSF.
427
Does current AI represent a dead end?
Eerke Boiten, Professor of Cyber Security at De Montfort University Leicester, explains his belief that current AI should not be used for serious applications.
428
Advantages of incompetent management
What constitutes managerial competence? As a vague starting point for an answer, we could say that competent management sets achievable objectives and then achieves them, by organizing and incentivizing the necessary work.
429
How many bathrooms have Neanderthals in the tile?
A Reddit poster finds an ancient jaw in his parents' new travertine. It may be more common than most people imagine.
430
Let's Encrypt is 10 years old now
Vital personal and business information flows over the Internet more frequently than ever, and we don’t always know when it’s happening. It’s clear at this point that encrypting is something all of us should be doing. Then why don’t we use TLS (the successor to SSL) everywhere? Every browser in every device supports…
431
How to get the whole planet to send abuse complaints to your best friends
It all begins with one scary email late at night just before I had to go to sleep:
432
Double-entry bookkeeping as a directed graph
In the past couple of years, I’ve been working in billing and payments at Justworks . This experience introduced me to the world of bookkeeping and accounting in ways I didn’t expect: I took a course and read a textbook in accounting, adopted plain text accounting for my personal finances, and worked in a double-entry…
433
I'm tired of fixing customers' AI generated code
(Not an anti-AI post — Copilot is great, I use it all the time.)
434
Cold brew coffee in 3 minutes using acoustic cavitation
UNSW Sydney engineers have utilised sound waves to cut the time it takes to make a cold brew coffee from many hours down to mere minutes.
435
The capacitor that Apple soldered incorrectly at the factory
There have been some past rumblings on the internet about a capacitor being installed backwards in Apple’s Macintosh LC III . The LC III was a “pizza box” Mac model produced from early 1993 to early 1994, mainly targeted at the education market. It also manifested as various consumer Performa models: the 450, 460…
436
Software engineering salaries come from one of three budgets
Software engineering salaries come from one of 3 budgets. Which budget pays your salary shapes your day-to-day and influences your career trajectory
437
Warning: DNS encryption in Little Snitch 6.1 may occasionally fail
UPDATE: Spoke too soon… The problem discussed here turned out to be specific to Little Snitch 6.1 and not a general issue in macOS. It has already been fixed in Little Snitch 6.1.1. See the end of the article for details. DNS Encryption 101 When…
438
Xz/liblzma: Bash-stage Obfuscation Explained
Yesterday Andres Freund emailed oss-security@ informing the community of the discovery of a backdoor in xz/liblzma, which affected OpenSSH server (huge respect for noticing and investigating this). Andres' email is an amazing summary of the whole drama, so I'll skip that. While admittedly most juicy and interesting…
439
New iMac with M4
Apple today announced the new iMac, featuring the powerful M4 chip and Apple Intelligence, in its stunning, ultra-thin design.
440
CSS @property and the new style
An exploration of the newly supported at-rule for explicitly defining and animating custom properties in CSS.
441
Mixtral 8x22B
The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.
442
My toddler still loves planes, so I upgraded her radar
An adorable set of release notes
443
Free-threaded CPython is ready to experiment with
An overview of the ongoing efforts to improve and roll out support for free-threaded CPython throughout the Python open source ecosystem
444
EU to greenlight Chat Control tomorrow
[Update: Vote has been postponed to Thursday, keep up the pressure!] The Belgian EU Council presidency seems set to have bulk Chat Control searches of our private communications greenlighted by EU governments on Wednesday 19 Thursday 20 June. This confirms concerns that the proponents of Chat Con
445
The curious case of the missing period
When Simple Mail Transfer Protocol is not simple
446
Devin: AI Software Engineer
News, research, and engineering deep dives from Cognition, the team behind Devin, the autonomous software engineer.
447
448
Look, ma, no matrices
Since the 2019 SIGGRAPH course [1], Geometric Algebra, and Euclidean PGA (plane-based or projective geometric algebra) in particular, has been gaining traction within the computer graphics and machine learning communities [2, 3, 4]. Despite its broad applicability, including for higher dimensional geometry and…
449
How to write stuff no one else can
Last week, I wrote a piece about five of the key hires who took Morning Brew to $40 million in revenue .
450
Xz: A microcosm of the interactions in open source projects
Originally a thread on Twitter about the xz/liblzma vulnerability, when I finished typing it, I realized I had a real world slice of Open Source interaction that deserved more attention.