Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Rob has moved.

@Probably@genart.social
mastodon 4.7.2
  • Open on genart.social

This account has moved servers to @pRobably@aus.social

18 Followers
208 Following
10 Posts
Joined November 18, 2022
OpenProcessing:
https://openprocessing.org/user/269409/
Webby Stuff:
https://headtilt.me
Open post
Rob has moved. @Probably@genart.social
· 13mo ago

✏️ 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'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.

headtilt.me
1
0
1
0
Open post
Rob has moved. @Probably@genart.social
· 13mo ago

✏️ 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!

headtilt.me
1
0
0
0
Open post
Rob has moved. @Probably@genart.social
· 47mo ago
Replying to
@maartje@blahaj.social As much as I love the silence of modern computers (well, except for GPU fans) I kinda miss the sounds of the whirs and clicks from the computers of yore.
6
2
1
0
Open post
Rob has moved. @Probably@genart.social
· 45mo ago
Replying to
@touk@smores.town makes me think of the #genuary prompt from last year: “Make something that will look completely different in a year” - love it :)
3
1
0
0
Open post
Rob has moved. @Probably@genart.social
· 47mo ago
Replying to
@maartje@blahaj.social I guess some of those sounds are better than others 😅 At least the disk sounds give some expectation management - “hey I’m doing something! (Possibly constantly swapping, but something!)”
3
0
0
0
Open post
Rob has moved. @Probably@genart.social
· 12mo ago

Part 6 of my "let's make a client-side Python teaching tool" 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's execution. The UI needs to be a bit more obvious, but it's working nicely (so far!).

headtilt.me
0
0
0
0
Open post
Rob has moved. @Probably@genart.social
· 12mo ago

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.

github.com
0
0
0
0
Open post
Rob has moved. @Probably@genart.social
· 12mo ago

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.

headtilt.me
0
0
0
0
Open post
Rob has moved. @Probably@genart.social
· 13mo ago

✏️ Part 2 of my "let's build a client-side Python teaching tool with agents".

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/

headtilt.me
0
0
0
0
Open post
Rob has moved. @Probably@genart.social
· 13mo ago

✏️ I wrote a thing. It's about using agents to help shift a 'maybe someday' project off the backlog.

I've been wanting to make a WASM-based "learn to code in Python" thing for ages. Started a couple of times and hit some walls I didn't know how to get around or over.

Agents helped get a bunch of that moving. Maybe I'll actually get it done one day, but it's looking more promising!

https://headtilt.me/cat-herding-wasm-python-01/

headtilt.me
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 10:10:02 UTC