Ixiaus

9 ms·

31.
by Ixiaus 6y ago
Projectile + Helm works extremely well for me, did you try those modes?
32.
by Ixiaus 6y ago
As individuals, I agree. Producing media and computational tools are where we can help the most. Our industry is already geared towards "caring" (in the economic sense, not the emotional sense) about efficiency anyway. e.g. laptop
33.
by Ixiaus 6y ago
I can relate to your sentiment about getting good at treading water. I think growth can happen in adversity but a lot of growth also happens from a place of feeling safe in the major areas of your life. 2020 has made me not feel safe in m
34.
by Ixiaus 6y ago
It seems you were downvoted for reasons I don't understand but I think your comment is important. I agree that aligning economic incentives is a good (and probably the only?) way to steer hordes of people in directions that will either
35.
by Ixiaus 6y ago
We're not facing extinction yet and this sort-of alarmism is actually unhelpful. I too thought for a while that we're facing extinction but we're not there yet, I found this helpful to read: http://www.realclimate.
36.
by Ixiaus 6y ago
Haskell and OCaml are definitely not just hobbies. I've used Haskell full-time for the last five years of my career. The company I work for uses Haskell for a network packet parsing engine, web api servers, CLI executables, build infra
37.
by Ixiaus 6y ago
I like the idea behind "brain oriented" code but I'm skeptical of Python's suitability for the task. A language that gives you explicit types, algebraic data types, and can separate effects from pure code is a crucial fi
38.
by Ixiaus 6y ago
`.` is function composition in Haskell (used in the example).
39.
by Ixiaus 6y ago
That sucks. I highly recommend the book "Anxious" which is about the neurobiology of fear and anxiety. Reading it feels like reading the owner's manual to my brain.
40.
by Ixiaus 7y ago
Dhall: https://dhall-lang.org/
41.
by Ixiaus 7y ago
I wish I knew about EFT so much earlier in my life. Even just understanding the basic ideas has helped me immensely.
42.
by Ixiaus 7y ago
I use it in production at my job, I primarily use it to catch sneaky bugs in designs before implementing them and to produce something tangible to talk over with other engineers once I've settled on a design. It's worth learning a
43.
by Ixiaus 7y ago
I liked this article and how it was framed for businesses but it seems generally useful to many different types of activities: - Pull requests should usually optimize for latency, not throughput (i.e. smaller PRs/changes are usually be
44.
by Ixiaus 7y ago
I've known many people who've been helped in a non-trivial way by antidepressants. Furthermore I had a colleague commit suicide recently due to depression. His comment is not dangerous, it's encouraging. Pharmaceuticals all h
45.
by Ixiaus 7y ago
I'm 33 and I wish I learned this a long time ago (I started realizing I did this 4 years ago and it took a while for it to sink in how much people dislike unsolicited advice). I think, for me, it comes from a deep desire and need to be
46.
by Ixiaus 7y ago
Sorry for the late reply. First of all, I don't think pasta is too terrible if it's fitting in your macros. Wheat will have a larger glycemic impact on you though than many other carbohydrate sources (e.g. sweet potatoes, which I
47.
by Ixiaus 7y ago
Interesting, thanks for sharing. I haven't had any acute illnesses that drove my own dietary changes but I too have completely cut alcohol and refined sugar from my diet and I generally feel great in my body. I did strict Keto for abou
48.
by Ixiaus 7y ago
I don't have anything to address your questions but I am curious what dietary changes you've made.
49.
by Ixiaus 7y ago
I understand your perspective because I've been there but you can always start taking responsibility for codependence now by taking a hard look at how you place blame (regardless of your gender). In most cases, both parties will con
50.
by Ixiaus 7y ago
It is not common and if you experience this then you are: bad at setting your own boundaries, bad at mate selection, or bad at friend selection. Men are not victims here. Have a hard look at why you think this and fix the problem.
51.
by Ixiaus 7y ago
I agree we should also plant trees and cultivate forests however that won't help fix our oceans. The reason why I like the olivine weathering proposal is that it weathers co2 out of the ocean and uses the ocean as a carbon sink. This w
52.
by Ixiaus 7y ago
I've only compared it to sulphur dioxide and the risks look fewer. The other benefit of enhanced weathering with olivine distributed in energetic waters is that it removes CO2 from the ocean (letting the ocean act as a carbon sink for
53.
by Ixiaus 7y ago
I agree, I think geoengineering is unavoidable. As far as geoengineering projects go, this one looks like the most feasible and safe so far: https://projectvesta.org/
54.
by Ixiaus 7y ago
You don't have to completely change your lifestyle to make beneficial improvements to your life and community. We often make the mistake of thinking that a strong signal will have more impact than frequent and consistent weak signals.
55.
by Ixiaus 7y ago
Real-time applications and really low-level systems software (however, there are some EDSLs that enable you to write real-time applications with Haskell's type-safety guarantees that can generate C-code: Haskell's Ivory library h
56.
by Ixiaus 7y ago
I think you mean, by interactive, something with a user interface like a gui. First, see functional reactive programming . The only project I used it for that was interactive in that sense was an interactive CLI tool. However Oskar Wikstro
57.
by Ixiaus 7y ago
I actually think it's seeing quite a bit of adoption in industry. What I'm seeing is a class of developer that won't learn it or thinks they can't learn it, of course "to each their own", but I truly think Hask
58.
by Ixiaus 7y ago
Honestly, as I've grown older, the more I've come to realize that "rationality" is such an energy intensive skill to cultivate and its payoff so long-term that humans have always been like this and that what we witness i
59.
by Ixiaus 7y ago
Really there's a general point here I think: up front, careful reasoning (which should eventually excogitation in English or math or code) not only helps prevent mistakes but it also produces documentation and reasoning collateral.
60.
by Ixiaus 7y ago
And then specify the design doc with TLA+! I agree with your point and I also think English is imprecise. It's great for socializing and flushing out ideas but it can also give one a false sense of confidence.

More ›