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-sourc

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.