dolia

7 ms·

1.
by dolia 23d ago
I will treat this comment charitably and just say that it's yet another case of "definition of X sounds good, so X can't be bad". I believe in reality it's less about "please don't kill us" and more
2.
by dolia 1mo ago
This applies to a lot of scientific and practical (like construction) topics in general. Everyone relies on someone else (or something else) knowing what to do.
3.
Ask HN: Why did Fastify never get more hype?
1 points by dolia 2mo ago|0 comments
4.
by dolia 3mo ago
Ok, I checked what Go does. It indeed can generate runtime validators from types. Neat, TIL. I'd argue it's not by default a capability of statically typed languages, rather something that a language creator can choose to add vi
5.
by dolia 3mo ago
"every time I have to type "as" my inner Haskell programmer screams." - most of the times you don't have to. You choose to. "If I could add one feature to Typescript it would be something like "as" th
6.
by dolia 3mo ago
TIL, thanks. The 2nd point stands though. A person with good or perfect pitch will quickly tune to another frequency.
7.
by dolia 3mo ago
Clearly, it makes sense to have perfect pitch only in connection with a particular instrument for practical purposes. Besides being a neat party trick, it gives more possibilities and makes things easier if a person wants to work with music
8.
by dolia 3mo ago
Is there anything about notes and instruments tuning that is not arbitrary? But hear me out: there's few hundred years tradition behind it, at least in the west, so why not follow it for a kid? "I assume that if the learner drifts
9.
by dolia 3mo ago
Are you opposed to F35s only or to army spendings in general?
10.
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers(digitalcommons.chapman.edu)
5 points by dolia 3mo ago|0 comments
11.
by dolia 3mo ago
I feel that too many people are confusing arguments they agree with with logical arguments. Most of people, when they claim that something is rational or logical, actually mean that it's a position that they agree with. I have no reaso
12.
by dolia 3mo ago
Learning to code just for fun is fun. Learning to code just so you understand better the AI output makes sense. Learning to code and making it your profession - I think times are really hard for juniors now. The bar will be high, especially
13.
by dolia 6mo ago
Just out of interest, are you coming from the area?
14.
by dolia 7mo ago
So the value it is producing is for you as the service provider on the hype. If the whole notion of "I set up a service because there was so much demand form friends" is even to be believed nowadays...
15.
by dolia 7mo ago
You think he implemented those thousands of integrations himself? Or maybe some particular tool was used that can be used again for implementing such things? Particular tool that so many of us use as well?
16.
by dolia 7mo ago
Lurkkit seems very nice!
17.
by dolia 7mo ago
Please, tell more?
18.
by dolia 8mo ago
Few reasons: 1. Habit. We're used to use Telegram for everything: news sources, social network, messaging, memes. Telegram has more capabilities than other apps. You can't realistically move your family and friends to another mess
19.
by dolia 9mo ago
Oh man, this is my jam. I remember seeing this kind of puzzles in a Martin Gardner's book. Thank you :)
20.
by dolia 11mo ago
What an achievement.
21.
by dolia 1y ago
Thank you for showing this. I am slowly working on a book with a similar goal as yours. Your book is very interesting and inspiring. Your work might have gone unnoticed by most, but not by me. Big respect for sticking to it and not giving
22.
Show HN: "The Roots of Lisp" Interpreter(github.com)
2 points by dolia 4y ago|0 comments