gnulinux

26 ms·

331.
by gnulinux 3y ago
I love both python and functional programming and I do write functional style python routinely. One barrier I hit is there is no immutable dict type. There is MappingProxyType but it's insufficient. I prefer using custom dataclass li
332.
by gnulinux 3y ago
Cat food has tons of taurine in it because cooking food destroys taurine but unlike humans cats cannot produce taurine themselves.
333.
by gnulinux 3y ago
Huh... Am in Boston, the air looks and feels... normal.
334.
by gnulinux 3y ago
On a second thought, I completely agree with this. I think people have a lot of hope because reddit sucks but the reality is way too many people are addicted to reddit. I know because I struggle not to check reddit all the time. People will
335.
by gnulinux 3y ago
(GP above here) I find Apple software broken all the time too, except I can't fix it like Linux. I have to use OSX for work because my employer requires a MacBook and it's buggy as hell. I use Thinkpad/Linux at home because t
336.
by gnulinux 3y ago
I find it impossible to relate to this stance because no software I use works . Period. I haven't encountered a single piece of software that's not frustrating in the last decade. Tell me all about the archeology and cool shit bu
337.
by gnulinux 3y ago
This is not true at all, Brouwer truly thought the original Aristotelian concept of the "law of excluded middle" was epistemologically unfounded. I would recommend his original paper introducing intuitionistic mathematics but it&#
338.
by gnulinux 3y ago
> This doesn’t seem like that big a deal This is not a big deal for you , it's the biggest deal for me. I refuse to make any other registrations unless absolutely necessary (healthcare/hospital website etc). If your website as
339.
by gnulinux 3y ago
Not just simple counterexamples (i.e. programming "bugs"), some theorem provers have systematic bugs that were discovered later and required programming language change because people building it weren't sure how to fix it, m
340.
by gnulinux 3y ago
Question, is there a reddit data archive we can legally download before this API pricing goes in effect? I really wouldn't wanna lose all the data in reddit when inevitable reddit becomes obscure unknown internet history. It has tons
341.
by gnulinux 3y ago
My cat does this too! There is a "got it" flavored affirmative trill, and also a "come on!" flavored frustrated trill.
342.
by gnulinux 3y ago
> It's weird It's not weird, this is standard in academic computer science. It would be weird to do otherwise . In a theoretical dissertation/paper like this you can't just randomly bring up compiled assembly, it&#x2
343.
by gnulinux 3y ago
Government can ban combustion too. So that next time it's revealed in a court of law that you caused combustion, you'll be locked up. It's not about preventing combustion, it's about if they find evidence that you co
344.
by gnulinux 3y ago
How do you ban cocaine? How do you ban special parts in guns that make them automatic? How do you enforce any law that's not practical to enforce? You just make it a felony with a penalty of decades of imprisonment. Then, all the bus
345.
by gnulinux 3y ago
As an anecdote: at my worst (when I was clearly suicidal, insomniac and emotionally unstable) I was on antidepressants (Prozac) and it helped me a lot . It made me very emotionally stable. I got off Prozac after a couple years to try it ou
346.
by gnulinux 3y ago
Can one not just note the timestamp of last change with a monotonic clock. Then, dependencies check the timestamp of last computation, and pessimistically determine if recomputation is needed. Seems like the trouble here is you'll have
347.
by gnulinux 3y ago
Is this really relevant? I'm not understanding why it would be. I was referring to Eb (minor third of C) and E (major third of C).
348.
by gnulinux 3y ago
I know this is shocking to people but if a phrase is systematically used by native speakers, it is then part of the language. There is no notion of native speakers being systematically wrong in linguistics. It wouldn't make sense scien
349.
by gnulinux 3y ago
No, the point is words do matter, and they mean what people think they mean. Not people from 100 years ago from a prestige university who wrote a dictionary. Languages are fluid, they change and when they do change the present reality is
350.
by gnulinux 3y ago
If it's a major scale, you're not supposed to play minor third. Besides "every third note" will eventually be every note because there are 7 notes in a major scale. So, by the second octave major second will be one of th
351.
by gnulinux 3y ago
A lot of people are complaining about SodaStream et al due to mineral content but my complaint is actually different! I prefer purified water anyway (I don't need the minerals for taste, tap water is good enough). I have a soda maker a
352.
by gnulinux 3y ago
It seems to me like the biggest concern (at least this is the case for me (a layman) and my girlfriend (a PhD candidate studying Chemical Biology)) for us is that building infrastructure that uses PFA-based materials increases the chances o
353.
by gnulinux 3y ago
I see, so you're saying you have no evidence? It's cute to have a theory in your mind, an abstraction, but you have to verify it regardless of how convincing it sounds to you . For example, my "logic" says that you&#x27
354.
by gnulinux 3y ago
> There aren't that many people in the world who can successfully lead a large company like Alphabet. What evidence do we have for this? How many times CEOs failed Alphabet level companies? What's your dataset? Are you just mak
355.
by gnulinux 3y ago
May Kasahara was entertaining but that Manchukuo story is absolutely something else. Probably one of the most striking stories I ever read in the world literature. "Wind Up Bird Chronicles" is such an excellent book.
356.
by gnulinux 3y ago
> - "US Debt default could happen by 2023" -- pure speculation, not news It seems like this will happen unless something significant changes. It also seems likely something significant will change, such as GOP and Dems agreei
357.
by gnulinux 4y ago
Are you familiar with edibles? You don't need to smoke to ingest THC at all.
358.
by gnulinux 4y ago
Yeah, how about no? My employer behaves exactly as it's laid out in my contract. I will behave exactly as it's laid out in the contract. If it says 2 weeks, that means 2 weeks, not one day late or early.
359.
by gnulinux 4y ago
Yep, factorio and UP are the only games I played more than only a few hours.
360.
by gnulinux 4y ago
It's a reference to the incremental game "Universal Paperclip". This is when something like "AI singularity" is reached in the game.

More ›