nequo

33 ms·

601.
by nequo 3y ago
These are good points and hard to know. But the Retraction Watch is tracking stories of both mistakes and fraud in published research, across universities: https://retractionwatch.com/
602.
by nequo 3y ago
You would need to set the terminal font to Fira Code. I have not tried it myself but if your terminal emulator supports ligatures, it should work.
603.
by nequo 3y ago
Did you switch to water from regular soda or from diet soda?
604.
by nequo 3y ago
The NHTSA publishes safety ratings for every vehicle. You can look at their crash test reports. The 2021 Chevy Tahoe[1] and the 2020 Ford Explorer[2] are comparable to the 2022 Toyota Corolla.[2] The photos clearly show the presence of crum
605.
by nequo 3y ago
Pick a toy project and do it in Haskell. There’s no better way to find out what FP being enforced means for you.
606.
by nequo 3y ago
Do you mean no specific advantage relative to C++? If so, then wouldn’t it be an advantage that the GC lets you be (nearly) certain that you have no memory bugs? Or do you mean relative to Java?
607.
by nequo 3y ago
Guam’s population is 169 thousand, about 10% of the city where you live. It is an island 3,800 miles from Hawaii. I doubt that this situation is comparable to yours.
608.
by nequo 3y ago
Wouldn't gedit do this today? It looks like gedit works on Windows too: https://wiki.gnome.org/Apps/Gedit#Installation
609.
by nequo 3y ago
What prevents us is probably the willingness to put in the hours and the coordination to do so. It is not easy to write an alternative that improves on it but is also capable of running Org and Magit which are two nontrivial packages that m
610.
by nequo 3y ago
> Linux has a wider attack vector Nit but you probably mean attack surface. A vector doesn't have a width.
611.
by nequo 3y ago
For better or for worse, Emacs is in a unique spot with package availability and with how easy it is to extend. Do you have a good copyleft alternative that its maintainers can't just turn into closed source, or one that is fully open
612.
by nequo 3y ago
What is the benefit of drawing the interface for `M-x customize-group` as if it was plain text in the terminal when running the Emacs GUI? It makes sense for `emacs -nw` and I don't think there’s many Emacs users who are advocating for
613.
by nequo 3y ago
What are the things in your muscle memory that can't be replicated in Evil?
614.
by nequo 3y ago
Try Emacs again with evil and undo-tree installed. Evil behaves like Vim to a high enough degree that you’ll be comfortable with it if you’re comfortable with Vim. And I haven’t had problems with undo. If that doesn’t work, how about neovim
615.
by nequo 3y ago
I’m sure you know that GitHub handles README.org files too. What’s the downside of using org for readmes?
616.
by nequo 3y ago
> does operator overloading turn c++ and others into the weakly typed language? Polymorphism is not the same as implicit type conversion. For example, in Haskell, `*` is defined for both integers and doubles so 3 * 4 and 3.0 * 4.0 both w
617.
by nequo 3y ago
> Any definition of "weakly typed" which excludes Haskell and Ocaml is farcical, inaccurate, and doesn't benefit any software engineer, especially the professional ones. Here is a definition: a language is weakly typed if
618.
by nequo 3y ago
There was also sustained effort over the past two decades to move Emacs from Elisp to Guile but that has stalled: https://emacsninja.com/posts/state-of-emacs-lisp-on-guile.ht...
619.
by nequo 3y ago
Besides all the other alternatives offered by siblings, Kate also works on Windows: https://kate-editor.org/get-it/
620.
by nequo 3y ago
> the alternative is a C/C++/or Haskell scenario where instead of one generally accepted "right" package manger you end up with 20. To be fair, Haskell doesn't have 20. It has two.
621.
by nequo 3y ago
> and there's a strong chance that non-RH builds selling professional services, is going to have a higher opportunity-cost than publishing CentOS did. Could you clarify what you mean by opportunity cost here? Who faces this cost and
622.
Tracing Garbage Collection(en.wikipedia.org)
3 points by nequo 3y ago|0 comments
623.
Leslie Lamport’s TLA+ Online Course (2018) [video](youtube.com)
16 points by nequo 3y ago|1 comments
624.
Semigroup Resonance FizzBuzz (2019)(blog.ploeh.dk)
2 points by nequo 3y ago|0 comments
625.
Wouter Swierstra: How to trust a verified program? [video](youtube.com)
1 points by nequo 3y ago|0 comments
626.
by nequo 3y ago
Florence was a financial and trading center of Europe during the Renaissance when Thomas Cromwell travelled there. That economic power and probably that cosmopolitan atmosphere were what lay the ground for cultural development, specifically
627.
by nequo 3y ago
That sounds good but it is not true. The distribution of income is not uniform on the face of Earth and that is not due to sheer choice. The places where people with lower incomes live are not always the places where they would prefer to li
628.
Well-Typed Haskell activities report and call for sponsors(well-typed.com)
6 points by nequo 3y ago|0 comments
629.
by nequo 3y ago
What was your commercial application for SML?
630.
by nequo 3y ago
Emacs has Meow which implements model editing with the Kakoune grammar: https://github.com/meow-edit/meow

More ›