14 September 2024

15 links · Saturday

Terence Tao (@tao@mathstodon.xyz)

I have played a little bit with OpenAI's new iteration of GPT, GPT-o1, which performs an initial reasoning step before running the LLM. It is certainly a more capable tool than previous iterations, though still struggling with the most advanced research mathe…

R1/beta5 – Release Notes

The fifth beta for Haiku R1 over a year and a half of hard work to improve Haiku’s hardware support and its overall stability, and to make lots more software ports available for use. Nearly 350 bugs and enhancement tickets have been resolved for this release.

Safe C++

Over the past two years, the United States Government has been issuing warnings about memory-unsafe programming languages with increasing urgency. Much of the country’s critical infrastructure relies on software written in C and C++, languages which are very m…

Becoming perceptive

This is the second part of an essay series that began with “Everything that turned out well in my life followed the same design process.” It can be read on its own.

The importance of tech docs

When I chose to pursue a career in computer science when I was 15 years old, it was basically on liking math and physics. I want to distance myself from writing posts, essays, etc. Time goes by, and now, one of the things that I value at a mature company or te…