< 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 apple55 appletv3 art7 best12 birthdays8 claudine14 cryptography7 css4 design2 elders1 family6 finances1 fonts9 food12 friends32 games32 github2 google15 health11 help6 holidays3 horsie36 html3 hugo21 hulu4 humans17 humour30 interesting9 japan30 kdramas8 lawn7 life5 llm32 manga9 martin4 me84 memes1 movies36 mum16 music3 netflix23 nyc8 paramount1 philosophy10 politics65 prime3 quotes1 random38 rants60 re5 science2 selfhost10 series43 social16 staticgen3 tech127 tesla5 themet4 thoughts45 travels3 tubes67 unix5 via38 videos7 weather15 woodblock4 work25 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