jhemann
@jhemann
Followers
598
Following
2K
Media
116
Statuses
3K
Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | https://t.co/b7y1CxQEZE
South Orange, NJ
Joined April 2008
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
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
945
3K
17K
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
332
978
9K
deadline today!
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'26), co-located with POPL'26 in Rennes, France is calling for papers! Submission deadline: Friday 24 Oct 2025 https://t.co/HxXVHn3ptC
0
2
7
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!
0
2
36
Too close to home? Junior researcher: I’m publishing papers at NeurIPS, my students are happy, but my chair says I’m “not impactful enough.” I don’t know what that means. Senior researcher: What did you tell them you accomplished last year? Junior: 3 top-tier papers, a new
Junior PM: I'm shipping everything on time, team loves me, but my manager says I'm "not strategic enough." I'm exhausted trying to figure out what that means. Senior PM: What did you tell him you accomplished last quarter? Junior PM: Delivered 5 features, reduced tech debt,
22
78
1K
14. A fascinating vintage Swiss washing machine that uses punch cards to program the wash cycle
15
89
3K
Happy to share that our ICFP’25 paper “multi-stage programming with splice variables” with @tsungjuc received a Distinguished Paper Award! See you in Singapore! https://t.co/n6zMKZwXEH
1
10
105
US halts student visa appointments and plans expanded social media vetting
bbc.com
It comes during a Trump crackdown on top universities, which he accuses of failing to combat antisemitism.
156
327
903
Lambda-join, a new streaming functional language [1], implemented using minikanren's search strategy(!), in 3 variations: https://t.co/F614EndDAP [1] "Functional Meaning for Parallel Streaming" Nick Rioux & Steve Zdancewic PLDI 2025 https://t.co/6GIsoetojh
1
7
35
As @DrMarkCLewis probably says nowadays, "Hours of vibe coding can save minutes of thinking."
1
0
1
A whole bevy of @SetonHall students and alumni hacking during the break at NJPLS. Fodder for talks at the next one!
0
2
3
@lastland0 Personally experienced and heard: - Bloomberg - AWS - MSR - Galois - Trail of Bits - A small number of teams at Meta and Google
1
1
10
Computing education by non-CS Ed folks: Ben Shapiro (the good one) and I are ready for the second run of CERAMICS (Computing Education Research Advancing Methods for Curricula and Systems). Please see and share the FAQ + app link: https://t.co/NFJCPvvYES
2
11
61
I'm really curious about a thing called "Quantum Prolog" but I can't make heads or tails of this https://t.co/X33CUHZUxM.
1
2
4
I'll be looking for work soon! Starting early next year, remote from SE. Autonomous testing, distsyst, web, data eng, PL, and probably more areas are of interest. (Retweets are highly appreciated. 🙌)
1
46
46