epgui

45 ms·

721.
by epgui 3y ago
Sounds like we're in agreement! I may have been picky about wording.
722.
by epgui 3y ago
I mean... Not necessarily? It depends how you use it or what part of the process you delegate to it, no? Whether AI produces Lean code or a human produces Lean code... The Lean code should speak for itself. Both humans and AI are the weak l
723.
by epgui 3y ago
> nobody seems to have identified what functional programming is defined as Nobody asked (until now, so thank you for asking!), and this is a fairly well discussed topic for anyone who cares to search! You will probably get a lot of slig
724.
by epgui 3y ago
Genuine question-- is there something about Futhark that makes it particularly well-suited for parallel execution compared to any other functional programming language (especially of the purely functional kind)? FP in general is inherently
725.
by epgui 3y ago
I feel like in both of your comments you've changed the topic slightly. I responded to the following comment, which I interpreted literally: > Very little innovation in programming languages has happened regarding new realities at t
726.
by epgui 3y ago
> all problems will be made to look like math problems All problems that can be solved with code are math problems. Proofs and programs are isomorphic (see the Curry-Howard correspondence). --- Edit: this is a factually accurate commen
727.
by epgui 3y ago
I don't know what "silver bullet" claims you've heard, but I'm not sure how that is relevant to this thread. I don't think I've made any outlandish claims, or any claims that aren't substantiated by a
728.
by epgui 3y ago
While this is a better understanding than the parent comment, it's not quite right either. The microbiome acquired at birth and early childhood is EXTREMELY robust to change throughout the rest of a lifetime. As an adult, it's fru
729.
by epgui 3y ago
Antibodies do not target bacteria or viruses. They target protein that are present on bacteria or viruses. Protein are not alive, but they are a component of live organisms. Protein present in peanut butter come from the plant that produces
730.
by epgui 3y ago
Hardware was for a very long time a limiting factor in the practicality of FP. For most general applications, today this is a relative non-issue. FP is also particularly well suited for cloud computing and parallel computation.
731.
by epgui 3y ago
Except for all the research around functional programming? This is like when I hear people claim that physics has not advanced in the last 50-70 years.
732.
by epgui 3y ago
I have a very negative visceral reaction at the thought. (I am someone who uses python for work, and not for fun…)
733.
by epgui 3y ago
PEG is used in so many biomedical applications, largely because of its favourable immunochemical properties-- that's precisely the concern.
734.
by epgui 3y ago
This comment is "not even wrong". I'm not sure how much more "alive" you expect something like pollen to be (or most allergens, which are usually proteins or protein fragments). Nobody is claiming that antibodies ar
735.
by epgui 3y ago
> These don't appear to be general-public myths, but misapprehensions from fellow scientists working in the field. I am a biochemist and read a few relevant journals regularly, and that’s precisely what I’m talking about.
736.
by epgui 3y ago
The only thing I have to say about that is that pH is probably not very clinically relevant. The rest more or less checks out.
737.
by epgui 3y ago
Why do you believe you have to drink kombucha?
738.
by epgui 3y ago
It’s a good article, but I have the following criticism (i’m not the biggest expert, but I’m a biochemist): - many of these myths are things I’ve never heard before. I’m wondering how prevalent some of these really are. - some of these seem
739.
by epgui 3y ago
I agree with the general idea of the article (that MA is a silly goose), but even then it's pretty easy to see that the content of the article is not of the highest quality.
740.
by epgui 3y ago
> Web pages are undeniably the future of digital documents. I strongly disagree in the general case. PDFs all the way.
741.
by epgui 3y ago
That doesn't seem the right question. I think the main question people are raising is whether they should , not whether they would.
742.
by epgui 3y ago
Not very much.
743.
by epgui 3y ago
Not fundamentally, they aren’t. Tesla and a few Chinese companies are making very good money on EVs.
744.
by epgui 3y ago
Call me entitled, but I believe people should have a fundamental right to refuse spam (errr advertising). In fact in Canada that’s more or less a thing. Basically for the same reason I think people should have a fundamental right to not lis
745.
by epgui 3y ago
Yes. (I mean, that’s the hard variation of what I said… A softer variation would allow for public-corporate partnerships, or would merely regulate corporate activity much more.)
746.
by epgui 3y ago
Well… I also consider Javascript to be a horrible language. Python is horrible as well, but better than R. IMO python and javascript are in the same ballpark. Not all non-typed languages are bad. Clojure, for example, is one if the most ele
747.
by epgui 3y ago
Here’s a crazy idea… I don’t want to give any money to Google, but I would happily pay double the amount in taxes to get public infrastructure of comparable quality.
748.
by epgui 3y ago
If Costco decided they wanted to make a profit on their 1.50$ hot dogs and cranked the price up to 3$, they would lose a ton of goodwill and many of their loyal customers would be upset. Google isn’t exactly struggling to make ends meet. Th
749.
by epgui 3y ago
+1 I wouldn’t even notice the subscription costs, but at this point Google has only succeeded in alienating me. I have disproportionately negative feelings about this.
750.
by epgui 3y ago
That's a great textbook!

More ›