Readit News logoReadit News
mazesc commented on Hitler-Mannerheim Recording   yle.fi/aihe/artikkeli/201... · Posted by u/mahirsaid
InTheArena · 2 years ago
I love this recording and the longer recordings of Hitler speeches because all that is left in popular memory is the wild screams and crescendos that he would use at the end of his speeches. When you read accounts at the time people would talk about Hitler always starting quietly making you listen, and then slowly building up the pitch in the further of his meetings. They described as almost hypnotic. There’s a great fictional series that was done on Amazon – the man in the high castle – where they really leaned into this with their portrayal of Hitler.

There’s a lot of value in studying how leaders convince and control the masses.

If i recall correctly, there is also a part in the transcript where he admits he just didn’t know Russias true strength, and he never would have invaded had he known. Remarkably different language than he used at the time.

mazesc · 2 years ago
> If i recall correctly, there is also a part in the transcript where he admits he just didn’t know Russias true strength, and he never would have invaded had he known. Remarkably different language than he used at the time.

In the recording linked here he says (around the 8 min mark), while talking about Russia's strength in terms of the amount of tanks: "Had I known this my heart would have been even heavier but I would have made the decision even more so because I did not have another option".

mazesc commented on Is the Living Computer Museum dead?   pcjs.org/blog/2023/02/16/... · Posted by u/ingve
tuankiet65 · 3 years ago
I was lucky enough to visit the museum at the end of 2019, just before COVID-19 hit and the museum had to shut down. Unlike the Computer History Museum in Mountain View, the machines here were fully operational and you could actually get to use them - I compiled some hello world code on a NeXTcube and I still remember that fond moment. IIRC they had systems that you can SSH in and use, but seems like they've taken that down. Must be a recent thing since I remember they were operational a year or two ago.
mazesc · 3 years ago
I could have written your paragraph. Such a great museum. With all the rich tech entrepreneurs in Seattle one would think a solution can be found.
mazesc commented on Six programming languages I’d like to see   buttondown.email/hillelwa... · Posted by u/johndcook
hwayne · 4 years ago
Dafny is a really fun language and I've done some stuff in it before. I was really sad when MSR stopped working on it, but I think AWS has picked up the slack?
mazesc · 4 years ago
Yes, it's under heavy development, and is getting various improvements for usability. You probably want to take a look at the release notes.
mazesc commented on Six programming languages I’d like to see   buttondown.email/hillelwa... · Posted by u/johndcook
mazesc · 4 years ago
Ada is already mentioned here.

You also want to look at Dafny for a contract-based language: https://github.com/dafny-lang/dafny

Since it has verification support it also covers the second point about semantic relations.

mazesc commented on Some Fundamental Theorems in Mathematics (2019) [pdf]   people.math.harvard.edu/~... · Posted by u/bryanrasmussen
ogogmad · 6 years ago
Goedel is there. See pages 8 to 9.
mazesc · 6 years ago
Oops, thanks! Didn't try "oe".
mazesc commented on Some Fundamental Theorems in Mathematics (2019) [pdf]   people.math.harvard.edu/~... · Posted by u/bryanrasmussen
mazesc · 6 years ago
Ctrl+F Gödel "not found".

Also proof theory is completely absent, like Gentzen's cut elimination theorem.

These are "fundamental" theorems of mathematics in the literal sense.

mazesc commented on Inside Information and Kodak Stock   chartfleau.com/kodak... · Posted by u/Feynman37
JMTQp8lwXL · 6 years ago
The big news could've been terrible. Kodak has had a rough couple years / decades. For all we know, that tweet implied the final nail in the coffin for Kodak.
mazesc · 6 years ago
News "regarding a new manufacturing initiative" would hardly be negative. Key word being "new".
mazesc commented on On the Closing of Living Computers: Museum+Labs   rottedbits.blogspot.com/2... · Posted by u/aikinai
mazesc · 6 years ago
What? No! I've been there last year during my Seattle internship and it was the most amazing experience having grown up after most of the machines exhibited were around.

There have to be some philantropists around who got rich in computing and have an interest in keeping it alive.

It is one of a kind, I was raving about it to everyone. I'd be happy to donate even though it's across the world from me.

mazesc commented on Graduate Student Solves Decades-Old Conway Knot Problem   quantamagazine.org/gradua... · Posted by u/theafh
solveit · 6 years ago
Basically, the study of knots is the study of how the simplest 1 dimensional thing (the circle), can sit in 3-dimensional space. And it turns out that even this "simple" case is incredibly rich and difficult. So that's a reason to expect knot theory to be an inherently interesting thing to study. So topologists, and especially topologists specialising in 3-dimensional objects were always interested in knots.

In the 1980s, Vaughan Jones discovered the Jones polynomial, which is a property of knots which remarkably turned out to have deep connections to all sorts of things including quantum field theory! This led to 3 decades and counting of intense study into the relationship between knots and fundamental physics. I'd like to say more, but I'm knot really qualified to speak about the connections to other fields. So that's basically the tl;dr of why so many people care about knots!

mazesc · 6 years ago
A circle is 1-dimensional and not 2-dimensional?
mazesc commented on Koenigsegg’s 2.0-liter no-camshaft engine makes 600 horsepower   roadandtrack.com/new-cars... · Posted by u/zdw
close04 · 6 years ago
> yes really, most engines don't even last one season

"Even" one season? If they last more than one race it means they didn't push it hard enough so it makes sense that the engine last just marginally more than the race.

mazesc · 6 years ago
F1 regulates the maximum number of engines a season (to 3 currently). So they have to last ~7 races.

Edit: old numbers updated

u/mazesc

KarmaCake day93October 10, 2013View Original