nequo

65 ms·

901.
Benefits of static types (2014)(danluu.com)
1 points by nequo 4y ago|0 comments
902.
by nequo 4y ago
Maybe it's my daftness but where does this post say that typed Python has twice the number of bugs? It only seems to say that typed code takes longer to write and is longer. It doesn't seem to say that typed code has more bugs, no
903.
by nequo 4y ago
The quick-lint-js project ported a part of their code from C++ to Rust. Rust's compilation time scaled less well with the size of the code base. Here is a detailed report: https://quick-lint-js.com/blog/cpp-vs-rust
904.
by nequo 4y ago
What language features would you like to take away from Rust?
905.
by nequo 4y ago
But unlike Linux, OpenBSD is not only the kernel, it is also the userland. The project could start moving critical software to Rust. They could even write their own crates for this purpose, or fork others’ crates to rule out supply chain at
906.
by nequo 4y ago
Rust is to C what systemd is to /etc/rc. Both C and /etc/rc are defining characteristics of old-school Unix culture, so it kind of makes sense even just on account of that that folks who hate systemd also hate Rust. What
907.
Imports in Nim (2019)(narimiran.github.io)
2 points by nequo 4y ago|0 comments
908.
by nequo 4y ago
A “conceptually beautiful” language would consist of orthogonal concepts, right? What would be good examples of such languages? Interestingly, Python’s aspiration to have only one (obvious) way to do things could be understood as an aspirat
909.
by nequo 4y ago
It would be an interesting future in which Koka[1] becomes the new Python. Or Lean 4,[2] and we end up with formally proved ML code in 2043. [1] https://koka-lang.github.io/koka/doc/index.html [2] https:/&#x
910.
by nequo 4y ago
I think that's a good point. Maybe there is truth to both, and the brain is plastic, so we can also change who we are.
911.
by nequo 4y ago
C compiles to assembly, Chez Scheme compiles to C, Idris2 compiles to Chez Scheme. They are fine languages to work with.
912.
by nequo 4y ago
The author is Ron Garret. He was also interviewed last year on the CoRecursive podcast about the merits of Lisp at JPL, and the opposition to it. It’s worth listening to: https://www.corecursive.com/lisp-in-space-with-ron-ga
913.
by nequo 4y ago
I can’t help but think that the interaction between you and parent is based on a misunderstanding. By “no brainer,” I think parent didn’t mean that Japanese is easier than Hungarian but that Japanese is much more useful than Hungarian in th
914.
Learning Styles(en.wikipedia.org)
2 points by nequo 4y ago|0 comments
915.
by nequo 4y ago
Unix-like WMs and DEs have an unceasing fascination with replicating the Windows and MacOS UIs. But one of the things that made MacOS/NeXTSTEP noteworthy was its out-of-the-box thinking. It would be much better to experiment with what
916.
Don't store TOTP in Bitwarden for your online accounts (2022)(prezu.ca)
45 points by nequo 4y ago|61 comments
917.
by nequo 4y ago
LiquidHaskell[1] implements refinement types for Haskell. Would that do what you'd like? [1] https://ucsd-progsys.github.io/liquidhaskell/
918.
by nequo 4y ago
Are private companies better?
919.
by nequo 4y ago
I did not say it’s a right. If it was, we’d be talking about this in court, not in HN comments. What I said was that it hurts you if you get fired and thus it hurts your family. There is a lot of research on the negative effects of layoffs
920.
by nequo 4y ago
> We need to stop demonizing people for doing their job, successfully. Even when their job is to actively hurt you, your family, and those around you?
921.
by nequo 4y ago
My comment included a link. And I did not say that what you quoted was all of his work. It was paraphrasing one thing he said in a one-hour interview.
922.
by nequo 4y ago
You responded to your mental image of my comment about his work rather than to his actual work. His work is not N=1. If you just open the link, you see. Keep an open mind.
923.
by nequo 4y ago
Nick Bloom gave a couple interviews on this. This website collects research summaries on WFH: https://wfhresearch.com/research-and-policy/ Many benefits. But one downside he mentioned was that he doesn’t generate resea
924.
by nequo 4y ago
Yeah. Using it for your CV is a costly signal that you’re the kind of academic type who writes enough math to only find LaTeX comfortable. If writing math is not what the job that you’re applying to is looking for in you, you should probabl
925.
by nequo 4y ago
What kinds of things are you doing with the typesetting in troff that you didn't do in LaTeX?
926.
by nequo 4y ago
So this is speculation and not new information from intelligence sources, right? We could say with equal confidence that Ukraine is already breaking Russia’s budget and they would not want to escalate.
927.
SIM Swap Scams: How to Protect Yourself (2019)(consumer.ftc.gov)
4 points by nequo 4y ago|1 comments
928.
by nequo 4y ago
> There is one war that was supposed to be over quick, but is now looking as though it will spread and go in an unknown direction. Where will it spread? Have I missed something?
929.
by nequo 4y ago
That sounds like a good idea. Using device-specific keys sounds a lot like Keybase to my naïve ears. Are there any major differences in your design and theirs?
930.
by nequo 4y ago
Thanks for linking this. Sokushinbutsu (即身仏) are a kind of Buddhist mummy. In Japan the term refers to the practice of Buddhist monks observing asceticism to the point of death and entering mummification while alive. This is so far f

More ›