thesz

48 ms·

781.
by thesz 4y ago
The part of "it definitely should prevent you from trying to change other people's minds" clearly tries to change other people's minds. What data or tools do you have so that you are in the position to change other peopl
782.
by thesz 4y ago
30s is a 120 times per hour. Or, 30 sec of difference per hour between 250ms and 0 ms (instanteneous). To get a hour of difference my phone needs to have battery life of 120 hours. For more reasonable 10 hours of battery life I will get abo
783.
by thesz 4y ago
I don't know where you can read more. There are resources in Russian, but buran.ru is not quite functioning right now. I remember that story from the time when I worked with guys from Russian CQG team, who, in turn, worked in CQG with
784.
by thesz 4y ago
This project uses one-way translation of Rust code into WhyML through Creusot. This translation is not formally guaranteed to be correct or semantics-preserving. Ideally, the code produced by Creusot should be translated back to Rust by a t
785.
by thesz 4y ago
I think, Philip Glass used Shepard scale in some parts of Koyaanisqatsi soundtrack: https://www.youtube.com/watch?v=YEWy2QORDV4
786.
by thesz 4y ago
I can make my own library, or modify the library given above, or write a wrapper - I have more choice than "use this concrete syntax rule for that kind of things". Moreover, values with effects are first class values, I can pass t
787.
by thesz 4y ago
"Even the most faithful philosopher cannot live without his blood" This is The Talos Principle, a game [1] and [2] a basis for so much thought. [1] https://en.wikipedia.org/wiki/The_Talos_Principle [2] https
788.
by thesz 4y ago
I am talking about poverty, primarily. Athletes from Eastern Germany were trown into poverty when two halves of Germany reunited. Using USSR and/or Eastern Germany athletes prior to the reunion would provide some kind of baseline to co
789.
by thesz 4y ago
What about USSR Olympic athletes? Especially before USSR collapse. Salient words at the very start of the article are "former athletes... suffer from poverty". East German Olympic athletes suffered poverty, which is a risk factor
790.
by thesz 4y ago
512 in AVX512 is the number of bits per register. You are off by factor of 8.
791.
by thesz 4y ago
"What is language feature in regular programming languages is a library in Haskell" I will continue repeat that. ;) I also wish other languages go the way Haskell goes. There is at least one algebraic effects library in hackage [1
792.
by thesz 4y ago
Another advantage is higher yield due to higher tolerance to the production defects.
793.
by thesz 4y ago
Contemporary intermodule designs are pipelined and message-oriented exactly because it is hard to predict difference in signal path length for long paths. I am talking about high speed buses from ARM, I think I read about them in 2016 or so
794.
by thesz 4y ago
You forgot that clock delay is computed for worst-case register and combinational logic behavior, e.g., "99.9999% of all registers need this amount of time for signal to be stable before write", "99.9999% of this gate in real
795.
by thesz 4y ago
The combinational part of async design is built to be self-synchronous. You derive a clock signal to write computed value from the computed signal itself. The combinational part also synthesized as monotone function without ringing - voltag
796.
by thesz 4y ago
There are some advantages. For example, in Alpha AXP they measured that 60% of energy spent in device is due to clock propagation. No clocks to tick - no energy spent. Why do we need to even clock FPU? Or bus - if we are in loop that is in
797.
by thesz 4y ago
Oh, those pesky algorithms, they did not adapt to the good, good hardware that is so fast. I do not like that stance at all. Consider CPUs, out-of-order ones. They can adapt to the algorithms being thrown at them and most of the time algori
798.
by thesz 4y ago
Your comment kind of support notion "I/O is slow" you seemingly oppose - the I/O that is needed by real world programs may be different from I/O that is fast in benchmarks. E.g., B-tree reads need pretty much random
799.
by thesz 4y ago
I meant back squat, bench press and deadlift. Testosterone increases dopamine in a lockstep fashion - increase testosterone any way you want and you'll increase dopamine level too. Dopamine, on its own, increases the desire for explora
800.
by thesz 4y ago
Please do. Deadlift does not generally activate or train muscles that you can use to move your ears. All other muscles will be used in deadlift. It is single most taxing exercise. Even squats are less taxing: you can perform barbell squat w
801.
by thesz 4y ago
Walk. And lift weights - all three basic exercises should be done. That's what saved me in my then mid 30s in a comparable circumstances.
802.
by thesz 5y ago
Very cool! This is what I would prefer doing instead of brainstorming. This technique is also can be done offline, which is great.
803.
by thesz 5y ago
Why brainstorming is bad for, well, creating new ideas: https://hbr.org/2015/03/why-group-brainstorming-is-a-waste-o... I think if I need ideas, I need to ask people to think them through independently. The "
804.
by thesz 5y ago
Consider Cyc [1]. [1] https://en.wikipedia.org/wiki/Cyc It deduces relations from set of facts in it's database. If you have human knowledge from wikipedia on your desktop, you can deduce your own facts using Cyc&
805.
by thesz 5y ago
They are both Turing complete, they can implement each other. But, the effort to implement call-by-need evaluation (graph rewriting or remembrance of computed value) is higher in strict languages than (sparse) addition of annotations in laz
806.
by thesz 5y ago
https://en.wikipedia.org/wiki/Pure_(programming_language) A programming language where you can write programs to rewrite programs. It appears that author of Pure is prone to come up with PL names that are quite unsearc
807.
by thesz 5y ago
Lazy evaluation order can be turned into strict one with less effort than vice versa. Also, your suggestion will result in identical code being copied for different contexts. Consider lazy structures in OCaml and C#.
808.
by thesz 5y ago
The problem is not solution per se, but scalable solution.
809.
by thesz 5y ago
The time to peek up local problem domains are independent of language. The time to peek up language is, well, independent of language. I had an experience when former hardware engineer picked up Haskell in a month.
810.
by thesz 5y ago
Errors are introduced at constant ratio per line of code that is not syntactically checked by compiler. The ratio is specific to developer and language used. E.g., you can't make a mistake on a line that contains only curly bracket, bu

More ›