← 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

  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

• 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

  An interesting survey from the Kyiv International Institute of Sociology on the attitude of Ukrainian people towards different ethnicities and nationalities. The respondents were asked to rate different ethnicities on the scale from 1 to 10, where 1 means "I'd treat them like my family" and 7 means "I'd not allow them to enter the country" In a true Eastern European fashion, no group has managed to get an average score below 2 (which means &...

• 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