@jhemann.bsky.social
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?...
Grace Hopper Pioneers Computer Programming | History Honors 250
YouTube video by HISTORY
youtu.be
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.
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.
wsj.com
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-...
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.
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
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.
Decline of Ph.D. Admissions Could Imperil a ‘Generation of New Talent’
nytimes.com
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-...
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.
thereallo.dev
www.nytimes.com/interactive/... This is so cool. Developing small, minimal models, generative recursion, understanding how systems work. Such neat stuff.
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.
nytimes.com
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?
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...
dailycal.org
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.
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...
theverge.com
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.
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.
wasp.sh
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.
The Biggest Advance in AI Since the LLM – Communications of the ACM
cacm.acm.org
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.
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.
washingtonpost.com
