AndroooOooOo 👻

use a debugger stat!

joined an ai course which has "challenges" 2 challenges so far were paste the prompt and the agent did the task thankfully there's option to resign and get a refund

new meme template just dropped @jcsalterego.bsky.social

is putin tired of this dumb war he started yet?

🇧🇷 lula

If you can't remember whether the clocks go forward or back in the UK this weekend, here's a handy phrase to help you: the clocks go back this weekend

been stuck on cluesbysam returning to it a various points during the day... i got right and left mixed up

this is unacceptable @t3.gg

There’s fast system 1 and slow system 2 thinking. There’s also very slow system 3 thinking where you doubt the assumptions you’re making. From my poker/chess experience it’s usually a mistake to overthink in this manner…you’ll end up doing something you rejected earlier

mostly don’t care about 007 but it’s kinda fascinating how loud they are being about choosing the next bond

playin' with stickers again 🕹️ different materials, sounds, wear marks via css or webgl 🧑‍🍳

Can’t wait for the sequel, You can smell everything

Code Red October (trying to make this the name) will things get worse and then we'll have ai finding and patching bugs faster than any human can exploit? or is there too much legacy software with no hope of keeping up?

Finally the Bank of England has given us low interest rates x

first, they came for the developers then they came for the mathematicians then they went for the developers again…and again…and again

we need a cool name for the onslaught of security vulnerabilities we're going to get over the next days and months i vote: Code Red October

damn, for once, I thought node was safe

Throws you into traffic, pulls you out of traffic. I just saved your life.

The macOS built-in curl, git, pip, python3, perl, ruby, and openssl all read /etc/ssl/cert.pem, which still has the emSign root, but they don't check revocation like Apple's Secure Transport libraries. This is, uh, a problem. git and pip especially. I added a short-term workaround to this page.

Happy National Apple Day! uk, but anyone invited

running any php on a website right now is basically the equivalent of double clicking big_titty_mpreg_charlie_kirk.exe after downloading it from napster and turning off your antivirus

The "Waffle House is closing" of the Web

this is great advice

✍️ Just published a new post about my most-anticipated CSS proposals from Interop 2027! If you’re not familiar, the Interop project is a collaboration between browsers to pick shared focus areas. There’s *so much* good stuff this year, it was hard to pick just 10!

tron's jeff bridges has full blown ai psychosis

what have google killed this time?

#Tupo - Oct 20th 2026 (Easy) ⏱️ Solved in 2:43 💯 A perfect game! Play at playtupo.com

It is done. My magnum opus. My legacy.

This is Pele, my new rendering library for diagrams and charts, compatible with the latest Mermaid syntax. - 100-500× faster than mermaid.js - 6× smaller bundle - No dependencies - Easy to theme - Responsive to device width - Open source (MIT) Try it at pele.run

I learned everything I know about agentic coding by watching Geordi La Forge work with the Enterprise's computer.

Roses are red. Tires are flammable...

learn and do a course ❌ make a course platform ✅

pro tip: ​​just agree with the rest of the jury to get out of jury duty quicker

i see a path to my posts being worth more than the entirety of bluesky plc

hey did you know you're kinda cool proven, in lean theorem you_are_cool {You Cool : Prop} (beingYouIsCool : You → Cool) (justBeYou : You) : Cool := beingYouIsCool justBeYou

today's only real goal is don't nap!

nothing kills ego like testing your beliefs against reality tried following a real proof after learning lean and it’s entirely lost on me

I solved the daily #CluesBySam, Oct 11th 2026 (Brutal), in less than 19 minutes 🟩🟩🟩🟩 🟩🟩🟩🟩 🟩🟩🟩🟩 🟩🟩🟩🟩 🟩🟩🟩🟩 cluesbysam.com

science youtu.be/YMmgnpcaKyM?...

celld looked so promising

the problem with learning to code in lean is you see the word sorry and reflexively think “I’m gonna need proof”

developer puts on running shoes mathematician says “you can’t outrun ai” developer says “I don’t need to, I just need to outrun you”

let's dig into the prompt engineering the openai team used to solve the hardest math problems... they pretty much just asked the question each time

dug out my old 1st year uni analysis notes where i copied down the conjecture that catalan's constant was irrational...brave new world

Reach out to your math friends and offer to get coffee. For real