szemet

7 ms·

31.
by szemet 7y ago
In case of huge enough models it possibly can be made even faster using look (binary search), instead of grep... It is better in O terms, with maybe some large constant factor due to file seeking... http://man7.org/linux&#
32.
by szemet 7y ago
Maybe it could be ported to SML, because: > "It is distinctive among widely used languages in that it has a formal specification , given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and
33.
Reimplementing a Solaris command in Python – 17x faster than C(blogs.oracle.com)
1 points by szemet 7y ago|0 comments
34.
Beating Decades of Optimized C with 80 Lines of Haskell(chrispenner.ca)
14 points by szemet 7y ago|13 comments
35.
by szemet 7y ago
Generally mathematical theorems involving real numbers, do not care about computability (except if you are a finitist https://en.m.wikipedia.org/wiki/Finitism ) ;) On the other hand my intuition is: flipping a coin (ge
36.
by szemet 7y ago
And what about starting out with something like: data ParaBool = False | True -- | Both - if needed for three valued logic Then implement your operators. Then everything is what it is defined to be. How can this be worse than sne
37.
by szemet 7y ago
Any distribution is good with these properties, e.g. just use standard normal distribution, it is available in every statistics libraries, but easy to generate from uniform random reals, for example: https://en.wikipedia.org&#x2F
38.
by szemet 7y ago
I guess the examples use the default std libs, and runtimes of the languages. So in this sense your D example is the misrepresentation, by directly calling libc. If these kinds of low level size optimizations are enabled then both Nim and R
39.
by szemet 7y ago
Isn't this a too narrow definition of entopy? Ok. Pure physical entropy was the first and original usage, but now informational entropy can be used at higher level, and it correlates well with disorder at that level. If I sort an array
40.
by szemet 7y ago
Somehow people often cite the Chinese room thought experiment discussing consciousness/subjective experience, but Searle originally intended it to be about exactly this split between syntax/semantics: https://plato.stan
41.
by szemet 7y ago
My suspicion is that people like declarative better than imperative. When a program reads as a definition it seems to be much more innocent than a bunch of commands. Same split between descriptive/theoretical, and applied science. The
42.
by szemet 7y ago
I had some hard time parsing O(N^1/2)... ;) ( O(N^(1/2)), O(N^0.5), O(sqrt(N)), O(N¹ᐟ²), O(√N̅) would have been better... )
43.
by szemet 7y ago
This strict split is also one of the central theme of Poppers "The Open Society And Its Enemies". "For we may distinguish two main types of government. The first type consists of governments of which we can get rid without b
44.
by szemet 7y ago
Does this result apply negatively also to concordet methods which are defined to be more error resilient (e.g. minimax like "how many voter should change their mind to get ..."), if not, that would be a plus for minimax and the li
45.
by szemet 7y ago
In many countries every member of the parliament push the button decided by their party[1] - so one representative per party would be sufficient: it would be much cheaper salary wise - also they could gather in a small meeting room somewher
46.
by szemet 7y ago
Not OP, and kind of cliché (with the common corollaly to seek professional advice instead of internet wisdom), but: excercise - and for me it was more anxiety+smoking but less anxiety led to less drinking too(which I did not recognize as a
47.
by szemet 7y ago
From your link: "The overall Kolmogorov complexity of a string is thus defined as K(x)=|p| where p is the shortest program string for language L such that L(p)=x and we consider all programming languages." This is false. No one
48.
by szemet 7y ago
"Philip Wadler believes that typed lambda calculus was discovered not invented" https://corecursive.com/021-gods-programming-language-with-p...
49.
by szemet 7y ago
It proves itself if you define "I" as the same as the experiencer of the thinking, but "I" (as many other complex word) is much more overloaded. Unfortunately all our word definitions seems shaky, if we want to describe
50.
by szemet 7y ago
winamp played my files without glitches too, but made my PC barely usable with nearly 100% cpu load (AMD K5-133 / playing 128kbs stereo mp3-s). On the other hand: mpg123 on Linux played the same files with less than 50% cpu load! ;)
51.
by szemet 7y ago
Traditional (not electric) piano have very inflexible tuning options. Human voice, violin, trombone, ... much better in this regard. Even if you not thinking about "exotic"(at least for westerners) scales, but simple&clear wes
52.
by szemet 7y ago
It would have been helpful to me, if the page would try to explain and "sell" not just the tool, but the idea of argument maps too (e.g. in a few initial paragraph). I've met the concept of argument map for the first time, an
53.
by szemet 7y ago
The reasonable interpretation is that you can attack religion (as an ideology) but you can not attact religious people based on their religion. Thats a safe split: ideologies do not have (human) rights anyway... So e.g. you can freely say
54.
Smalltalk to control the largest MIDI instrument of the world(dev.to)
4 points by szemet 7y ago|0 comments
55.
by szemet 7y ago
I just could not listen her album, it is so overcompressed [1], this is maybe more annoying by using only few simple (extreme loud) instruments and her voice, like the whole thing is banging in my brain, so stopped before I got headache. [1
56.
‘There’s Just No Doubt That It Will Change the World’: David Chalmers on A.I(nytimes.com)
2 points by szemet 7y ago|0 comments
57.
by szemet 7y ago
Rationalism in philosphy means more than being rational: it is the belief that you can deduce true knowledge about the world by mere thinking ("apriori synthetic" knowledge). Imagine you are Einstein, and you have derived relat
58.
by szemet 7y ago
all the stack manipulations are done with subroutine calls This can have an advantage: one can stuff much more code (and functionality) in a very memory limited system (e.g. smart cards), especially with WORDS compression: "Huffman
59.
by szemet 7y ago
Ocaml parallelism/concurrency story was not that good - but Haskell has just got its fancy new epoll based I/O manager (100000+ lightweight threads) around that time, with the 7.0.1 release (16 November 2010) They could have even
60.
by szemet 7y ago
It is not possible universally. I like the proof of this, it is simple and resembles to many similar no-go theorems (like the halting problem). 1. Imagine a finite formal system which universally can identify if an input is regular (compres

More ›