Håkon R. Gylterud
@gylterud.bsky.social
Perpetually beta testing reality — results inconclusive. https://hakon.gylterud.net/
I have also acquired this! Would look silly if I had to open my iPhone to look at my contact list.
Håkon R. Gylterud@gylterud.bsky.social · 2mo agoI have gotten myself a landline phone. Look at this beauty! And it works too. I have it connected via VoIP.
I have gotten myself a landline phone. Look at this beauty! And it works too. I have it connected via VoIP.
Comment on HackerNews on a blog post claiming that “Design is Compromose”
I got a Glycine Airman Purist Noon. One of a few models with 24 hour faces. Definitely a different feel following it around the day. Also got a nice selection of NATO straps for it. #watch
Got a new piece of #furniture! This wardrobe uses to be an IKEA Billy, until we painted and decorated it with the cut outs of wallpaper. Stuck in some nice Italian handles too!
Flowers are such a thankful motif for #photography. They stand still, don’t complain about having their picture taken and are so naturally beautiful that photographing them feels like cheating.
ℤ₂ × ℤ₂ symmetry in the wild! Also had me some good Lebanese food here.
The motifs on this picture are bigger than they appear!
Oslo in the summertime! (This title doubles as a song recommendation – check it out!)
Parks are invaluable in cities. Even when if I am just hurrying from A to B, if I pass through a park I feel a sense of relief and calm. #photography #urbanlife #calm
This crow showed up to keep me company while I was enjoying the view from a nearby mountain top this weekend. #crow #nature #photography #mountain
I’d forgotten what an explosion of joy this record is, especially side 2 #neverlovedelvis #wonderstuff I’m sure Miles is singing about some really deep and traumatic experience involving hair products (I had the same hair at the time, so I know about these things) but the music is transcendent
New article out today! (Actually, it’s been on arXiv for a while) #HoTT #mathematics #mscs doi.org/10.1017/S096...
The category of iterative sets in homotopy type theory and univalent foundations | Mathematical Structures in Computer Science | Cambridge Core
The category of iterative sets in homotopy type theory and univalent foundations
doi.org
This is more or less the colour of the #sky these days. Beautiful #sunset before four in the afternoon… #photography
Håkon R. Gylterud@gylterud.bsky.social · 2y agoLonging for the #mountains! #sky
