johndoe42377

9 ms·

1.
by johndoe42377 5y ago
Location: Asia Remote: only Willing to relocate: Sweden or Norway only Technologies: classic FP: SML, Haskell, Scala, Erlang, FSharp Résumé/CV: https://karma-engineering.com/lab/wiki/TitleIndex E
2.
by johndoe42377 6y ago
Location: Asia Remote: Prefered Willing to relocate: Sweden or Norway only Technologies: Haskell, Scala Résumé/CV: https://karma-engineering.com/lab/wiki/TitleIndex Email: johndoe42377@gmail.com
3.
Being less wrong about Haskell(karma-engineering.com)
4 points by johndoe42377 6y ago|0 comments
4.
Ask HN: Swedbank discrimination against migrants
3 points by johndoe42377 6y ago|3 comments
5.
by johndoe42377 6y ago
> Physics without determinism What does this even mean? The whole universe and life itself are possible precisely because there is determinism, which is captured in what we call logic, (and arithmetic). Sects, fucking sects everywhere.
6.
by johndoe42377 6y ago
Honestly, what kind of bullshit is this?
7.
Cardano (and Haskell) Thread(boards.4channel.org)
4 points by johndoe42377 6y ago|0 comments
8.
by johndoe42377 6y ago
Why do difficult? $500/mo buys you a room, wi-fi and home made food almost everywhere in developing countries. Working from home is a long sought boost for everyone. Places like Sikkim, or Ladakh, unspoiled parts of Nepal and Sri Lanka
9.
by johndoe42377 6y ago
There is something fundamentally wrong with these models. The brain "works" because it's evolved structure matches or reflects reality. It is not about having billions of neurons, but about to have the right structure which
10.
by johndoe42377 6y ago
It is too late, but I think they should have adopted the ML family approach of uniform pattern matching (in function clauses and parameters as well). Uniformity is a big deal. Ok, Scala or Rust got a chance. Partial functions (clauses), cur
11.
by johndoe42377 6y ago
This is the first time someone recognised me. By writing style, I suppose.
12.
by johndoe42377 6y ago
I would claim that such structures are imaginary, not structures at all, and the whole field is a sect (a socially constructed movement based on sectarian consensus which regards "knowledge" of details of abstractions, which does
13.
by johndoe42377 6y ago
Look, I never tried to be offensive or even bully. But I care about the principle of calling things by its proper names and precise language usage. I am describing things exactly how I see them. And I have reasons to do so. Like so many oth
14.
by johndoe42377 6y ago
Oh, I forgot to mention, that "enzymes are proteins" is isomorphic (lol) to "procedures are list structures" (or "code is data") which explains the miracle of Lisp and it's macros and connects Lisp to life
15.
by johndoe42377 6y ago
I really don't know how to respond to this sectarian bullshit. Three is literally nothing in the ability to create another abstraction by finding an isomorphism, which is just a pair of functions.
16.
by johndoe42377 6y ago
This is the social signalling I am talking about.
17.
by johndoe42377 6y ago
Obviously, not. Not even apples versus oranges. Church encoding shows you that "all you need is lambda", which is the same to say all you need is a membrane in biology. Even further, Lambda calculus shows you that function creatio
18.
by johndoe42377 6y ago
Just a nice set of ideas to be used for social signalling. In with type systems, a typeclass is all you need. The mantra is "to be an X (being substituted for an X) is to be able to perform (implement) such and such actions (or have th
19.
by johndoe42377 6y ago
Remote, like almost everything else, is just not for everyone. For some people, which are usually called "introverts" and similar names, remote is a bliss, and for people like Torvalds, it worked well for decades. The only real pr
20.
by johndoe42377 6y ago
What porting? Isn't C++ the most portable language in existence? Oh, there is also Rust. But isn't it just uses an LLVM codegen, same as Swift or clang? So, there is Rust's stdlib. Seems like these abstractions are not exactl
21.
by johndoe42377 6y ago
Bullshit. We know nothing and have literally no way to know (only speculate) about anything 10k years ago. Besides, every text is being altered at each rewrite (before printing technology) and even no story is told two times exactly the sam
22.
by johndoe42377 6y ago
Unfortunately, the Haskell ecosystem has been ruined (well, almost) by unnecessary, redundant abstractions and narcissistic idiots who pushes them. I recently tried to compile haskell-language-server and stack from sources. 157 and 168 (or
23.
by johndoe42377 6y ago
Why should it be not? It will be effective as long as the core protein against which the immune system response is to be triggered will remain the same.
24.
by johndoe42377 6y ago
This, by the way, should not be called "science". Science is a methodology of establishing aspects of truth (via reproducible experiments). What it should be called accurately is "modeling". Mostly oversimplified and pla
25.
by johndoe42377 6y ago
Norvig's code is gold, even back from the times of PAIP (which is still definitely a must read). His "poker" course (on YouTube) is also golden standard. Why? The background in math, basic data structures and logic, so one kn
26.
by johndoe42377 6y ago
Easily. It is a type error. An attempt to apply inapplicable (orthogonal) concepts to one another. An evidence implies an observable phenomenon (whose description is a statement of fact). Merely a chain of reasoning is never an evidence, be
27.
by johndoe42377 6y ago
In the field of programming languages design and implementation look no further than Erlang, MIT Scheme (a true gem), GHC, Scala and Go. Those are creations of exceptional masters. For smaller projects take a look at nginx, Tokyo cabinet (a
28.
by johndoe42377 6y ago
There is no such thing as evidence for abstract concepts.
29.
by johndoe42377 6y ago
This is exactly how are why statistical estimation is bullshit. Correlation, if any, does not imply causation, and the causality principle has nothing to do with statistics. Observations (counting), however many, will never reveal causality
30.
by johndoe42377 6y ago
Come on, programming languages are not tools (compilers are tools). Programming languages are cultures. Precisely. This is why PHP Java or JavaScript are fucking abominations. They have been started with lack of a culture and discipline to

More ›