River Dillon @k__monk
Interested in compilers, logic, and computer music, among other things. k-monk.org NYC Joined November 2016-
Tweets48
-
Followers132
-
Following456
-
Likes166
This is provocative in the best way possible
This is provocative in the best way possible
River Dillon retweeted
River (@k__monk) and I wrote about Damas-Hindley-Milner type inference and would love to get your feedback on the blog post bernsteinbear.com/blog/type-infe…
wrote some notes on the OCaml module system for our group at RC k-monk.org/blog/ocaml-mod…
made a video about a little audio programing language project youtu.be/d8eC9he8iZM
I remember hearing Rob Burbea remark once that not only is the self an illusion, but awareness itself is an illusion. (I take him to mean by "awareness" something like the space in which all experience arises.) At the time I didn't understand what he meant. Now I'm wondering if…
River Dillon retweeted
The most pernicious delusion of the last ten years is that we can improve anything, not by understanding its structure and identifying its flaws, but by distilling a vague sense of what sort-of-kind-of-worked under similar conditions, and plastering that goo over all the cracks.
question for @andrasKovacs6 @Blaisorblade @jonmsterling @laMudri @mietek and anyone else who can help: what resources would you recommend to a relative beginner to learn enough type theory to implement a small proof assistant?
Pluifu @Pluifu459726
36 Followers 861 Following
Victoria Taylor @Vraueagoup4294
27 Followers 1K Following Health is the foundation, compassion is the key.
dianyang @iterateinteract
157 Followers 702 Following Game Designer, Programmer, Educator Bossfight Tactics Out Now! https://t.co/FeRQ6vUXEi
Yderiniew @Yderiniew82211
7 Followers 287 Following I’m Cain, from Singapore 🌏, a beginner in X ✨. No business DMs 🚫, no investment talks 💸. Today’s effort shapes tomorrow’s me 💪🌟!
Greg Technology @technology_greg
874 Followers 2K Following
Manish Gill @mgill25
3K Followers 6K Following Databases | Kubernetes | Compilers | EM @ClickHouseDB | https://t.co/12g8segwjE | https://t.co/worpODcnLt | Prev: AI Research @TomTom |
Nicolas Paul @ncs_pl
82 Followers 278 Following If you're here then you probably got ragebait, sorry fam that's life.
Nina Sokolov @PriOr0556_d
2 Followers 308 Following
Tiruru @Tiruru167
48 Followers 1K Following
Daniel Sosebee @dnsosebee
261 Followers 1K Following At @recursecenter 🐙, learning automated learning & creating automated creativity ➿, playing piano 🎹, governing @sneaky_town ♟️
Teathothis @TeathothiszPXM
33 Followers 585 Following
dingdongandrewdong @AndrewDong1994
155 Followers 900 Following toying around @recursecenter math @uchicago notes @ https://t.co/xIGP6E5crQ
Mary jo Riggs @crossgatta
1K Followers 5K Following 🔑 Entrepreneur • Consultant • Investor 🦁 Leader • Mentor • Catalyst 🗺 42 Countries📍 ⏬🔥🔥⏬🇺🇸🇬🇧🇩🇪🇧🇷🇨🇴🇳🇴🇮🇹
Foy Savas @foysavas
1K Followers 1K Following Interests: formal methods, AI as mimicry, lawful crypto. Past: SaaS founder, tech author, big data VC, deep learning visitor @ NYU
Tracy @tracyeaton32
268 Followers 3K Following
Bryan Russett @bcrussett
1K Followers 1K Following Thoughts @ https://t.co/0vk6D2wzfd // Building @ https://t.co/K63gJJuuUc Also followable at https://t.co/9OulCvXhjF
KULDEEP JAISWAL @KULDEEP_VNS_KJ
15 Followers 264 Following
two_tree_hundo @two_tree_hundo
285 Followers 6K Following
Peter Whidden @computerender
2K Followers 124 Following
max @maxbittker
7K Followers 3K Following toymaker, likes learning :^) @websim_ai maintains @nyt_first_said & https://t.co/QFsZH4g43R https://t.co/dPbgElCy3G
Ayaz Hafiz @ayaz_hafiz_
104 Followers 53 Following
Matt @matt_dz
5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance
aeesz4 @aepau2
74 Followers 472 Following
David @drrosat
1 Followers 81 Following
João Silveira @jsilll
352 Followers 585 Following
max.rss @tekknolagi
2K Followers 900 Following Bread, beans, programming languages; fmr Chief Potato; he/him; cover photo credit xkcd proud owner of https://t.co/kUeNYzHHut https://t.co/q3ainEJ9sW
Krishna Padmasola @placidex
90 Followers 2K Following
seb @_sbmsr
198 Followers 1K Following 🚀 maintainer @ https://t.co/sq2cRX8EGH 🚢 my projects 👉 https://t.co/0lq1MRQ7gF I build, teach, and create stuff every single day.
Thesewt @ThesewtYVq
35 Followers 4K Following
Rob Jacques @I_mInItToWinIt
641 Followers 2K Following Managing Partner @RootSystemVC. CTO Discourse Engine. Long Suffering Tech Enthusiast. Collapsing the wave function of life, one decoherence event. Bi/Pan.
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Omar Rizwan @rsnous
9K Followers 1K Following "i am determined to move beyond this way of interacting with systems"
nolen royalty @itseieio
24K Followers 569 Following the internet can still be fun! https://t.co/mjpr5uCSdY • https://t.co/PAOcAATGnX • https://t.co/rXQU7beqam • https://t.co/e4X1aTyU9N alum recurse, jane street
Sadie @villagomezsadie
270 Followers 3K Following
Convergent Research @Convergent_FROs
4K Followers 101 Following Convergent Research enables fundamental research that requires unusual levels of scale and coordination.
Arc Institute @arcinstitute
39K Followers 59 Following A new scientific institution for curiosity-driven biomedical science and technology.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Greg Technology @technology_greg
874 Followers 2K Following
Christian Szegedy @ChrSzegedy
42K Followers 3K Following #deeplearning, #ai research scientist. Opinions are mine.
Marc Brooker @MarcJBrooker
21K Followers 747 Following AI, agents, databases, and serverless at AWS. Views are my own.
Coincidence @CoincidenceTeam
2K Followers 1 Following Coincidence is a cooperative game studio created by ex-Zachtronics developers. Zach Barth is no longer teaching high school and is making games again.
Better Software Confe... @BetterSoftwareC
4K Followers 12 Following Software is getting worse. We're here to make it better. 2025 VODs currently releasing on YT: https://t.co/kitqaYA43w
Amit Patel @redblobgames
19K Followers 12 Following I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/@rotmg_news
Antithesis @AntithesisHQ
3K Followers 46 Following A platform for building the impossible. Autonomous testing trusted by @PalantirTech @MongoDB @Ethereum and many others.
Cliff Click @cliff_click
5K Followers 0 Following Creator of the HotSpot JIT, writing compilers since age 15, low-latency GC, Big Data, ML & AI, concurrent and distributed algos, PhD, 20+ patents, father of 4
Andy Konwinski @andykonwinski
8K Followers 98 Following Co-founder of @databricks, @perplexity_ai, @laudeinstitute, @laudeventures
Ethan Lee @flibitijibibo
6K Followers 70 Following Linux porter, Maintenance guy, Developer of FNA. FEZ, Celeste, TMNT: Shredder's Revenge, Transistor, Streets of Rage 4, Dust: AET, Eversion, Apotheon, VVVVVV...
Nicolas Cannasse @ncannasse
4K Followers 67 Following CEO @shirogames, game director on #Evoland, #Northgard and #Wartales, #haxe language creator
Richard Whaling @RichardWhaling
674 Followers 1K Following Data at @M1Finance, wrote about @scala_native for @PragProg. Recording artist for @rustedtonerecs. Queer/bisexual. Follows are not endorsements. Be kind.
Mike Dodds @miike
1K Followers 561 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Tad Cordle @RbdJellyfish
859 Followers 166 Following Making A Little Perspective + made Sensorium. Fulltime gameplay code at Mm. Washed LBP speedrunner.
Astra Logical @games_astra
2K Followers 177 Following Publisher of systems & strategy games that don’t hate you. https://t.co/mlZeGASrrF
Patrick Traynor @clockworkpat
6K Followers 312 Following Puzzle game developer + programmer Patrick's Parabox, Linelith, I Wanna Maker https://t.co/MpnSmRoTrq
Canvas of Kings | Mig... @MightofMe
31K Followers 48 Following Solo dev. Working on: MAPMAKER: Canvas of Kings | GAME: Might of Merchants | https://t.co/CtsuIDTLEC
Kevin Lynagh @lynaghk
3K Followers 448 Following I design and build things. Mostly software, sometimes furniture, and a few small buildings once. https://t.co/0gkn5HFNPK
Arseny Kapoulkine �... @zeuxcg
13K Followers 56 Following Previously: technical fellow at Roblox meshoptimizer, calm, volk, pugixml, niagara, qgrep, Luau https://t.co/PTS70xW8NM
School For Poetic Com... @sfpc
16K Followers 275 Following Experimental school supporting study in art, code, hardware + critical theory. → https://t.co/HUJvjPIrUb
Daniel Sosebee @dnsosebee
261 Followers 1K Following At @recursecenter 🐙, learning automated learning & creating automated creativity ➿, playing piano 🎹, governing @sneaky_town ♟️
Special Interest Grou... @sigbovik
1K Followers 19 Following Senior computer scientist at CMU. Research interests include Perplexity Theory, k-Armed Bandits, and Cloud Rendering. Face of the SIGBOVIK conference.
Jonathan Protzenko @_protz_
875 Followers 393 Following Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc
Gro-Tsen @gro_tsen
7K Followers 92 Following Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I tweet in fr&en.
Galois @galois
6K Followers 656 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
CF Bolz-Tereick @cfbolz
3K Followers 1K Following PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Vegan. they/them Mainly on @[email protected]
Devon ☀️ @devonzuegel
59K Followers 1K Following I've gone to look for myself. If I return before I get back, please ask me to wait. Prev @GitHub @NotionHQ @Affirm @StanfordReview. Building a modern Chautauqua
Andrew Myers @AndrewCMyers
5K Followers 296 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Thibaut Mattio @tmattio_
534 Followers 390 Following Building Raven, a machine learning ecosystem for OCaml. Former director of engineering @tarides_, building developer experiences for the OCaml Platform.
Oskar Stålberg @OskSta
110K Followers 1K Following Gamedev. Made @BadNorthGame and Townscaper. Both available on most platforms. Go buy em!
Eric S. Raymond @esrtweet
37K Followers 174 Following Yes, I *am* that ESR. Well, it's the question people usually ask. Programmer, wandering philosopher, accidental anthropologist, troublemaker for liberty.
Jakub Tomšů @jakubtomsu_
3K Followers 1K Following 21. Solo indie gamedev. Working on BEHEADER, a brutal dark fantasy roguelite, made in a custom engine. Made Solar Storm. #odinlang
✨ Jean Yang ✨ @jeanqasaur
24K Followers 4K Following API observability product @getpostman. Founded @akitasoftware (acquired 2023). Programming, APIs, and developer experience. Former professor @CSDatCMU.
Sam Lantinga @slouken
623 Followers 12 Following
Ryan C. Gordon @icculus
11K Followers 72 Following I build things that help you build games. Contribute to me building things at https://t.co/ItQM6mnOK1 !
Valentin Ignatev @valigo_gg
1K Followers 112 Following programmer, speedrunner, father, immigrant alt: @valigo_ru https://t.co/kwWcXro4mq | https://t.co/KnVpup9ljy | https://t.co/U02QuCQHa4Trends for United States
16,4 B posts
9.900 posts
4.307 posts
39,4 B posts
236 B posts
3.514 posts
4.609 posts
11,8 B posts
148 B posts
4.485 posts
9.591 posts
48,2 B posts
19,8 B posts
89,7 B posts
5.183 posts
51 B posts
19,3 B posts
1.223 posts
3.790 posts
You might like
Rachel Eichenberger �...
@eich4all
218 Followers
Min Teo
@_MinTeo
10K Followers
Benedikt Bünz ☕️
@benediktbuenz
12K Followers
Robbie Bent
@robbiebent1
6K Followers
Adrian Brink
@adrianbrink
29K Followers
Nicolas Christin
@nc2y
3K Followers
Mohamed Fouda
@MohamedFFouda
7K Followers
Micah Zoltu
@MicahZoltu
6K Followers
michael
@no89thkey
8K Followers
Marko Polo
@MarkoBaricevic_
5K Followers
Mikerah
@badcryptobitch
6K Followers
Christopher Goes
@cwgoes
13K Followers
Mario Laul
@mlphresearch
4K Followers
Ethan ✨ is on BlueS...
@Ethan_Heilman
5K Followers
Danny | re//acc
@dazuck
109K Followers