Fons van der Plas
Fons van der Plas
**Describe the bug** The [Chrome DevTools Workspaces](https://developer.chrome.com/docs/devtools/workspaces/) feature, which allows editing local source files directly from the inspector (💕), stopped working in combination with a local `file_server`. I bisected the...
Hey @eliascarv ! What a cool project, I wish this existed 2 years ago! Did you have any ideas about automatically hosting a documentation page? If you have an endpoint...
Hi! It looks like this package uses an internal API, making it incompatible with https://github.com/fonsp/Pluto.jl and other custom logging environemnts. See https://github.com/fonsp/Pluto.jl/issues/1121 -fons
Feel free to add more!
Sorting autocomplete results: _Right now results are presented in alphabetical (i.e. code index) order. The dream is to have full AI power like kite.com, but perhaps there are some simple...
Pluto uses `Distributed` to create worker processes and to send Julia data structures between them. It works really well! And `Distributed` is pleasant to work with. However, it means that...
A request like `GET http://localhost:1234/editor.html` works (200 with file contents), but `HEAD http://localhost:1234/editor.html` gives a 404.
See https://github.com/JuliaPluto/AbstractPlutoDingetjes.jl/pull/8 TODO: - [ ] test... somehow. maybe the APD side needs to be merged first?
E.g. ```julia ### A Pluto.jl notebook ### # v0.17.1 using Markdown using InteractiveUtils # ╔═╡ 6cfc7d20-46b0-11ec-33c3-15107f33e361 using Singular # ╔═╡ c09c9041-557b-4517-b108-28781d14dfe0 R, (t) = PolynomialRing(QQ, ["t"]) # ╔═╡ 00000000-0000-0000-0000-000000000001 PLUTO_PROJECT_TOML_CONTENTS...
https://user-images.githubusercontent.com/6933510/169283887-63dda4f6-2dcb-48b2-b0b0-6fba489733ca.mov