jhemann @jhemann
Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | https://t.co/b7y1CxQEZE hemann.pl South Orange, NJ Joined April 2008-
Tweets3K
-
Followers585
-
Following4K
-
Likes2K
@samth @ShriramKMurthi s/grade inflation/expectation diminution/g.
@TaliaRinger It already exists if you use emacs.
@NateSilver538 And my thesis that France faced no structural impediments to holding serve with Germany, so long as it invested sufficiently in fixed defenses rather than unilaterally disarm, has been weakened. That thesis gave insufficient consideration to the role of going around them.
That's pretty much what I imagined it looking like.
@ShriramKMurthi @samth "If it's printed on the transcript, they'll at least notice if they read it." And my experience with info clearly provided in syllabi makes me confident the overworked admissions/hiring folks will diligently study and carefully weigh every such edge case, despite the incentives.
@ShriramKMurthi How do you mean? Are you talking about having it count toward your teaching load? Or getting it approved for students' major requirements?
@krismicinski In the biz: mostly necessary, tho not sufficient?
@samth If it fits in another 280, could you say more? How so? How did that death come to be? Wrong in what ways?
@krismicinski en.wikipedia.org/wiki/Waiting_f… Aaany minute now.
I've followed tech for 25 years and I've never felt a larger gap between the ~1 million people using Codex/Claude and the rest of humanity.
my team is looking for MS/PhD research interns, who are interested to work in code generation
A number of people are talking about implications of AI to schools. I spoke about some of my thoughts to a school board earlier, some highlights: 1. You will never be able to detect the use of AI in homework. Full stop. All "detectors" of AI imo don't really work, can be defeated in various ways, and are in principle doomed to fail. You have to assume that any work done outside classroom has used AI. 2. Therefore, the majority of grading has to shift to in-class work (instead of at-home assignments), in settings where teachers can physically monitor students. The students remain motivated to learn how to solve problems without AI because they know they will be evaluated without it in class later. 3. We want students to be able to use AI, it is here to stay and it is extremely powerful, but we also don't want students to be naked in the world without it. Using the calculator as an example of a historically disruptive technology, school teaches you how to do all the basic math & arithmetic so that you can in principle do it by hand, even if calculators are pervasive and greatly speed up work in practical settings. In addition, you understand what it's doing for you, so should it give you a wrong answer (e.g. you mistyped "prompt"), you should be able to notice it, gut check it, verify it in some other way, etc. The verification ability is especially important in the case of AI, which is presently a lot more fallible in a great variety of ways compared to calculators. 4. A lot of the evaluation settings remain at teacher's discretion and involve a creative design space of no tools, cheatsheets, open book, provided AI responses, direct internet/AI access, etc. TLDR the goal is that the students are proficient in the use of AI, but can also exist without it, and imo the only way to get there is to flip classes around and move the majority of testing to in class settings.
Gemini Nano Banana Pro can solve exam questions *in* the exam page image. With doodles, diagrams, all that. ChatGPT thinks these solutions are all correct except Se_2P_2 should be "diselenium diphosphide" and a spelling mistake (should be "thiocyanic acid" not "thoicyanic") :O
Gemini Nano Banana Pro can solve exam questions *in* the exam page image. With doodles, diagrams, all that. ChatGPT thinks these solutions are all correct except Se_2P_2 should be "diselenium diphosphide" and a spelling mistake (should be "thiocyanic acid" not "thoicyanic") :O
Absolutely delighted to announce @RaeHaskell @KarineEvenMend1 Emily First Ben Hardekopf @lindsey @smarr Caleb Stanford have been chosen as Distinguished Reviewers for OOPSLA 2025. Over 100 dedicated reviewers, but they stood out even in that amazing group!
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
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.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Max ⊶ New @maxsnew@... @maxstewartnew
1K Followers 199 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
David Thrane Christia... @d_christiansen
3K Followers 611 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
deech @deech
5K Followers 1K Following
joomy @joomy
4K Followers 975 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
Jacques Carette @jjcarett2
2K Followers 940 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Sirshak Das @sirshakdas
264 Followers 693 Following Sw Eng @Nvidia (DGX Cloud Infra), @TEALSProgram Volunteer. Interests: Food, Networking, OS, Comp Arch. Calvin and Hobes and Garfield Fan. My tweets are my own.
Nancy I @guoyang06154854
25 Followers 1K Following heart on sleeve, snacks in hand 🍿 follow back always
Nancy M @AZAD_73_
11 Followers 1K Following Just a unspoken girl who feels golden and dreams inner galaxies 🕊️
Victor larssen @Kennychesn56109
9 Followers 229 Following I'm Victor larssen from Britain am in financial growth institute also a trader in binary/bitcoins mining and other crypto currencies
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.
Aviral Goel @TheAviralGoel
357 Followers 984 Following Programming Languages and Compilers Loves Dysfunctional Programming
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Jules Jacobs @JulesJacobs5
1K Followers 3K Following
Arguuause @Arguuause45779
28 Followers 1K Following
163email @163email163012
13 Followers 437 Following
Thea 👩🏻💻�... @highflyer910
2K Followers 1K Following Frontend Engineer 🧠 Indie Builder in progress React | Vue | Python | Code × Design Introvert | Lifelong learner | Curious cat (='.'=) | @remote_dev_job mom
Non-consing robot @ph... @phenlix
335 Followers 1K Following
4q6npbxuxy @4q6npbxuxy41794
11 Followers 154 Following Pioneer Wealth: Prof. Matthew’s AI + finance pros boost profits! Free 1st month. AI scans data, experts guide stocks/crypto. Click to join now!
sus @susanhsrestha
16 Followers 113 Following
Manami @ScetirtBMTcAs
9 Followers 465 Following
Heidi grey @hg4691832
2K Followers 4K Following I'm available for hookup incall and outall dm me I'm available zangi number: 1086962940 and signal link https://signal user @hg4691832.05
neuroevolutus @neuroevolutus
19 Followers 3K Following
Jeff Jefferson @JeffJef47515334
1 Followers 89 Following
Rorenoosm @RorenoosmdxP1
34 Followers 2K Following
Quete @QueteWix
41 Followers 4K Following
Lukas N.P. Egger @Brusik
374 Followers 1K Following VP of Product Strategy & Innovation at SAP Signavio. Philosophy, GenAI & Zeitgeist.
Lewte @Lewteuyq6pTB
20 Followers 1K Following
Khaled Almahallawy @almahallawy
97 Followers 495 Following
ahuoguo @ahuoguo
40 Followers 359 Following
Rory Bernier @RoryCrave
3K Followers 7K Following AI Red Teamer & Product Strategist | LLM & Agent Security • Zero-Trust | Building verifiable AI systems | Clarity Foundry
Yilin Xia @yilin_xia
167 Followers 575 Following A Graph Farmer 🧑🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
Spurlesheau @Spurlesheaus9J
74 Followers 2K Following
higher awakening @AwakeningHigher
150 Followers 3K Following 🔺🔻The Illuminati society brings wealth, fame and power to rule to all worthy members. Join the Illuminati society today to attain all these
Daniela Nguedia @DanielaNguedia
67 Followers 288 Following PhD Student | Software Engineer | QA Tester #BPM #Business #ProcessMining #LSAWfP #InternetofThings 🏢 #Musiclover 🎼 #FormalMethods #FormalLanguage #workflow
Kiran @kirancodes
1K Followers 190 Following Research Scientist I work in Programming Languages research, on formal verification. British South Asian diaspora~
PinK @PinK35032918506
40 Followers 4K Following
James Torre @jpt401
1K Followers 4K Following Root node of the web of threads: https://t.co/ifH80GcLpo
Peter Crowe @cogniscientia
158 Followers 957 Following cog-sys, codes, controls | After a long day of Turing tests, you gotta unwind 🕺🏻💃🏻
Programming Languages... @PLMentoring
873 Followers 68 Following PL Mentoring Workshop at POPL, PLDI, ICFP, and SPLASH.
2BitSalute @2BitSalute
422 Followers 561 Following I like OCaml. Formerly Microsoft (O365 Core/Substrate internals), Facebook (Hacklang). I identify as a peacenik
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
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.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Nintendo .DS_Store @sliminality
11K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
José Manuel Calderó... @josecalderon
2K Followers 859 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Loris D'Antoni @lorisdanto
9K Followers 774 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Jeremy Gibbons @jer_gib
2K Followers 252 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Peng Cheng, asking λ... @tribbloid
582 Followers 571 Following doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
Joe Gibbs Politz @JoePolitz
1K Followers 1K Following When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2
Ernest Ng @ngernest2
495 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
〚Dan R. Ghica〛 @danghica
1K Followers 291 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Anthony Bonato @Anthony_Bonato
31K Followers 34 Following Math prof and award winning author at @TorontoMet. Nine books including Dots and Lines and The Sky Took Us. Math and math memes. I won’t grade you. Much.
Alex Kavvos @lambdabetaeta
762 Followers 992 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Sam Westrick @shwestrick
1K Followers 597 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Pratyush Das @ReikDas
395 Followers 662 Following PhD student @PurdueCS advised by @mkulkarni and @GhostOfBendy | Past: @apple @iris_hep
logtalk.org @LogtalkDotOrg
583 Followers 321 Following Logtalk development updates and relevant logic programming news.
Dustin Dannenhauer @dtdannen
119 Followers 448 Following Founder @ Delegance AI | Former DAPRA-funded PI | Building world models for autonomous business decision making
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.
Pedro Abreu @p_droabreu0
1K Followers 723 Following Host of @ttforall, MSc in PL, PhD dropout. I like to meditate
Jonathan Brachthäuse... @__protected
893 Followers 392 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), Professor at Uni Tübingen. https://t.co/lvCLTiKbL1
Nick Zautra @zautrazautra
509 Followers 384 Following PhD in Cognitive Science @COMPASSPathway Brains, bluffs, and bits!
Ziteng Wang @zettenw
112 Followers 127 Following PhD student @UTCompSci working on program synthesis
Zachary Tatlock @ztatlock
1K Followers 475 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Alcides Fonseca @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Aviral Goel @TheAviralGoel
357 Followers 984 Following Programming Languages and Compilers Loves Dysfunctional Programming
Andrew K. Hirsch @andrewkhirsch
581 Followers 917 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Jules Jacobs @JulesJacobs5
1K Followers 3K Following
Nickolay Kudasov @crazy_fizruk
509 Followers 165 Following Haskell CTO, teacher, enthusiast. Father. Jazzman.
Jeffrey Scofield @jeffreysco
83 Followers 19 Following Functional programmer. Before that a Unix programmer in many languages. Enjoy long walks on cloudy days, generational garbage collection. Runs in the family.
Nicole Heinimann @NicoleHeinimann
28 Followers 75 Following Researching #MLOps pipelines and energy consumption at https://t.co/Er0DoJ17m0
Didier Verna @didierverna
645 Followers 213 Following Jazz musician, composer, and radio journalist part time. Computer scientist part time. Aikido teacher part time. Lisp, Jazz, Aikido all the time.
QuantifiedScientist @QuantifiedRob
2K Followers 32 Following I am a scientist, and I test wearables for their scientific accuracy in my free time: https://t.co/tplqIRKXq7
Stefan Marr @smarr
2K Followers 460 Following Interpreters, compilation, concurrency, and debugging tools.
Octave Larose @OctaveLarose
95 Followers 71 Following Ex-PhD student at @UniKent. I do programming language implementation. I'm just trying to vibe
Justine Tunney @jartine
43K Followers 360 Following I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
Ben Delaware @GhostofBendy
1K Followers 302 Following Professor at @PurdueCS; dad; occasional cancer fighter🎗️. Tweets about programming languages and formal methods, but mostly bird pictures.
ahuoguo @ahuoguo
40 Followers 359 Following
Kat ⊷ the Poet Engi... @poetengineer__
85K Followers 377 Following artist, engineer, researcher. live audio visual performer. artificial life, computation, neuroscience, machine psyche. science & art, futuristic & ancient.
Annie Sexton @_anniebabannie_
4K Followers 327 Following I no longer post here, find me on 🦋 sky app: https://t.co/gX2kt7oma3
Sophie DeBenedetto @sm_debenedetto
3K Followers 583 Following staff software engineer @github | graduate of @flatironschool | host of https://t.co/GZlM8J1JcC | author of Programming Phoenix LiveView
sanje horah @sanjehorah
10K Followers 920 Following default Mule for the Spirit's phallic jouissanceGordana Rakic @dwarf_gocko
180 Followers 301 Following
























