thesz

53 ms·

871.
by thesz 5y ago
I see asking question as an ultimate offensive tactics. Because in Russian culture, at the very least, answering with a question is unpolite, very close to show rudeness. So with Russians, at the very least, you cannot be non-threatening if
872.
by thesz 5y ago
Alpha AXP get rid of branch delay slot from the very start, precisely because they planned it to be architecture that is viable for next 20-25 years. And I think that RISC-V is right on repeating that design decision. ;) It also looks like
873.
by thesz 5y ago
The destruction of graph of several billion nodes and about five times as much edges took several seconds in my C++ program. I constructed it in main() and delay between message just before "return 0;" statement and program actual
874.
by thesz 5y ago
The article mentions the inability to decide equality of functions. A paper [1] about proving properties of functional programs shows how to do that modulo halting theorem. E.g., if (\x -> f x == g x) halts we can decide whether f and g
875.
by thesz 5y ago
I have fond memories of his short stories and wonderful kind fairy tales. I used to read them as a child, some I remember almost word for word being 50 now.
876.
by thesz 5y ago
First, 20 minutes in average for power-distributed time-to-block would result in much, much higher peaks. In your chart I see 25 minutes for a block, then it will be 50 minutes. Second, instead of two weeks to hash rate adjustment, it will
877.
by thesz 5y ago
Add 50 more - to reduce hash rate even more. Announce hard fork right after difficulty adjustment. And then, suddenly, these who have not forked will be stalled for several weeks. Instead of 10 minutes per block, the time will be 30 minutes
878.
by thesz 5y ago
Please find more about orexin: https://en.wikipedia.org/wiki/Orexin Let me quote: Orexin (/ɒˈrɛksɪn/), also known as hypocretin, is a neuropeptide that regulates arousal, wakefulness, and appetite.[1] The mos
879.
by thesz 5y ago
The problem for me, who intermittently fast for quite long time now, is that it is not possible to stand the level of sweetness in many, many foods. And for other foods you begin to notice mood changes. So, I guess, the sugar and carbs get
880.
by thesz 5y ago
There are many humans that think better than, well, average human. If not in all areas of life, but in one or couple of them, at the very least. Frankly, one of reasons I visit HN is to find these. ;) Flattering aside, what fascinates me is
881.
by thesz 5y ago
As I keep saying, what is a language feature in other languages, is a library in Haskell: https://hackage.haskell.org/package/effect-handlers And this is how it should be. Not a language feature, but library. Dealing w
882.
by thesz 5y ago
Proof of stake leads to "rich gets richer" situation [1]. Proof of work is much more fair, it appears. [1] https://arxiv.org/pdf/2103.14713.pdf This particular paper shows that every proof-of-stake variant is
883.
by thesz 5y ago
For lightning network to serve more or less realistic amount of people and businesses, it needs to either have inordinate amount of channels (one-to-one) or it will have routing and fees may go up then, several times up. Lightning network t
884.
by thesz 5y ago
The extrapolations there are "limit on the post size" and "this funny algorithm". That "just the search box" thing would not go anywhere without that algorithm. I guess the "search box only" design de
885.
by thesz 5y ago
What you describe is an interpolation. It is a solution for what already exists. You can interpolate this long, bisecting various axis ranges that specify a problem (short messages using text, using emojis only, using pictures, using videos
886.
by thesz 5y ago
I think yours is a very deep comment. Some log-oriented file systems may provide insight into changes made. From what I know, ZFS is one example of such file system and btrfs is another.
887.
by thesz 5y ago
Camera's often have non-linear radial image distortions. For example, OpenCV's camera calibration process computes these radial distortions along the way [1]. They may not be very significant, but they exist. [1] https:/&#x2
888.
by thesz 5y ago
Word2vec with embedding size 300 and more do refute your claim. I successfully trained word2vec model with above embedding sizes and used inner product similarity to create word clusters as it is out of the box there. Then I made a clusuter
889.
by thesz 5y ago
It is the other way around. "Year for three" is a staple of hard work in harsh conditions, such as foundry work.
890.
by thesz 5y ago
My former colleagues who was trained for PSP/TSP said that it is recommended to count on 4 hours per day in time-on-task activities. Planning for more ToT hours will result in project being late as if it was planned for 4 hours/da
891.
by thesz 5y ago
"Some of the data-cleaning workers are atomized pieceworkers, such as those who work for Amazon's Mechanical Turk, who lack both the context in which the data was gathered and the context for how it will be used." The knowled
892.
by thesz 5y ago
Logarithmic method can transform static structures (what you call read-only, which means high cost of change) into dynamic ones. Examples include B-trees (log structured merge trees, the most famous example of application of logarithmic met
893.
by thesz 5y ago
[1] https://en.wikipedia.org/wiki/Cyc#MathCraft Cyc, an AI engine and facts database that uses rules-based methods for AI, demonstrate such high level of understanding of math it can pretend to be slightly dumber than
894.
by thesz 5y ago
Myy friend, being 33 or so, fell out of Segway, fractured his hip, ruptured an artery in it and almost died from internal bleeding. Now he has fun going through airport security scanners. I do not think it ever can be classified as a mobili
895.
by thesz 5y ago
It is not hard to find hard instances. Encode SHA256 in SAT, for one example. As for heuristics, etc, I strongly prefer approach that stems from observations valid for any problem. One such example is SDCL - Satisfaction Driven Clause Learn
896.
by thesz 5y ago
To write code is much like to instructing a person who is doing work-to-rule. That person won't do anything outside of instructions given and will stop at the very first time it can (encounter an error). If you can cope with instructin
897.
by thesz 5y ago
The very RISC paradigm relied on compiler change. The change happened, but not as fast as we would like it to.
898.
by thesz 5y ago
Let me present an axiom of software engineering: "The effort (cost) to fix a software defect is proportional to the time between defect's introduction and discovery". Please note, that the axiom does not say "100x more&q
899.
by thesz 5y ago
I would like to prove you otherwise with shameless plug of my tweet [1]. [1] https://twitter.com/sergueyz/status/1365041519154061315 The amount of illicit transactioins is higher in bitcoin than in regular cash ($
900.
by thesz 5y ago
Exactly. This shows how much power they have over the network, because network is comprised of the middle man.

More ›