Hacker News new | ask | show | jobs
by lungben 1879 days ago
We are working on it and the functionality is already usable - try it out! https://github.com/fonsp/Pluto.jl/pull/985

(Note that the UI for activating / deactivating the barrier will likely be changed before merging this PR)