cosmic_quanta

7 ms·

91.
by cosmic_quanta 2y ago
> "Good judgement comes from experience. Experience comes from bad judgment." Damn that's good
92.
by cosmic_quanta 2y ago
I'm in a similar position right now. I have a few years of experience under my belt, in a small team of ~10 devs. No one is a software engineer, and it's everyone else's first job essentially. There's no one senior from
93.
by cosmic_quanta 2y ago
Let's be substantive : What makes Borgo junk? Can you seriously see nothing interesting here compared to Clojure?
94.
by cosmic_quanta 2y ago
I'm a big fan of Haskell Programming from First Principles. That's where more advanced ideas like Monads started clicking. https://haskellbook.com/
95.
by cosmic_quanta 2y ago
That's an excellent point, thanks! I will edit the post
96.
by cosmic_quanta 2y ago
Interesting, I am intrigued by the support for partial derivatives with typed dimensions. I'll have to check out OpenFOAM
97.
by cosmic_quanta 2y ago
There are Haskell packages for uncertainty (e.g. [0], based on automatic differentiation [1]). However, these packages don't support typed dimensions, because multiplication/division becomes more complex. It is my goal to provide
98.
by cosmic_quanta 2y ago
> ... not as types, but as special numerical values, more or less (values that you can multiply/divide by any other unit, but can only add/subtract with themselves). What's so cool about `dimensional` is that the types wor
99.
by cosmic_quanta 2y ago
The `dimensional` library doesn't provide this, no. However, it's easy to 'tag' data in Haskell using phantom types. For example, for vectors in reference frames: newtype Framed f a = MkFramed (Vector a) a
100.
by cosmic_quanta 2y ago
That's a great question. Haskell has arrays and matrices of homogeneous types, so it wouldn't work by default. If you needed this kind of functionality, you would have to create your own Matrix type which would look very similar t
101.
by cosmic_quanta 2y ago
Something I briefly mention in the post is pint [0] for Python, but unfortunately, I don't think dimensions can be specified via type annotations. At least you can check the input of functions at runtime [1]. [0]: https://gi
102.
by cosmic_quanta 2y ago
Author here, thanks for posting! On the Haskell Discourse [0], someone posted about another Haskell library, units [1], which allows to define unit systems NOT limited to the 7 physical dimensions. For example, adding a base dimension for c
103.
by cosmic_quanta 2y ago
This is an excellent summary of deregulated electricity markets, which are important components of the North American power grid.
104.
Which Power Plant Does My Electricity Come From? [video](youtube.com)
3 points by cosmic_quanta 2y ago|1 comments
105.
by cosmic_quanta 2y ago
Ah well I'm sorry, I must misremember
106.
by cosmic_quanta 2y ago
> Neutrons make hardware radioactive True, but two caveats: 1. Neutron bombardment due to fusion makes hardware radioactive for less than 10 years, which isn't great but does not compare to fission waste; 2. Some fusion processes do
107.
by cosmic_quanta 2y ago
Could you speak to the advantages of Haskell's lazy IO? I only hear about its disadvantages usually
108.
by cosmic_quanta 2y ago
Location: Montréal, Canada Remote: I can, but prefer on-site Willing to relocate: Yes. Easy to get visa for US + Commonwealth countries (NZ, UK, Aus, etc) Technologies: Haskell, Python, Rust (been a while though), SQL, Git. Résumé/CV:
109.
by cosmic_quanta 2y ago
You are right, I should have used the term "firm power" instead of "baseload"
110.
by cosmic_quanta 2y ago
Not necessarily. The grid of the future needs a plurality of solutions, one of which is clean baseload (e.g. hydropower, nuclear fission, or fusion). However, don't discount renewables. Paired with energy storage -- which isn't on
111.
by cosmic_quanta 2y ago
Do you think it's impossible to have a nuanced discussion about monopolies? Their net effect may be wholly negative while having some interesting aspects
112.
by cosmic_quanta 2y ago
I would argue that the first measurements of exoplanets' existence is definitely physics. This was a leap in our understanding of the makeup of the universe.
113.
by cosmic_quanta 2y ago
I can only think of major achievements in my (narrow) field of study. What do you think could have reasonably been awarded?
114.
by cosmic_quanta 2y ago
Indeed, as a technology, there's a lot to learn from Bitcoin. The possibility that a fully decentralized platform can exist without peer trust still blows my mind.
115.
by cosmic_quanta 2y ago
The reason rustc and other compilers like it (e.g. GHC) are "slow" isn't because they are unoptimized; it's because they do A LOT of work! rustc is enforcing a strong and expressive type system, checking for ownership, g
116.
by cosmic_quanta 2y ago
Usually I would think these are shadow-layoffs, but employees were already required to be in-office 3d/week, which means that employees were at least proximate to their office.
117.
Amazon is making its employees come back to the office five days a week(theverge.com)
13 points by cosmic_quanta 2y ago|1 comments
118.
by cosmic_quanta 2y ago
I realize I didn't mention monad transformers at all in my original post, I only linked to them! I should have mentioned that, as you say, monad transformers should be the default effect system choice for 99% of people
119.
by cosmic_quanta 2y ago
Someone truly new to Haskell shouldn't use it professionally. Once you've learned what is necessary to, say, modify already-existing applications, you should be familiar with monads and some basic monad transformers like ReaderT.
120.
by cosmic_quanta 2y ago
> I'd analogize it to a metalworker working with titanium. If you need it, you need it. If you can afford it, great. The end result is amazing. But it's a much harder metal to work with for the exact same reason it's amazi

More ›