gnulinux

81 ms·

691.
by gnulinux 5y ago
I have no idea what people are complaining about in this thread. I find projects like this genius. I love making programming languages and I hate hate hate writing parsers, yet I enjoy experimenting with different syntax. Stuff like this is
692.
by gnulinux 5y ago
If the government is in the business of collecting tax from 300+ million people and has power to punish these people if they don't, government already is in the business of writing tax software.
693.
by gnulinux 5y ago
I fail to understand why this is such a big problem in non-professional settings. Yes, if I do a nice gesture to my boss I do not want him to assume this is the new normal, and I'm expected to do this nice thing on a regular basis. If
694.
by gnulinux 5y ago
Sounds like a more formalized framework on top of transfer learning.
695.
by gnulinux 5y ago
You can game on a patato computer if you want to.
696.
by gnulinux 5y ago
Even if this were true my point (2) still stands. But it really isn't true because spec is part of the code. If your formalism is wrong, irregardless of whether implementation is correct, your code will behave wrong. There is absolutel
697.
by gnulinux 5y ago
I write code in Agda (a proof assistant) for a living and this is rarely true. Because (1) even if you prove your program is correct as per spec it doesn't prove it's correct according to user/PM since spec can/will be b
698.
by gnulinux 5y ago
Very cool concept.
699.
by gnulinux 5y ago
compile both, dispatch dynamically in runtime.
700.
by gnulinux 5y ago
Would someone be able to help me understand what is 'Libre Cloud'? Even if your code is released under AGPL or something like that what guarantee do you get that software running and not that plus a tiny delta? So how can cloud be
701.
by gnulinux 5y ago
If it were the case, photon decay would be measurable. https://physicsworld.com/a/what-is-the-lifetime-of-a-photon/
702.
by gnulinux 5y ago
Exactly! I'm currently going through this process. I'm just pointing out that "quit your job" is not always an option. Regardless of how burnt out I am, I'm still gonna show up to work tomorrow and do as much as I f
703.
by gnulinux 5y ago
Yeah and then there are people on H1B who has to work the same job 7 years or they're deported in 60 days.
704.
by gnulinux 5y ago
It's a bad habit since it encourages commenting before reading the submission. But I do the same thing as well, and it's not clear to me how someone could do otherwise without spending extraordinary time on HN. I find HN a very va
705.
by gnulinux 5y ago
It's not clear to me if this is predictive. E.g. HN has been right about AMD. Years ago when people were talking about AMD it was worth peanuts and look at it now. I don't think it's a case of a group of people being right&#x
706.
by gnulinux 5y ago
More like kind of bugs out.
707.
by gnulinux 5y ago
It's way past the point it's ridiculous. It's starting to get dangerous , and if we don't take action now, this is going to be a systemic problem, not unlike ethnic/racial biases in justice systems throughout the w
708.
by gnulinux 5y ago
Human doesn't need to see the material. One can automate this by crawling websites with known bad material and compute hash of all images. Surely some of those hashes are CSAM, we don't know which. But it's still equally dang
709.
by gnulinux 5y ago
Why is this definition useful in astronomy? Why can't they just say something like "non period 1 element" (NPO element) in order not to cause accidental confusion with other branches of science?
710.
by gnulinux 5y ago
There is even a KSP tutorial for asteroid redirection. Stock game is designed with task in mind.
711.
by gnulinux 5y ago
I fucking love 30 Rock so much, I stopped watching it after Season 1 finale. I was addicted to the first season so I didn't want to trust myself spending more time on the show otherwise I could see myself watching the entire 7 seasons
712.
by gnulinux 5y ago
Unflavored seltzer (i.e. no sugar, no sodium, no caffeine) is also as healthy as water and some people like myself find it significantly easier to drink than water.
713.
by gnulinux 5y ago
Yes thank you very much that is a very good summary. Sorry for being unclear.
714.
by gnulinux 5y ago
I mean I have a clinical problem with overthinking (I am diagnosed with OCD) and I'm not disputing at all there are cases where overthinking is irrational and unproductive. I'm just pointing out that just like there are risks of o
715.
by gnulinux 5y ago
Yes but we want a comparison. I check Twitter election to election. There is no way for me remember the old font. Let alone compare it to this new one.
716.
by gnulinux 5y ago
I'm so astonished that we are so careful not to overthink, to the point we accept "you're overthinking it" as a valid excuse to disregard rare risks. But we don't have the same cultural concern against underthinking
717.
by gnulinux 5y ago
The end goal is value. And value changes from community to community. I don't get this skepticism against productivity. It really doesn't have to be work stuff. After work I play piano, chess etc and any improvement done to these
718.
by gnulinux 5y ago
Oh I think my post is possibly misunderstood? I don't generate wav within MuseScore. I use MuseScore to generate Music XML. Then from that data I have a script that creates relatively more realistic sound using many soundfonts (I creat
719.
by gnulinux 5y ago
The reality is MIDI is a terrible abstraction for anything other than keyboard (piano, organ, harpsichord, celeste etc...). If you have some really good soundfont files you can produce very realistic sounding piano performances if you tweak
720.
by gnulinux 5y ago
In what ways program synthesis different than code generation taught in compiler and/or PLT courses? Is the goal here get ad high level ss possible, or be able to create as much code as possible?

More ›