rs86

5 ms·

1.
by rs86 6y ago
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.
2.
Ask HN: Python Weekly Newsletters?
1 points by rs86 6y ago|2 comments
3.
by rs86 6y ago
How could one add undertesting to the model?
4.
Philip Wadler talk on why people use FP(youtu.be)
1 points by rs86 7y ago|0 comments
5.
by rs86 8y ago
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 tran
6.
by rs86 8y ago
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
7.
by rs86 8y ago
Such naivete
8.
by rs86 8y ago
Can't the module system be used for ad hoc polymorphism?
9.
by rs86 8y ago
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...
10.
by rs86 8y ago
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 ju
11.
by rs86 8y ago
This is ridiculously full of unfounded statements, naivety and unsound reasoning
12.
by rs86 8y ago
It is a subject of math. Safety and other qualifies of it can be analysed logically... Or not, as the article points out
13.
by rs86 8y ago
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
14.
by rs86 8y ago
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
15.
by rs86 8y ago
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
16.
by rs86 8y ago
Great idea for a post, but the list is awfully undecidable
17.
by rs86 8y ago
Noooooooo it's erlang with Ruby syntax, powerful meta programming, ad-hoc polymorphism and many other things...
18.
by rs86 8y ago
Good CEO point. There's not much good in trying to be a hero
19.
by rs86 8y ago
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 ca
20.
by rs86 8y ago
Business bullshit by Andre Spicer will be a good read for you
21.
by rs86 8y ago
Right on
22.
by rs86 8y ago
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 isom
23.
by rs86 8y ago
Read up on sunspot equilibria and multiple equilibria.
24.
by rs86 8y ago
There is the theory that the bear market is just the FED trying to buy all Bitcoin at low price.
25.
by rs86 8y ago
There is only one valuation principle in finance. It's present value of future cash flows. All other methods are approximations or this
26.
by rs86 8y ago
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...
27.
by rs86 8y ago
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 gr
28.
by rs86 8y ago
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.
29.
A very simple example of verification in Idris(gist.github.com)
1 points by rs86 8y ago|0 comments
30.
by rs86 8y ago
FP and OOP are orthogonal... You can have purely functional objects

More ›