HackerTrans
トップ新着トレンドコメント過去質問紹介求人

viscousviolin

no profile record

投稿

Introduction to Formal Real Analysis

alexkontorovich.github.io
1 ポイント·投稿者 viscousviolin·5 か月前·1 コメント

Lean Game Server

adam.math.hhu.de
2 ポイント·投稿者 viscousviolin·6 か月前·0 コメント

Linear Algebra Game

adam.math.hhu.de
2 ポイント·投稿者 viscousviolin·6 か月前·0 コメント

An Elizabethan mansion's secrets for staying warm

bbc.com
185 ポイント·投稿者 viscousviolin·6 か月前·180 コメント

コメント

viscousviolin
·3 か月前·議論
Does it usually get taught in the undergrad maths curriculum?
viscousviolin
·3 か月前·議論
Seems like Katex from the scripts getting loaded. I love the design too, kinda medieval-chic.
viscousviolin
·3 か月前·議論
Today I learned there's a CSS property for styling the first letter of a paragraph, neat. (https://css-tricks.com/almanac/properties/i/initial-letter/)

--edit: The font used for those initials is called Goudy Initialen: https://www.dafont.com/goudy-initialen.font
viscousviolin
·4 か月前·議論
Thank you!
viscousviolin
·4 か月前·議論
Is there a notification channel you can subscribe to / look at if you want to stay up to date on compromised PyPI packages?
viscousviolin
·4 か月前·議論
That's a great find. My personal favourite so far from Dust is "Laboratory Conditions": https://www.youtube.com/watch?v=1N25e4Ss34Q
viscousviolin
·4 か月前·議論
That's a lovely bit of automation.
viscousviolin
·5 か月前·議論
I've never read up on the republic of Venice, but after quickly scanning the Wikipedia article on its election procedure... that is a strangely large number of voting rounds and lotteries.
viscousviolin
·5 か月前·議論
Agreed, I'm not sure if it can be made to work either. I have an inkling of a thought that instead of an egalitarian society being required for lottocracy to work, an egalitarian society can be created using lottocracy. But it's just a thought. Hopefully that book holds something close to an answer, but I'll see :)
viscousviolin
·5 か月前·議論
It's a potentially big problem for sure. It reminds me of stories I've heard about the public education system in some of the Scandinavian countries. From what I remember off the top of my head, Finland has a system where private educational facilities do not exist. Meaning that, if rich or otherwise elite people want their kids to receive a good education, they need to support the public education facilities their own kid attends. I quite like this idea that everyone is nudged towards helping everyone else, even if they mostly care about their own family and friends.

Similarly in a lottocracy you'd want everyone to be a capable leader when their name is picked from the hat. As the professor I listened to put it, lottocracy makes you think what a democracy really values. Is it about everyone's voice being heard, or is there another goal we should care about more? Not an easy question to answer.
viscousviolin
·5 か月前·議論
I heard about lottocracy/sortition for the first time not long ago and I quite like the idea. The last time was when I heard a professor talk about it, and I was recommended reading the book "Lottocracy: Democracy Without Elections" by Guerrero [0].

[0] https://www.goodreads.com/book/show/217981747-lottocracy
viscousviolin
·5 か月前·議論
Lecture recordings available here: https://www.youtube.com/playlist?list=PLs6rMe3K87LHu03WWh9rE... And the interactive tutorial server can be found here: https://adam.math.hhu.de/#/g/alexkontorovich/realanalysisgam...
viscousviolin
·6 か月前·議論
Something I'd love to see is a Europe-hosted mirror of software repositories like pypi, juliahub, and the like. It feels pretty essential to have these be available no matter what, but I haven't found any such mirrors.
viscousviolin
·6 か月前·議論
It's amazing to hear it's visible in such a big city. I don't have a good intuition for all the metrics that describe how strong this storm was/is, but when put like this it hits home.

Nice to hear earth weather apps also work great in space haha. I'll keep that in mind when I set up my own notifications. Hopefully I have time to look into it before the next storm hits.
viscousviolin
·6 か月前·議論
Could you see it from the inner city or only closer to the edges?
viscousviolin
·6 か月前·議論
The first time I heard of it was in this Matt Parker video where he helped do this with a school-sized group of kids [0]. An "AI player" made of matchboxes, run by schoolkids, is a fantastically fun idea.

[0] https://www.youtube.com/watch?v=R9c-_neaxeU
viscousviolin
·8 か月前·議論
Thanks! I'll go give it a look.
viscousviolin
·8 か月前·議論
Sounds like a fun topic to dig into. Do you have any papers or books you'd recommend?