← Feed

Posts

• View post

  It's just one little constraint bro, what could it cost?

• View post

  Fun fact: 30% of the playing comfort you feel after applying Fast-fret comes from your strings now smelling like Fast-fret

• View post

  Can't believe I've been sleeping on Nickel Creek this whole time

• View post

  I just wasted most of my evening debugging my server's nftables, which I was trying to set up to not ever send container traffic to my tailnet. Turns out I misread the required packet mark 0x80000 as 0x800000. I should really look into network namespaces, and just stuff Tailscale and the relevant services in one of those (is that how it works?)

• View post

  I did the "I want to replace the lightbulb so I'm fixing the shelf so ... so I'm fixing my car" thing: on Monday I wanted to look at VPN providers to find a replacement for Mullvad. So far I have a tiny web service in OCaml, my Emacs set up to write Android apps, and the Android app to communicate with the service. I still haven't looked at a single VPN provider.

• View post

  I know that the campus reopening is important information, but do I really need to receive *5* copies of the email? AFAICT those come from me being - a student at the university - an employee of the university - a person associated with the campus - a person associated with a faculty with offices on the campus - a member of a team with offices on the campus Surely at least the last two are redundant?

• View post

  I'm fighting the urge to buy another guitar, be proud of me

• View post

  > REBASE-i 242/288 I'm tired boss

• View post

  Fucking *GNU LilyPond* now has an AGENTS.md and .agents/skills. And assisted commits don't have any markers AFAICT. What are we doing? This is software for musicians! Whatever, I hope the last release without it (from summer 2024) is clean

• View post

  (the FSCD paper got rejected)

• View post

  Oh how I wish my server with the IRC bouncer hadn't died while I was in a different country

• View post

  Proof assistant called mikan Implements cubicalTT instead of globularTT This is what happens when you stray away from the path of the birb

• View post

  @whitequark do the 88x31 buttons from grebedoc's website exist for git-pages?

• View post

  UIP stands for Uomotopy Iype Pheory

• View post

  LB:

• View post

  The abstract and slides for our TYPES talk "Generating morphism types using parametricity and Trocq" are now available on my website, check them out! This is joint work with Cyril Cohen and Assia Mahboubi. https://vojtechstep.eu/

• View post

  My doctoral school organizes an internal "doctorand day" where doctoral students from different domains are supposed to present their ideas to each other. As far as I know nobody really sees the value of this but participation is mandatory. The program committee assigns every participant either a talk or a poster. A talk means you talk for 10 minutes and then you go home (/back to work). A poster means you need to be there the whole day. Now, I got assigned a poster. I can&am...

• View post

• View post

  In an unexpected turn of events, this evening turned very disappointing (and I haven't even received any news on my FSCD submission). For context, this is what "no consensus" looks like: Original proposed policy, closed: https://github.com/agda/agda/pull/8456 Current proposed policy: https://github.com/agda/agda/pull/8507