thesz

37 ms·

631.
by thesz 3y ago
RFERL, I guess, is a Radio Free Europe/Radio Liberty. It is a propaganda machine, not an objective history research institution. These 18 (and up, sometimes up to 40) millions of people in GULAG (notice all caps) numbers are taken from
632.
by thesz 3y ago
You did not needed a passport to travel anywhere. Really. You go to bus/train station, you buy yourself a ticket and then you can go. The need for passport to travel was introduced well into 90-s because of speculants who bought out ti
633.
by thesz 3y ago
The countries are mostly the same due to inertia and, frankly, there were no million excess deaths per year in USSR as there were throughout 90-s in Russia. The inertia of lifestyle is such a massive thing, you cannot overturn it overnight,
634.
by thesz 3y ago
There was a paradox noted by many: grocery stores were empty but fridges were full. This can mean exceptional efficiency of the system to deliver and distribute.
635.
by thesz 3y ago
Of course you can disagree. You are disagreeing from the place with warm completely-non-continental-climate of southern France, which is exceptionally warm and mild even for France. Can I see your disagreement as an exception that supports
636.
by thesz 3y ago
>18 million people were sent to gulags. 1.6 million died. Please, be aware that Solzhenitsin admitted that he lied about millions sent to Gulag on purpose. Documents from archives do not support that numbers.
637.
by thesz 3y ago
Compare New York or Washington and some random small town of USA. Repeat 100 times. Repeat that for other western countries. I had a chance to visit oil and gas production town in Siberia slightly north of Northern Polar circle not long ago
638.
by thesz 3y ago
Eventlog traces are RTS calls wrapped into unsafePerformIO, you are right. The trace part of eventlog is optimized for, well, tracing and is very, very lightweight. It is also safe from races, whereas simple unsafePerformIO (putStrLn $ &qu
639.
by thesz 3y ago
You missed the word "usually". You really, really do not need a print within the body of a loop of any tightness. But you can have it. The foldl example of yours should be split into a property checking and controlling for expecte
640.
by thesz 3y ago
With eventlog you have lightweight profiling and logging tool for "normal", "production" purposes. You can correlate different metrics of your program with your messages. This is not an abuse of Debug.Trace (notice the d
641.
by thesz 3y ago
Up there you disagree with the (part of) collective and you show no intention to work against your self-interest or otherwise to work in the name of better situation of the (part of) collective. Thank you for thoughtful and thought-provokin
642.
by thesz 3y ago
I am trying to offer counterpoint to what seems to me as an unjust critique from a person who, at first sight, does not know much about Haskell. Also, a link to a useful library is not a bad thing for anyone curious about Haskell. Thus, the
643.
by thesz 3y ago
You can use eventlog traces, from Debug.Trace [1]. You can (traceEvent $ "look: " ++show bazinga) everywhere you need and then stare at the log to your heart content. [1] https://hackage.haskell.org/package/ba
644.
by thesz 3y ago
Define extremists/terrorists, again. Be sure to define it in such a way that you can't be labeled as such in any cicumstances.
645.
by thesz 3y ago
Invoction of Emergencies Act during and after protest convoy and related banking regulation changes.
646.
by thesz 3y ago
Define law and lawful transaction. For one example, law is a changing thing and rapidly changing one. What was pretty legal activity at Canada for pretty long time was changed at the hands of the government into illegal activity quite quick
647.
by thesz 3y ago
What you describe looks like cube-and-conquer technique [1]. [1] https://www.cs.utexas.edu/~marijn/publications/cube.pdf The thing is much more deeper than what you described. You need to choose which variables yo
648.
by thesz 3y ago
ManySAT: http://www.cril.univ-artois.fr/~jabbour/manysat.htm It shares short conflict clauses between parallel solvers and achieves superlinear speedup in some cases, e.g., 4 parallel solvers solve faster than one fort
649.
by thesz 3y ago
GPU's are not friends with pointer chasing, which is the basis of contemporary CDCL solvers, because internal lazily-updateable structures are multi-linked lists. They are not friends with bottlenecks like clause queues used in contemp
650.
by thesz 3y ago
Blockchains do not delete records, etc. Also, you have to pay pretty much real money to put your record there. So we can have a good aproximation of what can happen with your proposal even if you need to pay extra for it. [1] https:/&
651.
by thesz 3y ago
It can be quite possible that we, humans, just cannot find uses of "you," "me" and "them" that require understanding of the concepts instead of statistical correlation. I think so because "you," &quot
652.
by thesz 3y ago
There are several multipliers and adders (possible, floating point ones), a register file for perceptron weights and perceptron selection logic. The scheme also need to keep information somewhere for training - the decision and backpropagat
653.
by thesz 3y ago
What is described in article is a subset of Haskell: "...as long as one is writing mostly vanilla Haskell you can’t tell the difference." And then it proceeds to tell us that you can't tail recurse. Mu is different language w
654.
by thesz 3y ago
I can copy-paste some of Haskell definitions into Agda source file and vice versa. I can copy-paste some of C code into C++ source and vice versa. Given C preprocessor, some Lisp code can be moved into C or other languages. The likeness of
655.
by thesz 3y ago
Mu is not Haskell, it is entirely different language. The Haskell codebase that made Mu possible is not strict.
656.
by thesz 3y ago
Mu was developed using Haskell, that's the point. The strict runtime and interpreter may or may not be build using Haskell, I dont't know. As far as I know, the author of Mu is Lennart Augustsson, also author of Bluespec [1]. Blue
657.
by thesz 3y ago
As for importance of example, it goes like this: double linked list is a first year programming exercise on a single processor; double inked list is master thesis on a multiprocessor if you use locks, etc; and it is again first year program
658.
by thesz 3y ago
It is not dead in Haskell precisely because of controllable side effects. It is dead in some other languages precisely because of lack of controllable side effects. In .Net, for one example, STM execution was 4 times slower because of arbit
659.
by thesz 3y ago
I used to entertain myself embedding various languages into Haskell, mostly hardware description related. Usually, one goes with a static parameterization of a monad. But [1] shows that it is possible to have a dynamic parameterization, whe
660.
by thesz 3y ago
constexpr reduces general side effects. Can we reduce specific side effects? For one very important example, consider software transactional memory. It has general side effects in the implementation behind the scenes, but inside transaction

More ›