← Feed

Posts

• View post

  #music Niels W Gade: Violin Concerto in D minor, Op. 56 (the "W" stands for "Winner"): https://www.youtube.com/watch?v=lecOb2MKYl8 Danish music is extremely underrated.

• View post

  Does anyone have experience with self-hosted Git? I am currently using Gitea but it updates so fast (including security fixes) that I cannot keep up with it.. I am considering going back to just using cgit (which is annoying to configure). Does anyone have any pointers?

• View post

  Salman Rushdie on Voltaire's Candide: spotting a fresh eye patch, it looks like they are going to make the whole series https://www.youtube.com/watch?v=wgk5gXEEV9U

• View post

  @StefanEJones@dice.camp Love the comic, will you share the prompt that you used?

• View post

  @MartinEscardo@mathstodon.xyz an an eraser for the pencil!

• View post

  pet in de hand fiets aan de kant wij staan stil in dit land

• View post

  How to make a better pen/pencil clip by using springs https://www.youtube.com/watch?v=bFDt3lUzVPc

• View post

  Maxim Vengerov plays Tchaikovsky's Violin Concerto with Tokyo Philharmonic, 1993: https://www.youtube.com/watch?v=Ydg64SXfOJI This guy should have more subscribers on his channel!

• View post

  Since there are a lot of type theory folks here, maybe someone can help me out Does anyone know a good overview/reference of how to make gradual typing (somewhat) sound without destroying performance?

• View post

  The dreams are coming true: France is ushering a new age of Linux. Could 2027 finally be the year of Linux on Desktop? (probably not) https://www.zdnet.com/article/france-leaves-windows-for-linux-desktop/

• View post

  RE: https://social.edu.nl/@Bibliothecaris/116447609411644671 good

• View post

  Does anyone remember [Darcs](https://darcs.net/)? It was genuinely a nice interesting system, but seems completely dead now

• View post

  Here is an ``interesting'' question I have in type theory, and it has to do with Leibniz equality. In type theory, we can formalize a version of Leibniz equality principle on sets as a type ``` Leq(A, a, b) ≡ ∏ (P : A → hProp), P a = P b ``` where `A : hSet`. I.e. two things are equal if no proposition can distinguish them. Thus we 'explain' equality in an hSet in terms of hProp-predicates. In case `A : hSet`, the defined Leibniz equality coincides with the us...

• View post

  One of my favourite harpists is the brilliant Lavinia Meijer. And she is out with a new album, full of her own arrangements Please check it out if you like baroque music or just harp music: - https://open.spotify.com/album/6t5pw5WCiQlpmo0aIkejXk - https://classical.music.apple.com/us/album/1860263402