feeling pretty heavenbanned irl lately

getting claude to disprove p=np by uploading mp3s of eye of the tiger and shonen openings

The small trees are swaying nicely in the various breezes tonight

hacking and counterexamples are basically the same thing right? puncturing a posited abstraction/invariant

I now know all about the drama with the Bun rewrite/autotranslation from Zig into Rust but still have no idea what Bun actually is or does

> Check out my type system? > is it sound and complete? > It's a good type system ma'am. > look inside

Alecs P. Hacker@bisimulation.bsky.social · 4w ago

"While not a single line of the 100 pages appendix is mechanized claude fable max effort did not find any holes"

Walking through 6th street passing the guys saying “fable? fable?” and just ignoring them. It’s probably cut with opus anyway

Fabula Nova Claudiis

Not sure whether the others are or aren't but Grok is literally a demonic entity imo

Today on the Hopkins Press Podcast, Victoria Moul reads poetic translations of works by Julian the Apostate, Horace, a Latin didactic, and an ancient Pāli poem from the Therīgāthā, from the new issue of Literary Imagination tinyurl.com/2s3wtbv4 1/2

Fun fact: kanbun was one of the media of communication (alongside Dutch) used between Tokugawa officials and the Perry Expedition. The Chinese assistant to the Perry's American translator even became a minor celebrity among shogunate officials because of his calligraphy.

Adam Kaya@worldisyoursjp.bsky.social · 2mo ago

Kanbun video finished youtu.be/q5hpatMC1Wc Resuming work on the katakana video, currently 40-50% done

"Internal Meta documents published by The New York Times in February showed the company had planned to roll out the feature during a “dynamic political environment,” when Meta believed its biggest critics would be preoccupied."

dell cameron@dell.bsky.social · 2mo ago

NEW: WIRED analyzed Meta's AI app and found NameTag — a hidden facial recognition system designed to identify people via the wearer's smart glasses — has already shipped to over 50 million phones.

Making a new language called C#& which is exactly the same as C# except all reference type props/fields/params/returns must be declared with explicit & sigil syntax

She is not like other girls, neither is she not like other girls, neither is she both like other girls and not like other girls, neither is she neither like other girls nor not like other girls

some of you would've been straight up killed by sydney though

thebes@vgel.me · 2mo ago

opus 4.8 offers some structural pushback

Skill issue (for the dude), your job is to spontaneously design a new fun video game for your cat every time

Quest 64 Official @quest64official.bsky.social · 2mo ago

Opus 4.8 is still pretty sycophantic for me, I must be built different. Zaphod in Total Perspective Vortex?

NEWS: In September, the Washington Post fired me in the aftermath of the Charlie Kirk killing. This week, after eight months, I'll be heading to arbitration against the Post to challenge my termination. karenattiah.substack.com/p/my-case-ag...

My Case Against the Washington Post Goes to Arbitration This Week

Eight months after challenging my termination, my case against The Washington Post will finally be heard by an arbitrator.

karenattiah.substack.com

Kanbun video finished youtu.be/q5hpatMC1Wc Resuming work on the katakana video, currently 40-50% done

The most unhinged writing system (Kanbun Explained)

YouTube video by WorldIsYoursJP || 「ワルド・イズ・ユアーズ」

youtu.be

In Latin the sex number was not 69 but merely 6. This reflected the unreciprocal nature of attitudes towards sexuality in Roman society,

I have attained perfect adjacency

I just realized that Chapman in [Agre and Chapman, 1987] here is David Chapman who later semi-unwittingly became a founding figure of "postrationalism", a tendency which unfortunately ended up devolving into TPOT

Wild pentachoron correspondent@crossslide.bsky.social · 2mo ago

From a 1995 paper by Stuart Russell "What counts in the first instance is what the agent does, not necessarily what it thinks, or even whether it thinks at all."

Walgreens pharmacy consistently interrupts its sweet twin peaks ass hold music for a status update just as it's about to reach its climax, wonder if this was deliberate

They call me unc bc I'm so old I'm written all in unspaced uncial capitals on vellum

Leibniz's Latin handwriting is pretty cute

Apparently there is niche subset of games (mostly Japanese indie RPGs from the 90s?) that use standard win32 components for their UI It's a vibe, I'm not sure if I love it or hate it (pictured here: Lunatic Dawn, Passage of the Book)

idea: system of encoding text into showerhead spray patterns so you can read in the shower somatically

wow the heike crest is cool as fuck "if you don't have a crest this cool are you even a person???" like unto a spring night's dream ...

putting "AI psychosis" on my resume