Universally-Quantified Type Variable

75.4K posts

Universally-Quantified Type Variable banner
Universally-Quantified Type Variable

Universally-Quantified Type Variable

@H2CO3_iOS

CTO @ Narnium. "Average statisticians are the worst. Half of them confuse the mean with the median."

Budapest Katılım Mart 2011
86 Takip Edilen1.4K Takipçiler
Universally-Quantified Type Variable retweetledi
philosophy memes 🔗
philosophy memes 🔗@philosophymeme0·
philosophy memes 🔗 tweet media
ZXX
13
344
2.4K
29.5K
Universally-Quantified Type Variable retweetledi
ella🌸
ella🌸@ellamaxxing·
WAHT
ella🌸 tweet media
Indonesia
13
175
8.9K
41.8K
Universally-Quantified Type Variable retweetledi
𝚊𝚕𝚔𝚊𝚕𝚒
𝚊𝚕𝚔𝚊𝚕𝚒@alkalinesec·
nothing pisses me off more than when an IDE has a normal dictionary spellchecker like yeah man i know that "nwidth" isn't in the dictionary i want to find the person who did this and arrange their intestines in a red squiggly line under their dead body
English
28
64
1.8K
41.3K
Universally-Quantified Type Variable retweetledi
Slim Jimmy
Slim Jimmy@slimjimmy·
if you believe this, you should not be writing C
Slim Jimmy tweet media
English
66
20
1.2K
100.6K
Universally-Quantified Type Variable retweetledi
Björkus 'No time_t to Die' Dorkus
Jumpscare a "Nobody Reviews Compiler Output" developer with one simple logo.
Björkus 'No time_t to Die' Dorkus tweet media
English
7
52
671
15K
Captain Insight
Captain Insight@CaptainInsightX·
4 engineers who shaped modern software. You get 1 as your mentor for a year. Pick one. -DHH (creator of Ruby on Rails, CTO of 37signals) -John Carmack (creator of Doom, ex-CTO Oculus) -Linus Torvalds (creator of Linux & Git) -Guillermo Rauch (CEO of Vercel, creator of Next.js) Who are you picking, and why?
English
118
7
215
38K
Olivier Poncet 🦝
Olivier Poncet 🦝@ponceto91·
L'interface de GitHub si la plateforme avait été créée par Borland dans les années 90 🤓
Olivier Poncet 🦝 tweet media
Français
133
290
2.4K
71.9K
Universally-Quantified Type Variable retweetledi
Wholesome Side of 𝕏
Wholesome Side of 𝕏@itsme_urstruly·
"can you explain this large gap in your resume?" yeah i tried to move an image on word.
English
14
195
2.3K
97.2K
Universally-Quantified Type Variable retweetledi
LaughBreak: Dad Jokes ‘N More
LaughBreak: Dad Jokes ‘N More@MediocreJoker85·
A man steps out onto the street and catches a taxi just as it’s going by. He gets in, and the cabbie says, “Perfect timing. You’re just like Frank.” “Who?” the passenger asks. “Frank Feldman,” the cabbie says. “He was a guy who did everything right, all the time. Like me coming along just when you needed a cab. Things like that always happened to Frank Feldman.” “Well, nobody’s perfect,” the passenger says. “Not Frank Feldman,” the cabbie replies. “He was a terrific athlete. He could’ve won a Grand Slam in tennis. He could golf with the pros. He sang like an opera baritone and danced like a Broadway star. And you should’ve heard him play piano. He was amazing.” “Sounds like he was something special,” the passenger says. “There’s more,” the cabbie continues. “He had a memory like a computer. He remembered everyone’s birthday. He knew all about wine — what to order, which fork to use. He could fix anything. Not like me. I change a fuse, and the whole street goes dark. But Frank Feldman could do everything right.” “Wow,” says the passenger, “what a guy.” “And he always knew the fastest route through traffic,” the cabbie adds. “Not like me. I’m always getting stuck. But Frank never made a mistake. And he knew how to treat a woman. He’d never talk back, even if she was wrong. His clothes were always spotless, his shoes polished. The perfect man. Nobody could measure up to Frank Feldman.” The passenger pauses, then asks, “So how did you meet him?” The cabbie says, “I never did. He died… and I married his wife.”
English
17
91
866
33.1K
Universally-Quantified Type Variable retweetledi
mae :3
mae :3@mae2h·
people be like "bear with me" and they have no bear with them
English
95
4.5K
29.4K
391K
Universally-Quantified Type Variable
@abdimoalim_ individuals probably couldn't. It relies on a whole bunch of technologies that can't all possibly be made by a single person. Maybe an extremely simple, say electro-mechanical one. But even making a vacuum tube is extremely laborious, let alone transistors…
English
1
0
1
76
@abdimoalim.bsky.social
@abdimoalim.bsky.social@abdimoalim_·
Only a few individuals would be able to reconstruct a computer from first principles in the event of a civilizational collapse.
English
189
139
3.9K
116.3K
Universally-Quantified Type Variable retweetledi
Pong✨
Pong✨@viani310·
Good question 😂
Pong✨ tweet media
English
92
781
10.1K
80.1K
George
George@geocucu·
Github if IBM designed it in the 60s
George tweet media
English
3
4
104
6.2K