Debug Page

This is a debug page

It’s for me to see how things look, but I also keep random notes here

• accessibility - how to test
• Small, loads fast
• Pretty, but not too complicated
• doesn’t waste visual space - either occupied or fully empty - <p> tags in lists
• Renders consistently across browsers - CSS reset?

• Content

  • Blog

    • site set-up?

      • 45% sRGB coverage
      • on uses page? - at least to start

    • Projects

      • EBAZ4205

        • got boards

        • soldered power wires

          • jtag - only need uart -> u-boot access?
      • Typst Discord App

    • Computer science is not science

      • Math bits
      • Engineering bits - hillelwayne

      • Functional programming is constructive mathematics

        • Imperative programming is programming in IO/ST but with syntax sugar
      • Programs are mathematical structures/objects - refactoring/changing?
      • Mathematical engineering - engineering that creates mathematical structures

    • We have normalized a broken internet

      • The internet is a global machine that routes packets from point to point
      • When you connect to the internet, you will send and recieve packets
      • If your computer (device) does something weird when it recieves packets, that is largely the fault of the device, rather than the internet

      • Middleboxes are weird and cringe

        • Firewalls are sometimes useful, if you want them

          • I’m paying my ISP to deliver me packets, they should give me my packets!
      • NAT is feasible when you use it to make outgoing HTTP requests to big content providers

      • Problem I have: I want my machines to be able to connect to eachother

        • NAT on IPv4 - can port forward; many can’t

        • IPv6 - Google wifi only supports port forwarding!

          • Only to things that do DHCP, not SLAAC
          • Machine has 2 ips, one has  1100ms higher avg ping time

      • Solution: yggdrasil

        • Globally routable! My packet routing machine actually routes packets!

      • What IP does legitimately lack

        • Roaming - connect to a given identity regardless of where it is

          • IP addresses are location as much as identity
        • Network-level encryption, rather than application-level
        • IP address is cryptographic identity, can’t spoof

        • anonymity

          • https://reticulum.network/
          • Tor
          • i2p
        • decentralized address allocation - not that bad? provided there are enough

        • https://www.iroh.computer/

          • Fix routing
          • Encrypted
          • Dial identity rather than location

      • Fix-routing-encrypt-traffic-and-provide-a-firewall platforms:

        • Make sure I’m not missing something/underselling
        • Nebula
        • https://netbird.io/
        • Netmaker
        • https://tailscale.com/
        • https://www.zerotier.com/

      • IPv6 is really cool

        • Enough addresses

        • Route packets!

          • not just TCP/UDP - when is this relevant?
          • No middleboxes means stuff like mpTCP
        • separate global unicast and special addresses
        • Automatic LLAs
        • Enough ULA space to not have colisions

      • Refusing to update to IPv6 is insane

        • Artificial scarcity for numbers - there are a lot of numbers!
        • Rent-seeking
        • Speculative trading

        • Neo-colonialism - AFRINIC crisis - needs research

          • https://www.youtube.com/watch?v=nLNh-vvofpo&t=995s

          • https://www.youtube.com/watch?v=p2hbeyxETQA

          • https://www.heise.de/en/news/Afrinic-crisis-forces-reform-of-global-IP-address-management-10367454.html

          • https://www.afrinic.net/communique-response-to-member-concerns-on-misinformation-campaign-regarding-afrinic-s-ratified-policy-2020-gen-006-d3

          • https://afrinic.net/policy/proposals/2020-gen-006-d3#proposal

          • https://www.internetgovernance.org/2021/08/19/a-fight-over-crumbs-the-afrinic-crisis/

          • https://arxiv.org/pdf/2308.12436

          • https://apnews.com/article/technology-business-africa-china-uganda-5462f03bbd75bf9724a26623295fbf0e

          • LLM-generated?

            • https://circleid.com/posts/mauritius-steps-in-unraveling-the-afrinic-crisis-and-its-impact-on-african-internet-governance
            • https://alicemunyua.substack.com/p/the-missing-women-in-afrinics-story
            • https://www.online.dnsafrica.org/2025/07/14/afrinic-in-crisis-a-critical-review-of-its-challenges-responsibilities-and-the-road-ahead/
            • https://www.online.dnsafrica.org/2026/02/19/afrinic-denounces-misinformation-campaign-following-ratification-of-major-ip-resource-policy/
            • https://btw.media/afrinic/afrinic-election-voter-fraud/
            • https://btw.media/afrinic/afrinic-crisis-deepens-as-icann-control-challenged/
            • https://btw.media/all/internet-governance/from-regional-registry-to-receivership-what-afrinics-collapse-means-for-africas-internet-development/

      • TLS - incl. IP certs

        • Encryption
        • Verifyable identity

    • Nix Flakes thoughts:

      • self implicit fixpoint is neat.
      • Pure eval is nice, there should be better non-flakes ways of using it

      • The way it fetches local git repos (eg self) is cringe

        • abc123-dirty
        • My JJ-integrated way is nice
    • Hakell nix setup: deps w/ nix, hie.yaml for lsp args, build via nix

    • Computer toucher manifesto

      • don’t interact with tech as a consumer
      • understand the process, don’t just mess around till something randomly works - bringus
      • prefer mainline (u-boot, linux, etc.) to vendor forks
      • full control of as much as possible is cool (but hard & time-consuming)

      • Examples

        • NixOS config/dotfiles
        • custom coreboot on chromebook

  • Preprint/preblog for stuff that’s not fully done?

    • different font?

  • contact/hire me

    • resume
    • the accounts I control - exhaustive if possible
    • keys
  • dotfiles/projects
  • guestbook?

  • blogroll

    • recent articles I enjoyed
    • all-time good blog posts
  • math notes?

  • wishes/wants/gifts?

    • I don’t derive pleasure from having possessions on shelves
    • Plants
    • Old computers
    • Cash?
    • Small entry table
    • USB-C laptop chargers

    • hats

      • Solvem Probler
      • Women want me; the minds of fish are unknowable
  • ideas?

  • Fun interactive things

    • Edit all the things!
    • cat - what did I mean by this? image?
    • cryptocurrency miner?
    • spotlight effect
    • rotating, bouncing model - food? sandwich, a la rotatingsandwiches.com? - how
    • Show IP info - from webRTC?

• Styling

  • Narrow screens

    • Scrollbars?
    • Hide logo - show smaller nav elem? - https://developer.mozilla.org/en-US/docs/Web/CSS/Reference/At-rules/@media/overflow-block
    • header vertical, nav horizontal
  • Center H1 on page
  • rainbows?
  • Variable fonts w/ animations
• Subset fonts?

TODO

• 404 page
• debug page: auto-generated sitemap or smth

Quotes

• I have a vested interest in making my own life hard - Bread on Penguins
• Claude, please take a long look in the mirror for me and figure out what kind of person I’ve become.
• Our task, as the older generation, is to shield the young from those who would exploit their naïveté, without affecting them with our own accululated pain and cynicism. - Andrew Kelley
• The preference human network operators have for addresses that are simple to type should not be underestimated. - RFC 8215
• with juuuuust enough technical veneer, we will get VERY excited about a big corporate marketing event - @sloane, lobste.rs - anthropic bun post

Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magnam aliquam quaerat voluptatem. Ut enim aeque doleamus animo, cum corpore dolemus, fieri tamen permagna accessio potest, si aliquod aeternum et infinitum impendere malum nobis opinemur. Quod idem licet transferre in voluptatem, ut postea variari voluptas distinguique possit, augeri amplificarique non possit. At etiam Athenis, ut e patre audiebam facete et urbane Stoicos irridente, statua est in quo a nobis philosophia defensa et collaudata est, cum id, quod maxime placeat, facere possimus, omnis voluptas assumenda est, omnis dolor repellendus. Temporibus autem quibusdam et aut officiis debitis aut rerum necessitatibus saepe eveniet, ut et voluptates repudiandae sint et molestiae non recusandae. Itaque earum rerum defuturum, quas natura non depravata desiderat. Et quem ad me accedis, saluto: 'chaere,' inquam, 'Tite!' lictores, turma omnis chorusque: 'chaere, Tite!' hinc hostis mi Albucius, hinc inimicus. Sed iure Mucius. Ego autem mirari satis non queo unde hoc sit tam insolens domesticarum rerum fastidium. Non est omnino hic docendi locus; sed ita prorsus existimo, neque eum Torquatum, qui hoc primus cognomen invenerit, aut torquem illum hosti detraxisse, ut aliquam ex eo est consecutus? – Laudem et caritatem, quae sunt vitae sine metu degendae praesidia firmissima. – Filium morte multavit. – Si sine causa, nollem me ab eo delectari, quod ista Platonis, Aristoteli, Theophrasti orationis ornamenta neglexerit. Nam illud quidem physici, credere aliquid esse minimum, quod profecto numquam putavisset, si a Polyaeno, familiari suo, geometrica discere maluisset quam illum etiam ipsum dedocere. Sol Democrito magnus videtur, quippe homini erudito in geometriaque perfecto, huic pedalis fortasse; tantum enim esse omnino in nostris poetis aut inertissimae segnitiae est aut fastidii delicatissimi. Mihi quidem videtur, inermis ac nudus est. Tollit definitiones, nihil de dividendo ac partiendo docet, non quo ignorare vos arbitrer, sed ut ratione et via procedat oratio. Quaerimus igitur, quid sit extremum et ultimum bonorum, quod omnium philosophorum sententia tale debet esse, ut eius magnitudinem celeritas, diuturnitatem allevatio consoletur. Ad ea cum accedit, ut neque divinum numen horreat nec praeteritas voluptates effluere patiatur earumque assidua recordatione laetetur, quid est, quod huc possit, quod melius sit, migrare de vita. His rebus instructus semper est in voluptate esse aut in armatum hostem impetum fecisse aut in poetis evolvendis, ut ego et Triarius te hortatore facimus, consumeret, in quibus hoc primum est in quo admirer, cur in gravissimis rebus non delectet eos sermo patrius, cum idem fabellas Latinas.