skoodge

> There's also a huge issue with your use of the word subjective - math is objective. Proofs remain stable whether it's humans or any other system that does the processing. We test that o…

Badlands and Days of Heaven are definitely his most conventional films and thus good starting points. Badlands especially is a great film, Days of Heaven is a bit uneven in terms of plot and p…

Hey Sergio! I applied for the role of founding engineer a couple of months ago and passed the different stages. We had even been talking about the exact salary package and start date, decided to talk …

The linked pdfs on that page are wonderful. I reread Wirth's Plea for Lean Software and it still holds up remarkably well. It reminded me of Alan Kay's VPRI and the STEPS Toward the Reinv…

Are there any "guided" walkthroughs for someone who has never used Oberon (or any of its later versions like Bluebottle or A2) that demonstrate its most unique UI/UX aspects? Something …

Not all of those abstractions are equally leaky though. Automatic memory management for example is leaky only for a very narrow set of problems, in many situations the abstraction works extremely we…

Since all programs have to be compiled to boolean gates and these gates have to be encrypted, there is a difference of a few orders of magnitude between running programs natively on a CPU (which can o…

That's only true for systems where the principle of explosion actually holds though, isn't it? So it wouldn't apply to paraconsistent systems. In the end, Gödel is actually giving us a …

Assuming that "crypto" was meant to refer only to cryptocurrency, there are a few companies working on non-blockchain/non-cryptocurrency crypto(graphic) tech which are paying as much as…

Unfortunately the situation is bit complex for Ludwig Wittgenstein (who died in 1951 and whose works should enter the public domain in countries with death + 70 years copyright). Wittgenstein only p…

Gregory Chaitin has an interesting take on this: "The only place where medieval theology survives is pure math." https://www.youtube.com/watch?v=1RLdSvQ-OF0 (The whole inter…

Wow, I did not expect a reference to 'Synecdoche, New York' to crop up here on HN, even less in such a fitting context. For anyone else wondering what this is about, here is the scene from t…

Oh, if I could upvote you twice... There are still nights I wake up screaming, remembering the time I tried to build an editor with contentEditable. Is there a special place in hell for those who forc…

That's an interesting thought experiment, though I'm not sure how using "sounds of the appropriate length" or "lines of proportional length" would get you more than the r…

Oh, I see what the issue is. I wrote "smallest to largest and lexicographically", meaning first from smallest to largest (as measured by the length of the string) and then within each group …

EDIT: The parent first said (before being edited, with my original answer after the quote): > Humor me and count out the first two real numbers in English in lexicographical order. Probably "o…

Sure, that is why I wrote: > In such a sense then, we can trivially "count" the real numbers unless we hold the philosophical view that there are real numbers that are not expressible. Th…

That depends on what you mean by "assigns uniquely", "rule" and "doesn't work", which is why this question is deeply entangled with philosophical issues that cannot …

Very, very impressive. I just spent the last hour going down the rabbit hole of reading your blog and browsing through your different side projects (which I can only recommend to fellow HN readers, th…

Here's another take by Wittgenstein from the preface of the Philosophical Remarks: "This book is written for such men as are in sympathy with its spirit. This spirit is different from the on…

This trend presupposes an ever-growing accumulation of knowledge and a view of mathematics as a collection of discoveries of "facts". I think most people nowadays hold such a view and it is …

To say that "people were just hanging out with him because he was rich" is a very biased and uncharitable reading of his biography. He gave away all his inheritance pretty early in his life …

Wittgenstein was not a constructivist, though. At least in his later years he explicitly argued against any -ism as a position and tried to avoid philosophical theses as a whole. (Whether he succeeded…

Wittgenstein never held the view that Gödel's theorem was wrong or erroneous, though. He "only" thought that the philosophical interpretations and the view of the theorem as astounding …

Even the Remarks on the Foundations of Mathematics are only a selection of some of Wittgenstein's notebooks made by the editors of his posthumous publications. It is not a work by Wittgenstein in…

This is unfortunately a widespread interpretation of Wittgenstien's philosophy of mathematics, but it is not a very charitable reading. Wittgenstein emphasised on numerous occasions (for example …

I'll chime in and say that for me at least, the module system was a hurdle at the start and coincidentally the only part of the language where the explanation in The Book (which is excellent, so …