- CT: Category Theory
- FP: Functional Programming (typically meaning more pure functional programming)
- TFP: Total Functional Programming
- TDD: Type Driven Development (e.g. via Idris or Agda)
- TT: Type Theory
- PLT: Programming Language Theory
Alberto Zaccagni lazywithclass
maxweber
/ eval-app.bb
Created
May 27, 2026 12:41
Evaluate Clojure code in the running app (written by Claude)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bb | |
| ;; ============================================================================= | |
| ;; eval-app - Evaluate Clojure code in the running app | |
| ;; ============================================================================= | |
| ;; | |
| ;; This tool connects to the nREPL of the app running evaluates Clojure code. | |
| ;; Useful for inspecting app state, querying the database, or debugging issues | |
| ;; in the running system. | |
| ;; |
mbbx6spp
/ category-theory-study-materials.org
Last active
December 20, 2025 06:56
List of books/lecture series/courses/conference talks and practices used to learn about category theory, functional programming, and dependent types by a software developer in industry who has limited time to do this stuff with some suggestions on how to consume the material.
sindresorhus
/ post-merge
Last active
April 24, 2026 10:29
git hook to run a command after `git pull` if a specified file was changed.In this example it's used to run `npm install` if package.json changed and `bower install` if `bower.json` changed.Run `chmod +x post-merge` to make it executable then put it into `.git/hooks/`.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| # MIT © Sindre Sorhus - sindresorhus.com | |
| # git hook to run a command after `git pull` if a specified file was changed | |
| # Run `chmod +x post-merge` to make it executable then put it into `.git/hooks/`. | |
| changed_files="$(git diff-tree -r --name-only --no-commit-id ORIG_HEAD HEAD)" | |
| check_run() { | |
| echo "$changed_files" | grep --quiet "$1" && eval "$2" |