bbs-over-dns
bbs-over-dns.commicroforum in DNS TXT records
Типизированная математика by suhr
suhr.github.io/tmathUnderstanding Real-World Concurrency Bugs in Go
songlh.github.io/paper/go-study.pdfRefinement Proofs in Rust Using Ghost Locks
arxiv.org/pdf/2311.14452Something about tying abstract models to Rust programs, looks useful.
Folk Computer
folk.computer/notes/tableshotsAn IRL spatial computer making use of printed codes to do stuff.
wayback: a personal web archiving tool.
github.com/wabarc/waybackWayback is a web archiving and playback tool that allows users to capture and preserve web content. It provides an IM-style interface for receiving and presenting archived web content, and a search and playback service for retrieving previously archived pages. Wayback is designed to be used by web archivists, researchers, and anyone who wants to preserve web content and access it in the future.
TIGER_STYLE.md: TigerBeetle’s code style guidelines
github.com/tigerbeetle/tigerbeetle/blob/main/docs/TIGER_STYLE.mdnvim-dap-virtual-text: shows variables values in virtual text
github.com/theHamsta/nvim-dap-virtual-textLooks useful if I ever install DAP.
stalwart: all-in-one mail server
github.com/stalwartlabs/mail-serverMay be a replacement for a current postfix+dovecot+rspamd+L+ratio setup. Notably supports JMAP, although most clients don’t anyways.
telescope-ast-grep.nvim: AST grep extension for telescope.nvim
github.com/ray-x/telescope-ast-grep.nvimUses ast-grep, so tree-sitter, not LSP, but still potentially useful.
A Nix DSL for defining DNS zones
github.com/nix-community/dns.nixrustaceanvim: fork of rust-tools.nvim
github.com/mrcjkb/rustaceanvimHas some interesting features like “View HIR”, grouped code actions and failed test diagnostics.
nix-output-monitor: fun build progress display
github.com/maralorn/nix-output-monitortrippy: A network diagnostic tool
github.com/fujiapple852/trippyLooks super cool, I’ll have to remember it when I next need to do network diagnostics.
mini.ai: Neovim Lua plugin to extend and create `a`/`i` textobjects. Part of 'mini.nvim' library.
github.com/echasnovski/mini.aiInteresting for tree-sitter textobjects.
cdmill/neomodern.nvim: A collection of modern themes for Neovim
github.com/cdmill/neomodern.nvimCould it be?.. A sensible looking Neovim colorscheme?..
srgn: tree-sitter-aware text replacement tool
github.com/alexpovel/srgnLooks useful, although I don’t remember any context in which it would be useful. Worth a try anyway.
Best-Effort Extent-Same, a btrfs dedupe agent
github.com/Zygo/beesProbably useful if I ever run out of disk space.
may: rust stackful coroutine library
github.com/Xudong-Huang/mayLooks interesting, supports cancellation and other useful stuff.
Sjlver/psst: Paper-based Secret Sharing Technique
github.com/Sjlver/psstPen-and-paper secret sharing, looks fun. Don’t know how I would ever use this though.
pineapple: colorscheme previewer for neovim
github.com/CWood-sdf/pineapplethe nix iceberg
cohost.org/leftpaddotpy/post/3885451-the-nix-icebergsadly, doesn’t provide links, but most is googlable
RalfJung/cargo-careful: Execute Rust code carefully, with extra checking along the way
github.com/RalfJung/cargo-carefulEnables std debug assertions + presents an interface for building with a sanitizer.