skoodge

13 ms·

1.
Democracy in Music(democracyinmusic.com)
1 points by skoodge 1mo ago|0 comments
2.
by skoodge 3mo ago
> 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 objectivity by comparing the subjective r
3.
We fix your broken Rhino models(arcol.io)
3 points by skoodge 5mo ago|0 comments
4.
by skoodge 9mo ago
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 pacing, but the cinematography is beautif
5.
by skoodge 1y ago
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 again in a couple of weeks about the spe
6.
by skoodge 1y ago
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 Reinvention of Programming which unfortunate
7.
by skoodge 1y ago
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 along the lines of Russ Cox' Tour
8.
by skoodge 2y ago
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 well. It remains to be seen whether AI can
9.
by skoodge 4y ago
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 of course use highly optimized arithmetic
10.
Show HN: Tandem – An Engine for Secure Multi-Party Computation (Written in Rust)(github.com)
9 points by skoodge 4y ago|2 comments
11.
by skoodge 4y ago
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 choice: Either accept incompleteness or
12.
by skoodge 4y ago
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 web dev jobs. For example, I stumbled u
13.
by skoodge 5y ago
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 published the Tractatus during his lifeti
14.
by skoodge 5y ago
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 actually quite nuanced on the qu
15.
by skoodge 5y ago
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 the film (the whole film is worth watchin
16.
by skoodge 5y ago
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 forced this spawn of Cthulhu upon us? Or sho
17.
by skoodge 5y ago
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 numbers, which are already count
18.
by skoodge 5y ago
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 lexicographically, which is the usual wa
19.
by skoodge 5y ago
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 "one" and "six" (then &quot
20.
by skoodge 5y ago
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. This is where it becomes a question of phi
21.
by skoodge 5y ago
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 purely mathematically. It is
22.
by skoodge 5y ago
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, the programming language posted here reall
23.
by skoodge 5y ago
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 one which informs the vast stream of Europ
24.
by skoodge 5y ago
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 intimately connected with the idea of pr
25.
by skoodge 5y ago
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 and later often had to depend on friends
26.
by skoodge 5y ago
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 with this undogmatic approach is anothe
27.
by skoodge 5y ago
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 and incredibly deep were misleading.
28.
by skoodge 5y ago
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 the same sense as the Tractatus or the
29.
by skoodge 5y ago
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 directly at the beginning of his lecture
30.
by skoodge 5y ago
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 thank you, btw!) did not click for me. I

More ›