River Dillon @k__monk
Interested in compilers, logic, and computer music, among other things. k-monk.org NYC Joined November 2016-
Tweets47
-
Followers129
-
Following450
-
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?
Manish Gill @mgill25
3K Followers 6K Following Databases | Kubernetes | Compilers | EM @ClickHouseDB | https://t.co/12g8segwjE | https://t.co/worpODcnLt | Prev: AI Research @TomTom |
Alice Wilson @TreNd3jm_u
0 Followers 313 Following
Nina Sokolov @PriOr0556_d
2 Followers 310 Following
Joe Cutler @alpha_convert
4K Followers 2K Following CS PhD candidate at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Tiruru @Tiruru167
40 Followers 1K Following
Rob Sokolowski @rob_soko
215 Followers 253 Following I enjoy coding and playing piano, and sometimes sharing it here
Daniel Sosebee @dnsosebee
256 Followers 1K Following At @recursecenter 🐙, learning automated learning & creating automated creativity ➿, playing piano 🎹, governing @sneaky_town ♟️
Teathothis @TeathothiszPXM
35 Followers 592 Following
dingdongandrewdong @AndrewDong1994
146 Followers 892 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
Obie Hamill @HamillObie10790
93 Followers 2K Following
Tracy @tracyeaton32
264 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
17 Followers 265 Following
two_tree_hundo @two_tree_hundo
272 Followers 6K Following
Peter Whidden @computerender
2K Followers 115 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
76 Followers 466 Following
David @drrosat
1 Followers 81 Following
João Silveira @jsilll
357 Followers 584 Following
max.rss @tekknolagi
2K Followers 896 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
197 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
34 Followers 4K Following
Rob Jacques @I_mInItToWinIt
643 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 568 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
250 Followers 3K Following
Queen @bazalduaqueen8
249 Followers 3K Following
Tekedem @Tekedem171718
13 Followers 439 Following Aren't girls who are not beautiful worthy of love?
Barbara @barbarafoor22
280 Followers 3K Following
Marc Brooker @MarcJBrooker
21K Followers 745 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 45 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
Joe Cutler @alpha_convert
4K Followers 2K Following CS PhD candidate at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
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
673 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 554 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Tad Cordle @RbdJellyfish
860 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 311 Following Puzzle game developer + programmer Patrick's Parabox, Linelith, I Wanna Maker https://t.co/MpnSmRoTrq
Canvas of Kings | Mig... @MightofMe
26K Followers 48 Following Solo dev. Working on: MAPMAKER: Canvas of Kings | GAME: Might of Merchants | https://t.co/CtsuIDTLEC
Kevin Lynagh @lynaghk
3K Followers 447 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
256 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_
873 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 658 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 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Thibaut Mattio @tmattio_
528 Followers 389 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
33K Followers 170 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 20. 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
621 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/U02QuCQHa4
Roguelike Radio @roguelikeradio
613 Followers 3 Following
Raphael Luba @LubaRaphael
1K Followers 87 Following Programmer, BJJ enthusiast (and still bad at it), father of 3, co-founder of @FabmanHQ, working on a compiler @Thekla_inc
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Bryan Russett @bcrussett
1K Followers 1K Following Thoughts @ https://t.co/0vk6D2wzfd // Building @ https://t.co/K63gJJuuUc Also followable at https://t.co/9OulCvXhjF
Andrew Doull @andrewdoull
907 Followers 1K Following 16th level information technologist, 10th level game designer | 60y in space https://t.co/mmracjRSde | pronoun he/him/his/his/himself
Trends for United States
42,9 B posts
5.846 posts
71,8 B posts
20,7 B posts
27,8 B posts
3.185 posts
1,29 Mn posts
19,5 B posts
4.712 posts
3.249 posts
13,3 B posts
2.093 posts
11,3 B posts
19,4 B posts
32,6 B posts
2.914 posts
9.840 posts
8.592 posts
52,4 B posts
20,5 B posts
You might like
pote.eth
@willpote
565 Followers
Rachel Eichenberger �...
@eich4all
213 Followers
axic.eth
@alexberegszaszi
7K Followers
Min Teo
@_MinTeo
10K Followers
Benedikt Bünz ☕️
@benediktbuenz
12K Followers
Robbie Bent
@robbiebent1
6K Followers
Adrian Brink
@adrianbrink
30K Followers
Nicolas Christin
@nc2y
3K Followers
Mohamed Fouda
@MohamedFFouda
7K Followers
Micah Zoltu
@MicahZoltu
6K Followers
michael
@no89thkey
7K Followers
Marko Polo
@MarkoBaricevic_
5K Followers
Mikerah
@badcryptobitch
6K Followers
Christopher Goes
@cwgoes
13K Followers
Mario Laul
@mlphresearch
4K Followers