Skip to content

Instantly share code, notes, and snippets.

@JeremyOttley
JeremyOttley / sml-compiler.md
Created February 13, 2025 16:45
SML compiler differences
Implementation Primary Use Case Key Strengths Limitations
MLton Production Applications • Best runtime performance
• Efficient native binaries
• Good standards compliance
• Slow compilation speed
• No REPL environment
• Complex multi-file builds
Poly/ML Development & Learning • Fast compilation speed
• Interactive REPL environment
• Simple build process
• Slower runtime performance (2-3x slower than MLton)
• Larger binary sizes
SML/NJ Research & Academia • Mature ecosystem• Good documentation• Strong academic support
@JeremyOttley
JeremyOttley / .OksolarXresources
Created January 4, 2025 15:24
OKSolar theme for Xresources
! special
*.foreground: #839496
*.background: #002b36
*.cursorColor: #839496
! black
*.color0: #073642
*.color8: #002b36
! red
@JeremyOttley
JeremyOttley / clean-up-arch-linux.md
Created December 18, 2024 21:17 — forked from rumansaleem/clean-up-arch-linux.md
Instructions to clean up Arch Linux (Manjaro)

Contents

  • Clean pkg cache
  • Remove unused packages (orphans)
  • Clean cache in /home
  • remove old config files
  • Find and Remove
    • duplicates
    • empty files
    • empty directories
  • broken symlinks
-------------------------------------------------------------------------
USEFUL ONE-LINE SCRIPTS FOR SED (Unix stream editor) Dec. 29, 2005
Compiled by Eric Pement - pemente[at]northpark[dot]edu version 5.5
Latest version of this file (in English) is usually at:
http://sed.sourceforge.net/sed1line.txt
http://www.pement.org/sed/sed1line.txt
This file will also available in other languages:
Chinese - http://sed.sourceforge.net/sed1line_zh-CN.html
@JeremyOttley
JeremyOttley / program.fsproj
Created October 10, 2022 13:35
OSX F# single binary
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<RuntimeIdentifier>osx-x64</RuntimeIdentifier>
<PublishSingleFile>true</PublishSingleFile>
<PublishReadyToRun>true</PublishReadyToRun>
</PropertyGroup>
@JeremyOttley
JeremyOttley / base.css
Last active September 26, 2022 08:20
100 bytes
/* **max-width:** `70ch`
> the "readable range" is usually 60-80 character widths, and CSS lets you express that directly with the `ch` unit.
**padding:** `3em 1em`
> If the display's width goes under the max-width set above, then this padding prevents edge-to-edge text on mobile. We use `3em` to provide top/bottom whitespace.
**margin:** `auto`
> This is really all that is needed to center the page - applied on html, because Dan's site doesnt have a semantic <main> tag and <html> is more likely to exist in most sites. That the top tag centers itself relative to nothing is unintuitive, but thats how browsers do.
**line-height:** `1.75`
-d:release
-d:strip
--opt:size
--gc:arc
hint[XDeclaredButNotUsed]=off
#!/usr/bin/env joker
(ns script
(:require [joker.tools.cli :as cli]
[joker.os :as os]))
(def opts
[["-c" "--channel VALUE" "Choose Twitch Channel"]
["-v" "--version" "Show version information"]
["-h" "--help" "Show this summary"]])
\NeedsTeXFormat{LaTeX2e}
\ProvidesClass{zapf}[2020/07/28]
\LoadClass{scrreprt}
\RequirePackage[scaled=0.88]{beraserif}
\RequirePackage[scaled=0.85]{berasans}
\RequirePackage[scaled=0.84]{beramono}
\RequirePackage{classicthesis}
\RequirePackage[T1]{fontenc}
\RequirePackage{mathpazo}
@JeremyOttley
JeremyOttley / premiere-layout.txt
Created July 7, 2020 13:33
Davinci Resolve "Adobe Premiere Keyboard Layout" [NOTE: These presets were made on a Mac] https://forum.blackmagicdesign.com/viewtopic.php?f=21&t=91687
editAutoSelectToggleAudio6 := Alt+6
editAutoSelectToggleAudio7 := Alt+7
markMarkerClear := Ctrl+Shift+0
editAutoSelectToggleAudio8 := Alt+8
editBlade :=
editLinkedSelection := Ctrl+Shift+L
editNudgeTrimStepTrimMultiFrameRight := Shift+. | Ctrl+Shift+Right
editM2SplitClip := Ctrl+Shift+J
sessionPrinterLightsYelQuarterPlus := Ctrl+Num+3
controlClipPrev := PgUp