thesz

54 ms·

691.
by thesz 4y ago
Go is not statically typed, really. Consider using Haskell, if not Agda. About "type-related programming bugs." I once took endeavour to write cycle-accurate MIPS CPU simulation in Haskell. Most of the errors I uncovered were easi
692.
by thesz 4y ago
You do not need to resolve/rename memory addresses. You need to resolve/rename stack addresses, which is entirely different problem, much smaller than working with memory addresses. There are usually not more than 2 stack addresse
693.
by thesz 4y ago
>SQL was meant to be like readable english DROP TABLE IF EXISTS and CREATE TABLE IF NOT EXISTS are counterexamples to that statement. Notice that suffix operator IS NULL is present in expression part, but these statements do not use that
694.
by thesz 4y ago
Turing machine emulates a computer (a human that computes) with an infinite pencil, infinite sheet of paper and infinite eraser. Lambda calculus emulates a computer (a human that computes) with an infinite pencil and infinite sheet of paper
695.
by thesz 4y ago
The need to document your changes would help with copy-paste, in my opinion. You would be forced to extensively document why do you repeat these 70 lines here in your code instead of using the same 70 lines elsewhere.
696.
by thesz 4y ago
Page 5: "The geo-server specification was by nature ambiguos and imprecise, thus leading to some variation in the functionalities of developed prototypes. (On the other hand, the specification is probably typical of that found in pract
697.
by thesz 4y ago
Having a string type that has "invalid string" value which is different from empty string value is a bliss. What is important there is that the invalid string value is completely compatible with most C functions - despite actual d
698.
by thesz 4y ago
I saw, of course. I use Haskell professionally for 15 years now. These feature flags are not "architecture space odyssey," though. Usually they reduce boilerplate, often significantly. They are also artifact of Haskell being &quot
699.
by thesz 4y ago
Okay, I'll bite. Java could be a much nicer language with much less allowance for architectural space programs. Type classes were introduced into Haskell as early as 1988-1989. At 1991 you could have programming in language with parame
700.
by thesz 4y ago
https://www.youtube.com/watch?v=06x8Wf2r2Mc - at 10:52 Simon Peyton-Jones talks about life of programming languages. Ruby, having at least million users around the world, is in immortal category. What fascinated me in the o
701.
by thesz 4y ago
Yes it does, see my answer to some previous comment.
702.
by thesz 4y ago
The concentration of money in one hand means it is worthless for any other hand. You can't pay taxes with worthless money.
703.
by thesz 4y ago
Exactly. The same argument can be applied to dollars, to all dollars, not the bills only.
704.
by thesz 4y ago
Change bitcoin to US dollars. "If you owned all of the dollars in the world and you offered it to me for $25, I would not take it..." The same argument applies.
705.
by thesz 4y ago
It is a fun tool, I can assure you. It is just people have found use case you haven't foreseen yourself. I think your tool should have internal embeddings for each of the user. Also, most probably your tool uses cosine similarity for a
706.
by thesz 4y ago
I have no alternate accounts and visited the site out of curiosity, because I used to worked in the domain like this. What I found was worth visiting the site. Somehow notably many accounts with (relatively) high similarity to mine's a
707.
by thesz 4y ago
I keep no alternate accounts, but this tool reports best matches for me that appear to be Slavic or just Russian - and I am Russian. Best match score in my list is just above 0.5. There are some clearly alternate accounts on the list, their
708.
by thesz 4y ago
Thank you! Martial arts is a pet peeve of mine. First, I think I should note that amateur boxing does not incur brain damage that is recognizable by contemporary methods. I see no studies contrary to that. Thus, basically, if you like boxin
709.
by thesz 4y ago
Here's one study amongst many: https://www.frontiersin.org/articles/10.3389/fpsyg.2018.0261... "Results: ...Groups of moderate (≈40) and high (≈49) fitness outperformed the group of low (≈31) fitness for
710.
by thesz 4y ago
The stresses that make body need brains and grow these brains and nervous system as a whole, are stresses that were encountered during evolution: hunger, need to endure (long walk, long work) and need to apply force (run fast, lift heavy).
711.
by thesz 4y ago
What you described is a tendermint-consensus-protocol-like round. It requires a direct connection (or some emulation of such channel) between participants. Consensus protocols are tricky, BTW.
712.
by thesz 4y ago
You did a reduction to absurdity on purpose, thank you very much for clarifying that. You also continue reduction to absurdity by suggesting that toxicity implies someone's death. Sometimes it did, but it takes much longer time than co
713.
by thesz 4y ago
I see completely contrarian picture about manipulation: you try to manipulate me and others (who read us) that abrupt quitting is the only way to go and that thinking about how to lessen harm to my colleagues is amoral as it is further goal
714.
by thesz 4y ago
Protection is not an absolute term. My (in)action can be more or less protective, more or less helpful. Others can be quite not ready to do the same as I do or plan to do. By helping them to do what they can do best, I am too doing my best.
715.
by thesz 4y ago
I think you have employed reduction to absurdity to make it "more clear". No, the situations are profoundly different.
716.
by thesz 4y ago
How's "protecting your colleagues from a toxic space is a recipe for more toxicity"? And there should be no "trying" there. I fail to see a line that you drawn. Please, explain.
717.
by thesz 4y ago
This is unfair to these who will stay. Musk will see or feel no difference, he is quite insulated from all that, but immediate colleagues of these who quit will feel the heat strongly. Company is not only "proverbial Musk".
718.
by thesz 4y ago
From what do you infer "in most cases"? What are your statistics?
719.
by thesz 4y ago
The slicing was introduced to save die area. Not to slice is to have slightly smaller computation delay traded for greater die area.
720.
by thesz 4y ago
Term and graph rewriting. They encompass most good things in programming - compiler optimizations, functional programming, self-modifying code, etc.

More ›