foopdoopfoop

8 ms·

1.
by foopdoopfoop 6y ago
> As a keen NixOS user/contributor, if your only needs are i3 and Firefox, then I do not recommend NixOS to you. ~Any distribution can meet your needs. I really disagree with this. NixOS is also great for simple use cases like this
2.
by foopdoopfoop 7y ago
https://github.com/iamadamdev/bypass-paywalls-firefox https://github.com/iamadamdev/bypass-paywalls-chrome
3.
by foopdoopfoop 7y ago
https://softwarefoundations.cis.upenn.edu/ is a nice introduction to computational logic, interactive theorem provers, lambda calculus, and the power of type systems.
4.
by foopdoopfoop 7y ago
Concerning fiction only: I see books as a way to experience things that I cannot experience in my (rather repetitive) "real" life otherwise. I don't necessarily mean this in terms of the fantastical but also in terms of more
5.
by foopdoopfoop 7y ago
Weather still isn't climate and while the abstract states their model detect climate change within a very small time-frame (a day), it still requires global data to do so. I'm sure the converse is true too and that models should b
6.
by foopdoopfoop 7y ago
Yes, literally by eating less. You can lose weight on a diet of pure granulated sugar. For the purposes of weight loss, exercise is absolutely overrated, especially the low intensity cardiovascular type that most individuals trying to lose
7.
by foopdoopfoop 7y ago
> but if you have a good ISP already, there’s no privacy/security benefits to be had by using a VPN when surfing from home. This is just not true. You cannot sign up for an ISP without disclosing at least your name and address. Many
8.
by foopdoopfoop 7y ago
I don't know that much about Guix, other than "super-free Nix with scheme" (and the article wasn't particularly illuminating other than boiling down to "Guix isn't really ready for most users right now"),
9.
by foopdoopfoop 7y ago
Why haven't you tried a CLI client? Also, Office 2016 seems to be fairly well-support on any number of those wine-based compatibility layers.
10.
by foopdoopfoop 7y ago
Sounds like you've barely programmed in Haskell and don't know what you're talking about. > It is extremely hard to learn Haskell was the first language I learned. I didn't think this at all and I still don't. It
11.
by foopdoopfoop 7y ago
Reminds me of Coq's definition of `False`: `Inductive False := .` i.e., `False` has no constructors and hence is an empty type. Anyway, this means that for any type `A`, you can construct a function of type `False -> A` because you
12.
by foopdoopfoop 7y ago
On paper, I ought to be fine here. Germanic life doesn't jive with me, that's all. I feel very culturally isolated and alienated and would go so far as to say that I find the German aesthetic/way-of-life somehow depressing. I
13.
by foopdoopfoop 7y ago
Hey everyone, I just wanted to say thanks for all your insightful and helpful comments. A big, wide range of opinions are represented and it gave me a lot of needed perspective. I'm still thinking carefully about my options/future
14.
Ask HN: Will getting a PhD lead to a more interesting life?
243 points by foopdoopfoop 7y ago|250 comments
15.
by foopdoopfoop 7y ago
American living in Germany here. (I also speak pretty decent German.) I think it's hard to compare two countries like this. There's a lot more than just the objective differences--it's easy to be miserable in an objectively &