HackerTrans
TopNewTrendsCommentsPastAskShowJobs

viscousviolin

no profile record

Submissions

Introduction to Formal Real Analysis

alexkontorovich.github.io
1 points·by viscousviolin·5 เดือนที่ผ่านมา·1 comments

Lean Game Server

adam.math.hhu.de
2 points·by viscousviolin·6 เดือนที่ผ่านมา·0 comments

Linear Algebra Game

adam.math.hhu.de
2 points·by viscousviolin·6 เดือนที่ผ่านมา·0 comments

An Elizabethan mansion's secrets for staying warm

bbc.com
185 points·by viscousviolin·6 เดือนที่ผ่านมา·180 comments

comments

viscousviolin
·3 เดือนที่ผ่านมา·discuss
Does it usually get taught in the undergrad maths curriculum?
viscousviolin
·3 เดือนที่ผ่านมา·discuss
Seems like Katex from the scripts getting loaded. I love the design too, kinda medieval-chic.
viscousviolin
·3 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
Thank you!
viscousviolin
·4 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
That's a lovely bit of automation.
viscousviolin
·5 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
Could you see it from the inner city or only closer to the edges?
viscousviolin
·6 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
Thanks! I'll go give it a look.
viscousviolin
·8 เดือนที่ผ่านมา·discuss
Sounds like a fun topic to dig into. Do you have any papers or books you'd recommend?