norir

13 ms·

121.
by norir 2y ago
The irony is that Plato himself arrogantly attempted to outdo his teachers -- most notably Parmenides and Pythagoras -- misrepresented them and caused us to forget the deep truths that they had brought us. And we have been resting in a deep
122.
by norir 2y ago
I have the opposite reaction.
123.
by norir 2y ago
For programs less than about 10k lines or so, Lua exists in a class of its own. It offers nearly optimal start up latency and the interpreter is fast enough that it can interpret said 10k lines about as fast as python can run hello, world.
124.
by norir 2y ago
Always beware the word should. I agree with Dijkstra's logic in the context that he presents it, but there are other contexts where I don't think it applies. Personally, I find that in compiler writing, which is the only programmi
125.
by norir 2y ago
This is one way to write a compiler. One of the large tradeoffs made is extensive use of libraries on both the front and backends. It's a practical choice but also means that the compiler itself is also likely somewhat slow. Targeting
126.
by norir 2y ago
For me, a person who dramatically prefers democracy to totalitarianism, Socrates' critiques of democracy hold up quite well in our present context. Why limit this criticism to philosophers? Should we drop Einstein from the theory of re
127.
by norir 2y ago
Not software, but I am a big fan of the boss 505 table top looper. It is a great tool for building up parts and I love not staring at a screen while making music. Several of my friends swear by loopy pro for similar purposes, but I like the
128.
by norir 2y ago
in d: import std.stdio; alias string = immutable(char)[] void main() { bar(foo()); } void bar(string s) { writeln(s); } string foo() { return "foo"; } now change the definition of foo: import std.stdio; alias
129.
by norir 2y ago
It doesn't matter if it is intuitive or not if it is consistent. It will become intuitive once you have worked in this style for at most a few days.
130.
by norir 2y ago
Regardless of semantics, I mean that a compiler will read the code from the top to the bottom and when it encounters a reference, it either must have already been defined or it doesn't exist and the compiler should error out. This is o
131.
by norir 2y ago
I program in neovim with no plugins, no autocomplete and no syntax highlighting. I type everything myself (though I will use copy and paste from time to time). There is a discipline to it that I find very beneficial. As a language designer,
132.
by norir 2y ago
Highly recommend that anyone interested in ai and/or Eliza read Joseph Wizenbaum's (creator of Eliza) book "Computer Power and Human Reason." It holds up remarkably well for a book written in 1976 about ai.
133.
by norir 2y ago
This is how bad ideas keep propagating.
134.
by norir 2y ago
Writing good commit messages can be good self-promotion. You may not realize who is watching the repo and this is an easy way to differentiate yourself from you colleagues and make your work appear interesting and important. Also, I have fo
135.
by norir 2y ago
I take the author's point, but I still prefer languages that can be parsed in a single pass. Most commonly, this means it is written in a top down style where every reference is defined somewhere above the usage. It then naturally fall
136.
by norir 2y ago
I consider forward references an anti-feature. I want any language I use to have the following property: if I append to the source file, I can't break previously correct code above the insertion point. Forward references both break thi
137.
by norir 2y ago
From another independent language developer, good luck to you. I know this may not feel constructive but I'm going to say it anyway: the name of the language is a huge turnoff for me. I try to avoid janky things and use the word as a p
138.
by norir 2y ago
Your comment raised a question for me: what makes you certain that there isn't already an artificial superintelligence operating in the world? I am not sure that it is possible to know when the threshold has been crossed.
139.
by norir 2y ago
Fair point about parametricity. A language could in the macro expansion do the equivalent of a scala implicit lookup for a sorting function for the type and return an error at macro expansion time if it can't find one. That avoids the
140.
by norir 2y ago
I disagree that plain text is an obstacle towards better tooling. You can do most of what the author describes with direct plain text edits pipelined into an analysis program. But I also think that the ux the author presents is undesirable.
141.
by norir 2y ago
I think structural editors are a great feature to add on top of a language with a definite textual representation. If you can pretty print the ast (as the fib example shows), you should generally be able to parse the output to generate the
142.
by norir 2y ago
The most impactful book I read this year was "Computer Power and Human Reason" by Joseph Weizenbaum. For a book written about ai in 1976, it has aged very well.
143.
by norir 2y ago
DSLs make the impossible possible. Whether this is good or bad depends on the design and implementation.
144.
by norir 2y ago
Yes and once they have destroyed the competition, then they start charging.
145.
by norir 2y ago
> Debugging is immeasurably more useful to understand and get to the root of the problem in a complex system I try to write systems that aren't so complex that I need a debugger but get the same job done. And I choose not to work on
146.
by norir 2y ago
For all of E.W. Dijkstra's brilliance, he had a real problem with misrepresenting opinion as fact.
147.
by norir 2y ago
Yes and you aren't necessarily going to be friends with all of those people around you. The challenge is not being near just anyone but rather being near a group of people with significant overlap in values and interests. I live in one
148.
by norir 2y ago
I'm sure that cargo does a clever job of all of this but this kind of functionality is precisely why I find rust so off putting. It encourages you to take on huge amounts of unnecessary complexity (including complicated dependency tree
149.
by norir 2y ago
I used to run a lot of monte carlo simulations where the error is proportional to the inverse square root. There was a huge advantage of running for an hour vs a few minutes, but you hit the diminishing returns depressingly quickly. It woul
150.
by norir 2y ago
Format strings are a technique that I think largely should be left behind anyway. String interpolation is in my experience usually shorter, easier to read and will always be checked by the compiler.

More ›