HackerTrans
TopNewTrendsCommentsPastAskShowJobs

viscousviolin

no profile record

Submissions

Introduction to Formal Real Analysis

alexkontorovich.github.io
1 points·by viscousviolin·5 mesi fa·1 comments

Lean Game Server

adam.math.hhu.de
2 points·by viscousviolin·6 mesi fa·0 comments

Linear Algebra Game

adam.math.hhu.de
2 points·by viscousviolin·6 mesi fa·0 comments

An Elizabethan mansion's secrets for staying warm

bbc.com
185 points·by viscousviolin·6 mesi fa·180 comments

comments

viscousviolin
·3 mesi fa·discuss
Does it usually get taught in the undergrad maths curriculum?
viscousviolin
·3 mesi fa·discuss
Seems like Katex from the scripts getting loaded. I love the design too, kinda medieval-chic.
viscousviolin
·3 mesi fa·discuss
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 mesi fa·discuss
Thank you!
viscousviolin
·4 mesi fa·discuss
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 mesi fa·discuss
That's a great find. My personal favourite so far from Dust is "Laboratory Conditions": https://www.youtube.com/watch?v=1N25e4Ss34Q
viscousviolin
·4 mesi fa·discuss
That's a lovely bit of automation.
viscousviolin
·5 mesi fa·discuss
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 mesi fa·discuss
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 mesi fa·discuss
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 mesi fa·discuss
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 mesi fa·discuss
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 mesi fa·discuss
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 mesi fa·discuss
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 mesi fa·discuss
Could you see it from the inner city or only closer to the edges?
viscousviolin
·6 mesi fa·discuss
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 mesi fa·discuss
Thanks! I'll go give it a look.
viscousviolin
·8 mesi fa·discuss
Sounds like a fun topic to dig into. Do you have any papers or books you'd recommend?