xigoi

27 ms·

751.
by xigoi 11mo ago
By modularizing the compiler, it will presumably be easier to create syntactic skins for Nim. I’m planning to make an S-expression syntax if nobody else does.
752.
by xigoi 11mo ago
On the other hand, it’s more ergonomic and readable because you don’t need to declare a new name. if name != nil: echo name versus case name of Some(unwrappedName): echo unwrappedName
753.
by xigoi 11mo ago
Compared to HTML, Markdown is very bad at being mahcine-readable.
754.
by xigoi 11mo ago
It’s not a metaphor. I was giving a counterexample to your implied claim that popularity is an indicator of quality.
755.
by xigoi 11mo ago
Nim (the original one, not Nimony) compiles to C, so making basic types work differently from C would involve major performance costs.
756.
by xigoi 11mo ago
Nim (the original one, not Nimony) compiles to C, so making basic types work differently from C would involve major performance costs.
757.
by xigoi 11mo ago
Popular does not mean good. Tobacco smoking is also popular.
758.
by xigoi 11mo ago
If you need wraparound, you should not use signed integers anyway, as that leads to undefined behavior.
759.
by xigoi 11mo ago
Please no. Design by committee would lead to another C++.
760.
by xigoi 11mo ago
It needs to be this way so that UFCS works properly. Imagine if instead of "a,b".split(','), you had to write "a,b".(strutils.split)(',').
761.
by xigoi 11mo ago
Basic notation like sums is covered in every undergraduate math course. Any non-standard notation will be introduced by the author using it. Nobody is trying to obscure anything from you.
762.
by xigoi 11mo ago
A lot of math is not about numbers, so not everything can have a numerical example.
763.
by xigoi 11mo ago
What’s wrong with Greek letters? Would the number π be any easier to understand if it was written differently?
764.
by xigoi 11mo ago
We don’t talk about the French notation for intervals. Let it stay in France.
765.
by xigoi 11mo ago
Imagine how much unnecessary time would be added to a course about series if the lecturer had to write sum() instead of ∑ every time. If you find it hard to remember that ∑ means sum, math might not be for you, and that’s fine.
766.
by xigoi 11mo ago
Why would you want to manually set the sizes of parens? I always use \left \right when writing LaTeX (and having to do it is one of the reasons I hate LaTeX math notation).
767.
by xigoi 11mo ago
Every good mathematical textbook introduces the notation it’s using.
768.
by xigoi 11mo ago
The fonts seem to have little Unicode coverage (no Greek letters for example), which is one thing that I wouldn’t expect an AI to have a problem with.
769.
by xigoi 11mo ago
The real joke is that a CEO had actual technical knowledge instead of just being there for decoration.
770.
by xigoi 11mo ago
Amusingly, it still seems to be available for download (and requires a whopping 16 MB of RAM): https://bonzibuddy.org/download.html
771.
by xigoi 11mo ago
There is no tradeoff. The bloat of Rust is caused by its NPM-style ecosystem where everything has 1000 dependencies, which is completely orthogonal to performance.
772.
by xigoi 11mo ago
> There's new-ish build.build-dir setting that lets you redirect Cargo's temp junk to a standard system temp/cache directory instead of polluting your dev dir. If it’s just logs, I would prefer to redirect it to /dev&
773.
by xigoi 11mo ago
(2020)
774.
by xigoi 11mo ago
This may be surprising, but most people have a natural desire for intimacy that won’t go away when platonically interacting with people.
775.
by xigoi 11mo ago
How can raw statistics be sexist?
776.
by xigoi 11mo ago
Unfortunately the only other option is even worse.
777.
by xigoi 11mo ago
Unfortunately it doesn’t seem to have a formal spec.
778.
by xigoi 11mo ago
Even the minimum brightness is too bright.
779.
by xigoi 11mo ago
I have a friend who uses a dark mode extension, but has it configured to make everything light mode.
780.
by xigoi 11mo ago
From what I’ve heard, OkCupid’s algorithms used to be really good, then they deliberately made them worse when acquired by Match Group.

More ›