To be able to edit code and run cells, you need to run the notebook yourself. Where would you like to run the notebook?

In the cloud (experimental)

Binder is a free, open source service that runs scientific notebooks in the cloud! It will take a while, usually 2-7 minutes to get a session.

On your computer

(Recommended if you want to store your changes.)

  1. Copy the notebook URL:
  2. Run Pluto

    (Also see: How to install Julia and Pluto)

  3. Paste URL in the Open box

Frontmatter

If you are publishing this notebook on the web, you can set the parameters below to provide HTML metadata. This is useful for search engines and social media.

Author 1
👀 Reading hidden code
import Pkg; Pkg.add("Julog")
❔
    Updating registry at `~/.julia/registries/General.toml`
   Resolving package versions...
   Installed Julog ─ v0.1.15
    Updating `~/.julia/environments/v1.7/Project.toml`
  [5d8bcb5e] + Julog v0.1.15
    Updating `~/.julia/environments/v1.7/Manifest.toml`
  [5d8bcb5e] + Julog v0.1.15
Precompiling project...
  ✓ Julog
  1 dependency successfully precompiled in 2 seconds (7 already precompiled)
4.8 s
👀 Reading hidden code
using Julog
36.7 ms
Error message

The package Pluto.jl could not load because it failed to initialize.

That's not nice! Things you could try:

  • Restart the notebook.
  • Try a different Julia version.
  • Contact the developers of Pluto.jl about this error.

You might find useful information in the package installation log:

👀 Reading hidden code
import Pluto
---
Error message

The package Pluto.jl could not load because it failed to initialize.

That's not nice! Things you could try:

  • Restart the notebook.
  • Try a different Julia version.
  • Contact the developers of Pluto.jl about this error.

You might find useful information in the package installation log:

import Pluto: Notebook, Cell
👀 Reading hidden code
---
Error message

Another cell defining Notebook and Cell contains errors.

nb = Notebook(joinpath(tempdir(), "é🧡💛.jl"), [
Cell("z = y"),
Cell("v = u"),
Cell("y = x"),
Cell("x = w"),
Cell("using Dates"),
Cell("t = 1"),
Cell("w = v"),
Cell("u = t"),
])
👀 Reading hidden code
---
Error message

Another cell defining Pluto, Notebook and Cell contains errors.

Maybe time for a break? ☕️
Pluto.update_caches!(nb, nb.cells)
👀 Reading hidden code
---
Error message

Another cell defining Notebook and Cell contains errors.

Computers are hard!
nb.cells[1].symstate
👀 Reading hidden code
---
teacher(a, b)
@julog teacher(a, b)
👀 Reading hidden code
79.5 μs
isprime (generic function with 1 method)
function isprime(n)
[1,n] == filter(1:n) do i
n%i==0
end
end
👀 Reading hidden code
942 μs
isprime.(1:10)
👀 Reading hidden code
141 ms

👀 Reading hidden code
69.5 μs
clauses = @julog [
div(X) <<= (X % 3 == 0)
]
👀 Reading hidden code
95.5 ms
goals = @julog [
div(X)
]
👀 Reading hidden code
175 ms
derivations(clauses,123)
👀 Reading hidden code
769 ms
x = 1:5 |> collect
👀 Reading hidden code
9.6 ms
Error message

The package BenchmarkTools.jl could not load because it failed to initialize.

That's not nice! Things you could try:

  • Restart the notebook.
  • Try a different Julia version.
  • Contact the developers of BenchmarkTools.jl about this error.

You might find useful information in the package installation log:

using BenchmarkTools
👀 Reading hidden code
---