HackerTrans
TopNewTrendsCommentsPastAskShowJobs

viscousviolin

no profile record

Submissions

Introduction to Formal Real Analysis

alexkontorovich.github.io
1 points·by viscousviolin·hace 5 meses·1 comments

Lean Game Server

adam.math.hhu.de
2 points·by viscousviolin·hace 6 meses·0 comments

Linear Algebra Game

adam.math.hhu.de
2 points·by viscousviolin·hace 6 meses·0 comments

An Elizabethan mansion's secrets for staying warm

bbc.com
185 points·by viscousviolin·hace 6 meses·180 comments

comments

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