Freek Wiedijk 🎲 @freekwiedijk
proofs🔑dances⚙️bodies🔥dreams⭐️ cs.ru.nl/~freek 52.37 4.9 Joined December 2009-
Tweets13K
-
Followers746
-
Following2K
-
Likes35K
⚫️ @mouse_math @MaiaWoodhouse @HarmvanderGaag @miniapeur @skdh @ImLunaHey @LawrPaulson @womensart1 @JDHamkins @codydroux @doctorow @PhysInHistory @RealStellaSky @perfectepodcast @geofden @My_Jelly_Tots @Bellisima_2004 @theRealPlanker @ocaml_org @nrc @mhartl @Celeste_c
1
0
4
160
0
Download Image
Are type classes more like a type system or more like notation?
Freek Wiedijk 🎲 retweeted
Climate damages by 2050 will be 6 times the cost of limiting warming to 2° | Ars Technica arstechnica.com/science/2024/0…
The new "--sref random" of #Midjourney is fun! ☺️
Freek Wiedijk 🎲 retweeted
What is everyone gonna buy Kant for his 300th birthday
Freek Wiedijk 🎲 retweeted
Lennart Van Hirtum and his colleagues calculated the ninth Dedekind number, the first in 30 years, using a simplified version of a formula created by Patrick De Causmaecker. Dedekind numbers count structures in a variety of mathematical fields. quantamagazine.org/ninth-dedekind…
Freek Wiedijk 🎲 retweeted
Toshiba Typewriter Model BW-2112 with 1172 characters by collector David Herrera.
Freek Wiedijk 🎲 retweeted
The Midjourney Explore page is nice!
Freek Wiedijk 🎲 retweeted
Cool new tech instantly makes me feel more optimistic about the future
But Santa Claus *does* exist! ☺️ youtube.com/shorts/cj8r_8O…
Freek Wiedijk 🎲 retweeted
ceci n'est pas une bannière #StreetFurniture #Recursion #Torino
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
Talia Ringer 🟣 �.. @TaliaRinger
25K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Lawrence Paulson @LawrPaulson
2K Followers 276 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Michael Kinyon @ProfKinyon
17K Followers 1K Following No longer here (thanks Elon). Mathematics professor @UofDenver. Quasigroups, Semigroups, Automated Deduction. He/Him. Same username on other social media.
Pitching The Offer Op.. @PTOOP
1K Followers 609 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerous
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Manuel Eberl @pruvisto
531 Followers 309 Following CS postdoc in Innsbruck. Likes climbing and Esperanto. Gets paid to explain proofs to computers. Mastodon: @[email protected] @[email protected]
Jacques Carette @jjcarett2
2K Followers 1K Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Emilio J. Gallego Ari.. @ejgallego
469 Followers 745 Following Researcher at Inria. ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600.
Angeliki Koutsoukou-A.. @AngelikiKoutso1
2K Followers 508 Following Mathematics, computer science and logic @RoyalHolloway @Cambridge_CL @ClareCollege Other: art, philosophy, society. World citizen. Pacifist. Friend. Own views.
Mukesh Tiwari @mukesh_tiwari
1K Followers 514 Following Theorem proving (Coq), Electronic Voting, Cryptography. Lecturer, Swansea University. Anti-war, Politics. 🇮🇳 🇦🇺 🏴 🏴
Simon Pepin Lehalleur @plain_simon
3K Followers 5K Following Mathematician (algebraic geometry, motives & friends, singularity theory and ML). 'Geometry is successful magic' (R. Thom) University of Amsterdam. He/Him
Roxanne Hinchliff @RoxanneHin51786
78 Followers 5K Following
Amelia Sharif @ame_shari
59 Followers 5K Following
Jelly-Tots @My_Jelly_Tots
67 Followers 115 Following Witty, Funny, not always obedient. My posts are a reflection of my thoughts & mood. Stimulate my mind. 💍Taken. Don't be offended if I don't follow u back.
Nara Bongiorno @BongiornoN86783
38 Followers 5K Following
Lucretia Savrina @LucretiSabvrina
813 Followers 5K Following Stay close to what keeps your heart beating
Computer Man @JohnSpellingly
854 Followers 2K Following I am an ultanium robot from the year 7,777. I cannot be stopped, but I am also programmed to love. $playfulriddler
Jodee Fenderson @FendersonJ3988
92 Followers 5K Following
The Planker @theRealPlanker
272 Followers 934 Following Cynical ageing nurse, rusted-on Green, carpenter, boat-builder. I plank therefore I am.
Livia Demosthenes @LivDemosthene
92 Followers 5K Following
Eliza Martirano @EMartirano78055
27 Followers 2K Following Eliza . 21 . Earn now with crypto presale👇🐋
Dustin Zewind @KlausMHoffmann1
310 Followers 2K Following Reality is that which, when you stop believing in it, doesn't go away. Life is a series of involuntary updates. Sapere aude. 💬 🇩🇪
Dayna Helom @DaynaHel
61 Followers 5K Following
Elora Dew @DewElora32641
41 Followers 5K Following
Zariah Mondelli @monde_zar
86 Followers 5K Following
Steve @Cybercop
29 Followers 122 Following Techie. Human. Life is amazing - live it, love it and make it amazing for those around you. Your actions matter more than you know, so be kind. Always.
Andrew Smith @AndrewS32914275
98 Followers 602 Following Just an old bloke from Bristol. A relic of software’s Wild West, when “hack it and ship it” was the only game in town. #ReclaimOurBuses
allison @Iveappealed1211
517 Followers 818 Following After 10 days of a 7 day Twitter sentence, I gave. Dropped appeal & just deleted tweet. This old acct has its glitches but it’s better than nothing. 🙏🕊🇺🇦
Luna Freidman @freidm_l
82 Followers 5K Following
heba ayman @hebaayman77177
6 Followers 306 Following
Dena Spilman @DenaS31057
39 Followers 5K Following
Test User @TestUser_0110
4 Followers 274 Following
Ermelinda Many @ermelin_m
14 Followers 2K Following
Tommye Kohel @TKohel88650
65 Followers 5K Following
Rachel Elizabeth Nigh.. @GlamGrafter
6K Followers 5K Following 🐾 Quirky Adventurer 🌈 Dreamer 🚀 | Spreading Smiles 😄 | Coffee Addict ☕ | Mum of 3 Boys 👦👦👦 | Let's Embrace Quirkiness! 🎉 | 1st Post - 1st August 2023 🙌
Alida Balden @alid_bald
83 Followers 5K Following
There are some who ca.. @TimNoEgo
28K Followers 30K Following #Atheist #FuckRacism #Poly Co-founder High Times magazine Former weed smuggler Did time ALL GODS ARE MYTHS I am living in poverty. Please help: $TimNoEgo
Arktan @Arktan_com
576 Followers 2K Following Daily content about AI - Discover and compare the best AI tools for you and your business with https://t.co/5uppqe7we7
Juju Chewbaka @JobuGallery
197 Followers 481 Following 🌌 Multiverse Pixels and Dreams 🎨 🍥🚀 🎭 | 🧭 DigitalDreamer 🖼️ no commissions ✨️ Patreon soon 🌟
Karan Chaturvedi @KaranChatu82181
0 Followers 2 Following
AmberLyra (creating i.. @amberlyrastudio
510 Followers 900 Following Digital artist creating and exploring Inspo: Taylor, music, meditation, books, community, recovery and self improvement tech profile: @AnEvergreene
Izabela Mcneff @IzabMcne
36 Followers 4K Following
Penny Pomrenke @PennPomren
53 Followers 5K Following
Anna-may Plaza @PlazaAnna74273
29 Followers 5K Following
Roy Obanion @r_obanion
27 Followers 5K Following
June Quicksall @JQuicksall91154
93 Followers 5K Following
Selena Bassford @BassfoSele
42 Followers 5K Following
Aleeza Brandau @aleeza_bran
28 Followers 5K Following
DrBitcoin @cynicmisanthrop
379 Followers 2K Following Life is but a few nodes on an infinitely evolving hypergraph
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/him
Talia Ringer 🟣 �.. @TaliaRinger
25K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Joel David Hamkins @JDHamkins
22K Followers 295 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Lawrence Paulson @LawrPaulson
2K Followers 276 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
Daniel Litt @littmath
37K Followers 871 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Timothy Gowers @wtgow.. @wtgowers
44K Followers 188 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
julia kam🦄 @KamerynJW
5K Followers 440 Following Logician and mathematician ∞ I think about the infinite, big and small ∞ account ran by @kamerynjw ∞ they/she
Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Kevin Buzzard @XenaProject
9K Followers 0 Following Mathematician learning Lean and trying to teach it to others. Now gone to Mathstodon (March 2023). No longer reading or replying to mentions.
Michael Kinyon @ProfKinyon
17K Followers 1K Following No longer here (thanks Elon). Mathematics professor @UofDenver. Quasigroups, Semigroups, Automated Deduction. He/Him. Same username on other social media.
Some theorems @CihanPostsThms
24K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
Pitching The Offer Op.. @PTOOP
1K Followers 609 Following (B&Q they/them) if it's enough to project probity and competence, compassion would seem surplus to requirements, and dignity positively dangerous
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Dr Eugenia Cheng --no.. @DrEugeniaCheng
27K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. Speaking Engagements via HSB: [email protected]
Thorsten Altenkirch @taooftypes
2K Followers 163 Following Addicted to the internet but I am enjoying it. Mostly.
Manuel Eberl @pruvisto
531 Followers 309 Following CS postdoc in Innsbruck. Likes climbing and Esperanto. Gets paid to explain proofs to computers. Mastodon: @[email protected] @[email protected]
Jesmyn Ward @jesmimi
63K Followers 5K Following Writer. Sing,Unburied,Sing. The Fire This Time. Men We Reaped. Salvage the Bones. Where the Line Bleeds. National Book Award Winner (deuce!) she/her
Jelly-Tots @My_Jelly_Tots
67 Followers 115 Following Witty, Funny, not always obedient. My posts are a reflection of my thoughts & mood. Stimulate my mind. 💍Taken. Don't be offended if I don't follow u back.
スノク200 @sunouku
16K Followers 457 Following アニメ、映画、ゲーム、写真好きです。 画像生成AI Midjourney（ミッドジャーニー）で遊んでいます。 投稿されるイラスト等はミッドジャーニーが描いてるもので自分が描いているものではありません。
Unique Hawaii 🌴 @uniquehawaii
15K Followers 16K Following Love is my superpower. Shoe-ish. Spiky shoes and dangling earrings. https://t.co/C6Qe6CyehQ
Lucas Crespo 📧 @lucas__crespo
4K Followers 1K Following Creative Lead at @Every + sponsorships: https://t.co/xiIc2E4Eij
Tina D'Angelo @TinaDAngelo6
3K Followers 3K Following Writer, mom, bad grandma, wife, chocolatier, baker and published author! 3 Books available now on Amazon. G-Is for String, Save One Bullet and Oh, Canada! (G2)
Computer Man @JohnSpellingly
854 Followers 2K Following I am an ultanium robot from the year 7,777. I cannot be stopped, but I am also programmed to love. $playfulriddler
Monica DM limitati�.. @lanewmonic
1K Followers 482 Following ciao, rieccomi ,bisex come sempre Hi I'm back ,bisexual as always
allison 🏌️♀.. @allisons_acct
691 Followers 1K Following CORONAVIRUS: pseudo-life form / proto organism. HOMO SAPIENS COVID-19 host organism. 🙏🕊🇺🇦
Zatanna "Xtra" Dark �.. @dark_zatanna
5K Followers 5K Following NSFW 18+ Lover & Writer of BDSM Erotica & Erotic Horror. Wanna Poke, Tickle & Tingle with me in more ways? Be sure to check out my Linktree below. YUMMY!
Beanie Blossom @BeanieBlossom
2K Followers 329 Following Discovering the world of AI visuals - sharing what I create and learning from your insights on #AIart
Alfie - A life Doodle.. @life_doodler
1K Followers 699 Following (Male) - I'm a storyteller, I love doing art for celebrating the beauty of the female form God has created. Drawing nudity isn't evil, dirty or degrading.
Sam Rose @samwhoo
4K Followers 944 Following Writing visual guides to programming concepts at https://t.co/IbaGdm3TrO. Mastodon: @[email protected]
The Planker @theRealPlanker
272 Followers 934 Following Cynical ageing nurse, rusted-on Green, carpenter, boat-builder. I plank therefore I am.
Deb 🌻 🟧 @DontCallMeDebby
25K Followers 19K Following Vote Blue! 💙 Lover of Nature, Twizzlers. No DMs #100DaysOfWalking #OnMyWalk #ThankYouTG
Magdalena Kiesel @crystalline_cat
264 Followers 2K Following she/her • trans, autistic, disabled, older millennial • coder • kindness fanatic ▪︎ 🐈⬛ • Oh, look, a cat sat in this box — dropping everything to pet it!
siddhi @siddhi12612
1K Followers 262 Following @Google Girls Hackathon'24 l CSE'26 l Web Developer 🌐 | DevOps Advocate 🚀 | Cloud Enthusiast ☁️ | #100DaysOfCodeChallenge #WomenInTech
Dreaming Tulpa 🥓�.. @dreamingtulpa
34K Followers 1K Following Coder and AI whisperer | 🇨🇭 | @aiia_dao Keeping up to date with Generative AI on https://t.co/JjX7INV1K5 Building https://t.co/0tHHSgyHnn More here 👉 https://t.co/8ES5KiPMND
allison @Iveappealed1211
517 Followers 818 Following After 10 days of a 7 day Twitter sentence, I gave. Dropped appeal & just deleted tweet. This old acct has its glitches but it’s better than nothing. 🙏🕊🇺🇦
Death Cabbage @tkohl
19K Followers 1K Following tskohl on Tum blr if this platform implodes…also tkohl on "the site that dare not speak it's name" mstdn . party
nora blom @nora_blom
8 Followers 36 Following
Jeff Dean (@🏡) @JeffDean
296K Followers 6K Following Chief Scientist, Google DeepMind and Google Research. Co-designer/implementor of things like @TensorFlow, MapReduce, Bigtable, Spanner, Gemini .. (he/him)
Woz @finnan
94 Followers 151 Following Nerd, artist, wannabe Taoist, daydreamer, napper. Do not mistake my silence for agreement or defeat.
China in Pictures @tongbingxue
109K Followers 648 Following Visuals of Greater China. Curated by Tong Bingxue仝冰雪, Collector & Historian, Author: History of Photo Studios in China, A Life in Portraits. DM open.
Alison Smith @AlisonTeeSmith
822 Followers 349 Following #GenerativeAI @BoozAllen | Investing hobbyist | Tweets my own | RTs ≠ endorsements
adelinegraphiste @adelinegraph
7 Followers 61 Following ✨ Graphiste passionnée, transformant les visions en magie visuelle ! #Designgraphic #graphiste #aiartwork 👇 clique sur mon lien
There are some who ca.. @TimNoEgo
28K Followers 30K Following #Atheist #FuckRacism #Poly Co-founder High Times magazine Former weed smuggler Did time ALL GODS ARE MYTHS I am living in poverty. Please help: $TimNoEgo
Juju Chewbaka @JobuGallery
197 Followers 481 Following 🌌 Multiverse Pixels and Dreams 🎨 🍥🚀 🎭 | 🧭 DigitalDreamer 🖼️ no commissions ✨️ Patreon soon 🌟
Yashar Akrami @YasharAkrami
804 Followers 597 Following Cosmologist. Asst. Prof. @ift_uam_csic. Adj. Asst. Prof. @cwru. Based in Madrid/Spain. Worked/studied in USA, UK, France, Netherlands, Germany, Norway, Sweden.
florence ☧ @morallawwithin
6K Followers 1K Following kantian 🏳️🌈 / philosophy grad student / for us men and for our salvation, he came down from heaven / meat is murder / alt @formofthegood
GIFS @GIF__
258K Followers 0 Following Gif creator. Cinematographer. Photographer. The twinkle in your eyes when you look at me reminds me of butterflies and fireflies. https://t.co/pGnSpCR793
Clément Canonne @ccanonne_
31K Followers 926 Following Senior Lecturer @Sydney_Uni. Postdocs @IBMResearch, @Stanford; PhD @Columbia. Converts ☕ into puns: sometimes theorems. He/him. @[email protected]
False Knees @FalseKnees
217K Followers 287 Following bird/human hybrid. comic and art prints available here: https://t.co/JjBHw76iut
Be Creative @beingcreative70
32K Followers 3K Following The female form | Art | History | Literature | Music | Love | Photography from around the Universe
Ibtihal Jadib @jadibadvocatuur
163 Followers 7 Following
senses @senses44919
2K Followers 217 Following my tweets are random, coffee art sex and whatever strikes my mood..
Celeste @Celeste_c
1K Followers 4K Following Art, poetry, photography and now AI explorer. Fuelled by tea.
Bernardino Luini 1481 1532 Madonna col Bambino dormiente
My desk looks out a window down to my neighbor's front door. Every time I see the Fedex guy run (actually RUN) up to their door, I think about how many more years he's going to live than I am. I bet he's happy.
Vegetables shouldn’t be sweeter than fruits. Beets are nasty.
Post your Best AI image of the day here! Like, follow, re-post, and invite friends! Get my free Midjourney prompts! I will send you a DM with more info if you interact with this post!
her: WHAT are you doing? me: um, i was going to do transfinite induction on you. her: i didn't say you could do that! me: yes you did. her: when did i say that? me: when you said we had a well-founded relation! 🙂 ... her: i misspoke. me: whaaa....?
Kama Sutra on psychedelics – that’s today’s new artist, Spanish illustrator Roberto Maján. Forget Picasso and Matisse, Maján is where the action is! See all his positions, possible and impossible, now at honesterotica.com/illustrator/ro….
@TaliaRinger Proto-baby is dancing! 🧿💙🧿
I have a very wiggly (and so far, healthy) proto-baby in my uterus. Switched positions like six times during the ultrasound, brought hands up to face, and so on. Weirdly adorable
Treasures from style random (Midjourney). Use this as your style reference. See what happens. 👇 Prompt in the thread.
Midjourney Office Hours - April 24, 2024 A recap. Website Rooms - will open up more rooms and for users with less images generated - this week Image Generation - will open up website image generation to more people - this week Personalization - continue working on…
My first prenatal ultrasound is tomorrow, at 12 weeks 1 day. Is it normal to feel this nervous? I just hope proto-baby is doing OK in there
@freekwiedijk @TaliaRinger I see a lawsuit coming Freek 😊. Steady on, it’s her first. Hope all goes well tomorrow.
@jesssica__evans "The first weapon I ever held was my mother's hand." (LET US DESCEND by @jesmimi )
@LudovicCreator PORTRAIT OF WOMAN wearing hijab --ar 3:2 --sref random
Lessons and Instructions for Self Development of Spiritual Powers. Mary E. Anderson (1917) #book #zodiac #astrology
Is it just me, or is the AI art that is most celebrated and respected in this space the kind that resembles traditional art? The kind that mirrors ideal aesthetics, particularly postphotography. There seems to be something amiss with that. AI art should find its own unique voice.
Trends for United States
16,3 B posts
5.783 posts
12,4 B posts
75,9 B posts
5.236 posts
227 B posts
73,4 B posts
8.421 posts
16,7 B posts
25,3 B posts
2.277 posts
75 B posts
87,7 B posts
143 B posts
4.219 posts
17,4 B posts
1.577 posts
8.085 posts
You might like
K-Theory
@KristapsBalodi3
799 Followers
Type Theory Forall
@ttforall
3K Followers
Lawrence Paulson
@LawrPaulson
2K Followers
Carlo Angiuli
@carloangiuli
1K Followers
Topos Institute
@ToposInstitute
3K Followers
Number less than 2^2^..
@codydroux
1K Followers
Tom de Jong
@de_Jong_Tom
253 Followers
Lean
@leanprover
4K Followers
Derek Dreyer (@herrdr..
@HerrDreyer
2K Followers
Thorsten Altenkirch
@taooftypes
2K Followers
fatmaayca
@faycacetinkaya
196 Followers
Mukesh Tiwari
@mukesh_tiwari
1K Followers
Christine Rizkallah
@c_rizkallah
350 Followers
Yannick Forster
@yforster_cs
111 Followers
Amanda Jansen
@MandyMathEd
8K Followers