Meetups/Infra/2025-11-17

Windows (cmd + powershell, file systems), Joys of terminal & sharing favorite workflows, nix nix nix, & LEAN proof language - "noisebridge/nb-infra/twitch plays Natural Numbers Game" after the meeting.

Introductions

• [name] - [background]. [goals for meetup, or interests to explore]

• Loren - doing some scraping work & anti-scraping for noisebridge
• Harrison - background
• Vivian - build pc/s, for the last half-decade. just graduated, looking for a job. (FUSE driver fever dream project)
• John -- here to show vivian around sf. Specialization in computer graphics, interest in render server farms
• Lulu - here to learn
• Derek - programmer, dropped out of physics. Want to work through XV6, a meetup.
• Jacob - student at SFSU, 2nd to last semester, tonight want to learn about esp32
• Miko - math & phyiscs background, ran first publicly listed crypto company. Here to learn, eat quesidilla
• Greg - home lab, want to talk LEAN,
• Max - work on scraping, with llm extraction. Interested in helping NB with anti-scraping
• Cole - linux software guy, recent grad looking for work, curveball (often linux cmd line stuff), windows fs stuff.
• Dan - 15 years using linux, DSP stuff.
• Ellie - like terminals quite a lot, trying to rediscover joys of computers after selling my soul at work
• Eric - like to do hardware stuff, more about security & log-on stuff
• We-z - digital pirate, digital pricy. Currently crawling
• Oliver - really hate typing,
• Robert - interested in tons of technology, local LLMs

Lesson or Demo

• Read aloud: clarify for meetup. We are taking notes in a riseup pad (or I am--help appreciated, and links). We have meeting notes posted to the wiki. noisebridge.net, search Infra, or Meetups/Infra. (the Infrastructure page has a disambiguation link.)
• Shell, web services, self-hosting, networking!

• LEAN - https://adam.math.hhu.de/#/g/leanprover-community/NNG4
• https://hrmacbeth.github.io/math2001/ - step after natural numbers game
• real analysis: https://alexkontorovich.github.io/2025F311H/

• Newton OS.

• What's up with Windows? cmd + powershell, file system (NTFS, ReFS / server), FAT / FAT32, ExFAT WSL
  • FAT32, for booting, from partition.
  • ReFS resilient FS, taking inspiration from btrfs, zfs.

• • batch https://github.com/harrisonkuo/ocfwin32
    • greg: if you feel an impulse to apologise for the quality of the code ... that's a sign of a bad system

• LEAN - https://adam.math.hhu.de/#/g/leanprover-community/NNG4
• https://hrmacbeth.github.io/math2001/ - another resource
• Neat blog post about shells: https://jyn.dev/the-terminal-of-the-future/
• https://www.nushell.sh/
  • https://www.youtube.com/watch?v=WWlnRWbOlho Tulip shell language talk

microsoft has known their scripting solutions are bad, for a long time. They explored a javascript run time.

• Joys of terminal & workflow

• • Dan - tldr.sh -- e.g. with jq. Saves you the first minute using a tool,
    • Loren see also - cht.sh

• • got forgejo working with nix

• • Cole - neovim setup
    • DoomNvim, "kickstart"
    • Max - helix -- like vim, but forces you not to configure it. Evil-Helix. for vim

• • Max - showing how I process large repositories, mosly open source.
    • using repomix command. Go use google ai studio, 1M tok context window

repomix: https://github.com/yamadashy/repomix repomix && cat repomix-output.xml | xclip -selection clipboard

• • nice to make, have: a command to make a repo, if your push files

• • Loren
    • watch -- e.g. i=1; while ! fping -r0 0.0 ; do read -t $((i=2*i)); done | ts
    • https://github.com/akavel/up
    • watchexec -- trigger by, e.g. file update, or web-server restart
    • ts, more utils
    • echoeval
    • fzf -- incl ctrl-r bash/shell history ++++
    • fd - fd-find
    • nix on macOS
    • nixpkgs# nix-search
    • nixpkgs# nh

• • greg
    • NixOS series, deploying nixos configuration - deploy.rs
    • custom nixos vps configurations for the cloud

qcow2 + custom digital ocean pakges
* supported formats: https://github.com/nix-community/nixos-generators?tab=readme-ov-file#supported-formats

• via https://crystalwobsite.gay/posts/2025-01-26-nixos_vm_image

• Xe Iaso talk on using Nix to build docker images: https://xeiaso.net/talks/2024/nix-docker-build/

Outros

• w-ez -- brew instsalled tldr! "map top" both a linux command and a grinder bio.
• ellie -- ts, and pee, moreutils
• dan - ts, another look at nix -- maybe determinate systems installer
• max - lots about various commnads, writing aobut systemd in exhaustive depth
• greg - this nix nh thing, nix helper (via nix home-manager)
• max - thinking about how to self-host, go with playwright. Like fd, and tldr. Want learn: mime types & xdg-open, related
• miko -- more about the natural number game
• robert - unique linux operating systems
• Derek - llms should be able to take drudgery out of system. Ellie, runbooks, sharing data? stringly typed now, dataframes,
• Lulu - learned about the shell,
• Erik - pee, see moreutils
• Miko - uv / rye

pixi -- supports conda stuff. Same backend as uv,

• Loren - want to commit & communicate

another time: sed / grep / awk session

Questions, Discussion, or Coworking

• [Issue]

For next time

Readings & Exercises

• Readings
• Exercises

Join online

• Try it yourself!
  • Join libera.chat #nb-meetup-infra

https://www.noisebridge.net/wiki/Meetups/Infra