yomritoyj

9 ms·

31.
by yomritoyj 8y ago
I'm waiting for the light-field cameras https://en.wikipedia.org/wiki/Light-field_camera
32.
Show HN: The Rust Book in EPUB format for offline reading(jyotirmoy.net)
5 points by yomritoyj 8y ago|0 comments
33.
by yomritoyj 8y ago
When I'm at work the cost of a beverage is not just one dollar. It is the cost of lost productivity and time in going out to fetch a coffee, which may be so high that I'll have to make do with what's on hand. Given that I spe
34.
by yomritoyj 8y ago
This is a problem only if the person is bothered by their lack of "success". For some, being a dilettante may precisely be the life that they want. The problem is that if you are perceived as "smart" people all around yo
35.
by yomritoyj 8y ago
I'm an Indian teaching Indians in India, and there are quite a few students who don't see anything wrong in cheating. Not to say anything about the blatant cases of cheating and mass cheating in school-leaving exams that regularly
36.
by yomritoyj 8y ago
The original proof I posted was organized slightly differently from your argument. Some of those 120 lines were commentary, blanks and things like "qed". Also, I tried to used small steps in the proof. You can have a more concise
37.
by yomritoyj 8y ago
A machine checked proof of the following: "In a finite group of people, some of whom are friends with some of the others there must be at least two people who have the same number of friends."
38.
Solving a puzzle using the Isabelle proof assistant(gist.github.com)
48 points by yomritoyj 8y ago|16 comments
39.
by yomritoyj 8y ago
I don't know Go, so I cannot make a comparison, but studying Rust has been very useful to me as someone interested in the principles of programming because it forces you to think deeply about pointers. In C, pointers are used for many
40.
by yomritoyj 8y ago
As an outsider to 'enterprise-grade' computing, I'm curious about situations where a high number of cores in a single processor would be superior to multiple processors with the same total energy draw sitting on a single moth
41.
Wandering through linear types, capabilities and regions (2007) [pdf](pauillac.inria.fr)
2 points by yomritoyj 8y ago|0 comments
42.
Ask HN: Guaranteed destructive update == reinventing Rust?
2 points by yomritoyj 8y ago|0 comments
43.
by yomritoyj 8y ago
Analysis has had the opposite effect on my writing. After having my head buried in measure theory for a semester I wrote in a report for my student organization: "The set of inactive members of the Executive Committee is a non-negligib
44.
by yomritoyj 8y ago
I address that point in the notebook. Thanks to Fourier you could decompose any waveform, coherent or not, into a sum (integral really) of sine waves. So the lack of coherence should not make no difference to the argument.
45.
by yomritoyj 8y ago
OP here. Why thickness should matter is precisely the question. If you look at the treatment of this on Wikipedia or a physics text it is the phase difference beteween the front and back reflections which matter and not the total path len
46.
Why soap bubbles are colourful and windowpanes are not(gist.github.com)
118 points by yomritoyj 8y ago|44 comments
47.
by yomritoyj 8y ago
I started a project to implement Norvig's corrector in different languages: https://github.com/jmoy/norvig-spell Had a pleasant surprise when Matthias Felleisen responded to a request on the Racket mailing list an
48.
by yomritoyj 9y ago
Just like in our generation there will be people in our kids' generation who will want to know how the sausage is made and it will be a tragedy if the only way to do so would be to grow up, join a big firm and sign a NDA. Even for the
49.
by yomritoyj 9y ago
To me the fundamental difference between a PC and a tablet is the software ecosystem: can you install any program/OS or must you install only those approved by the platform owner; can programs access system resources liberally (includi
50.
by yomritoyj 9y ago
Always within arm's reach at both home and work: Rudin, Real and Complex Analysis Halmos, Finite Dimensional Vector Spaces Billingsley, Probability and Measure Kelley, General Topology Lang, Undergraduate Algebra Simmons, Introduction
51.
by yomritoyj 9y ago
Syntax matters. What I really like about Haskell is how much care has been given to the syntax to make functional idioms easy to read and write. One can just say, fib = 0:1:zipWith (+) fib (drop 1 fib) [I know that `drop 1` is just
52.
Dell Inspiron 5370 – review and Linux notes(jyotirmoy.net)
3 points by yomritoyj 9y ago|0 comments
53.
by yomritoyj 9y ago
"myth, poetry, drama, mysticism, scientific thinking, political militancy, or social activism" are all alive and well. Whether we include them in 'philosophy' or not may be of importance for those seeking prestige or pos
54.
by yomritoyj 9y ago
A responsible politician should say why he thinks cooperatives have not been successful in the past, why driver owned cab aggregators are rate, and how he thinks those problems can be corrected. Just asking people to imagine stuff is lazy.
55.
“What next?”(graydon2.dreamwidth.org)
461 points by yomritoyj 9y ago|149 comments
56.
by yomritoyj 9y ago
Could you please elaborate. Just to take two elementary examples: the intermediate value theorem and the theorem that any two bases of a finite-dimensional vector space have the same number of vectors. I would have thought that both require
57.
Maryam Mirzakhani:'The more I spent time on maths, the more excited I got'(2014)(theguardian.com)
2 points by yomritoyj 9y ago|0 comments
58.
Ubuntu now available from the Windows store(blogs.msdn.microsoft.com)
229 points by yomritoyj 9y ago|211 comments
59.
by yomritoyj 9y ago
My advice would be to talk to a friend. It is very hard to give advice over the Internet without knowing your personality and circumstances. One thing which is impossible is to have a 25-year old version of a 8-year old hacker. A 8-year old
60.
by yomritoyj 9y ago
There may be no LaTeX in Microsoft Word, but people working on its equation editor seem to be very much aware of LaTeX. Take a look at Murray Sargent's blog: https://blogs.msdn.microsoft.com/murrays/

More ›