Viewing profile — 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…

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 o…

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 da…

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 th…

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? Somet…

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 …

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 o…

Tandem is a cryptographic engine for executing programs using Secure Multi-Party Computation (MPC), which allows 2 parties to compute a function without revealing their private inp…

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 …

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 mu…

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). W…

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 interview is…

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 sc…

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 hel…

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 rational nu…

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 e…

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.…

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 expressi…

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 be settled pure…

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 f…

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 f…

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 …

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…

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. (…