From c71a9b1ce2c741c68a2e70c6c91b9c6abfc57088 Mon Sep 17 00:00:00 2001 From: TristanCacqueray Date: Wed, 9 Oct 2024 12:24:28 +0000 Subject: [PATCH] deploy: fa3ed1e31ddef25647eca10cf35ea9711ba51264 --- -/all.html | 2 +- -/stork.st | Bin 4846348 -> 4846426 bytes -/tags.html | 2 +- -/tags/25.html | 2 +- -/tags/beam.html | 2 +- -/tags/blog.html | 2 +- -/tags/butler.html | 2 +- -/tags/cli.html | 2 +- -/tags/code.html | 2 +- -/tags/contributor.html | 2 +- -/tags/dependent-type.html | 2 +- -/tags/design.html | 2 +- -/tags/dhall.html | 2 +- -/tags/emacs.html | 2 +- -/tags/extension.html | 2 +- -/tags/ffi.html | 2 +- -/tags/fractal.html | 2 +- -/tags/functional.html | 2 +- -/tags/functional/pure.html | 2 +- -/tags/game.html | 2 +- -/tags/gource.html | 2 +- -/tags/gstreamer.html | 2 +- -/tags/guix.html | 2 +- -/tags/haskell.html | 2 +- -/tags/hm.html | 2 +- -/tags/icfp.html | 2 +- -/tags/imperative.html | 2 +- -/tags/keyboard.html | 2 +- -/tags/kubernetes.html | 2 +- -/tags/library.html | 2 +- -/tags/lisp.html | 2 +- -/tags/logjuicer.html | 2 +- -/tags/logreduce.html | 2 +- -/tags/machine-learning.html | 2 +- -/tags/ml.html | 2 +- -/tags/monocle.html | 2 +- -/tags/moonwalker.html | 2 +- -/tags/music.html | 2 +- -/tags/nix.html | 2 +- -/tags/openstack.html | 2 +- -/tags/ot.html | 2 +- -/tags/packaging.html | 2 +- -/tags/parser.html | 2 +- -/tags/pipewire.html | 2 +- -/tags/pl.html | 2 +- -/tags/plugin.html | 2 +- -/tags/procedural.html | 2 +- -/tags/project.html | 2 +- -/tags/proof.html | 2 +- -/tags/purescript.html | 2 +- -/tags/python.html | 2 +- -/tags/rescript.html | 2 +- -/tags/rust.html | 2 +- -/tags/strudel.html | 2 +- -/tags/vcv.html | 2 +- -/tags/video.html | 2 +- -/tags/vulkan.html | 2 +- -/tags/wasm.html | 2 +- -/tags/web-service.html | 2 +- -/tags/weiqi.html | 2 +- -/tags/zuul.html | 2 +- -/tasks.html | 2 +- blog.html | 2 +- blog/beautiful-haskell.html | 2 +- blog/broadcasting-webm.html | 2 +- blog/butler-ot.html | 2 +- blog/cabal-project.html | 2 +- blog/dear-imgui.html | 2 +- blog/emacs-30.html | 2 +- blog/float-controller.html | 2 +- ...rwarding-ssh-agent-through-websockets.html | 2 +- blog/from-ivy-to-vertico.html | 2 +- blog/functor-map.html | 2 +- blog/haskell-inline-c-pipewire.html | 2 +- blog/haskell-use-cases.html | 2 +- blog/icfpc2023.html | 2 +- blog/icfpc2024.html | 2 +- blog/introducing-animation-fractal.html | 2 +- blog/introducing-butler.html | 2 +- blog/introducing-effects.html | 2 +- ...functional-programming-to-pythonistas.html | 2 +- blog/kubernetes-resources-update.html | 2 +- ...ve-reloading-haskell-gui-from-scratch.html | 2 +- blog/logreduce-capn-proto.html | 2 +- blog/logreduce-rust-part1.html | 2 +- blog/logreduce-rust-part2.html | 2 +- blog/logreduce-rust-part3.html | 2 +- blog/logreduce-rust-part4.html | 2 +- blog/logreduce-web-interface-wasm.html | 2 +- blog/making-of-microX.html | 2 +- blog/making-of-op961.html | 2 +- blog/massiv-vulkan-capture.html | 2 +- ...aily-project-management-with-org-mode.html | 2 +- blog/pulse-simple-pcm.html | 2 +- blog/recursive-namespaces.html | 2 +- blog/review-workflow.html | 2 +- blog/servant-oauth.html | 2 +- blog/sf-on-kubernetes.html | 2 +- blog/state-monad.html | 2 +- blog/switching-to-ergo-keyboard.html | 2 +- blog/tiny-game-engine.html | 2 +- blog/using-dhall-to-animate-fractal.html | 2 +- blog/varying-modulation.html | 2 +- blog/vulkan-triangle-winding.html | 2 +- blog/zurihac2023.html | 2 +- contributions.html | 2 +- emacs.html | 2 +- emacs/tutorial.html | 4 ++-- index.html | 2 +- project.html | 2 +- project/10-years-of-zuul.html | 2 +- project/achordion-typing-streak.html | 2 +- project/advent-of-code.html | 2 +- project/advent-of-lean.html | 2 +- project/animation-fractal.html | 2 +- project/autochill.html | 2 +- project/baduk-trainer.html | 2 +- project/butler.html | 2 +- project/cabal-multi-repl.html | 2 +- project/cgroup-monitor.html | 2 +- project/changemetrics.html | 2 +- project/dear-filedialog.html | 2 +- project/demo-code.html | 2 +- project/devenv.html | 2 +- project/dhall-bindings.html | 2 +- project/easy-retroclash-nix.html | 2 +- project/ebml.html | 2 +- project/feb-23-tiny-game.html | 2 +- project/fir-demo.html | 2 +- project/gen-zmk.html | 2 +- project/gerrit-haskell.html | 2 +- project/gerritbot-matrix.html | 2 +- project/gleam-lsp.html | 2 +- project/gnome-mumble-push-to-talk.html | 2 +- project/gnome-org-next-schedule.html | 2 +- project/grafdhall.html | 2 +- project/hadertoy.html | 2 +- project/haxible.html | 2 +- project/hspkgs.html | 2 +- project/html-file-reload.html | 2 +- project/hy2glsl.html | 2 +- project/implicit-qualified-import.html | 2 +- project/k1s.html | 2 +- project/keid-vkguide.html | 2 +- project/ki-effectful.html | 2 +- project/learn-blender.html | 2 +- project/lentille.html | 2 +- project/linux-capabilities-haskell.html | 2 +- project/logreduce.html | 2 +- project/maps-of-mnemos-simulator.html | 2 +- project/matrix-client.html | 2 +- project/midirus.html | 2 +- project/modularix.html | 2 +- project/monocle-query.html | 2 +- project/monocle.html | 2 +- project/moonracer.html | 2 +- project/ndbom.html | 2 +- project/nodepool-drivers.html | 2 +- project/opCBC.html | 2 +- project/opFreak.html | 2 +- project/opHac961.html | 2 +- project/openstack-vmt.html | 2 +- project/pipes-pulse-simple.html | 2 +- project/podenv.html | 2 +- project/purescript-gjs.html | 2 +- project/re-ansi.html | 2 +- project/restfuzz.html | 2 +- project/retry-effectful.html | 2 +- project/rokolisp.html | 2 +- project/sicp-study.html | 2 +- project/simple-dsp.html | 2 +- project/swarm-lsp.html | 2 +- project/tbac.html | 2 +- project/tiny-http.html | 2 +- project/wasm-gnugo.html | 2 +- project/weiqi-visualizer.html | 2 +- project/xstatic.html | 2 +- project/zuul-haskell.html | 2 +- project/zuul-nix.html | 2 +- project/zuul-pyramid.html | 2 +- project/zuul-results-gerrit-plugin.html | 2 +- project/zuul-rs.html | 2 +- project/zuul-weeder.html | 2 +- snippets.html | 2 +- talks.html | 2 +- talks/dhall-strong-alternative-to-yaml.html | 2 +- talks/openstack-security-bug.html | 2 +- talks/reduce-log-noise.html | 2 +- video.html | 2 +- video/2009-11-17-freecontext.html | 2 +- video/2010-06-14-glrt.html | 2 +- video/2010-08-31-crazyStar.html | 2 +- video/2010-10-17-pypomos.html | 2 +- video/2013-10-08-midirus-cbc.html | 2 +- video/2015-06-29-midirus-1xcalc.html | 2 +- video/2015-12-10-midirus-tokyoloop.html | 2 +- video/2016-01-08-midirus-1xredux.html | 2 +- video/2016-01-09-midirus-1xredux.html | 2 +- video/2016-01-21-sf-history-2014-2016.html | 2 +- video/2017-12-03-live-at-harajuku.html | 2 +- video/2017-12-09-lm95p1.html | 2 +- video/2018-01-13-tounex.html | 2 +- video/2018-01-21-dirty-muffin.html | 2 +- video/2018-01-27-minimeda.html | 2 +- video/2018-01-28-fatout.html | 2 +- video/2018-02-04-ggb.html | 2 +- video/2018-02-12-goban.html | 2 +- video/2018-02-12-profondeur.html | 2 +- video/2018-02-14-duna.html | 2 +- video/2018-02-25-sf-history-2016-2018.html | 2 +- video/2018-03-23-lmgg.html | 2 +- video/2018-03-25-fatou-v2.html | 2 +- video/2018-03-31-acidula-beat.html | 2 +- video/2018-04-01-buttons.html | 2 +- video/2018-04-01-waldo.html | 2 +- video/2018-04-07-comptine.html | 2 +- video/2018-04-07-maintenance.html | 2 +- video/2018-04-07-siouze.html | 2 +- video/2018-04-07-weightless-morning.html | 2 +- video/2018-04-14-dafp1.html | 2 +- video/2018-04-14-inline.html | 2 +- video/2018-04-14-notre.html | 2 +- video/2018-04-15-eoj.html | 2 +- video/2018-04-22-anvil.html | 2 +- video/2018-04-22-memosp2.html | 2 +- video/2018-04-22-oldchords.html | 2 +- video/2018-06-06-flower-seeds.html | 2 +- video/2018-06-11-rosko.html | 2 +- video/2018-06-17-rokano.html | 2 +- "video/2018-06-19-recam\303\241n.html" | 2 +- video/2018-07-01-kalygg.html | 2 +- video/2018-08-19-duna2.html | 2 +- video/2018-08-19-mozaic-fall.html | 2 +- video/2018-08-26-maintenance2.html | 2 +- video/2018-09-23-flower-seeds.html | 2 +- video/2018-10-03-mandelbulb-test.html | 2 +- video/2018-10-06-django-menger.html | 2 +- video/2018-10-06-fractal-creature.html | 2 +- video/2019-03-10-marble-menger.html | 2 +- video/2019-03-22-orbital3.html | 2 +- video/2019-04-01-livet-nediser.html | 2 +- video/2019-09-23-silverkube-poc.html | 2 +- video/2020-07-06-sandpile.html | 2 +- ...15-dhall-a-strong-alternative-to-yaml.html | 2 +- video/2021-10-23-FIR-demo.html | 2 +- video/2021-12-22-opFreak.html | 2 +- video/2022-01-19-ten-years-of-zuul.html | 2 +- video/2022-12-05-af-preview.html | 2 +- video/2022-12-08-mandelmass.html | 2 +- video/2022-12-21-summerbulb.html | 2 +- video/2023-05-16-op961.html | 2 +- video/2023-11-26-moonwalker-monkeytype.html | 2 +- video/2024-01-08-23-35-20.html | 2 +- video/2024-01-10-22-32-05.html | 2 +- video/2024-02-08-introducig-logjuicer.html | 2 +- video/2024-02-19-opJuicer.html | 2 +- video/2024-02-25-opCBC.html | 2 +- "video/2024-03-03-\316\274pOrg.html" | 2 +- video/2024-03-14-microX.html | 2 +- video/2024-03-23-vivaldi.html | 2 +- video/2024-03-24-opRecharge.html | 2 +- video/2024-04-01-opCBC3.html | 2 +- .../2024-04-21-19th-century-piano-fracal.html | 2 +- video/2024-05-18-microRakt.html | 2 +- video/2024-09-29-strudel-shader.html | 2 +- website.html | 2 +- weiqi.html | 2 +- weiqi/glossary.html | 2 +- weiqi/history.html | 2 +- weiqi/initiation.html | 2 +- weiqi/learn.html | 2 +- zettle.html | 2 +- zettle/code-review.html | 2 +- zettle/communication-protocols.html | 2 +- zettle/communication-protocols/REST.html | 2 +- zettle/communication-protocols/spdy.html | 2 +- zettle/computer-graphics.html | 2 +- zettle/container.html | 2 +- zettle/context-free-art.html | 2 +- zettle/continuous-integration.html | 2 +- zettle/feeds.html | 2 +- zettle/fractal-animation.html | 2 +- zettle/fractal.html | 2 +- zettle/free-software.html | 2 +- zettle/games.html | 2 +- zettle/geometry.html | 2 +- zettle/graphics.html | 2 +- zettle/graphics/colors.html | 2 +- zettle/graphics/webgpu.html | 2 +- zettle/mathemathics.html | 2 +- zettle/mathemathics/abstract-algebra.html | 2 +- zettle/mathemathics/boolean-algebra.html | 2 +- zettle/mathemathics/lambda-calculus.html | 2 +- zettle/mathemathics/linear-algebra.html | 2 +- zettle/mathemathics/russel-paradox.html | 2 +- zettle/mathematics.html | 2 +- zettle/mockingbird.html | 2 +- zettle/music.html | 2 +- zettle/music/acid-jazz.html | 2 +- zettle/music/daw.html | 2 +- zettle/music/electronic-music.html | 2 +- zettle/music/piano.html | 2 +- zettle/music/playlists.html | 2 +- zettle/music/reaper.html | 2 +- zettle/music/sound-engineering.html | 2 +- zettle/music/trip-hop.html | 2 +- zettle/object-oriented-programing.html | 2 +- zettle/os.html | 2 +- zettle/os/guix.html | 2 +- zettle/programing-languages.html | 2 +- zettle/programing-languages/HM.html | 2 +- zettle/programing-languages/LISP.html | 2 +- zettle/programing-languages/ML.html | 2 +- zettle/programing-languages/MathJax.html | 2 +- zettle/programing-languages/agda.html | 2 +- zettle/programing-languages/ats.html | 2 +- zettle/programing-languages/c.html | 2 +- .../programing-languages/category-theory.html | 2 +- zettle/programing-languages/clean.html | 2 +- .../compositional-type-checking.html | 2 +- .../computer-graphic.html | 2 +- zettle/programing-languages/coq.html | 2 +- zettle/programing-languages/css.html | 2 +- .../declarative-programing.html | 2 +- .../dependently-typed.html | 2 +- zettle/programing-languages/dhall.html | 2 +- .../dynamic-programming.html | 2 +- zettle/programing-languages/elixir.html | 2 +- zettle/programing-languages/elm.html | 2 +- zettle/programing-languages/emacs-lisp.html | 2 +- .../functional-programing.html | 2 +- .../garbage-collection.html | 2 +- zettle/programing-languages/gleam.html | 2 +- zettle/programing-languages/glsl.html | 2 +- zettle/programing-languages/haskell.html | 2 +- zettle/programing-languages/html.html | 2 +- zettle/programing-languages/hy.html | 2 +- zettle/programing-languages/idris.html | 2 +- .../imperative-programing.html | 2 +- zettle/programing-languages/javascript.html | 2 +- zettle/programing-languages/lean.html | 2 +- .../programing-languages/linearly-typed.html | 2 +- .../modular-programing.html | 2 +- zettle/programing-languages/monad.html | 2 +- zettle/programing-languages/nix.html | 2 +- zettle/programing-languages/ocaml.html | 2 +- .../procedural-programing.html | 2 +- .../purely-functional.html | 2 +- zettle/programing-languages/purescript.html | 2 +- zettle/programing-languages/python.html | 2 +- zettle/programing-languages/reactjs.html | 2 +- zettle/programing-languages/reason.html | 2 +- zettle/programing-languages/rescript.html | 2 +- zettle/programing-languages/rust.html | 2 +- zettle/programing-languages/scheme.html | 2 +- zettle/programing-languages/sexp.html | 2 +- .../structured-programing.html | 2 +- .../programing-languages/type-families.html | 2 +- zettle/programing-languages/type-system.html | 2 +- zettle/python-dhall.html | 2 +- zettle/runtime.html | 2 +- zettle/runtime/BEAM.html | 2 +- zettle/runtime/kubernetes.html | 2 +- zettle/runtime/openshift.html | 2 +- zettle/runtime/wasm.html | 2 +- zettle/shadow-dom.html | 2 +- zettle/software-development-forge.html | 2 +- zettle/software-factory.html | 2 +- zettle/softwares.html | 2 +- zettle/softwares/gerrit.html | 2 +- zettle/softwares/git.html | 2 +- zettle/softwares/zuul.html | 2 +- zettle/systemd-nspawn.html | 2 +- zettle/user-interface.html | 2 +- zettle/version-control.html | 2 +- zettle/virtual-machine.html | 2 +- zettle/vulkan.html | 2 +- zettle/zurihac.html | 2 +- 378 files changed, 378 insertions(+), 378 deletions(-) diff --git a/-/all.html b/-/all.html index a10d858df..9146c4ab1 100644 --- a/-/all.html +++ b/-/all.html @@ -76,7 +76,7 @@ - +