Elektrine lite

← Feed

Rob has moved.

Probably@genart.social

<p>This account has moved servers to <span class="h-card" translate="no"><a href="https://aus.social/@pRobably" class="u-url mention">@<span>pRobably</span></a></span></p>

Posts

  • View post

    ✏️ I wrote a thing. It&amp;#39;s about using agents to help shift a &amp;#39;maybe someday&amp;#39; project off the backlog. I&amp;#39;ve been wanting to make a WASM-based &amp;quot;learn to code in Python&amp;quot; thing for ages. Started a couple of times and hit some walls I didn&amp;#39;t know how to get around or over. Agents helped get a bunch of that moving. Maybe I&amp;#39;ll actually get it done one day, but it&amp;#39;s looking more promising! https://headtilt.me/cat-herding-wasm-pyt...

  • View post

    ✏️ Part 2 of my &amp;quot;let&amp;#39;s build a client-side Python teaching tool with agents&amp;quot;. In which Rob gets frustrated by many regressions but is actually getting something useful. Later down the line when I try to figure out how much of the code can either be refactored away or just thrown away is going to be Very Funny. https://headtilt.me/cat-herding-wasm-python-02/

  • View post

    ✏️ I wrote a thing. Week 3 of my adventures building a teaching tool with an LLM agent. https://headtilt.me/cat-herding-wasm-python-03/ It’s homing in on the end of my feature list. It’s a client-side only (WASM + JS interface) tool for giving students programming problems, an interface to letting them write, run, and test their solution, and providing interactive feedback and unit tests. Only relies on basic web hosting, no fancy infra. I think it’s pretty cool!

  • View post

    ✏️ I wrote a thing. Week 4 of my adventures building a teaching tool with an LLM agent. https://headtilt.me/cat-herding-wasm-python-04/ I have a link to the app itself in this post, since I&amp;#39;d shared it with a few people beforehand and just not told anyone. This week was about teacher feedback through hashed test suites, and files in testing and userspace, as well as some introspection about using Micropython in the project.

  • View post

    Little bit of an update on my WASM Python teaching thingy (good name eh?!). https://headtilt.me/cat-herding-wasm-python-05/ Bit of a mix of improvements to authoring (can load problem sets, define feedback rules that depend on other feedback rules) and student experience (persistent success indicators for passed test suites, nicer feedback presentation, added markdown admonitions). Link to it in the post if you want to have a play. Meant to finish some docs this week but it got busy.

  • View post

    Opened up the repo for my little side project from the last few weeks: Clipy (pronounce or capitalise it however you want). It’s a 100% client-side app for presenting (micro)Python problems to students requiring just a static web host. Problem authors can define feedback rules and create unit tests and students can do them, loaded up from a CORS-friendly host (like raw Github content). https://github.com/zarify/clipy Still a WIP, but I think it’s pretty neat so far.

  • View post

    Part 6 of my &amp;quot;let&amp;#39;s make a client-side Python teaching tool&amp;quot; series. https://headtilt.me/cat-herding-wasm-python-06/ This week I added a record-replay feature (short vid in the post) where after a successful run, students can walk back through their program&amp;#39;s execution. The UI needs to be a bit more obvious, but it&amp;#39;s working nicely (so far!).