New blog post: "Why computational reproducibility matters" blog.khinsen.net/posts/2025/0... 🧪

After the latest round of grading papers, I wrote about AI, ChatGPT, the death of the student essay, and what it means for the future of human cognition.

Useful listing of mcp servers. mcp.so

The paper provides a formal framework for what AI practitioners have long suspected. "A Conjecture on a Fundamental Trade-Off between Certainty and Scope in Symbolic and Generative AI" Version 2 papers.ssrn.com/sol3... 3/3

This project looks promising.

Doing less work reduces brain engagement? 😮 shocking…

TL;DR: Does it really make you faster if you need to maintain code you don't understand? You can’t have both speed and clarity without effort. blog.miguelgrinberg.com/post/why-gen...

My takeaways from the Building Agents with MCP in Go workshop.

Good morning from our workshops! AI Agents and MCP Tools in #golang by Daniel Mahlow #gopherconEU

6 Agentic Coding Tips 1. Guide don't dictate 2. Review everything 3. Test incrementally 4. Patten consistently 5. Simple is better 6. Every AI output should be filtered through human

@kentbeck.com is a legend in software engineering: and after coding for 52 years, he's never had more fun than now, he told me. Why? AI agents brought back the joy of creating software without the stuff that he's started to hate about coding. Watch/listen: • YouTube: youtu.be/aSXaxOdVtAQ (cont'd)

So you would like to write more reliable software ? I just published a presentation about how to model software with TLA+, meant for software engineers, not mathematicians/logicians. speakerdeck.com/fgm/a-tla-pl... #tlaplus

So I've been avoiding a deep dive into MCP–only recently receiving a brief introduction from watching @bretfisher.com live shows. Is it fate that the Go workshop I purchased for next week was replaced last minute? Guess what the topic is.

I wasn’t aware of the subtle differences between AI and ML Engineering. Interesting read.

New blog post! 🤓 jub0bs.com/posts/2025-0... #golang #iterator

Opinions spark healthy discussion. We can’t afford to remain passive. The cultural divide over AI, whether it’s friend or foe, misses the point —it’s both. This duality demands more investigation. Yet, the sheer speed of information today is dismantling our capacity for reflection.

I wonder why Go programmers don’t engage in large public discussions on how obtuse other languages are. Maybe they’re too busy shipping real world code to production 🤔

Finally did it. I wrote down how to build a code-editing agent. In 315 lines of code. And yes, it works. Very well. There is no moat. Read it here: ampcode.com/how-to-build...

If only research were easier to trace this wouldn’t take months to uncover.

#Docker now has three major AI features. A built-in chatbot, a LLM host, and a MCP tool server and library. I explain what they are, and how to use them www.bretfisher.com/docker-ai-mo...

Found this tonight and it's a really solid read on the Go runtime. Definitely a long post but it's got a lot of useful info in it. Learned a lot about things that I haven't really dug into before from it. nghiant3223.github.io/2025/04/15/g...

I’m attending Gophercon EU and looking forward to this workshop.

If you're using Docker or Compose to build your images, there's a more declarative way to do it that is my new fav. Had a ton of fun making this #Docker Bake video. I think the first 5 minutes is our best yet www.youtube.com/watch?v=99QL...