< Notes...
“there really are no uninteresting things...”

Found 2 notes tagged as “github”, as shown below. All notes in chronological order.

See all available tags...

ageing1 amazon4 apple57 appletv4 architecture1 art8 birthdays9 brutalism1 claudine15 cryptography7 css4 design3 disney+2 elders1 family9 finances3 fonts10 food12 friends34 games33 github2 google17 health12 help6 holidays11 horsie38 html3 hugo21 hulu6 humans18 humour35 interesting11 japan32 kdramas9 lawn8 life6 llm35 manga9 martin8 me90 memes1 movies38 mum16 music3 netflix24 nyc8 oobie15 paramount1 philosophy10 politics70 prime3 quotes1 random41 rants71 re9 ring1 science3 selfhost10 series46 social21 staticgen3 tech138 tesla5 themet4 thoughts57 travels3 tubes76 unix5 via45 videos7 weather18 woodblock4 work30 wwdc3 youtube7

◉ 05 Nov 2025 @ 07:58:06

Hmm, Source Sans 3 is some sexy, open source, font! Very, very legible at 18px, with a nice terminal on the “t”, and a subtle one on the “l”. Lovely!

fonts github
◉ 30 Apr 2023 @ 22:20:26

I have moved this one out of GitHub. With this move, I now do not have any website running on that service. It served me well for years, but now it is time to move on. It will remain my go to for git repositories, but nothing else.

github tech