[tobr]

Speaking of - what’s the status of HARC? Is it defunct?

[azeirah]

Yep, HARC is no more. I don't recall the exact history but iirc SAP withdrew its funding and HARC basically ceased to exist.

Now, ohm survives as an open-source project, Bret Victor continues work with Dynamicland and Vi Hart is currently employed at Microsoft Research.

[jagger27]

Defunct enough to let their TLS cert expire.