-
Tweets4K
-
Followers2K
-
Following533
-
Likes3K
Hamming distance between finite transducers Luc Dartois, Pierre-Cyrille Héam, Ismaël Jecker, Silvio Vescovo arxiv.org/abs/2604.25398 [𝚌𝚜.𝙵𝙻]
Bringing Algebraic Hierarchical Decompositions to Concatenative Functional Languages. arxiv.org/abs/2510.12481
@credenzaclear2 Part of an onslaught of propaganda starting from early childhood to implant panpsychist and pantheistic beliefs into the collective subconscious. Large language models just add fuel to the dry tinder of neopaganism that has accumulated for decades unless properly contextualized.
The pervasive use of anthropomorphic characters in children's programs is part of an insidious effort to inculcate false compassion for nonhuman life, depersonalize the authentic human attributes it impersonates, and revive animistic tendencies dormant in the human consciousness.
An Algebraic View of the Expressivity of Recurrent Language Models Franz Nowak, Ryan Cotterell, Reda Boumasmoud arxiv.org/abs/2606.01765 [𝚌𝚜.𝙵𝙻 𝚌𝚜.𝙲𝙻 𝚌𝚜.𝙻𝙶]
@basedjensen Ascribing a conscience to machines would be a moral hazard, shifting the burden of responsibility to a nebulous other. This manufactures plausible deniability, shielding users and operators when taking unnecessary risks ("Just blame the AI!") and further diffusing responsibility.
@basedjensen As for moral responsibility, this question remains squarely under the framework of double effect. As moral agents, we must not abdicate judgement for delegated actions, and likewise take reasonable precautions to avoid foreseeable harm when extending that agency through machines.
@_CLancellotti Arithmetic can be remarkably subtle! irma.math.unistra.fr/~schappa/NSch/… Even counting is quite difficult in practice. cs.toronto.edu/~meel/Papers/h…
Humanity, created by God in all its grandeur, is today facing a pivotal choice: either to construct a new Tower of Babel or to build the city in which God and humanity dwell together. In Jesus Christ, this humanity in its grandeur becomes the Way, the Truth and the Life, opening the path for each of us to grow toward fullness. #MagnificaHumanitas vatican.va/content/leo-xi…
@jawwwn_ @PalmerLuckey The remarkable thing is, gender diversity in those engineering programs is often higher than their Western counterparts despite being just as, if not more competitive. I cannot stress how many well-adjusted women I have met from these places who never heard of affirmative action.
@jawwwn_ @PalmerLuckey I have long suspected this is part of a deliberate effort to erode STEM training. Those promoting soft skills in the West are fiercely pursuing technical research agendas back home. Visit any of the top universities in BRICS - you will not find DEI there. x.com/breandan/statu…
@loginn They must be doing something right. Our curriculum prefers teaching softer skills like engineering, which has value, but is much more tolerant of mediocrity. Dijkstra in particular, wrote some scathing remarks on the state of CS education in North America: cs.utexas.edu/users/EWD/tran…
@wavetossed @jawwwn_ @PalmerLuckey I have known some truly gifted engineers in the industry. There is another kind of brilliance you will find only in the corner of some forgotten department wrestling a decade-old problem with nothing but obsession to keep the fires burning. DEI mandates drove them mostly extinct.
Python users should experience considerably faster response times, thanks to a new Web Worker backend. Could be optimized even further with a WebGPU Python compiler. Next obstacle is to parallelize the CKY parser or implement a nonuniform intersection oracle. Suggestions welcome!
Updated the Python web demo to provide a more IDE-like look and feel. Currently, it just uses an n-gram reranker to fetch the top-k repairs. Our next goal is to port the transformer-based reranker to WebGPU, which yields a much more natural top-k ranking. tidyparse.github.io/python.html
Tidyparse is the seedling of a new structured editor that responds to every keystroke without any buttons or external configuration needed. To my knowledge, it is also the first sound and complete interactive proof assistant for the theory of bounded CFLs. tidyparse.github.io
Remarkable how many crucial concepts needed for differentiable programming are anticipated by that '65 dissertation. She very clearly describes the BNF grammar, rewrite semantics, data structures, and computational primitives required to train most modern machine learning models.
@ch402 @ylecun @davidad @atilimgunes Interestingly, one of the first DSLs for automatic differentiation was developed by Sr. Mary Keller, who called it a "Program for Analytic Differentiation" (PAD) in her 1965 doctoral dissertation at @WisconsinCS (also one of the first PhDs awarded in CS): compcalc.github.io/public/keller/…
Interesting article on the origin of the term "differentiable programming". TLDR: popularized in 2018 by @ylecun, but seems to originate with @ch402's 2015 blog post, later abbreviated by @davidad. But I'm curious, what was wrong with "automatic differentiation"? cc: @atilimgunes
Where did "differentiable programming" come from? · Bonotake bonotake.github.io/deep%20learnin…
@ch402 @ylecun @davidad @atilimgunes @WisconsinCS In another related historical note, Bl. Francesco Faà di Bruno published in 1855 a generalization of the chain rule to higher order derivatives, with interesting applications to AD. I learned about this from @rxwei, who first taught me about it at the @diffprogramming workshop.
Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems. arxiv.org/abs/2501.08082
Had a great time hanging out with the FLaNN folks in New Haven this week! Thanks to Andy, Bob, Dana, Lena, and all the great speakers for putting together a thought-provoking program. It was nice to hear about the cool research ideas people had during the brainstorming sessions.
Star Complexity of Parikh Images of Languages over Infinite Alphabets Yoav Danieli arxiv.org/abs/2605.09435 [𝚌𝚜.𝙵𝙻] 💬Full version of LICS 2026
Koustuv Sinha @koustuvsinha
3K Followers 808 Following Research Scientist @MetaAI; PhD from @mcgillu + @Mila_Quebec; Research in Multimodal World Models; Organizer of ML Reproducibility Challenge (@repro_challenge).
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Federico Carrone @federicocarrone
9K Followers 3K Following talk is cheap, build @class_lambda C + rust + erlang + julia + λ. amateur in everything: distributed systems, ML, compilers, cryptography and investment.
Eric Jang @ericjang11
133K Followers 4K Following
Mila - Institut québ... @Mila_Quebec
36K Followers 550 Following Le plus grand centre de recherche universitaire en apprentissage profond. The largest academic research center in deep learning. 🦋@mila-quebec.bsky.social
Hadi Hariri @hhariri
40K Followers 739 Following SVP of Operations @ JetBrains. Find me on LinkedIn. https://t.co/t1SXNSdrYH
Erik Bernhardsson @bernhardsson
55K Followers 4K Following Building everyone's favorite AI infrastructure platform @modal
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Alma @Alma1747555
5 Followers 468 Following
Broly @LF_SuperSaiyan
325 Followers 5K Following The Legendary Saiyan | LLM Researcher | Enterprise AI deployment | Gym freak
MUSK @AuroraCaah
54 Followers 2K Following
Michael Hahn @mhahn29
2K Followers 972 Following Professor at Saarland University @LstSaar @SIC_Saar. Previously PhD at Stanford @stanfordnlp. LLM theory and interpretability Hiring PhD Students and Postdocs
Xutong Zhao @xutongzhao
42 Followers 187 Following PhD student @Mila_Quebec | RL, multi-agent systems, LLMs Prev: MSc @UAlberta | ex-Intern @AIatMeta, @Huawei Noah's Ark Lab, @GoogleDeepMind
🐾 ꩜ ꩜ �... @Mpwvb
6 Followers 207 Following
쇼헤이쿤🐉≅ H... @qb_PWN
1 Followers 318 Following
Godbless Kingsley @2gwkml5kkgodble
21 Followers 428 Following Software Engineer, Doctor of Medicine, Financial Engineer, Nuclear Engineer, Data Scientist
!.! @xypyth
45 Followers 7K Following
Francesco Cagnetta @Fraccagnetta
485 Followers 489 Following Theoretical physicist (bow tie included), inherently out of equilibrium. Studying data structure and deep learning. Marie Skłodowska-Curie fellow at @SISSA.
Thanh Dinh Ta @tathanhdinh
239 Followers 750 Following
Flower @flowerornament
2K Followers 312 Following
Nick Byrne @nickjbyrne
37 Followers 1K Following
Sam Kuhn @SamKuhnDev
211 Followers 8K Following
j @notbuyingwar
12 Followers 36 Following
tropeithick @tropeithick
1 Followers 86 Following
Rhiannon @CasperRose40944
216 Followers 7K Following
Rudi Ranck @rudiranck
846 Followers 1K Following Applied AI Scientist & Entrepreneur | PhD @ National Institute for Space Research | OR & Decision Making | Working to help humanity make better decisions
eigenome @eigenome
10 Followers 1K Following
Andrea @BrentheyAndrea
121 Followers 2K Following Creating a life that is meaningful, fulfilling, and aligned with my values and beliefs, making every day count.
Terence Lê @tlehuup
122 Followers 856 Following 🏴☠️ Engineer. Prev Autopilot @Tesla_AI. β-reducing @symbolica.
Shashank Kirtania @5hv5hvnk
506 Followers 2K Following prev @ Microsoft Research, @prosemsft I like cats :3
Triowui @Triowui27734
79 Followers 3K Following
Dylan @Dylan4394824972
16 Followers 271 Following
Tarun Suresh @TarunSures41845
118 Followers 140 Following Incoming CS PhD @Stanford @StanfordAILab Undergrad @siebelschool @uiuc_focal_lab Website: https://t.co/g3GTETUjK7
yuge ackermann @yeetbeets22
8 Followers 1K Following
Andrei Pascanean @andreipascanean
7 Followers 483 Following
Evelyn WaughⓋ @Kerbrech
2K Followers 7K Following Mastodon: Display name = Evelyn WaughⓋ; address: @[email protected] Je suis Vegan. La vérité a ses ennemis; l'erreur ses partisans. ~ Francois Baucher
CogniDroid @CognizDroid
241 Followers 1K Following The only thing that is perfect, is the existence of imperfection.
Niels Mündler @nielstron
1K Followers 398 Following CS PhD @eth. Language Models, Code, Formal verification. Black-belt nooancer, Founder, Compiling Python to FP @OpShinDev.
Eve @eve0eve0
318 Followers 2K Following Sourcing the uncatchable · Embedded recruiting for VC-backed startups
. @Nyorga_
6 Followers 95 Following
Gabriel Peyré @gabrielpeyre
100K Followers 448 Following @CNRS researcher at @ENS_ULM. One tweet a day on computational mathematics.
Koustuv Sinha @koustuvsinha
3K Followers 808 Following Research Scientist @MetaAI; PhD from @mcgillu + @Mila_Quebec; Research in Multimodal World Models; Organizer of ML Reproducibility Challenge (@repro_challenge).
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Jürgen Schmidhuber @SchmidhuberAI
201K Followers 0 Following Introduced basics of: P & T in ChatGPT, very deep learning, meta learning, neural distillation, GANs, etc. Co-authored most-cited AI paper of 20th century
Mila - Institut québ... @Mila_Quebec
36K Followers 550 Following Le plus grand centre de recherche universitaire en apprentissage profond. The largest academic research center in deep learning. 🦋@mila-quebec.bsky.social
Hadi Hariri @hhariri
40K Followers 739 Following SVP of Operations @ JetBrains. Find me on LinkedIn. https://t.co/t1SXNSdrYH
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
Mark Santolucito @MarkSantolucito
116 Followers 77 Following
Tim Vieira @xtimv
4K Followers 1K Following machine learning, reinforcement learning, programming languages, handstands (he/him)
Clemente Pasti @ClementePasti
58 Followers 155 Following
Marco Rubio @marcorubio
5.1M Followers 3K Following Christian,Husband,FatherAMERICAN,SecStateUS, Instagram:@marcorubio Truth:@marcorubio #GatorNation #FinsUp
Treasury Secretary Sc... @SecScottBessent
894K Followers 25 Following 79th United States Secretary of the Treasury
Michael Hahn @mhahn29
2K Followers 972 Following Professor at Saarland University @LstSaar @SIC_Saar. Previously PhD at Stanford @stanfordnlp. LLM theory and interpretability Hiring PhD Students and Postdocs
Voyageurs Wolf Projec... @VoyaWolfProject
52K Followers 1 Following The official Twitter account of the Voyageurs Wolf Project, which studies wolves in the Greater Voyageurs Ecosystem, MN.
Francesco Cagnetta @Fraccagnetta
485 Followers 489 Following Theoretical physicist (bow tie included), inherently out of equilibrium. Studying data structure and deep learning. Marie Skłodowska-Curie fellow at @SISSA.
Computational Complex... @QCRH
130 Followers 1 Following New Computational Complexity papers from https://t.co/65qC7kJMo5: models of computation, complexity classes. Thank you to arXiv for use of its open access interoperability.
Marc Finzi @m_finzi
3K Followers 345 Following Research scientist at OpenAI. Previously postdoc at CMU and PhD at NYU.
Pope Leo XIV @Pontifex
17.9M Followers 47 Following Welcome to the official account of His Holiness, Pope Leo XIV.
Symbolic Computation ... @SymbolicComp
193 Followers 91 Following New Symbolic Computation papers from https://t.co/VHZH4KLfYf: symbolic computation. Thank you to arXiv for use of its open access interoperability.
Niels Mündler @nielstron
1K Followers 398 Following CS PhD @eth. Language Models, Code, Formal verification. Black-belt nooancer, Founder, Compiling Python to FP @OpShinDev.
Jason Locasale @LocasaleLab
15K Followers 524 Following Scientist and Professor (metabolism, biophysics/biochemistry, AI, health/longevity, cancer). Academic & scientific reform. DMs open • dr.jason.locasale@gmail
Positron AI @positron_ai
2K Followers 49 Following Developing the next generation of machine learning hardware and software
Sally Ward-Foxton @sallywf
4K Followers 1K Following Senior Reporter at @eetimes, reporting mainly on AI accelerators.
Programming Languages... @ProgPapers
141 Followers 3 Following New Programming Languages papers from https://t.co/Fb8gxovwu3: programming language semantics. Thank you to arXiv for use of its open access interoperability.
Kerri Pouliot @KerriLPouliot
3K Followers 161 Following
Daniel Lemire @lemire
36K Followers 2K Following Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers. Father, husband.
Rosalind Picard @RosalindPicard
15K Followers 1K Following Inventor, scientist, engineer, prof @MIT @medialab: AI, emotion & wearable data for health, epilepsy, autism; Co-founder @Empatica, @Affectiva; Views are own
Lucas Kramer @lrkramer5
287 Followers 3K Following Catholic | Designing faster AI chips at @MatXComputing | PhD student at @UMNComputerSci with @MELTgroup | Somewhat obsessed with space
Andy J Yang @pentagonalize
242 Followers 1K Following
Ian Porada @ian_porada
71 Followers 179 Following PhD student at @mcgillu and @Mila_Quebec | Visiting student at KAIST
felineautomaton @FelineAutomaton
172 Followers 218 Following Mathematician/informatician thinking probabilistically, expecting the same of you ‘Tis categories in the mind and guns in their hands which keep us enslaved &🦋
Marco🍞 @marco_computers
318 Followers 2K Following I like computers, Korean, and computers-and-Korean. Language+keyboard stuff @Google Georgia Tech → 연세대학교 → 東京工業大学 Interested in high school CS education.
Norman Wildberger @n_wildberger
2K Followers 14 Following A pure mathematician, discoverer of rational trigonometry and universal hyperbolic geometry. And major heretic re the foundations of the subject.
Kenny Palmer @KennyPalmerUK
1K Followers 404 Following @RestoreBritain_ Member 🏴 Millwall. Entrepreneur. Trance Producer.
Simeon Burke BL @SimeonBurkeBL
3K Followers 2 Following Irish barrister, BCL (University of Galway), LLM (University of Cambridge), BL (Honorable Society of King's Inns).
Logic Papers @PRWT
73 Followers 4 Following New Logic papers from https://t.co/gg4TMq7eu9: logic, set theory, point-set topology, formal mathematics. Thank you to arXiv for use of its open access interoperability.
Makoto Kanazawa @makotokanazawa
341 Followers 154 Following A researcher trained in linguistics, mathematical logic, and a bit of theoretical computer science.
Ben @BenPierce13
236 Followers 828 Following Used to build race cars, now building Legos and companies @ SHV
Shubham Ugare @shubhamdugare
238 Followers 223 Following Research Scientist @Meta | Prev PhD @UofIllinois | ML & Programming Languages
chrxh @chrx_h
7K Followers 507 Following Creator of https://t.co/4GaCJ5FLrw - https://t.co/ErjTT8Yj7v | PhD | Ex-researcher in Applied Analysis | https://t.co/usuvPxCdAi
David Venuto @DavidAVenuto
50 Followers 38 Following Joining LLM research @ Cohere. Former Google Brain. PhD @ Mila
Bishop Robert Barron @BishopBarron
466K Followers 129 Following Bishop of Diocese of Winona-Rochester (MN); founder of @WordOnFire; host of CATHOLICISM series.
Formal Languages and ... @FormalLanguages
154 Followers 3 Following New Formal Languages and Automata Theory papers from https://t.co/4jOos7OL8p: automata theory. Thank you to arXiv for use of its open access interoperability.
Speaker Mike Johnson @SpeakerJohnson
1.2M Followers 735 Following 56th Speaker of the House | Christian, husband, dad, Constitutional law attorney & small biz owner.
Arie Gurfinkel @ariegurfinkel
222 Followers 150 Following
Ernest Ng @ngernest2
495 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
Maddy Bowers @mattlbowers
391 Followers 616 Following PhD Student at MIT working in program synthesis. Interested in abstraction learning, probabilistic programming, and cognitive science. she/her























