sriku

74 ms·

781.
by sriku 11y ago
There is a lot of discussion about "functional programming" without a consensus on what constitutes that and what are paraphernalia. A notion exists in a word form when it has some definition, even if it cannot be articulated we
782.
by sriku 11y ago
Nice. .. and you meant to type zipWith' on the second line.
783.
Conservative Logic – Physics-based model of computation (1982) [pdf](calculemus.org)
27 points by sriku 11y ago|0 comments
784.
by sriku 11y ago
> Edit: Actually, the Haskell version can be O(1) in memory as the front of the list can be garbage collected, while the C++ version is O(n) in memory. Do you expect the following code to run in constant space? head (drop 100000000
785.
by sriku 11y ago
You're partially right, but function composition features in the type world too. For example, when you say - data Tree a = Leaf a | Branch (Tree a) (Tree a) It looks like you're dealing purely with types, however you&#x
786.
Chrome 43 launches with Web MIDI API support(venturebeat.com)
3 points by sriku 11y ago|0 comments
787.
by sriku 11y ago
I feel a bit sorry for people getting introduced to "functional programming" from the imperative world. The plethora of language features available in FLs distracts them from the main endeavour of FP - which is modeling your pro
788.
by sriku 11y ago
This makes sense. Another thing I noticed is that once an app is installed on your phone, it acts like an always present advert. In other words, apps are now the equivalent of having an "icon on the desktop" in the old world. I re
789.
7 Unikernel Projects to Take on Docker in 2015(blog.xenproject.org)
3 points by sriku 11y ago|0 comments
790.
by sriku 12y ago
ARDB[1] seems like a good choice if you want the convenience of Redis and disk persistence. It is like a Redis that's backed by Facebook's RocksDB. The redis protocol support of ARDB is pretty good. [1]: https://github.
791.
by sriku 12y ago
Or maybe GSS - http://gridstylesheets.org/
792.
by sriku 12y ago
It seems possible to apply Paul Graham's "blub language" principle to the Kardashev civilization categories. It may boggle the mind of a type N civilization to imagine use for the kinds of energies that a type N+1 civilizatio
793.
Alien Supercivilizations Absent from 100,000 Nearby Galaxies(scientificamerican.com)
35 points by sriku 12y ago|57 comments
794.
by sriku 12y ago
> Btw, this was Zuckerburg's response when posed this question: https://i.imgur.com/PAwf6e3.png "Some connectivity is better than no connectivity, hence the violation of NN is justified" That is not a lite
795.
by sriku 12y ago
> Sequencing parsers applicatively allows the compiler to perform static analysis on a parser without running it. This knowledge can be used to avoid things like backtracking that may slow your parser down. This is not possible when sequ
796.
by sriku 12y ago
I wish for a browser with Scheme as the underlying language in which all is expressed. A Racket browser. No html/script/css distinction. Just s-expressions. A page is just code and it is run in a sandbox.
797.
by sriku 12y ago
It would've been nice if mathematical induction were indicated as the foundation of recursion. You're not assuming "it does the right thing" and then proving "it does the right thing". What you're doing is
798.
by sriku 12y ago
Gargantua is a spinning "Kerr" blackhole in the movie. The nearly maximally spinning blackhole is central to the movie plot as it is the reason Miller's planet can be in the orbit it is claimed to be, tidally locked to the sp
799.
by sriku 12y ago
Read about the "AI Box experiment" - http://lesswrong.com/lw/up/shut_up_and_do_the_impossible/ http://rationalwiki.org/wiki/AI-box_experiment
800.
by sriku 12y ago
> I mean, children do not kill their parents even though they are more intelligent(evolution wise). If it comes to the issue of more power, there's plenty of this happening in history - ex: Mughal empire.
801.
by sriku 12y ago
While the "spin it around" explanation is useful at a certain level, this "basis understanding" is useful in a different domain - quantum physics. Position and momentum are two such dual bases, as are energy and time. In
802.
by sriku 12y ago
The significant question here is whether providers will offer this both ways - i.e. symmetrical uplink/downlink. If the asymmetry is going to persist, then game over for DSL, welcome fibre.
803.
by sriku 12y ago
Yup. The way I like to express this is as follows - It took Einstein about 10 years to formulate the general theory of relativity, needing no further experimental input into the work during this period. A few other scientists such as Wheele
804.
by sriku 12y ago
The concept is simple enough and the performance benefits common enough that it would certainly help to converge and contribute the core to one repo with compatibility and other features in supplementary optional repos ... imho.
805.
by sriku 12y ago
There is a gem of a book recommended at the bottom of the article - "boojums all the way through".
806.
by sriku 12y ago
This is not an "academic study". No institutional review board of a university would approve this.
807.
by sriku 12y ago
This is all good. No higher kinded types for v1.0?
808.
by sriku 12y ago
That's a weird stance. If there are complexities that programmers face that can be absorbed by a compiler, it must be, because that would pay off for every programmer , in every project, in every bug prevented.
809.
by sriku 12y ago
They did it! This nice page explaining the resolution differences etc. made me want to click the "paintcode" link at the bottom of the page. This is hard to pull off well, and I think they did it.
810.
by sriku 12y ago
On a total tangent, I've never been satisfied with the analogy of "garbage collection" for what memory managers do ... and tried to come up with something better [1]. Not surprisingly, it came up when I was actually washing d

More ›