Viewing profile — rs86

Just don't punish yourself over it. There is more information than anyone could handle. It's really a matter of realizing failure is a part of life. You can not avoid failure, but …

Hi there HN, do you recommend any Weekly python Newsletter?

How could one add undertesting to the model?

I don't think those kinds of exercises will teach you about functional programming... Here's why. You can understand imperative programming as a sequence of operations. But functio…

I would ask you questions about Haskell and functional programming, if you get them right it will definitely be a plus, but if you say you know Haskell and can't write basic monads…

Such naivete

Can't the module system be used for ad hoc polymorphism?

Elm is quite different from purescript or Haskell... It shares syntax and the purity semantics but its type system is much less expressive (no type classes); no do notation; no mon…

Elm has managed effects and purity, and I had immense satisfaction in using it... Managed effects means that doing http requests and working with DOM events are managed from a runt…

This is ridiculously full of unfounded statements, naivety and unsound reasoning

It is a subject of math. Safety and other qualifies of it can be analysed logically... Or not, as the article points out

Theorems are strings of symbols and can thus be encoded as numbers, and statements about numbers become statements about theorems. That's why the theorem applies to systems at leas…

This is about the possibility of proving certain things about the model, not about properties of any implementation. Properties include for example the relation between the amount …

I have mixed feelings about using Elixir (or Erlang); as far as I understand the platform, it is about building fault tolerant systems/high availability, specially in the presence …

Great idea for a post, but the list is awfully undecidable

Noooooooo it's erlang with Ruby syntax, powerful meta programming, ad-hoc polymorphism and many other things...

Good CEO point. There's not much good in trying to be a hero

As others have pointed out there is no silver bullet. I have only very mild depression and anxiety sometimes, I mean it bothers me a lot but it's far from serious clinically. But I…

Business bullshit by Andre Spicer will be a good read for you

Right on

Should PLT be included? There's the Backus lecture on why functional programming matters, the ML language and hindley milner type inference, object oriented programming, polymorphi…

Read up on sunspot equilibria and multiple equilibria.

There is the theory that the bear market is just the FED trying to buy all Bitcoin at low price.

There is only one valuation principle in finance. It's present value of future cash flows. All other methods are approximations or this