jhemann.bsky.social

What a great turnout for the Scheme Workshop! A full room and what a crowd!

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".

Preach.

Yep. Sure. Makes perfect sense.

arstechnica.com/tech-policy/... 😑

Live participation in a webinar carries such a high price (having to listen at 1x speed).

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?

Have work, need tokens, God bless.

futurism.com/artificial-i... They're calling it the dead moodle theory

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.

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?...

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.

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.

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-...

#floc26 poster session, birds of a feather session apparently.

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.

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.

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? 📎"

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.

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-...

www.nytimes.com/interactive/... This is so cool. Developing small, minimal models, generative recursion, understanding how systems work. Such neat stuff.

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.

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.

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?

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.

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.

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?

Would love to read this, but it's paywalled and obviously I'm not going to pay for it. www.theatlantic.com/technology/2...

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.

Pop quiz. Who wrote this, and what was the context?

www.science.org/content/arti... This doesn't sound good.

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?

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.

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!

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.

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!

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.

teybannerman.github.io/strategy/202...

Mermaid diagrams are just _great_ you all.

Boy, I sure do hate this.

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

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.

I sure find it interesting to see what other disciplines are doing in these troubled times. www.scientificamerican.com/article/why-...

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.

slop.zackg.me I don't like that my score was measurably improved because I knew some of the papers by title. Jeez.

Man alive, if your job is to produce 85%-correct software, you must be loving life right now.

www.quantamagazine.org/the-man-who-... Wow, this rewrites history. I skipped forward a bit, but the parts I didn't know were fascinating.