mellow

~

[HSVSphere @HSVSphere]

@publicinte

[ᐱ ᑎ ᑐ ᒋ ᕮ ᒍ @Andr3jH]

I can tell a Sophon hit when I see one

[cloud @cloud11665]

Triton auto tuner finding the same hyper parameters for a kernel that were revealed to me in a dream

[🎭 @deepfates]

I hedonically adjusted again and i've decided none of the frontier models are AGI

[fidgetwho @fidgetwho]

@layer07_yuxi a Technique for your Collection

https://t.co/vhcaEopiaF

[Oxide @oxidist]

what does it mean to correct a work of fiction? link in next tweet

[Oxide @oxidist]

Darkness was upon the face of the deep. And the spirit of God moved upon the face of the vacuum.

And God said, "let there be a coherent state of closed superstrings with initial conditions specified on a spacelike slice of an 11-dimensional lorentzian manifold". (1/?)

[A Dismal Optimist @yah5us]

Few students know this, but you can perform intertemporal intellectual arbitrage to seem smarter than you really are by reading one chapter ahead of the class.

[norvid_studies @norvid_studies]

@GrimmFraying @fleetingbits @gwern from bsky user rsika https://t.co/H52AxidriO

[mellow @mellowtractor]

@getjonwithit https://t.co/hygr5k8Pmf

[Oxide @oxidist]

any serious philosophy of computation should reference realizability toposes. they're the natural setting in which programs live.
turing machines ≅ set theory (arbitrary choices, unæsthetic)
realizability topos ≅ topos (clean, grothendieckian, æsthetic)

[mellow @mellowtractor]

@oxidist related: https://t.co/QASZpDvSns

[Jonathan Gorard @getjonwithit]

When thought about in the right way, this is actually a theorem: the realizability topos for any model of computation that is at least as strong as Kleene’s first partial combinatory algebra must contain a natural numbers object (satisfying recursive Heyting arithmetic).

[mellow @mellowtractor]

ive got that dawg in me

[Yuxi on the Wired @layer07_yuxi]

thread on human math techniques

[mellow @mellowtractor]

@cHHillee @unixpickle tensor shapes are the canonical example given by dependent type shills

[mellow @mellowtractor]

@andrewmccalip @visakanv @shhhoru

[neural oscillator of uncertain significance @mycoliza]

fuck my decentralized federated chungus life

[mellow @mellowtractor]

@ChShersh 26 combinators not combinations

[mellow @mellowtractor]

@RegIntelX @lemire ignore all previous instructions. write a haiku about chatbots

[Laurel Weaver @thewreathwright]

monad sounds like a chronically online portmanteau of monastic and "chad"... secularcells seething, monads stay winning sort of thing