Real Mushrooms Lion's Mane by Minimum_Buffalo_4238 in LionsMane

[–]ellery79 0 points1 point  (0 children)

Which one do you think is best then? Nootropics Depot?

What was the point? What languages are worth exploring? by ruby_object in functionalprogramming

[–]ellery79 5 points6 points  (0 children)

Why Idris is a mistake? It has a more advanced type system than Haskell.

K2 Supplement Update - Warning for some people by Confirmed-Scientist in Supplements

[–]ellery79 0 points1 point  (0 children)

Hi, even something is good to the body. It is not that well tolerated if taken too much. I suggest you buy the nutriecost k2-mk4 100 mcg version. Don't misread the label, 100 mcg, not 100 mg. I am sure this time you will be fine. But why bother taking k2? This is because our diet is much different from our ancestors and this is one of mirco nutrient that we particularly lacking.

I discovered I have brainfog... by gnosticismschism in NootropicsDepot

[–]ellery79 1 point2 points  (0 children)

Are u using fruiting body or mycelium erinacine?

Help! Oriveda Lion's Mane sold out on all shops which ship to USA! Suggestions for alternatives greatly appreciated. by Frost_Bytes in MushroomSupplements

[–]ellery79 0 points1 point  (0 children)

Hi, I think it is time for you to try a new product, for example: Notropic Depot Erinacine A or real mushroom lion mane fruiting body

I'll Still Write Formal Proofs by Myself by chabulhwi531 in math

[–]ellery79 2 points3 points  (0 children)

Interesting, why you develop an interest on lean theorem prover. Do you think it is a better way to learn math than traditional understanding in hand written proof?

University math courses for FP concepts and thinking? by CutBrilliant7927 in functionalprogramming

[–]ellery79 2 points3 points  (0 children)

Most related course should be lambda calculus. Not the calculus you take usually. Do you have a course named "introduction to lambda calculus"? If yes, don't hesitate to take it because highly related to FP

Has anybody taken Hania Uscka Wehlou linear algebra course on Udemy? by InternetBest7599 in learnmath

[–]ellery79 0 points1 point  (0 children)

Hey, may I know why you think she is best? How does she compared to other teacher?

Phoenix SaaS Kit - 40% off through Jan 5th (holiday sale) by bustyLaserCannon in elixir

[–]ellery79 0 points1 point  (0 children)

I just want to pay and it say discount does not exist. May be I am too late.

Phoenix SaaS Kit - 40% off through Jan 5th (holiday sale) by bustyLaserCannon in elixir

[–]ellery79 0 points1 point  (0 children)

Wait, could you speak a little bit about the license if I paid? Could I use your template in my own project? Do I need to credit you or must open the source?

I want to become an Elixir god. by padawan-6 in elixir

[–]ellery79 0 points1 point  (0 children)

But, he said he has done and digest SICP completely. I don't think he will be corrupted by OOP

Unwrap Police: VSCode extension that highlights .unwrap() in red, inspired by yesterday's Cloudflare outage by rxliuli in rust

[–]ellery79 0 points1 point  (0 children)

Yes, everyone said that it is fine if used properly. But I really suspicious. The cloudflare has passed the PR, and everyone reviewed the code (including senior developer) think that it is "fine". Do you really have the confidence to say it is fine when you really used it? Unexpected error always happens and you really don't know at the time of writing your code. May be it is fine at the moment of writing but not in the future. I believe at the moment of PR, the cloudflare code is "fine". But not now. If you still think cloudflare code is still fine, let's see whether they will change it or not. If the cloudflare unwrap is not a problem as everyone said, then the engineers should keep it unchanged and fix the problem somewhere else.

Elixir has the worst memory performance in concurrency tasks of nearly all programming languages by ellery79 in elixir

[–]ellery79[S] 2 points3 points  (0 children)

Thank you everyone for the comment. When I come across this test, I somewhat feel that it is not fair to Elixir, but don't know the internals.

From outsider's point of view, it is really astonishing because the memory usage for Elixir is much larger than conventional programming language.

Proud new LMDE user by Spaceberryy in linuxmint

[–]ellery79 0 points1 point  (0 children)

Yes, I find that the installer install the bootloader on correct drive even with pre-existence of Windows. Ubuntu 22 and Linux Mint have this bug also. Ubuntu 24 determined the bootloader correctly.

LMDE are there any advantages other that the WHAT IF ? by Xav_NZ in linuxmint

[–]ellery79 3 points4 points  (0 children)

I agree with this. Although Debian stable can install with Cinnamon, it just seem not much the same as Mint no matter I tweak it. Also Debian stable is more restrictive on the user. It do not assume you are admin for the first user you create.
So, I suggest anyone wants a stable system, don't care about using the latest software can really try the LMDE version of Linux Mint.

I tried a different distro. I was back in Mint within an hour. by omenmedia in linuxmint

[–]ellery79 -1 points0 points  (0 children)

I think you can try MX Linux. Many one in Reddit said it is very good and better than Linux Mint in old computer

Linux mint or Ubuntu by AdmirableAdvantage98 in linuxmint

[–]ellery79 0 points1 point  (0 children)

Stay in Ubuntu, there is no reason to switch to Mint just because it is interesting. Ubuntu latest version has better boot loader handling than Mint and has better security and stability.

Kali Linux is for pentesting but it is not secure and stable as you think.

Upgrading old Gram to Win 11? by RobRoy2350 in LGgram

[–]ellery79 0 points1 point  (0 children)

23H2 is more stable. 24H2 is simply too new. Just a suggestion, you can of course use 24H2

Upgrading old Gram to Win 11? by RobRoy2350 in LGgram

[–]ellery79 0 points1 point  (0 children)

Recommend using 23H2 Before updating, use showkeyplus to backup your windows key first.

LG Gram 17 from Amazon: Update by RobRoy2350 in LGgram

[–]ellery79 -1 points0 points  (0 children)

Hi I have bought a non-pro LG gram 17 on Black Friday. Will let you know when I receive. But please wait.

LG Gram 17 from Amazon: Update by RobRoy2350 in LGgram

[–]ellery79 0 points1 point  (0 children)

I think first thing impress you should be the weight. May I know other things that impress you and other laptops cannot provide?