sn41

48 ms·

421.
by sn41 6y ago
I think so. Using existential types, we can encode predicates in such a way that the type is inhabited (i.e. there is a value of that type) only if the predicate is true. I am learning Forth and Idris in my spare time these days. I have tri
422.
by sn41 6y ago
The author of the article, Anurag Mendhekar, is one of the authors in the original paper on AspectJ [1], which introduced Aspect-Oriented Programming. The origins of AOP are in Smalltalk and the Meta-Object Protocol, I think. I really like
423.
by sn41 6y ago
The association is not traditional, it is an association initially hammered in by De Beers. If you are in love, and your beloved expects diamond rings, take them to see "Blood Diamond".
424.
by sn41 6y ago
Wow, this is the mother of all TILs. (Was that a Freudian slip, I wonder.)
425.
by sn41 6y ago
I was about to post this. The parody is so brilliant that I never took any Curtis documentary seriously after this.
426.
by sn41 6y ago
It comes down to what counts as admissible evidence in court. Also on and off, countries have tried asking travelers to submit all online social n/w profiles, under threat of perjury, during immigration. Every time there is a hue and c
427.
by sn41 6y ago
I started reading thinking that uniwidth is the new politically-correct term for monospace :) But, I agree with the author - it's a great concept to be emphasized especially for tabular displays! Does it work for other languages, e.g.
428.
by sn41 6y ago
> I assume the pure math department is not doing much. Please see my earlier comment. They once had a Fields medalist on their staff. And it was not a one-off coincidence. Leicester has a really good tradition of pure math.
429.
by sn41 6y ago
I am a pure math guy who absolutely loves the Canterbury Tales. The only people who should be axed are the administrative windbags and "bottom-line" scallywags. So clever, aren't they? I am sure they can survive out in their
430.
by sn41 6y ago
Let's not get into the testing data debate here. To say that a country with 0.53 hospital beds per 1000 persons can successfully handle any medical emergency is unrealistic[1]. India is also highly populated, so the sheer number of peo
431.
by sn41 6y ago
True, the last part did surprise me. He went against the base of his party, and espoused science.
432.
by sn41 6y ago
That was due to the lessons from SARS-Cov1 in 2003. Asian countries that did not suffer from SARS-Cov1 did very badly with covid-19. e.g. India. In India the misinformation was uniquely Indian - first they said that vegetarians will not get
433.
by sn41 6y ago
Please do not bring relativism into science. There is no eastern science and western science. I am an Indian, and work very hard to conform to high standards of scruples and ethics. There are asymmetries like paucity of travel opportunities
434.
by sn41 6y ago
I will not judge you. Citation indices are horrible and perpetuate this fraud. I was telling a student of mine yesterday, 10 years ago the game was to get publications in prestigious venues. Now the game is to have a stellar scholar.google.
435.
by sn41 6y ago
Oh boy, this is very common. This is not specific to a country or ethnicity, unfortunately. You also see grad students shilling for their guides.
436.
by sn41 6y ago
Self-descriptive, I think.
437.
by sn41 6y ago
Thank you for that link. This is really interesting. I am used to thinking in terms of "removing" features in order to get to more abstract notions. But it is good to have most such structures in one map.
438.
by sn41 6y ago
Semi-literate nonsense - I think it only shows the "little knowledge" of the mapmaker. What about dynamical systems? Theoretical computer science? Mathematical Logic? If you want to have a look at the classification used by the Am
439.
by sn41 6y ago
This is just the usual "real world" snobbery that mathematicians and researchers have to deal with. Sure, researchers are inexperienced in some areas, but the "real world" also will not be able to make leaps in progress
440.
by sn41 6y ago
The book "Exercised" by the Harvard anthropologist Daniel Lieberman mentions exactly this claim - that in hunter gatherer societies, people actually rest for most of the day. Still their average lifespan is about 70 years.
441.
by sn41 6y ago
Narthangai in Tamil is Naranga in Malayalam. Not coincidentially, Naranja in Spanish/Portuguese is Orange. (I think this is an instance of Indian words migrating west, probably via Arabia.) The reverse is also true - lot of words in Ke
442.
by sn41 6y ago
Abraham would be relevant to Judaism and Islam as well, so attributing individualism to this is somewhat doubtful. In the New Testament, as you mention, society and gathering is actually encouraged. The simplest is: “When two or three are g
443.
by sn41 6y ago
The pointwise otimality of the LZ algorithm - the fact that it beats every other information-lossless finite-state compressor like Huffman encoding asymptotically on /every/ string, is an ingenious theorem. For versions of the al
444.
by sn41 6y ago
"Simple things should be simple, complex things should be possible" - Alan Kay. Instead, in overthought out systems, complex things are simple, and simple things are possible with unnecessary effort.
445.
by sn41 6y ago
Forth is not just another language for the sake of it. I am currently learning Forth from Leo Brodie's excellent books "Starting Forth" and "Thinking Forth". It actually changes the way you think. Just as Lisp does
446.
by sn41 6y ago
Or an incidence of correlation and not causation. Not that correlation does not mater.
447.
by sn41 6y ago
I think you have it wrong. One of the major thrusts of Plato's republic is that a philosopher king is better than a mobocracy. I don't necessarily agree with the book, but the book does not argue about the superiority of an unfett
448.
by sn41 6y ago
The problem is that even newspapers have clickbait titles now a days - e.g. "I talked continuously for 5 hours. This is what happened." This two sentence headline style is very jarring to me. Almost like it insults my intelligenc
449.
by sn41 6y ago
My point was that it is reasonable to be moderate in applying policy. When did I attack free markets or the democracy? Perhaps I am not as smart as you are, but please do not insult.
450.
by sn41 6y ago
Fair enough. I did not know that there were earlier warnings. A three-strike rule sounds fine.

More ›