Skip to content

Instantly share code, notes, and snippets.

@CFiggers
CFiggers / checkout.janet
Created October 25, 2025 14:20
checkout.janet
(use judge)
(use ./dataclasses)
(use ./deep-clone)
(dataclass User
:name :string
:permissions :array)
(def Nobody (user :name "" :permissions @[]))
@CFiggers
CFiggers / Checkout.lean
Created October 25, 2025 14:17
Checkout.lean
structure User where
name : String
permissions : List String
deriving Repr, DecidableEq
def nobody : User := { name := "", permissions := [] }
structure Document where
title : String
owner : User
(import jaylib)
(def width 1920)
(def height 1280)
(def cells 255)
(def rule-30
{[0 0 1] 1
[0 1 0] 1
# John Conway's Game of Life
(def- window
(seq [x :range [-1 2]
y :range [-1 2]
:when (not (and (zero? x) (zero? y)))]
[x y]))
(defn- neighbors
[[x y]]
@CFiggers
CFiggers / init.lua
Last active January 27, 2024 15:58
Minimal Config for Janet LSP in Neovim (using Lazy.nvim + nvim-lspconfig)
vim.g.mapleader = " "
vim.g.maplocalleader = " "
-- Lazy.nvim setup
local lazypath = vim.fn.stdpath("data") .. "/lazy/lazy.nvim"
if not vim.loop.fs_stat(lazypath) then
vim.fn.system({
"git",
"clone",
"--filter=blob:none",
@CFiggers
CFiggers / bluesky.janet
Created October 5, 2023 02:02
bluesky.janet
(import shriek :as http)
(import json)
(import cmd)
(defn request [method url &opt copts mimes]
(default copts {})
(def [bb hb] [@"" @""])
(def opts (merge @{:method method
:url url
:write-function (fn [buf] (buffer/push bb buf))
@CFiggers
CFiggers / right-click-menu.ahk
Last active November 11, 2024 23:29
Custom Right-click Menus in AutoHotkey
; Tested and working using AutoHotkey v1.1.33.09
; Uppercaseing, Lowercasing, and Title casing highlighted text in any editable window is used as an example.
; Create the popup menu, assign to the variable "CaseMenu" (rename as desired)
Menu, CaseMenu, Add, Title Case, AltMenuHandler
Menu, CaseMenu, Add, Upper Case, AltMenuHandler
Menu, CaseMenu, Add, Lower Case, AltMenuHandler
; Create and add a sub-menu for Links
@CFiggers
CFiggers / keychords.ahk
Last active November 11, 2024 23:30
Keychords in Autohotkey
; Tested and working using AutoHotkey v1.1.33.09
awaitKeypress(){
ih := InputHook()
ih.KeyOpt("{All}", "ES") ; End and Suppress
; Exclude the modifiers
ih.KeyOpt("{LCtrl}{RCtrl}{LAlt}{RAlt}{LShift}{RShift}{LWin}{RWin}", "-ES")
ih.Start()
ErrorLevel := ih.Wait() ; Store EndReason in ErrorLevel
result := ih.EndMods . ih.EndKey
// ==UserScript==
// @name Read Scribd Aloud
// @namespace http://tampermonkey.net/
// @version 0.3
// @description When reading a Scribd book, press 'l' to start reading and 'x' to stop.
// @author Caleb Figgers
// @match https://www.scribd.com/read/*
// @icon https://s-f.scribdassets.com/favicon.ico?02e8b6ef6?v=4
// @grant none
// ==/UserScript==
- Bilateral Upper & lower limb weakness (Look at 5 signs: wasting, tone, reflexes, clonus, Babinski)
- **Motor neurone?**
- UMN signs
- LMN signs
- **Pattern of weakness?**
- Proximal weakness
- **Sensation?**
- Sensation abnormal
- Beware cx myelopathy- "glove & socks" numbness
- GBS/CIDP