Skip to content

Instantly share code, notes, and snippets.

@j-fu
j-fu / Zed.log
Last active November 28, 2024 09:43
vulkaninfo
2024-11-27T14:56:17.919595829+01:00 [INFO] ========== starting zed ==========
2024-11-27T14:56:17.959449939+01:00 [WARN] Failed to load a font face 0 from '/usr/share/fonts/texlive-helmholtz-ellis-ji-notation/HEJI2Text.otf' cause font doesn't have a family name.
2024-11-27T14:56:17.983465741+01:00 [WARN] failed to load font 'FandolBraille-Display'
2024-11-27T14:56:17.983905234+01:00 [WARN] failed to load font 'FandolBraille-Regular'
2024-11-27T14:56:17.986809082+01:00 [WARN] failed to load font 'FandolBraille-Display'
2024-11-27T14:56:17.986834542+01:00 [WARN] failed to load font 'FandolBraille-Regular'
2024-11-27T14:56:17.990051933+01:00 [INFO] Compositor detection: _NET_WM_CM_S?=false, _NET_WM_CM_OWNER=false, _NET_SUPPORTING_WM_CHECK=true
2024-11-27T14:56:17.990079377+01:00 [INFO] x11: compositor present: true, gtk_frame_extents_supported: true
2024-11-27T14:56:17.99426613+01:00 [INFO] Try connect ibus
2024-11-27T14:56:17.998786096+01:00 [INFO] perform;
"""
force_update_notebook_environment(notebook)
Forced update of notebook environment to all newest versions of the packages.
`Pluto.update_notebook_environment(notebook)` heeds
the compat entries in the Project.toml and thus seems to do nothing.
"""
function force_update_notebook_environment(notebook)
# cache the current environment
thisproject=Pkg.project().path
@j-fu
j-fu / gist:1fd2a044636cf0a2737b999db043cc22
Created February 13, 2024 17:05
Pluto on nightly 38065a40994
_
_ _ _(_)_ | Documentation: https://docs.julialang.org
(_) | (_) (_) |
_ _ _| |_ __ _ | Type "?" for help, "]?" for Pkg help.
| | | | | | |/ _` | |
| | |_| | | | (_| | | Version 1.11.0-DEV.1586 (2024-02-13)
_/ |\__'_|_|_|\__'_| | Commit 38065a40994 (0 days old master)
|__/ |
@j-fu
j-fu / plutojs.jl
Created November 14, 2023 12:51
Test notebook for javscript based graphics in pluto
### A Pluto.jl notebook ###
# v0.19.32
using Markdown
using InteractiveUtils
# ╔═╡ a5b79b24-82e3-11ee-3de1-03c823a7e0f8
using PlutoUI
# ╔═╡ 819e486d-c27b-4542-8c1d-8740720e8586
@j-fu
j-fu / mwe2.jl
Created September 29, 2023 15:17
htl_mwe2.jl
### A Pluto.jl notebook ###
# v0.19.29
using Markdown
using InteractiveUtils
# ╔═╡ e052cc91-ca85-492d-95e2-6b0c707ac859
begin
using Pkg
@j-fu
j-fu / mwe.jl
Created September 27, 2023 09:41
mwe.jl
### A Pluto.jl notebook ###
# v0.19.28
using Markdown
using InteractiveUtils
# ╔═╡ e052cc91-ca85-492d-95e2-6b0c707ac859
begin
import HypertextLiteral: @htl
import AbstractPlutoDingetjes.Display: published_to_js
### A Pluto.jl notebook ###
# v0.19.16
using Markdown
using InteractiveUtils
# ╔═╡ bc8cde90-5593-4f54-ada2-a03cd6e35282
using UUIDs
# ╔═╡ 60941eaa-1aea-11eb-1277-97b991548781
@j-fu
j-fu / limit-terminal.jl
Created August 15, 2022 18:18
test notebook for terminal limiting
### A Pluto.jl notebook ###
# v0.19.11
using Markdown
using InteractiveUtils
# ╔═╡ 60941eaa-1aea-11eb-1277-97b991548781
begin
using PlutoUI
end
@j-fu
j-fu / pluto-single-coinflip.jl
Created May 2, 2022 16:23
Turing example with updating belief after single coinflip
### A Pluto.jl notebook ###
# v0.19.3
using Markdown
using InteractiveUtils
# ╔═╡ 193f0cae-53a4-48d0-98ed-6eb94aad5712
begin
using Distributions
using Random
_
_ _ _(_)_ | Documentation: https://docs.julialang.org
(_) | (_) (_) |
_ _ _| |_ __ _ | Type "?" for help, "]?" for Pkg help.
| | | | | | |/ _` | |
| | |_| | | | (_| | | Version 1.6.5 (2021-12-19)
_/ |\__'_|_|_|\__'_| | Official https://julialang.org/ release
|__/ |
julia> using TriangularSolve