← Feed

Posts

• Post #2139010

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

• Post #1809103

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

• Post #1809099

  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!

• Post #1809097

  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?

• Post #1809096

  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/

• Post #1809094

• Post #1809093

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

• Post #1809092

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

• Post #1809091

  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...

• Post #1809090

  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 &...

• Post #1809089

  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