yomritoyj

14 ms·

91.
Computing the Social Value of Uber. (It's High.)(bloomberg.com)
4 points by yomritoyj 10y ago|0 comments
92.
by yomritoyj 10y ago
All programs also exist, in the sense you can program a computer to generate one by one all possible valid x86 instruction sequences. What programmers are doing is searching for one program among them that will solve their problem.
93.
by yomritoyj 10y ago
What you are saying is definitely true within mathematics and its applications. But the original article was about “The […] skills that students of mathematics […] will practice and that will come in handy in their lives outside of mathemat
94.
by yomritoyj 10y ago
Mathematics promotes bad habits too. Example 1: paying too much attention to worst-case scenarios. When creating a mathematical proof you want to make sure that your conclusion holds in all possible scenarios allowed by your assumptions. In
95.
by yomritoyj 10y ago
Thanks. I should have been more careful.
96.
by yomritoyj 10y ago
Category theory has served mathematicians well, but only because they had a great mass of concrete detail which needed to be abstracted away. An abstract framework like category theory can actually be harmful where there isn't that muc
97.
by yomritoyj 10y ago
The problems you point out are real, but they are the problems of class differences. India has a growing middle class, and this class needs markers to differentiate itself from the lower classes it has only recently left behind. Speaking En
98.
by yomritoyj 10y ago
I guess the challenge is to do it efficiently in the presence of pointers, implicit or explicit.
99.
by yomritoyj 10y ago
But you cannot recalculate if your calculation has trashed your inputs.And if it hasn't then the snapshot does not impose a cost. If you are willing to forego the opportunity to replay to save memory, just put the producer and consumer
100.
by yomritoyj 10y ago
I love how notebooks allow the mixing of code and output and support incremental development by letting you choose which cells to execute. But I find the semantics horrible. Each time you execute a cell you do so in an environment that depe
101.
by yomritoyj 10y ago
I'm among the upvoters. I have been hearing a lot about Rust, and its unique feature is its memory management, but the official Rust documentation is not as clear as it could be. I was building up courage to go read the compiler source
102.
by yomritoyj 10y ago
Lattices are used to provide a theoretical basis for dataflow analysis in compilers. See Chapter 9 of Aho et al.'s book on compilers. Ordered sets also occur in denotational semantics http://homepage.cs.uiowa.edu/~slonn
103.
by yomritoyj 10y ago
Haskell's `vector` library does this for vectors of tuples.
104.
by yomritoyj 10y ago
If we know now is the best time to study quantum computing then we can't know how much energy it will take to study it.
105.
by yomritoyj 10y ago
Why not just "AI bot, give me the best life possible"? To be less flippant, declarative AI already exists where it is easy. An airline booking website already gives you the ways to getting to location x ASAP. But looking at the pe
106.
by yomritoyj 11y ago
Interesting that the author chose the books they liked the most, rather than choosing books where print gave the greatest advantage over ebooks (say books with large photographs or illustrations, textbooks where being able to see a lot of t
107.
Must every productivity activity produce waste?(plus.google.com)
1 points by yomritoyj 11y ago|0 comments
108.
by yomritoyj 11y ago
It was Maynard-Smith and not Dawkins who introduced ESS.
109.
by yomritoyj 11y ago
From the title I thought that the ultimate monad tutorial had finally arrived.
110.
by yomritoyj 11y ago
My selected and slightly annotated list, primarily probability and statistics https://www.jyotirmoy.net/posts/2015-12-29-springer-openacce...
111.
Solving the competitive storage model in Economics using Python(nbviewer.ipython.org)
4 points by yomritoyj 11y ago|0 comments
112.
Quantitative(graydon2.dreamwidth.org)
5 points by yomritoyj 11y ago|0 comments
113.
C-style for loops removed from Swift(lists.swift.org)
3 points by yomritoyj 11y ago|1 comments
114.
by yomritoyj 11y ago
Compare the implementation of a simple numerical program in Haskell https://github.com/jmoy/avb-econ-hs/blob/f6d65af480c99045573... to that in Julia https://github.com/jesusfv/Comparison-
115.
by yomritoyj 11y ago
Not very stupid given how dependent post WW-II US science was on defence funding. Pursuing truth and beauty does not give you permission to turn a blind eye to the evil which supports your pursuit. I think Steven Levy captures this disconne
116.
by yomritoyj 11y ago
From the abstract: “After finding a new job, users contribute 25% less in reputation-generating activity on Stack Overflow. By contrast, they reduce their non-reputation-generating activity by only 8% after finding a new job. These findi
117.
What Makes Geeks Tick? A Study of Stack Overflow Careers [pdf](leixu.org)
2 points by yomritoyj 11y ago|1 comments
118.
by yomritoyj 11y ago
Regarding Haskell specifically, Haskell makes it cumbersome to write code that mutates data structures, which is what you need to efficiently implement many numerical algorithms. But I'm a fan of Haskell's [REPA]( https:/&#x2
119.
Schelling's dynamic model of segregation simulated in Racket(github.com)
1 points by yomritoyj 11y ago|0 comments
120.
by yomritoyj 11y ago
Paul Halmos in How to Write Mathematics says: “A good attitude to the preparation of written mathematical exposition is to pretend that it is spoken. Pretend that you are explaining the subject to a friend on a long walk in the woods, wit

More ›