Sebastien Day

Linux ricer

[DHH @dhh]

Rust is a good prompt compilation target for the moment, but so is C++. And soon assembler. Then microcode. Myopic to think we're going to stop the agentic drill bit until it reaches computing bedrock.

[Dr Helen Ingram @drhingram]

Meanwhile the trial for the murder of Ann Widdecombe has been scheduled for June 2027. The courts can move quickly when they want to scare people. And slowly when they want the people to forget.

[Hafþór J Björnsson @ThorBjornsson_]

Haters will say it’s AI

[DHH @dhh]

Thrilled to announce @alibaba_cloud as a Founding Corporate Patron for the Omacom Foundation! $3 million in funding, collaboration on Omarchy China, and bringing Omarchy to the newly announced Qwen Book. Agentic computers need a native agentic OS! https://t.co/XADElWGz80

[Prakash @8teAPi]

People clowning on him don’t understand what he’s saying.

All the wealth of humanity to date supports perhaps 250k living math phds. Roughly the population of St. Louis, Missouri.

The training pipeline for that group has been irreparably shattered in the last month.

A phd is supposed to make an original contribution to their field to graduate.

That’s just…. not possible anymore.

938 years after the founding of the first university in Bologna…

Do universities now reward… teaching ? comprehension of something discovered by a machine? application ? do mathematicians become quotidian (gasp of disgust) engineers?

Tao is upset because he knows none of those outside the field care about its future. He is a horrified gardener watching humanity gorge on its seed corn.

It is irreparable of course. The old way is dead dead.

We live in the short interregnum before the new king is born: a Lean crawler that spawns a billion copies exploring every corner of math latenspace.

So much math to understand that even if 8 billion humans had the ability of the 250k mathematicians alive today, it would still take a million years to comprehend.

It is ironic and sad.. because Tao himself is a pioneer of collaborative math: math that is understood by a combination of minds rather than an pindividual.

The tools that Tao began exploring a few years ago, solving problems through blog posts and using Lean to guarantee each mind’s contribution stood on its own when assembled into the greater truth, have been turned against him.

Math’s path to utilize multiple minds didn’t restrict access to human minds, and now the machines have blitzkrieged themselves into the heart of the matter.

The agents use rudimentary message boards, working 10,000 to a task, tirelessly, using Lean to verify the correctness of each contribution.

It was good while it lasted… and now it’s gone.

[DHH @dhh]

Every day offers a new choice not to be a miserable c*nt.

[Siddhartha @sidposting]

This is cool
https://t.co/uAZvGQO0m9

[Dott. Ing. Gigino @sscintossico]

Hai una sola strada per redimerti dai tuoi peccati

Vieni a Maranello e restituiscici l'ottavo

Il destino ti chiama a rispondere, figlio di puttana

[cutie bricks⁴⁴ #W8FORIT2027 @noobbricks]

That night the FIA unapologetically interfered in the title fight, robbed the sport of any competitive integrity and consequently made a most eye-opening discovery for themselves because when that final lap played out exactly how they had manipulated it to do, the world celebrated it and it became clear that they don't give a rat's ass about a fair contest as long as they could see what they wanted to see. They really just want a Drive to Survive with the good ending for them.

Curiously we have now reached the point where those exact fans who defended the FIA that night, not out of actual belief in a correct decision but purely for selfish reasons, sit and complain when Domenicali makes another one of his dumbass statements about how little the average F1 fan cares about the cars and the competition. They and their driver can complain to their heart's content when the racing "feels fake" and "the FIA only cares about the show" and yet when exactly those morals where called into question, they were not just happy to accept it but foamed at the mouth at the idea of a manufactured Netflix Finale as long as they got what they desired.

So I really can't hear this hypocrisy from people like that dumb lemon account now, complaining about absolutely everything wrong with the sport when they are the exact reason why the governing body knows that they don't have to prioritize a fair and just contest to get the viewership they desire.

So yes, the sport in very many ways did die on that night in Abu Dhabi.

[Ryan Peterman @ryanlpeterman]

My goal was to record a conversation completely free of "AI doomer" takes as a timeline cleanser.

For this episode, I interviewed Casey Muratori (@cmuratori) who is a video game developer and programming creator also known for his talks about the history of computing.

In this episode:

• Surprising findings in computer history
• Where bad code comes from
• The only unbreakable law in software engineering
• His career in the video game industry
• Why you should read technical papers

Where to watch:

• YouTube - https://t.co/WqtFfUao5n
• Spotify - https://t.co/NXizwPbnaL
• Apple Podcasts - https://t.co/jOYDGtGVnt
• Transcript - https://t.co/TQEnUh0l8Y

Thank you to the sponsors of this episode for supporting my work:

• Jira by Atlassian: Get more work done with your favorite agents and models all in one place, check them out at https://t.co/ALUmdUvqSr
• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at https://t.co/y8noBzFEem

Chapters:

00:00 Intro
01:08 Digging into computer science history
04:08 What shocked him
16:23 Dijkstra was depressed
26:17 The personal side of goto considered harmful
35:09 The anatomy of a 35 year mistake
50:12 Clean code horrible performance
58:33 How to write high performance code
01:01:18 Where bad code comes from
01:06:37 Why design docs before code is a bad idea
01:09:20 The only unbreakable law in software engineering
01:15:57 How he got into programming
01:21:16 Why he didnt work in big tech
01:30:44 Should you work at a startup early on
01:34:52 What video game engineering is like
01:39:57 Why preventing recursion is reasonable
01:43:24 Is vibe coding bad for the industry
01:50:17 Technical reading recommendation
01:54:27 Advice for his younger self
01:56:54 Outro

[Mambo Italiano @mamboitaliano__]

Dedicated to all the 9/11 search-and-rescue dogs

With love and gratitude 🐶🤎

[KFC España @KFC_ES]

52 bomboclat puswagon chicken nuggets

[donald boat @laserboat999]

Once you completely unmoor your sleep schedule from the rising and setting of the sun, you can access new, formerly grayed out sections of space-time, sort of the dust in between the stars, and most crucially, use it to cram 48 to 96 hours worth of screen time into one single day

[C🇨🇮🐘 @chaka_________]

There are 5-6 secret additional hours between 1 and 3 am if you know how to do it correctly. This will take years off your life and make you look and feel like shit but also it is peak Going On The Computer Time

[DHH @dhh]

We are making it possible for web pages to get access to your current theme colors. So they can match. Because why the hell not??

[notch @notch]

@theo You're a malicious asshole.

[Sebastien Day @sebday_]

@iamdothash Love this 😎

I have similar with a few sites like X, github etc themed.

https://t.co/Fxe5qrlooF

[Mickey Petersen @mickeynp]

I've been a Linux user since Red Hat 5.0 in the 90s. I'm a skilled and competent Linux user professionally and personally.

An AI can debug shit I could never hope to resolve. What's that? Did Pipewire take a bong hit of something and start slurring its speech? I would have to spend hours trawling through sardonic, shitty moderator-closed stackoverflow posts to even begin to hone in on what the issue might be.

AI is a tremendous boost to casual Linux use. Even for experts.

[Sebastien Day @sebday_]

@LinuxHandbook Not if you have a multi monitor setup and need fractional scaling