Post

introducing a production bug because my hands got bored is crazy

already accounted for: all draggable transformations are semantics preserving

I believe you underestimate your users.

ok my first thought was that this was evil my second thought is holy shit this is the future

do you have a design for smth like let x = 1 in let y = x + 1 in let z = x - 2 in where you drag x into all use sites?

@dave.9000ish.uk quick add this guy so I can buy in before anyone notices....

The temptation to game has always been there Sadly I have precommitted to never do this

Me rn tryna make some extra chicken bux youtu.be/pXT7wqqYYWw?...

As someone who hates to use the mouse when text editing, this is awesome.

Oh my god this is how I learned math I literally had a bespoke computer program in elementary school (my parents got in on some stanford study ig) that let me click and drag elements and watch the syntax change while the semantics stayed the same

ooo cool. curious if that program every surfaced publicly? dragon box is the main thing i know in that space. im also working on a math edu-ish thing powered by the same lib as above

I did some AI-assisted research, and it turns out I was blending two memories. I did do probably an EPGY program, but the dragging mechanic I remember from Pacific Tech’s Graphing Calculator app for Mac.

This is so cool. Is there somewhere I can try this out?

I guess you can try it here