jnash

10 ms·

61.
by jnash 4y ago
Nope. It is just a different model for the same thing. You might find it enlightens your understanding of composition but it doesn't make it more "real" than any other model.
62.
by jnash 4y ago
Great leaders excel at picking the right people for the job at hand, giving them a clear objective to accomplish with matching incentives, and otherwise stay the hell out of the way.
63.
by jnash 4y ago
Not more useful in practice than Dependent Types and/or Refinement Types. F* (F-Star) is a good example of this.
64.
by jnash 4y ago
Composition is an old idea that predates Category Theory by a long shot.
65.
by jnash 4y ago
I can explain the ideas behind composition in 5 minutes using good old (Haskell) types. No Category Theory needed or wanted.
66.
by jnash 4y ago
I agree with you. It's the same with Category Theory. I have yet to see any practical usage of Category Theory in programming that was better than using basic algebraic reasoning and (simple) type theory.
67.
by jnash 4y ago
You loose weight by lowering your insulin enough to start burning fat. Sleeping longer means that your insulin stays lower for longer. So the real reason is the benefit of lowering your insulin. Not sleep itself.
68.
by jnash 4y ago
Developers talk about reducing/avoiding complexity all the time. And yet the very same developers keep making things more complex. I am starting to realize that most developers don't understand what complexity is. So they say craz
69.
by jnash 4y ago
BS. Buying an apartment in New York or Tokyo is not exactly easy.
70.
by jnash 4y ago
Yep. The so called "nutritional science" community is a joke. Except that it isn't funny. Millions of people needlessly die every year because of bad nutritional advise. Type 2 diabetes is routinely reversed for example by lo
71.
by jnash 4y ago
I recommend looking into the link between insulin resistance and dementia. YouTube search "Dr. Ben Bikman".
72.
by jnash 4y ago
Why is it easy to implement any toy language that is buggy, not standards compliant and slow? Well that should be kinda obvious right? It takes 10+ years to make high quality implementations of Lisp that can compete with the best out th
73.
by jnash 4y ago
Yep you are absolutely right. It takes many years to make a high quality and performant Lisp implementation. The same way you can quickly throw together a C interpreter but it takes many years to make anything that can compete with gcc
74.
by jnash 4y ago
Can't help but laugh at your comment. Mathematics is an informal social activity where humans try to convince other humans that certain abstract structures have certain properties. Having to turn those proofs into formal machine chec
75.
by jnash 4y ago
The "academic exercise" you are talking about has been used and is being used in space, defense, and consumer mobile devices. Very few micro kernels have had that amount of practical real-world usage.
76.
by jnash 4y ago
Obviously they don't fear divine judgement. In other words, it is evidence that a large percentage of Catholic clergy simply doesn't believe in God. There are websites out there dedicated to religious clergy who doesn't bel
77.
by jnash 4y ago
You are right if you work in an organization that is overly bureaucratic and incompetent. For the rest of us not so much.
78.
by jnash 4y ago
> they are correct that we are in a dynamic profession that requires constant learning and expanding Not true. I have met many developers who haven't learned anything new for 15+ years and are still doing just fine developing soft
79.
by jnash 4y ago
I am not a mathematician. But long term I think the #1 most important project is something like mathlib: https://leanprover-community.github.io/ I think it is the future of mathematics. Yes I know that 99% of mathematicians
80.
by jnash 4y ago
So the author failed at math, feels crap about it, and now wants to convince himself and everybody else that math is useless anyway. OK got it.
81.
by jnash 4y ago
Advanced math is an absolute necessary for leading edge science and engineering. Nations without well educated scientists and engineers will not stay competitive for long. Having said that, it is only a small percentage of the population wh
82.
by jnash 4y ago
Wow. What a refreshingly smart developer. Somebody who is smart enough to question their own believes and learn from it. It is so rare to meet somebody like that. Kudos!
83.
by jnash 4y ago
I think you will be more successful communicating your ideas if you use less obscure language. Assuming of course that you are actually trying to communicate ideas and not just trying to virtue signal intelligence or education by being inte
84.
by jnash 4y ago
I use code generation all the time to automate programming in C++. I define what I want (the outcome) and the code generator generates the code needed to do it. It works in any language not just Lisp. It IMHO is better to use Lisp style m
85.
by jnash 4y ago
Can you give examples of real world problems you have solved using what you learned from Seven Sketches?
86.
by jnash 4y ago
Software Foundations ( https://softwarefoundations.cis.upenn.edu/ )
87.
by jnash 4y ago
Try ocaml or F#. I did the same as you and was surprised how well balanced ocaml/F# are compared with everything else.
88.
by jnash 4y ago
Yep ocaml seems to be a perfect balance of all the best of other languages.
89.
by jnash 4y ago
Specialize in whatever is in high demand and you will always do well.
90.
by jnash 4y ago
Sure pay me the same I am paid now and with the same benefits and I will be happy to do research. Your choice.

More ›