< 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 apple56 appletv4 architecture1 art8 birthdays9 brutalism1 claudine15 cryptography7 css4 design3 disney+2 elders1 family8 finances3 fonts10 food12 friends34 games32 github2 google16 health11 help6 holidays8 horsie38 html3 hugo21 hulu6 humans18 humour32 interesting11 japan32 kdramas9 lawn7 life6 llm35 manga9 martin6 me89 memes1 movies38 mum16 music3 netflix24 nyc8 oobie13 paramount1 philosophy10 politics68 prime3 quotes1 random39 rants68 re6 ring1 science2 selfhost10 series46 social21 staticgen3 tech132 tesla5 themet4 thoughts50 travels3 tubes74 unix5 via41 videos7 weather17 woodblock4 work28 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