szemet

12 ms·

61.
Ask HN: State of the art Garbage collectors in AOT compiled languages?
3 points by szemet 7y ago|0 comments
62.
by szemet 7y ago
E.g. Redis is a well known example, that have to battle with the fragmentation problem: https://github.com/antirez/redis/pull/3720
63.
by szemet 7y ago
Or a multi-threaded app where plenty of dynamically created closures operates on persistent data structures? ;)
64.
by szemet 7y ago
Mathematica" is far enough from anyone's ordinary English Ok, I see. But it is not true for a large(not english speeking) part of the world. It is like calling your "pineapple" software Ananas[1], you just romanticize
65.
by szemet 7y ago
> then romanticize it You mean romanize? And not just on the surface (latin alphabet), but even using the actual word from latin (which is already romanized greek I guess) and of course all the related living languages... edit: I alway
66.
by szemet 7y ago
Universal computation is about information processing, and information processing is definitely an important thing that intelligent agents are doing. (I wrote universal computation - to mske a distinction to common physical processes like
67.
by szemet 7y ago
There are analogies for keeping similar illusion alive, like: https://en.wikipedia.org/wiki/Professional_wrestling "The matches have predetermined outcomes[11] to heighten entertainment value[12] and all combativ
68.
by szemet 7y ago
Also, we should rename the Thirty Years' War to "Thirty Years' War in Europe but mostly peace elsewhere", and then we can can call World War I and World War II simply War I and War II - if we assume by default that every
69.
by szemet 7y ago
It may be likely - but it is not a logical necessity: there can be large structural differences between functionally equivalent things (artificial, engineered example: like a C64 computer and a C64 emulator)
70.
by szemet 8y ago
And if I compile some GNU code (for example written in C) to javascript with a compiler, then change some details here and there can I change the licence to MIT? How derivative is defined? Manual compilation is ok, but automatic is not? B
71.
by szemet 8y ago
almost everyone will score either a 5 or a 1 Then it will be similar to approval voting. Previous comments complained that approval is bad because you cannot express detailed preferences, but you say no one wants to anyway? So then approv
72.
by szemet 8y ago
I've just bought this Scientific American issue a week ago in an used book store for around 2$. Mainly because of Wirth and Kay and to read some early Wolfram. Strange coincidence to see this here now.
73.
Advent of Code 2018, in Coq(github.com)
149 points by szemet 8y ago|43 comments
74.
by szemet 8y ago
Hobby code: I slowly developing a Gin rummy [1] engine. Card sets are represented by 64 bit integers and all operations (findig melds, sets, etc...) are implemented with bitwise operators. I have used pext/pdep for the iterator impleme
75.
by szemet 8y ago
On the non-reflective cases we at least see that we can forge small but very hard problems too. The most simple ones are the infinite loops testing some whole number related property, like: Goldbach conjecture, Fermat's theorem. Now we
76.
by szemet 8y ago
It boils down to preferences. So it is a smart move if it is in line with your preferences. In simple terms saying people having children are not that intelligent, is like saying people preferring pizza over pasta (or other way) are dumb. (
77.
by szemet 8y ago
And we also have the modification of Rob Pike: "There's nothing in computing that can't be broken by another level of indirection." https://twitter.com/rob_pike/status/48790422931243008
78.
by szemet 8y ago
Same with me (hungarian too), I always fail to use the proper pronoun, but using "they" sound weird to my ears. In speech I mostly use "he" automatically, then I recognise my fault after a few sentence, then correct. Som
79.
by szemet 8y ago
I have one. In my washing machine (LG) rinsing slot... I know, because I always have to be very careful not to overfill it. But usually there is some leftower water in its pipe so it does not keep the fluid even if I not overfill - so nowad
80.
by szemet 8y ago
I've got your point. Just for the sake of nitpicking: both your actual examples have been solved by compilers automatically. SIMD/AVX: https://code.jsoftware.com/wiki/Guides/AVX JVM generates vectorize
81.
by szemet 8y ago
I have read an extreme counter-opinion in some J or APL article. It said that it is a bad pactice to name small and common functions: The example was maybe the average function - and the reasoning was, if I recall correctly: 1. The defint
82.
by szemet 8y ago
the entire browser engine needs to be bundled with each app No. It depends on the package manager. E.g: https://www.archlinux.org/packages/community/x86_64/electron... A shared electron package used by a fe
83.
by szemet 8y ago
Or it maybe just https://en.wikipedia.org/wiki/Berkson%27s_paradox
84.
by szemet 8y ago
And you just have to drink 500ml red wine to cancel the negative effect of a cigarette on the heart [1], so in the end you can go home from the pub with better breathing and with the same arteries. This what I call science at its best ;) [1
85.
by szemet 8y ago
I've just read about a wild nandu population in Germany: https://m.dw.com/en/giant-south-american-birds-cause-chaos-i... Seems like it bothers only the farmers there so far...
86.
by szemet 8y ago
Aren't we - as a group - better in this? I'm thinking about the scientific method, and the common differentiation there between the context of discovery and the context of justification . So you are free to discover a mathemati
87.
by szemet 8y ago
Eventually if electron gets popular enough you will have only one additional browser per system - the linux distriburion packaged shared electron. (e.g. https://www.archlinux.org/packages/community/x86_64/elec
88.
by szemet 8y ago
It maybe does not mean that much, but at least code memory can be shared among electron app instances if it is deployed with shared libraries by a distribution package manager e.g. https://www.archlinux.org/packages/co
89.
by szemet 8y ago
AlphaZero made choices in chess, and learned from them. So did I get you right: it had a free-will because it is a necessity for this behavior according to you? Because mere "machines" can't make decisions, and can't lea
90.
by szemet 8y ago
Ok. I see your point. So I just hope (not actively as a free agent - of course this was determined too) that we are determined to use logically more consistent explanations for our behavior than classical libertarian free will. ;)

More ›