renox

9 ms·

61.
by renox 1y ago
FWIW I'm French. > I speculate that a different thing is happening in Europe. Every time I hear European takes on issues, it feels like Europe is post-religion, post-values, post-meaning. Everything is relative; pleasure is the only
62.
by renox 1y ago
Depends on which level of 'amateur chess', for kids there are real beginners who barely know the rules and ~1600-elo players in the same competition..
63.
by renox 1y ago
That's not a reasonable objection, each proposal must be evaluated on its own, not on other non existing future proposal.
64.
by renox 1y ago
Agreed, their reason for not allowing it is weird. No hidden overloading? OK make it explicit then: #+, #/ would be fine.
65.
by renox 1y ago
That's a minor detail but C's "%d" isn't something to copy in a new language, python's format/template string is much better.
66.
by renox 1y ago
> I am more interested in its explanation, now that the theory has been proven correct again and again. What do you call an explanation? An interpretation of QM? There are dozens but none are especially satisfying.. As for the 'del
67.
by renox 1y ago
There's Austral https://austral-lang.org/ for linear types, I'm not sure what is the state of the language but it has a nice tutorial about linear types.
68.
by renox 1y ago
Bah, the answer is easy: words should be used with their most common definition, everything else is a lie. If you want to use a word 'differently' then you need to do so explicitly.
69.
by renox 1y ago
It's interesting that Rust and Pony have différent default for addition.
70.
by renox 1y ago
> Unfortunately this is another "if we all just" solution that humanity seems unable to do Not all the time, see the success of GPL software. But yes, each community has to relearn the lesson: promises don't matter what ma
71.
by renox 1y ago
Sure, but as a 'dream' portable executable is kind of funny when execution by itself brings you nothing (except heating the CPU), you also need portable IO, security, i18n, a11y..
72.
by renox 1y ago
What I mean is that portable execution is only a very small part of 'good' SW: you need also security, i18n, a11y etc.
73.
by renox 1y ago
"Dream", well until you think about i18n and a11y..
74.
by renox 1y ago
> Religious institutions, too, have long shaped minds with varying degrees of success. Given that a huge portion of the world's population is religious (a quick google search say 84%), I'd say with a very high success.
75.
by renox 1y ago
At work we 1) use a git hook to generate Gerrit IDs for new commit. AFAIK, JJ doesn't support these. 2) we also use submodules, which must be handled using git commands. So if I decide to use JJ, I'll have to use a mix of JJ and g
76.
by renox 1y ago
Linus Torvalds as an example of a self taught engineer is quite funny too as he wrote Linux while following a CS degree.
77.
by renox 1y ago
From the article >> The use of diacritics arises out of a mismatch between an alphabet and the language it’s being used to write: if an alphabet were well adapted to a language, it would have letters for all the language’s sounds. &l
78.
by renox 1y ago
> for example... don't commit DB transactions, send out emails or post transactions onto a blockchain until you know everything went through. Exceptions mean rollback, a lot of the time. But what if you need to send emails AND recor
79.
by renox 1y ago
The thing is: most programmers see assembly language generated by a compiler , so no comment, and in optimised code with vector operations, it IS scary.
80.
by renox 1y ago
I'm not sure I value type inference more than function overloading.. Local type inference yes, global, mmmh..
81.
by renox 1y ago
> the innovation is that formal parameters may have 3 kinds of behaviors, "in", "out" and "in out", and that the parameter behavior must be specified, but not its implementation mechanism, like in older prog
82.
by renox 1y ago
> just look at Spain and Portugal recently Uh, the cause of the issue has not been identified.
83.
by renox 1y ago
That's funny, if memory serves 'as' should be avoided in Rust and other casts should be used. That's a Rust wart which cannot be fixed..
84.
by renox 1y ago
I disagree: when you use floats, you implicitly accept the precision loss/roundings that comes with using floats.. IMHO int to float implicit conversion is fine as long as you have explicit float to int conversion.
85.
by renox 1y ago
Austra's concept are interesting but the introduction doesn't show how to handle correctly errors in this language..
86.
by renox 1y ago
Count your blessings: it's way, way worse in French..
87.
by renox 2y ago
>> imagine a world without advertising > I can't because a world with magic and world peace is more realistic and believable. > It's impossible. How do you even define advertising? Yet, in some countries advertising fo
88.
by renox 2y ago
Maybe there isn't that many 'single frequency' commercial products?
89.
by renox 2y ago
I would already happy with FS based on 'tags' not trees.
90.
by renox 2y ago
A resounding failure you mean: they just demoed their SW and didn't provide them in a way where people could build on their research. And I didn't see much following research, do you have links? You're the third person (at

More ›