Skip to content

Instantly share code, notes, and snippets.

View iamtimmy's full-sized avatar

Timmy iamtimmy

  • Netherlands
View GitHub Profile
@iamtimmy
iamtimmy / tern.nix
Created October 5, 2026 19:18
Nix derivation for tern
# Tern 0.4.5 (https://tern.sh), packaged from the upstream prebuilt release
# tarballs for x86_64-linux and aarch64-linux (glibc builds).
#
# This is the single source of truth for the tarballs, their hashes and the
# derivation. flake.nix and devenv.nix both call it, so there is exactly one
# place the binary is defined.
{
lib,
stdenv,
autoPatchelfHook,
@iamtimmy
iamtimmy / jobwrap.zig
Last active October 5, 2026 00:35
Run one command inside a Windows Job Object, so a test run cannot take the whole machine with it. Generated with dsv4.1f.
//! jobwrap — run one command inside a Windows Job Object, so a test run cannot
//! take the whole machine with it.
//!
//! Why this exists: the gates in this repo (`zig build test|corpus|conformance`)
//! run with no per-run resource policy at all. A gate is a process tree —
//! compilers, test runners, child interpreters — and when several workers run
//! one at the same time the box saturates: the 60 s conformance watchdog starts
//! firing on a file that passes alone (AGENTS.md §3, the watchdog subsection)
//! and every other run on the machine loses turns. This wrapper is the missing
//! per-run policy: bounded memory, bounded process fan-out and a hard CPU cap,
@iamtimmy
iamtimmy / set_explorer.reg
Created March 1, 2025 17:03
registry files to set and unset filepilot as the default file manager.
Windows Registry Editor Version 5.00
[HKEY_CLASSES_ROOT\Drive\shell]
@="none"
[-HKEY_CLASSES_ROOT\Drive\shell\open]
[HKEY_CLASSES_ROOT\Directory]
@="File Folder"