gnulinux

84 ms·

931.
by gnulinux 6y ago
vim vs emacs thing is extremely outdated imho. There is evil-mode (Emacs VIm Layer) in emacs which is an emulator of vim. You can have vim, or emacs, or both, or none, all being equally viable. In fact, there is Spacemacs which is an emacs
932.
by gnulinux 6y ago
yacc is not a recursive abbr, it stands for Yet Another Compiler Compiler.
933.
by gnulinux 6y ago
Does it work the same way if you take oral vitamin D supplement? My skin is allergic to the sun (it hurts it bad) but I take daily vit D supplement.
934.
by gnulinux 6y ago
My cat used to do this (but with low places, he hides in places like cupboards etc, he always figures out a way to open them) but he sorta stopped doing it once I started playing with him during the day too. We used to play only at night, b
935.
by gnulinux 6y ago
What's the smell, is it urine or poo, or the smell of litter? I would guess yeah it'd probably smell a little like the litter, but I can't see why it'd smell like urine or poo, I can't even smell it when smell the l
936.
by gnulinux 6y ago
I'm a cat owner and never had a problem with smell. No one coming into my house mentioned anything about smell. I circulate air in my house every day and clean the litterbox ever day. I'm not sure why cats would cause any smell. A
937.
by gnulinux 6y ago
> They can tell how core principles of OOP are bad ideas. How encapsulation at object level is usually pointless and costly, how inheritance doesn't make sense, and so an so. Can you explain these? I'd like to know why people t
938.
by gnulinux 6y ago
Because obviously you can do loops, it's even there in the example.
939.
by gnulinux 6y ago
Well, you don't have to write a parser. The parser is already written for you (yaml parser). But I have no idea why that'd be an advantage, especially for Google, they surely know how to write a parser...
940.
by gnulinux 6y ago
I mean please don't take this answer the wrong way, but this is like saying "Some rich person should give away $1M for finding an application of complex numbers". It feels condescending. If your area deals with cellular autom
941.
by gnulinux 6y ago
You mean like procedural generation? I used cellular automata with custom rules to generate procedural generated universes for a video game I worked on.
942.
by gnulinux 6y ago
What's wrong with vanishing scrollbar? I prefer them this way. The first thing my emacs config file does is to hide scrollbar.
943.
by gnulinux 6y ago
> since 1 is added to a number, the number will eventually reach a power of 2 Why do you think that's the case?
944.
by gnulinux 6y ago
Wasn't there a whole bunch of blog posts in January about how Y2K was deferred 20 years by people using hacks to "fix" Y2K issue. I suppose it was right for this website.
945.
by gnulinux 6y ago
Pretty much, yes. It's not "required" required, but in order to use the stdlibrary (i.e. use Unicode chars) you need to use Emacs and Emacs mode is extremely useful to develop Agda code. You can still compile and type check u
946.
by gnulinux 6y ago
agda-mode in emacs has fallback option for latex like aliases. E.g. \infty gives ∞ or \cdot gives · it's very convenient if you use latex often. Other than that, if you have no clue, M-x describe-char explains you how to produce a char
947.
by gnulinux 6y ago
Not currently on my computer with that setup but afair I use Inconsolata.
948.
by gnulinux 6y ago
Currently my programs parse text. I have a JSON formatter, a lisp formatter. I'm also writing an Agda preprocessor in Agda i.e. parse Agda-like code, process it, print valid Agda code. I use them in my other projects as tooling. Using
949.
by gnulinux 6y ago
I sorta dig it, looks fun and artistic. I don't know what's wrong with "W" though. Not sure if my browser is rendering is bad or there is a bug, because it doesn't look like rest of the ligatures, it looks nothing l
950.
by gnulinux 6y ago
I program in Agda pretty often and community usually uses Unicode characters for most things, so I do too. The impl of AVL trees in stdlib: https://github.com/agda/agda-stdlib/blob/master/src/Data&#x
951.
by gnulinux 6y ago
But I love programming, why do I need to escape something I like? Even though you code professionally, doesn't mean you can enjoy programming personally.
952.
by gnulinux 6y ago
Is this because shock wave compresses air and makes it refractive like water so it almost looks like there is a water droplet where the explosion originates?
953.
by gnulinux 6y ago
Ah, my terminology is rusty as it's been years since my math classes. I guess I need to review my algebra books again. I do have some personal code that called "exists a,b a.b != b.a" anticommutative, didn't even realize
954.
by gnulinux 6y ago
Hmm sure, but it is not a requirement that your underlying algebraic structure should commute, so I think original phrasing was misleading. The bookkeeping allows you to commute a specific list of objects, even though the underlying opera
955.
by gnulinux 6y ago
You can distribute the computation on just a monoid as well but it needs more bookkeeping. In particular, your reduce function should know * lhs is before rhs * There is no data between lhs and rhs
956.
by gnulinux 6y ago
That has not been my experience. Quite the contrary, Chrome never worked as good as Firefox in any of the OSX or linux laptops I owned. The only thing about Firefox is occasionally websites being broken due to Chrome-only support.
957.
by gnulinux 6y ago
-Weverything contains contradictory errors. I think -Wmost is better but it's probably still very noisy.
958.
by gnulinux 6y ago
If you assign maximum niceness to worker threads, and minimum niceness to all threads that deal with your shell (i.e. bash or ssh etc) does it improve the predictability of latency? A couple years ago I tried to do something like this reall
959.
by gnulinux 6y ago
"Linux coming soon". Will buy when it's here. :)
960.
by gnulinux 6y ago
Weather is the state of atmospheric affects today. E.g. rain, snow, wind, storm etc are weather. Climate is a set of sustained climatic conditions. E.g. Mediterranean summers being hot and dry is climate. Boston winters being very snowy i

More ›