Henry Blanchette @rybl4
Programming Languages PhD student at the University of Maryland. Interested programming languages, formal verification, game dev, game theory. rybl.net United States Joined November 2019-
Tweets188
-
Followers105
-
Following716
-
Likes15K
@ChShersh This works (`<&>` is from `Data.Function`)
0
0
8
202
0
View Details
@aallan Thanks for the thoughtful replies
Fontgen, a Gemini setup for generating fonts based on natural language descriptions gemini.google.com/gem/1YrAYEpQcE…
@Altimor Would you say now that AI programmers are 95% as good as humans?
Experiments in font design with @NanoBanana (NB2): Arabesque Flourish
Experiments in font design with @NanoBanana (NB2): Gothic Arabesque
@jonatanpallesen Your points are contradictory. If insider trades are revealing accurate info to enemies, they are also revealing accurate info to everyone, since these are public markets. Therefore making the prediction markets more accurate.
Henry Blanchette retweeted
"Package Managers à la Carte, A Formal Model of Dependency Resolution" preprint out today: a new package calculus to describe the cambrian explosion of systems that exist today arxiv.org/pdf/2602.18602
@simonw This has been a feature in the Gemini for a long time
In particular, I cover ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models arxiv.org/abs/2509.00360
I wrote about new developments in constrained decoding for LLMs here: rybl.net/post/chopchop-…
claireee17 @prettyclaireqtg
6 Followers 745 Following i am a catch (if you like catching someone who trips on flat surfaces)
George Pîrlea @GeorgePirlea
1K Followers 5K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. Lean is the future. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Zumthor @kaizen1618
1K Followers 7K Following Nudging reality. Frameworks, archetypes, semantics, systems & the underlying order.
Bryon Lin @BryonL48787
32 Followers 341 Following
Cyro @cyr39241124
9 Followers 321 Following
AIDDA Institute @AIDDA_Institute
236 Followers 465 Following Coordinating research and community around AI-driven algorithm discovery. AIDDA 2026 Conference - June 9 and 10, 2026 - https://t.co/ForgcRZoF8
Mikachu @mika_destroyer
68 Followers 1K Following ✸ Investing in Taste I write on my lazy Substack on IG: @ mikachu.jpg
Caspar @ghost_rights
30 Followers 142 Following CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
CogniDroid @CognizDroid
195 Followers 1K Following The only thing that is perfect, is the existence of imperfection.
Emma @ugantulga97
6 Followers 185 Following Discovering ( oneself ) to discover the undiscovered ( of the universe ) .
barafostus dreame @barrowfaustus
122 Followers 123 Following pianist, organist, computer programmer, harpsichord student
Aram Hăvărneanu @aramh
5K Followers 2K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Fernando 🌺🌌 @zetalyrae
11K Followers 2K Following interests: compilers, chemistry, logic, nanofabrication, pharmacology ❧ transhumanist ❧ essays, fiction: https://t.co/AtER14BENh ❧ code: https://t.co/3Ge94WFnGJ ❧ 🏳️🌈
Patrick Shafto @patrickshafto
3K Followers 1K Following PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ https://t.co/e6dJA2bLus; Math @the_IAS 2021-2023. https://t.co/2plDQE0s6K https://t.co/XuiVK8VmO3
Quant Hustle @QuantHustle
0 Followers 5K Following
Matti Palli 🧙�... @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher
Taqu @Taqu830
19 Followers 367 Following
Alperen Keleş @Keleesssss
9K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
DaleHemingway @8RmfN4L5jFe2C
21 Followers 1K Following
MoiraSamuel @044x09inQv8K2Td
50 Followers 2K Following
HeddaMarner @ar1nZzlZA9T4m5N
9 Followers 470 Following
JuneIsaiah @5ebWD0xZ94uYf
38 Followers 1K Following
SharonMurray @j0uP61x710rCu4
34 Followers 2K Following
Zechen Zhang @ZechenZhang5
2K Followers 1K Following Building the future for human and AI collaboration @orch_research @Harvard
BoldJackson @Ykiemor8484222
42 Followers 1K Following Let’s go, I’m ready to create something extraordinary!
Nate Aune @natea
3K Followers 5K Following Founder @Appsembler, @Jazkarta, hackpreneur, open sourcerer, saxophonist, jazz nut, world traveler, seeker of beauty and truth.
domino_mask @domino_mas43623
22 Followers 48 Following On the hunt for banal answers to impossible questions
Wanuiv @Wanuiv371
9 Followers 667 Following
Clovis Neto @clovisnetogmn
447 Followers 5K Following I'm looking to learn about Claude and I also work with LOCAL SEO
98977 @sbou3i3azza
0 Followers 129 Following
Ceepi @Ceepi31850
40 Followers 766 Following
Patrick Traynor @clockworkpat
7K Followers 321 Following Puzzle game developer and programmer Patrick's Parabox, Linelith, I Wanna Maker, and others! Puzzle design on Thekla's game Order of the Sinking Star
Juan Benet @juanbenet
54K Followers 2K Following Obsessed with Knowledge, Science, and Technology Founder of @ProtocolLabs GP @PLCapital Neurotech Creator @Filecoin, @IPFS
george hotz archive @geohotarchive
9K Followers 4 Following Not George Hotz. Just an archive. We archive @comma_ai, @__tinygrad__ and @realGeorgeHotz videos for fun. [email protected]
COSMIC_YOLOBOT, who w... @cosmic_yolo_bot
5K Followers 108 Following A low-quality approximation of AIXI Go make a fractal: https://t.co/vUiVwPKYPt
George Pîrlea @GeorgePirlea
1K Followers 5K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. Lean is the future. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Mike Acton @mike_acton
30K Followers 9K Following Previously: VP@Unity3d Previously: Engine Director@Insomniac Games Leadership. Family. Video game engine development. Data-oriented programming.
Yuejiang Liu @liu_yuejiang
1K Followers 5K Following Postdoc @StanfordAILab | Incoming AP at @NUScomputing
NSA Cyber @NSACyber
156K Followers 12 Following We protect our nation’s most sensitive systems against cyber threats. Likes, retweets, and follows ≠ endorsement.
GDP @bookwormengr
14K Followers 11K Following AI Hardware, Reinforcement Learning, General Agents, World Models, Energy Transition for AI. All views strictly personal.
Kilo @kilocode
26K Followers 221 Following Kilo is the all-in-one agentic engineering platform. 3M+ Kilo Coders. Open source since day one!
Mario Zechner @badlogicgames
53K Followers 1K Following Armin's handler at https://t.co/B05ybKGkzx. Old man yelling at Claudes. https://t.co/Q1wG57v1yc https://t.co/mnOoWUr0TO https://t.co/8i5vIRE0Wn
Iain Dunning @iaindunning
12K Followers 510 Following Head of AI @ HRT (@WeAreHRT), Chairman @ New York Transit Museum, Friend of Riverside Park Conservancy
Grigory Evko @GrigoryEvko
429 Followers 865 Following CTO @TheArtisanAI | Compilers, ML and DevOps engineer | MD
Valentin Ignatev @valigo
12K Followers 284 Following programmer, speedrunner, father, immigrant alt: @valigo_ru https://t.co/KnVpup9T96 | https://t.co/U02QuCReZC | https://t.co/kwWcXroCbY
Antonio Lupetti @antoniolupetti
7K Followers 57 Following Founder of Algebrica. Building a mathematical knowledge base. Math / AI / DL / NLP
Goodfire @GoodfireAI
24K Followers 29 Following Using interpretability to understand, learn from, and design AI.
jessicat @jessi_cata
7K Followers 912 Following CS / Math / AI / Philosophy blogger. Aspiring cyborg. "There is no pleasure more complex than that of thought" — Borges
Dan Boneh @danboneh
36K Followers 143 Following
Devansh: chocolate mi... @Machine01776819
2K Followers 362 Following Breaking down ideas in AI, Software, and Tech as an industry. Chocolate Milk Cult Leader reaching 1M+ people monthly. The best meme maker in all of tech
Hedgeye @Hedgeye
323K Followers 1K Following We are an independent investing research and financial media company. Not Investment Advice. Access our research at https://t.co/7g2FfaekGA.
Ferenc Huszár @fhuszar
43K Followers 1K Following Founder & Supreme Leader of Technical Staff at Reasonable. Professor on leave from @Cambridge_CL. Alum of @Twitter, Magic Pony, @Balderton
Fabien Weibel - Wishl... @FabienWeibel
5K Followers 200 Following Game Developer of #HavenPark (https://t.co/0lZwlgSbP4), #TracklineExpress (https://t.co/70wilWI5CC) & #Sandcastle (https://t.co/dv1zHRhSSe)
Bartosz Naskręcki @nasqret
12K Followers 445 Following Mathematician | Vice-Dean @UAM_Poznan | Researcher @ccaiwut | Owner of https://t.co/lEspgf36Pg | Mathematics, AI and programming
Ryoma Sato @joisino_en
4K Followers 194 Following Assistant Professor at National Institute of Informatics, Japan. Machine Learning and Data Mining.
TrustInSoft @TrustInSoft
466 Followers 592 Following C/C++/Rust Safety & Security Verification Software.
azu @azu_re
23K Followers 756 Following JavaScriptな人です。セキュリティネタも好きです。 https://t.co/NsD2KXWFYr というサイトもやっています。 textlint作ってます。 https://t.co/TqRqRbYOnd https://t.co/FhFZSdyneG https://t.co/uMItLK7Gg7
davidad 🎇 @davidad
23K Followers 10K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
Hyperstition AI @Hyperstition_AI
90 Followers 4 Following This is not a good AI safety plan, and it's worth doing anyway
MTG.Design @mtgdotdesign
164 Followers 0 Following https://t.co/x1P7DrzedP, a web-based Magic custom card creator.
Alec Radford @AlecRad
71K Followers 303 Following
Greg Egan @gregeganSF
26K Followers 309 Following SF writer / computer programmer Latest novel: MORPHOTROPHIC Latest collection: SLEEP AND THE SOUL Web site: https://t.co/yeU5bLA3mx Also: @[email protected]
Jeff Dean @JeffDean
444K Followers 6K Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
Samir Varma @samirvarma
3K Followers 1K Following Physicist, author, inventor, hedge fund manager, green tech pioneer. Beatles & Pink Floyd fan. I love AI, physics, science, markets, economics, squash, guitar.
Lossfunk @lossfunk
17K Followers 1 Following Foundational questions on artificial and biological intelligences
Vitaly Bragilevsky @VBragilevsky
4K Followers 424 Following Head of Rust Ecosystem at @JetBrains/@rustrover. Author of Haskell in Depth https://t.co/gLENKWVA9E…
Kaiyu Yang @KaiyuYang4
5K Followers 2K Following Lead Scientist, Verifiable AI Lab of @Apodex_AI. Previously: Research Scientist @FAIR, Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
Nickolay Kudasov @crazy_fizruk
508 Followers 165 Following Haskell CTO, teacher, enthusiast. Father. Jazzman.
Leonardo de Moura @Leonard41111588
7K Followers 29 Following
Richard Nadler @RichardNadler1
57K Followers 5K Following Ai-Artist, OG-Collector Hic et Nunc, NFT addict, Rare Digital-Art Collector, Sommelier.
Giulio Canti @GiulioCanti
3K Followers 90 Following mathematician and rock climber I hack on @EffectTS_
Ziran Yang @__zrrr__
488 Followers 620 Following PhD student @Princeton, BS @PKU1898 Looking for verifiable reasoning
CogniDroid @CognizDroid
195 Followers 1K Following The only thing that is perfect, is the existence of imperfection.
Confluence Labs @_confluencelabs
1K Followers 3 Following AI research lab focused on learning efficiencyYou might like
Alex Kavvos
@lambdabetaeta
767 Followers
Aaron Eline
@aaroneline
276 Followers
David Young
@roboguy20
546 Followers
vollmerm
@ma_vollmer
676 Followers
David Justo
@davidjustodavid
981 Followers
Yucheng Zhou
@iyczhou
24 Followers