Viewing profile — foopdoopfoop

> 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.…

https://github.com/iamadamdev/bypass-paywalls-firefox https://github.com/iamadamdev/bypass-paywalls-chrome

https://softwarefoundations.cis.upenn.edu/ is a nice introduction to computational logic, interactive theorem provers, lambda calculus, and the power of type systems.

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 …

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…

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 intensi…

> 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 wit…

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…

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.

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 t…

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 co…

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 Germa…

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'…

Hi there, I'm at the end of my MSc. studies in CS. At the moment, I can choose to graduate in a month or two, or stay-on for another 9 months doing research in interactive theorem …

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--…