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 you can sure handle it.

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 functional programming is more like a composition of transformations. It really requires study because you need to think differently.

I would suggest rewriting the standard library of a functional language.... Read the standard functions on lists, maps, tuples, folds, maps, and reimplement them...

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 from scratch you are doomed

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

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 runtime and from the point of view of the programmer they are just returning values that describe the effectful actions they want to perform, and any changes to programming state from those actions are apparently as function arguments...

The language has its warts, but I would use it if it were not for the poor project management and support.

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 least as strong as arithmetics

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 and quality of data available for training and the accuracy of the model. If a model is proven to learn too slowly it costs more to train it. And some models might never approximate a target function.

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 of hardware failure. I think those are handled well by cloud service providers; they didn't exist during the 80s.

I think performance is better compared to Ruby and Python, but then again my experience with web applications is that the domains are best modeled using classes.

For writing networking code and protocols, the binary pattern matching is amazing, though. The Plug libraries are a pleasure to use also.

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 guess it would be worse without treatment.

- taking care of my health - taking care of my looks - anti depressants (cipramil) - writing down my to-dos so I don't obsess over them and generally organizing my week, not only work - avoiding drugs and alcohol - seeing my friends and family often. Can't stress this enough. I'm blessed with many friends and a loving family - seing something really painful once in a while to keep me in perspective. Can be as simple as watching hardcore documentaries about Africa. - doing good to others - keeping busy - an empty mind is the devil's office or so we say I'm Portuguese

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, polymorphism, dependent types, lambda calculus, curry howard isomorphism, Martin lof type theory, Automath, coq...

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

Perl 6 feels a bit "ad hoc" to me... It looks like it has very interesting features but it lacks the uniformity present in most languages...

Agreed. I think tech valuations for single-product start-ups underestimate the competition and risk if substitution. I mean valuations imply too much top line growth and margins on businesses that might see their revenues drop or fail to grow and have poor cash flow. For example: Twitter, Snap. I also know first hand that valuations for urban mobility and real estate tech companies are really wild.

Yep, it is a weird deal. Any company worth 1,5bn should be able to generate cash or raise debt instead of going for expensive equity. Looks like the valuation is well out of sync with their actual financial health.

FP and OOP are orthogonal... You can have purely functional objects