< 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 apple58 appletv5 architecture1 art8 birthdays9 brutalism1 claudine15 cryptography7 css4 design3 disney+2 elders1 family10 finances3 fonts10 food13 friends35 games33 github2 google17 hbomax1 health14 help6 holidays11 horsie38 html3 hugo21 hulu6 humans20 humour37 interesting12 japan32 kdramas9 lawn8 life7 llm35 manga9 martin8 me94 memes1 movies39 mum16 music3 netflix24 nyc9 oobie17 paramount1 philosophy10 politics74 prime3 quotes1 random43 rants71 re9 ring1 science3 selfhost10 series49 social21 staticgen3 tech139 tesla5 themet4 thoughts60 travels3 tubes78 unix5 via47 videos7 weather19 woodblock5 work32 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