Alex Krieger

Software engineering/ML in Python, grinding leetcode, beating financial algos, and spending too much time in cyberspace. Speedrun the tech tree! #dogecoin

[David Turturean @DavidTurturean]

I solved my 3rd Erdős problem, #870, with ChatGPT-5.5-Pro, then verified it by formalizing the whole proof in Lean 4, sorry-free and axiom-free! With about 180,000 lines of Lean code, as far as I can find, no one person has formalized a single problem at this scale. 🧵 1/n

[Culture Crave 🍿 @CultureCrave]

Gamer tries to stop the train in ‘Spider-Man 2’ 😂 🕷️

🎥 spideyshorts_ | IG

[@levelsio @levelsio]

An entire Herculaneum scroll has been read for the first time

https://t.co/3U3yns52sv

[Andrew Crane @Eviltrkeyslice]

I got a slimline pentium 4 gateway for cheap, and this is what it booted up to. It was also absolutely filthy inside.

[Beckham (Becktendo) @Becktendo1]

How is Fortnite to the point where Jonesy is the one that looks out of place here

[Raymond Williams @_raymondwill]

Might have to...

[A duel Angel's Thesis @duel3000]

close enough

[zerohedge @zerohedge]

"the share of tokens used for US models on OpenRouter has collapsed": Bloomberg

[Collin Rugg @CollinRugg]

A Texas man is taking World Cup tourists four-wheeling, dancing, horseback riding, and shopping at Buc-ee's to give them the best American experience.

Drew Haas of Texas is taking tourists to his 30-acre property to help them make the most of their travels.

"We love this lifestyle. We enjoy every second of it. We just wanna, like, soak it in," one tourist said.

Amazing.

[Alex Krieger @kregasaurusrex]

@elonmusk @karpathy @kuroke01 @gallabytes Your X reply-guy-in-chief wants dunk culture pushed to the forefront of our timelines. It's arguably the easier solution for more engagement though not the high signal one people keep coming back for.

[Anime Updates @animeupdates]

'THE GHOST IN THE SHELL' Director Mokochan says the new series being hand-drawn on paper is the best way to represent the original manga

"The manga is obviously hand-drawn on paper; it’s analog... And so even though what is depicted here is this cyber world, the fact that it’s been hand drawn by people is what gives it, it gives it its warmth, and its appeal, and that was something I wanted to replicate in the anime."

[Thomas Dimson @turtlesoupy]

workin' on a new personal website concept

[iSpiteful @iSpiteful]

Halo 3 Custom Games with friends gave me memories I will never forget 🤣

For Example :

[Echoes of War @EchoesofWarYT]

Thomas Jefferson died on the 4th of July. Not just any 4th. The exact 50th anniversary of the Declaration he wrote. And on that same day, hundreds of miles away, his old friend and rival John Adams died too. You cannot make this up. Here's the story.

Everyone knows Jefferson wrote the Declaration of Independence at just 33 years old. Fewer people know the size of the mind behind it.

He was a relentless genius. He taught himself law, architecture, multiple languages, science, and farming. He designed his own home, Monticello, and kept refining it for forty years like he physically could not leave a good idea alone. He tinkered and invented constantly, including a better plow blade that he refused to patent because he believed useful ideas should belong to everyone, not be locked up for profit.

He was a book addict on a scale that's hard to picture today. He owned close to 10,000 books in his lifetime. And when the British burned the Capitol and destroyed the Library of Congress in 1814, Jefferson sold his personal collection of roughly 6,500 volumes to the nation to rebuild it. The Library of Congress today essentially grew back from his bookshelves.

He served as the nation's first Secretary of State, its second Vice President, and its third President. As President he pulled off the Louisiana Purchase, doubling the size of the country in a single stroke, and sent Lewis and Clark to map a continent.

He founded the University of Virginia, designed its buildings himself, and was so proud of it that he asked it to be carved on his tombstone, alongside writing the Declaration and the Virginia Statute for Religious Freedom. Not one word about being President. He wanted to be remembered for what he built and what he taught.

And then the ending almost no one learns. He died on July 4, 1826, fifty years to the day after the nation was born. Adams, dying the very same day, reportedly murmured "Thomas Jefferson still survives," not knowing Jefferson had already passed hours earlier.

Two founders, two old rivals turned friends, leaving the world together on the country's golden anniversary.

Thomas Jefferson. The mind that wrote a nation into existence.

[Nick Carr @nickcarrscouts]

Field notes from the time I scouted a decommissioned nuclear power plant...

This is the control room, and if you look closely, you'll see a dark stripe in the carpet running the perimeter of the room. This was referred to as the "velvet rope," and absolutely NO ONE was allowed🧵

[terminal @terminaldotshop]

Everyone complaining about the Steam Machine price clearly hasn’t shopped for a 6-inch cube lately.

[IDEAFUL アイデア蒐集家 @ideafuls]

上海ディズニーランドのペプシコーラ。ラベルを抑えてボトルを回転すると、モアレ効果でキャラクターが動いて見える。アナログだけど結局こういうロウテクに人の心は動かされる気がする。

[Brendan Hodges @metaplexmovies]

we take for granted seeing early digital imagery on 35mm in the 90s and 2000s created a perception of filmic detail and texture that wasn't actually there, which is why untreated computer imagery almost always looks better on film scans than the "better" digital masters today

[jacob @jtimsuggs]

Will always find it awesome how a lot of Star Wars games released in the 2000s included fake blooper reels as fun Easter Eggs that you could unlock.

Honestly just as hilarious to watch over 20 years later, wish that we still had extras like these in games today.

[John Carmack @ID_AA_Carmack]

There are a few things that I look back on as my mistakes in the early days.

Quake was overly ambitious technically. We could have done all the great multiplayer and modding work inside a Doom++ engine, allowing the designers to work with a more stable base instead of rug-pulling everything out from underneath them a couple times. The follow up game could have then brought in full 6DOF environments and characters.

I pushed everyone too hard. I didn’t appreciate how maturing companies need more slack, and that running people at startup intensity constantly will wear them out. Quake was also where I really had to accept my personal limits. I was working pretty much as hard as humanly possible, and I was still slipping past my goal points.

On all of the founders’ shoulders, our original corporate stock arrangement and buy/sell agreement was a mistake, and resulted in bad incentives. We wanted to ensure that all ownership rested in the hands of people working hard on current projects, but the Silicon Valley standard approach of vesting stock would have worked out better.

One real problem that I don’t accept the blame for is that we were insisting that level designers be not just game designers, but also have strong visual design esthetics. They needed to make things that not only played well, but looked awesome, and it got more challenging as the technology provided a richer palette. Romero covered that well, which set our company expectations early on.

We should have figured out how to pair up artists and designers earlier, but there was infighting among the designers, and the ones that could manage the visuals were happy to disparage the ones that couldn’t.

Sorry, Sandy.