• JorisL blog

    My personal blog

  • Tags
  • Archive
  • Streams
  • About
  • ☽
  • Search

    Z3 intransitive dice

    October 2024

    Z3 intransitive dice

    Using the Z3 theorem prover in Julia to generate 'rock-paper-scissor dice'. read more →

    October 2024
    • programming
    • Julia
    • Z3

    Munipacking through the highlands

    October 2024

    Munipacking through the highlands

    Off-road unicycle backpacking through the Scottish Highlands. read more →

    October 2024
    • unicycling

    Writing a simple lisp in LabVIEW and Nim

    January 2023

    Writing a simple lisp in labview and nim

    Making my own programming language, first in LabVIEW and then in Nim. read more →

    January 2023
    • programming
    • lisp
    • LabVIEW

    Helix, Python, and Poetry

    November 2022

    Helix, python, and poetry

    Setting up the Helix editor and python-lsp-server for poetry projects. read more →

    November 2022
    • programming
    • python
    • helix

    Removing password from protected Excel cells

    June 2022

    Removing password from protected excel cells

    How to remove password protection from protected Excel cells using Emacs. read more →

    June 2022
    • Emacs
    • Excel

    Generating juggling siteswaps

    March 2022

    Generating juggling siteswaps

    Generating juggling patterns in Julia using graph theory. read more →

    March 2022
    • programming
    • Julia
    • juggling

    Automatic differentiation & dual numbers

    March 2022

    Automatic differentiation & dual numbers

    Implementing automatic differentiation in Julia using dual numbers. read more →

    March 2022
    • programming
    • Julia

    Debunking the Kubie 'energy saving device'

    August 2021

    Debunking the kubie 'energy saving device'

    Debunking the Kubie 'energy saving device'. read more →

    August 2021
    • scam