Skip to content

Instantly share code, notes, and snippets.

View fonsp's full-sized avatar
🌳
climbing

Fons van der Plas fonsp

🌳
climbing
1.4k followers · 109 following
View GitHub Profile
@fonsp
fonsp / logs benchmark.jl
Created January 17, 2022 19:43
import Pluto: Pluto, update_run!, WorkspaceManager, ClientSession, ServerSession, Notebook, Cell, SessionActions
using BenchmarkTools
🍭 = ServerSession();
# 🍭.options.evaluation.workspace_use_distributed = false
fakeclient = ClientSession(:fake, nothing);
🍭.connected_clients[fakeclient.id] = fakeclient;
@fonsp
fonsp / MarkdownLiteral.jl.html
Last active December 16, 2021 12:21
<!DOCTYPE html>
<html lang="en">
<head>
<meta name="viewport" content="width=device-width" />
<title>⚡ Pluto.jl ⚡</title>
<meta charset="utf-8" />
<script>
console.log(
"Pluto.jl, by Fons van der Plas (https://github.com/fonsp), Mikołaj Bochenski (https://github.com/malyvsen), Michiel Dral (https://github.com/dralletje) and friends 🌈"
)
@fonsp
fonsp / Combine.jl.html
Last active December 10, 2021 17:26
<!DOCTYPE html>
<html lang="en">
<head>
<meta name="viewport" content="width=device-width" />
<title>⚡ Pluto.jl ⚡</title>
<meta charset="utf-8" />
<script>
console.log(
"Pluto.jl, by Fons van der Plas (https://github.com/fonsp), Mikołaj Bochenski (https://github.com/malyvsen), Michiel Dral (https://github.com/dralletje) and friends 🌈"
)
@fonsp
fonsp / full width slider example.jl
Last active December 2, 2021 16:42
### A Pluto.jl notebook ###
# v0.17.2
using Markdown
using InteractiveUtils
# This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error).
macro bind(def, element)
quote
local iv = try Base.loaded_modules[Base.PkgId(Base.UUID("6e696c72-6542-2067-7265-42206c756150"), "AbstractPlutoDingetjes")].Bonds.initial_value catch; b -> missing; end
@fonsp
fonsp / sample Tower of Hanoi 0.15.0.html
Created December 1, 2021 13:47
some HTML exports from different Pluto versions
<!DOCTYPE html>
<html lang="en">
<head>
<meta name="viewport" content="width=device-width" />
<title>⚡ Pluto.jl ⚡</title>
<meta charset="utf-8" />
<script>
console.log("Pluto.jl, by Fons van der Plas (https://github.com/fonsp) and Mikołaj Bochenski (https://github.com/malyvsen) 🌈")
</script>
@fonsp
fonsp / Distributions help.html
Created November 30, 2021 18:49
<!DOCTYPE html>
<html lang="en">
<head>
<meta name="viewport" content="width=device-width" />
<title>⚡ Pluto.jl ⚡</title>
<meta charset="utf-8" />
<script>
console.log(
"Pluto.jl, by Fons van der Plas (https://github.com/fonsp), Mikołaj Bochenski (https://github.com/malyvsen), Michiel Dral (https://github.com/dralletje) and friends 🌈"
)
@fonsp
fonsp / dynamic_resolution_example.jl
Created November 27, 2021 00:59
### A Pluto.jl notebook ###
# v0.17.2
using Markdown
using InteractiveUtils
# This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error).
macro bind(def, element)
quote
local iv = try Base.loaded_modules[Base.PkgId(Base.UUID("6e696c72-6542-2067-7265-42206c756150"), "AbstractPlutoDingetjes")].Bonds.initial_value catch; b -> missing; end
@fonsp
fonsp / TagBot output.md
Created November 23, 2021 11:58
Demo of automatic changelog by JuliaRegistries/TagBot vs built-in github API

Pluto v0.16.1

Diff since v0.16.0

Closed issues:

  • Live docs for Vector shows docs for Array (#750)
  • WYSIWYR: api.json and rapidoc (#1298)
  • MultiSelect does not stay selected upon @binding (#1316)
  • Error: failed to add/remove packages, could not parse compatibility version (#1322)
@fonsp
fonsp / How to join the Pluto zulip.md
Last active October 9, 2021 16:21

How to join the Pluto zulip

The best way to get in touch with fellow Pluto users is to join our zulip chat. Zulip is a chatting website (similar to Slack), but it is free, which means that you can also read old messages.

We are a subchannel of the Julia zulip. To join it:

  1. Click here to join the Julia zulip: https://julialang.zulipchat.com/
  2. Create an account, or log in with github/google.
  3. After logging in, you need to Add the Pluto stream using this button:

@fonsp
fonsp / Pluto file format demo.jl
Last active June 10, 2021 20:00
### A Pluto.jl notebook ###
# v0.15.0
using Markdown
using InteractiveUtils
# ╔═╡ ffadbd73-346c-42f2-8a42-fda58ad61142
using HypertextLiteral, PlutoUI
# ╔═╡ 239bd70d-e64f-4261-98d7-d0a6899f1de7