Sign in

jhemann.bsky.social

@jhemann.bsky.social
218 followers 1.5K following 331 posts
PostsRepliesMedia
jhemann.bsky.social @jhemann.bsky.social · 29/08/2026
What a great turnout for the Scheme Workshop! A full room and what a crowd!
020
jhemann.bsky.social @jhemann.bsky.social · 29/08/2026
The 'h' key is starting to go on my mac; it still works but only if I deliberately press hard. So now, unless I pay close attention when I'm typing, I write like I'm Alfred Doolittle from "My Fair Lady".
010
jhemann.bsky.social @jhemann.bsky.social · 29/08/2026
Preach.
020
jhemann.bsky.social @jhemann.bsky.social · 24/08/2026
Yep. Sure. Makes perfect sense.
010
jhemann.bsky.social @jhemann.bsky.social · 22/08/2026
arstechnica.com/tech-policy/... 😑
arstechnica.com
FCC abolishes gigabit speed goal, suggesting it is unfair to slower technologies
FCC decides 1Gbps is too fast, standard must be "technologically neutral."
000
jhemann.bsky.social @jhemann.bsky.social · 19/08/2026
Live participation in a webinar carries such a high price (having to listen at 1x speed).
040
jhemann.bsky.social @jhemann.bsky.social · 19/08/2026
How much of the present difficulty w/AI programming is due to implicit use-case/context that should probably have been documented and committed to VCS, but wasn't?
000
jhemann.bsky.social @jhemann.bsky.social · 14/08/2026
Have work, need tokens, God bless.
000
jhemann.bsky.social @jhemann.bsky.social · 14/08/2026
futurism.com/artificial-i... They're calling it the dead moodle theory
futurism.com
College Kids Are Using AI Agents to "Take" Entire Online Classes for Them by Logging Directly Into the Course Management Software
AI agents can log into learning platforms like Canvas and take quizzes, write essays, and reply to discussions on a student's behalf.
000
jhemann.bsky.social @jhemann.bsky.social · 09/08/2026
www.newyorker.com/news/fault-l.... Students, like other humans, are utility optimizing beings with imperfect knowledge and a bias for short term benefits. Expecting otherwise is like being mad at water for going downhill. Incentives matter. Always have.
newyorker.com
The Despair of the Professor in the Age of A.I.
“Was it always the case that half of our students would cheat if it were easy enough?”
030
jhemann.bsky.social @jhemann.bsky.social · 05/08/2026
For America's 250th, Morpheus narrates a history channel documentary video on grace hopper. The sentence just gets better and better until I want to yell "Bingo!" at the end. youtu.be/GCP9mjjA-MI?...
youtu.be
Grace Hopper Pioneers Computer Programming | History Honors 250
YouTube video by HISTORY
010
jhemann.bsky.social @jhemann.bsky.social · 04/08/2026
www.wsj.com/us-news/educ... There does come a time to pull up stakes, and it could come sooner than some of those in the middle of things might see. Retrenchment in academia doesn't have to be a bad thing, and handled right higher ed as a whole could come out stronger as a result.
wsj.com
The Struggling Colleges Raiding Their Endowments to Pay the Bills
It’s the last resort for institutions on the brink: tapping restricted funds from donors to keep the lights on.
000
Reposted by @jhemann.bsky.social
Computational Cosmetologist @dferrer.bsky.social · 27/07/2026
Imagining a social platform where if you use a fraught word like “knowledge” or “consciousness”, it pops up a list of interpretations of that word from the relevant SEP article and you have to select which one you mean. Then you get a short quiz on the common objections before you can post.
2415
Reposted by @jhemann.bsky.social
Martin Kleppmann @martin.kleppmann.com · 26/07/2026
Engineering management after the cost of code collapsed: “Investing in machine-checkable correctness is now among the highest-leverage infrastructure work an org can fund” karimjedda.com/engineering-...
813225
jhemann.bsky.social @jhemann.bsky.social · 25/07/2026
#floc26 poster session, birds of a feather session apparently.
000
jhemann.bsky.social @jhemann.bsky.social · 21/07/2026
I cannot believe that even with 3 weeks for FLoC how often I am stuck having to make a tough decision about which session to attend.
000
jhemann.bsky.social @jhemann.bsky.social · 21/07/2026
My analogy for linear probing was oversold airlines where two people get the same seat assignment, and the stewardess adjudicates by moving the 2nd person to the next open seat. That seemed to resonate.
000
jhemann.bsky.social @jhemann.bsky.social · 19/07/2026
hemann.pl/floc26/ If you are as overwhelmed as I was by #FLoC26 and all the events, you might find it useful to look at the daily sessions side-by-side.
hemann.pl
101
jhemann.bsky.social @jhemann.bsky.social · 09/07/2026
I kind of want a clippy for my email saying "hey, it looks like you do this same thing for all emails with this pattern. Would you like help turning that into an automation? 📎"
000
jhemann.bsky.social @jhemann.bsky.social · 06/07/2026
www.nytimes.com/2026/07/06/u... Man alive. I feel like our research university ecosystem is such a bargain for the material and downstream benefits you get.
nytimes.com
Decline of Ph.D. Admissions Could Imperil a ‘Generation of New Talent’
000
Reposted by @jhemann.bsky.social
Mark Riedl @markriedl.bsky.social · 30/06/2026
Evidence that Anthropic is using prompt stenography to track whether Claude Code is being used by certain labs and certain web domains thereallo.dev/blog/claude-...
thereallo.dev
Claude Code Is Steganographically Marking Requests
I inspected Claude Code for privacy reasons and found hidden system prompt markers based on API base URL and timezone.
096
jhemann.bsky.social @jhemann.bsky.social · 01/07/2026
www.nytimes.com/interactive/... This is so cool. Developing small, minimal models, generative recursion, understanding how systems work. Such neat stuff.
nytimes.com
This Cell Feeds, Grows and Reproduces. And It’s Manmade. (Gift Article)
From chemical building blocks, scientists have created synthetic cells that have most of the hallmarks of life.
011
Reposted by @jhemann.bsky.social
Vale @vale.rocks · 19/06/2026
There are only two file formats: disguised zips and renamed text files. JSON? Text. EPUB? Zip. CSV? Text. EXE? Zip. SVG? Text. DOCX? Zip. ICS? Text. APK? Zip.
451063264
jhemann.bsky.social @jhemann.bsky.social · 11/06/2026
I think I would like if this site had direct messages. I sometimes would like to follow up on some part of a discussion but that doesn't merit being part of that conversation. I think that was facilitating.
000
jhemann.bsky.social @jhemann.bsky.social · 08/06/2026
www.dailycal.org/news/campus/... Part of my job is to be a motivator and coach. "Giving free potato chips outside the gym" isn't a strong enough analogy for the perverse incentives that my CS1 students face. I mean, surely "getting hooked on drugs" overstates the harm level. Got a better analogy?
dailycal.org
Failing grades soar as professors see greater AI usage, dwindling math skills in UC Berkeley computer science classes
The percentage of failing grades in multiple UC Berkeley computer science classes in spring 2026 is significantly higher than past semesters and marks a departure from the department’s grading guideli...
020
jhemann.bsky.social @jhemann.bsky.social · 06/06/2026
27. Once you understand how to write a program get someone else to write it. I'm think about putting the whole list as perlis.md at the top of my repo.
000
jhemann.bsky.social @jhemann.bsky.social · 02/06/2026
www.theverge.com/column/93902... Thank you EU. I'm surprised that the direct preferences of consumers weren't already sufficient motivation to want to do this.
theverge.com
User-replaceable batteries are coming back in a big way
The Verge is about technology and how it makes us feel. Founded in 2011, we offer our audience everything from breaking news to reviews to award-winning features and investigations, on our site, in vi...
000
jhemann.bsky.social @jhemann.bsky.social · 24/05/2026
Anyone else collect screenshots from when you google what seems like a clear and unamiguous phrase, and then the results point out to you how far askew your associations for that phrase are from the general population?
000
jhemann.bsky.social @jhemann.bsky.social · 23/05/2026
Would love to read this, but it's paywalled and obviously I'm not going to pay for it. www.theatlantic.com/technology/2...
000
jhemann.bsky.social @jhemann.bsky.social · 19/05/2026
wasp.sh/blog/2026/05... Really thought provoking piece, about a real world use case. The temptation to draw broader lessons ot1h, and otoh, both survivorship bias and Sustrik's Law.
wasp.sh
5 Years and $5M Later: Inventing a New Programming Language for Web Development Was a Mistake | Wasp
After 5 years and $5M building Wasp, we're replacing our custom config language with TypeScript. Here's why we thought a new language was a good idea, what we learned, and why TypeScript won.
010
jhemann.bsky.social @jhemann.bsky.social · 10/05/2026
Pop quiz. Who wrote this, and what was the context?
010
jhemann.bsky.social @jhemann.bsky.social · 26/04/2026
www.science.org/content/arti... This doesn't sound good.
science.org
Trump fires NSF's oversight board
Dismissal of the National Science Board is widely seen as latest move to erase NSF’s independence
030
jhemann.bsky.social @jhemann.bsky.social · 23/04/2026
Why is it so difficult for me to find a youtube video explaining insertion sort as a right-fold? Dozens and dozens implementing it as a left-fold. Am I missing something fundamental?
120
jhemann.bsky.social @jhemann.bsky.social · 17/04/2026
After getting to learn all about tranches and credit default swaps during the last big financial crisis, I'm so excited to find out what decision-makers with less understanding of even more complex and baroque systems are going to be able to do this time around.
020
Reposted by @jhemann.bsky.social
Sabine Oechsner @proofnerd.bsky.social · 17/04/2026
I'm looking for a PhD student to work with me on formal verification for cryptographic protocols. This is a 4-year position at VU Amsterdam, co-supervised with Kristina Sojakova. Send me an email if you want to know more!
11013
jhemann.bsky.social @jhemann.bsky.social · 16/04/2026
cacm.acm.org/blogcacm/the... I do believe we're going to be spending a good deal of time in the near future figuring out just what "neurosymbolic" is supposed to mean in practice.
cacm.acm.org
The Biggest Advance in AI Since the LLM – Communications of the ACM
000
Reposted by @jhemann.bsky.social
Shriram Krishnamurthi @shriram.bsky.social · 15/04/2026
This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!
12017
jhemann.bsky.social @jhemann.bsky.social · 13/04/2026
www.washingtonpost.com/technology/2... Yeah, I wonder what happened. Total mystery. Can't figure it. No correlations with anything that I can think of.
washingtonpost.com
Column | The hottest college major hit a wall. What happened?
Computer science has been a top pick for 15 years. Enrollment data suddenly shows a big drop.
021
jhemann.bsky.social @jhemann.bsky.social · 04/04/2026
teybannerman.github.io/strategy/202...
media.tenor.com
a man in a military uniform is sitting in a bunk bed talking to another man in a bunk bed .
ALT: a man in a military uniform is sitting in a bunk bed talking to another man in a bunk bed .
000
jhemann.bsky.social @jhemann.bsky.social · 04/04/2026
Mermaid diagrams are just _great_ you all.
000
jhemann.bsky.social @jhemann.bsky.social · 01/04/2026
Boy, I sure do hate this.
120
Reposted by @jhemann.bsky.social
Nature @nature.com · 01/04/2026
The deluge of disruptive news from around the globe is making it hard for researchers to focus on their day-to-day work go.nature.com/4s5bGSc
go.nature.com
Struggling to focus on research when the world is 'on fire'? Some ways to cope
Keeping up with distressing news is impacting some researchers' mental health and their scientific work.
25626
jhemann.bsky.social @jhemann.bsky.social · 31/03/2026
Reading GEB yesterday taught me something I'd missed until now. Nats are a minimally expressive set of values that your PL needs to express quines; a program that prints its own Godel number is a quine; the Godel number is its printed repr. Many langs use other hacks just bc they under support nats.
110
jhemann.bsky.social @jhemann.bsky.social · 26/03/2026
I sure find it interesting to see what other disciplines are doing in these troubled times. www.scientificamerican.com/article/why-...
scientificamerican.com
Why mathematicians are boycotting their biggest conference
More than 1,500 mathematicians are demanding that their field’s most prestigious meeting be moved from the U.S.
033
jhemann.bsky.social @jhemann.bsky.social · 23/03/2026
I knew about steganographic images, but I didn't know about this similar phenomenon in music: mixmag.net/feature/spec.... It really kind of reminds me of GEB, somehow. But I have GEB on the brain this semester.
mixmag.net
Spectrogram art: A short history of musicians hiding visuals inside their tracks
Becky Buckle explores the history of artists concealing visuals within the waveforms of their music
000
jhemann.bsky.social @jhemann.bsky.social · 18/03/2026
slop.zackg.me I don't like that my score was measurably improved because I knew some of the papers by title. Jeez.
slop.zackg.me
Real or Slop? — PL Papers Edition
110
jhemann.bsky.social @jhemann.bsky.social · 06/03/2026
Man alive, if your job is to produce 85%-correct software, you must be loving life right now.
030
jhemann.bsky.social @jhemann.bsky.social · 27/02/2026
www.quantamagazine.org/the-man-who-... Wow, this rewrites history. I skipped forward a bit, but the parts I didn't know were fascinating.
quantamagazine.org
The Man Who Stole Infinity | Quanta Magazine
In an 1874 paper, Georg Cantor proved that there are different sizes of infinity and changed math forever. A trove of newly unearthed letters shows that it was also an act of plagiarism.
132
jhemann.bsky.social @jhemann.bsky.social · 26/02/2026
Don't like the sound of that. www.insidehighered.com/news/governm...
insidehighered.com
NSF Plans to Boost Staffing, Halve Grant Solicitations
Following last year’s cuts, the chief management officer of the federal research funding agency says its number of employees is “too low.”
010