Sign in

Elementary Penguin

@elempeng.bsky.social
506 followers 238 following 5.1K posts

Elementary Penguin is an okapi at the San Diego Zoo. He likes math and hates food.

PostsRepliesMedia
Elementary Penguin @elempeng.bsky.social · 2h
as someone who stopped playing video games more or less in January, it turns out that's the secret to a lot of digital entertainment.
100
Elementary Penguin @elempeng.bsky.social · 4h
Computers: they’re just like the rest of us
050
Reposted by Elementary Penguin
ponder @ponder.ooo · 10h
the answer is there's a sign error like 3 pages further in than where those screenshots cut off
1192
Reposted by Elementary Penguin
ponder @ponder.ooo · 10h
the answer is no, they do not know if many of these results are just slop, and have already withdrawn 3 of them
update from an oai scientist on the math repo
213625
Reposted by Elementary Penguin
Dan Sinykin @dan-sinnamon.bsky.social · 9h
In 2012, I stood on a stage with Anne Carson as a volunteer grad student to help her perform BRACKO, an adaptation of Sappho, where my job was to say the word "bracket" every time there was a bracket, which was more than two hundred times
20646112
Elementary Penguin @elempeng.bsky.social · 18h
Oops jinx that’s the wrong file. The right one is here: github.com/openai/math/...
github.com
math/lean/OAI/SetTheory/PartitionPrinciple at main · openai/math
Contribute to openai/math development by creating an account on GitHub.
010
Elementary Penguin @elempeng.bsky.social · 18h
I take it back, the lean has a sorry in it: github.com/openai/math/... To be fair I turned in assignments like that in grad school too
github.com
math/lean/ComparatorChallenges/PartitionPrinciple.lean at main · openai/math
Contribute to openai/math development by creating an account on GitHub.
110
Elementary Penguin @elempeng.bsky.social · 07/10/2026
looking forward to the next revision to the nation's k-12 math curriculum where they start subjecting 3rd graders to type theory instead of having them draw venn diagrams
040
Reposted by Elementary Penguin
Dan Davies @dsquareddigest.bsky.social · 07/10/2026
in which I highlight an important essay by @sifu.tweety.fish and muse on the weird parallels between AI models and corporate forms. backofmind.substack.com/p/the-manage...
backofmind.substack.com
the managerial machineial revolution
ontogeny doesn’t recapitulate phylogeny, but it rhymes
1197
Reposted by Elementary Penguin
Colin @colin-fraser.net · 07/10/2026
I’m an ultrafinitist but for tiny numbers. This is fake. There is no 2^{-182}
5604
Elementary Penguin @elempeng.bsky.social · 07/10/2026
Okay partition principle does not imply choice is actually really cool
110
Reposted by Elementary Penguin
USER WAS BLOCKED FOR THIS POST @blockedforthispost.bsky.social · 07/10/2026
Well, well, well, if it isn’t the consequences of your own actions
318168
Reposted by Elementary Penguin
cee @cee.wtf · 07/10/2026
116317
Reposted by Elementary Penguin
🧌🥛 🏨 @comraderobot.bsky.social · 07/10/2026
Recent medium format photos #filmphotogrpahy 📷 Mamiya C220 🎞️ Kodak Porta 400 🧪 Cs-41
rays of light shining through tree in fog tons of fuckin tomatoes in a pile mt hood alpenglow sunset over Columbia River winding down into distance with dark pine silhouettes in foreground
3396
Elementary Penguin @elempeng.bsky.social · 07/10/2026
we invented the machine that can produce a formal proof of true results and it turns out that sucks! and you don't understand anything! a great argument against mathematical formalism
040
Elementary Penguin @elempeng.bsky.social · 07/10/2026
Man that sure is a lot of results
030
Reposted by Elementary Penguin
Colin @colin-fraser.net · 07/10/2026
Sam is going to get so mad if everyone doesn't say thank you with enough sincerity
github.com
math/preprints at main · openai/math
Contribute to openai/math development by creating an account on GitHub.
4572
Elementary Penguin @elempeng.bsky.social · 05/10/2026
also he's terrific and he deserves a star turn that's not genre stuff (though he's great at genre stuff)
110
Elementary Penguin @elempeng.bsky.social · 05/10/2026
Hey at least he’s sort of Green Lantern finally
010
Elementary Penguin @elempeng.bsky.social · 05/10/2026
Flying V
A flock of geese flying in a V formation over a power line
010
Reposted by Elementary Penguin
Adam Serwer @adamserwer.bsky.social · 05/10/2026
This book had me sleeping with the lights on when i was six bsky.app/profile/slee...
The cover of Scary Stories to tell in the dark
85135788
Elementary Penguin @elempeng.bsky.social · 05/10/2026
Just wanted to say that six hours later I’m still thinking about the color of that sky. Would you consider selling prints?
000
Reposted by Elementary Penguin
pseudonym jones @pseudonymjones.bsky.social · 05/10/2026
I noticed in Control that there’s posters across town for a movie called Fix Your Heart or Die :’> cute
92283329
Reposted by Elementary Penguin
🧌🥛 🏨 @comraderobot.bsky.social · 05/10/2026
got up early as shit for this large format film shot on a sunday morning #filmphotohraphy (kodak portra 400)
full wide angle of portland city lights with mountain and light fog below. yellow/blue gradient on horizon much closer crop where sky doesn’t have space to turn to blow above
912517
Reposted by Elementary Penguin
Robert Hutton @roberthutton.co.uk · 04/10/2026
Conference chat. "My parents don't really understand the internet. My mum was born in, like, 1975."
5020518
Reposted by Elementary Penguin
Robert Rose @robear.bsky.social · 04/10/2026
A good fresh Star Trek take on those fake isekai title jokes
A tumblr screenshot showing a post and two reblog responses, reading:
1. "star trek would be the ideal fictional universe to get trapped in because you'd explain your situation and they'd be like yeah makes sense. no further questions. fortunately we can use the mysterious warp signature emitting from this system's icy moon to counterface with the solar radiation and slingshot you back home"
2. "I'm from a universe where your world is all a work of fiction." Benjamin Sisko, nodding. "That happened to me once."
3. "I Got Isekaid Into The Star Trek Universe And They Quickly Understood What Was Happening"
138116003115
Reposted by Elementary Penguin
Elementary Penguin @elempeng.bsky.social · 03/10/2026
From Leo
A chalk drawing of Hornet saying “Shaw!” on a driveway
021
Reposted by Elementary Penguin
Daniel Kibblesmith @kibblesmith.bsky.social · 04/10/2026
I am once again asking anyone who interviews Wes Anderson to please finally ask him about Showa Era Godzilla.
6602113
Elementary Penguin @elempeng.bsky.social · 03/10/2026
From Leo
A chalk drawing of Hornet saying “Shaw!” on a driveway
021
Reposted by Elementary Penguin
Andy Mackenzie @andymack.bsky.social · 03/10/2026
Good morning. 'Batman's aff his Nut' by Robert Florence.
15558194
Reposted by Elementary Penguin
Fully Automated @fullyautomatedluxury.com · 03/10/2026
final panel shows nancy looking behind the bushes but the text from r crumbs "lookit that stupid ass-hole!" meme panel placed atop it so that nancy is looking in disgust at sluggo saying 
"I loathe ever person i see on the street! Lookit that stupid ass-hole!"
with text saying "normal guy" pointing at sluggo.
the whistling from the original panel has been removed and the whistling from the r crumb panel has been placed there instead.
174728837
Elementary Penguin @elempeng.bsky.social · 03/10/2026
Absolutely Salt in your Eyes
031
Reposted by Elementary Penguin
August J. Pollak @augustjpollak.bsky.social · 03/10/2026
It really pisses me off whenever I see those “you couldn’t make Blazing Saddles today because of woke” comments because my dude do you know what movie you *actually* couldn’t make today? To Wong Foo, because of everything that made that movie possible having gotten worse in 30 years
15413
Reposted by Elementary Penguin
🧌🥛 🏨 @comraderobot.bsky.social · 03/10/2026
unfortunately i have just become aware of the european space agency pokemon merch
pikachu in a space suit on a dark lavender sweatshirt this is not a drill
4698
Reposted by Elementary Penguin
noam @noamchompers.bsky.social · 03/10/2026
i've obviously posted about this before, but it really is amazing. until recently it seemed totally reasonable (if a bit pessimistic) to go "other people's experiences are just an inscrutable epistemic quandry. there's literally no way to ever know if 'aphantasiacs' exist". and then, we just did it
2333
Reposted by Elementary Penguin
noam @noamchompers.bsky.social · 03/10/2026
i do understand why people are intuitively skeptical of aphantasia. but i think the state of the evidence as of recently is very persuasive and people should not be skeptical anymore
2418
Reposted by Elementary Penguin
noam @noamchompers.bsky.social · 03/10/2026
philosophers should have simply *answered* the deepest and most intractable questions ever posed. instead they've chosen to fuck around. disappointing
1766087
Reposted by Elementary Penguin
worm @rfksbrainworm.bsky.social · 02/10/2026
If you ever wondered why visible light is those particular wavelengths, it's because life evolved to see in the narrow range where water is transparent
Diagram of absorption of emf by water. There's a gap right that dips in the 500 nm range
10260921706
Elementary Penguin @elempeng.bsky.social · 03/10/2026
I got to blow my college algebra class’s mind today by telling them my dad learned to program computers using punch cards
030
Reposted by Elementary Penguin
Aftermath @aftermath.site · 02/10/2026
Dylan Faden did nothing wrong, except for everything he did wrong: aftermath.site/dylan-faden-di...
718921
Reposted by Elementary Penguin
Mr. Joshua @pantspants.bsky.social · 01/10/2026
Ballpoint pen, watercolor, colored pencil, a little crayon, and charcoal pencil. 

Our guy pulls up deep in the forest on his 2-speed bike. He’s flanked by tall dark trees and his path is blocked by a massive spider. He lets the Big Fella know it’s on. “Big Fella,” he says. “I fixed my 2-speed. You still wanna race.” Reader, you know Big Fella wants in on that action. Next slide.Against a starry night sky we see silhouettes of Big Fella and our man racing down a hill. It’s unclear in the drawing who will win but Big Fella is likely about to pull away.
383315747
Reposted by Elementary Penguin
Joshua Bowman @thalesdisciple.bsky.social · 02/10/2026
1213
Elementary Penguin @elempeng.bsky.social · 02/10/2026
Alan Wake invented you to escape the Dark Place
110
Reposted by Elementary Penguin
hammancheez but spooky @hammancheez.bsky.social · 01/10/2026
Yall wanna see a 2 hour old highland cow
359208465026
Elementary Penguin @elempeng.bsky.social · 02/10/2026
Yeah I’m lucky to have nice sky in my backyard
010
Elementary Penguin @elempeng.bsky.social · 02/10/2026
Clouds at night above the silhouette of trees
110
Elementary Penguin @elempeng.bsky.social · 02/10/2026
Half my timeline, talking about Control Resonant
static.klipy.com
Lum: I Can Fix Him
Alt: Lum: I Can Fix Him
031
Elementary Penguin @elempeng.bsky.social · 01/10/2026
wasn't feeling good this morning so used a sick day, figured i'd clean a bit after resting for a bit; instead i ended up sleeping literally all day
010
Reposted by Elementary Penguin
Randall Munroe @xkcd.com · 01/10/2026
If I went to Switzerland and won a Swiss watch precision contest, I would literally never talk about anything else
558406845