[–] 60 points 1 week ago (11 children)

I'm 100% not joking, I once was stuck the the proof of a theorem for a whole week going at it and still wasn't able to prove it... until I dreamed of the solution, woke up at like 3 am, quickly wrote a skecth of my dream's proof and went back to sleep. The following morning I checked that path and boom, there it finally was the solution.

Weirdly enough, this happened twice, although that second time I didn't woke up at 3 am, just in the following morning as usual.

  • source
  • [–] 1 point 1 week ago

    Only if I had something like a Graphene phone, but with the prices incumbent in their current Motorola deal, that's about a decade away.

    For what it's worth, you can explore the second hand market for cheaper Pixels + not giving money directly to Google.

  • source
  • parent
  • context
  • [–] 19 points 1 week ago

    Just a heads up, Ecosia relies on you clicking on Microsoft and Google provided ads for its revenue.

    From there FAQ:

    Do we plant trees if we don’t click on ads?

    Like other search engines, we make money when people click on the ads shown in our search results. [...]

    How does Ecosia compare to other search engines?

    [...] We provide industry standard search results together with our partners Google and Bing. [...]

  • source
  • parent
  • context
  • [–] 5 points 2 weeks ago* (last edited 2 weeks ago)

    The author does not work for Microsoft

    My bad, it was the PR merger that works for Microsoft, not the author.

    nor he did add this field to “other open source projects”

    Yes he did. He did several PRs using/collecting that field:

    People just love to hate anything systemd related

    Agree, and I actually like systemd, but I don't see the relantionship between that and my comment.

  • source
  • parent
  • context
  •  

    Hi :)

    I'm planning on setting up my home server, and I'm feeling a bit lost.

    I currently have a Jellyfin, SSH and Backrest server running on my PC, but want to get some dedicated hardware for it, and increase the services hosted to VPN, Immich, maybe Nextcloud, etc.

    The problem is that I have no idea for what kind of hardware to aim for. I don't know whether I should aim for Rasperri, or MiniPC, or a dedicated rag, or any other thing. My country doesn't have a big second-hand market for server stuff, but I that's also a possibility.

    Some context on my needs:

    • I run 1440p videos on Jellifyn, so my guess is I need H.265 support. Other than that, I think any CPU will do, and don't need a very fast one. Same goes for RAM, maybe 8 GB is enough

    • I feel like I do need at least 2 hard drives (1 for my files, another for backups)

    • The ability of upgrade with better hardware would be appreciated, maybe another hard drive or some extra ram.

    • Preferably, a rather low-energy consumption drive. Maybe 10 W idle? No idea on this front neither.

    • Budget is around $200 USD, excluding hard drives. I can pay extra for drives, or get them later on as I start playing around and scale up.

    • What Linux distro should I use? For security, I want to run everything with Dockers, so I guess it doesn't matter? I'm mildly fluent in Linux, experience with Arch and Debian based.

    Thanks in advance :)

    view more: next ›