enugu

20 ms·

181.
by enugu 8y ago
For the second example, sampling the radius uniformly leads to an error with a higher point density in the centre of sphere. The radius, r, has a weight proportional to r^2 or the surface area. So, one can take a uniform random sample, s
182.
by enugu 8y ago
What would be great is an 'open source' legal movement. Non-profit legal orgs which read the details of laws, cases and then put up detailed 'views' of the laws from the perspective of an individual, company, buyer, sel
183.
by enugu 9y ago
Pharmaceutical companies influence research according to [1] to gain support for their medicines. Studying economic factors underlying social activity isnt by itself Marxist. This methodology is adopted in support of different political po
184.
by enugu 9y ago
Leaving this issue aside for a moment, dealing with massive corruption in the govt requires an opposite approach - monitoring the government. Publicly available data which allows any citizen to lookup the details of the programs running in
185.
by enugu 9y ago
Exactly, this whole conversation gets sidetracked by assuming that communism is the primary alternative to the current system.
186.
by enugu 9y ago
We can state a lot of things in first order logic about natural numbers or set theory which are not provable (in some given set of axioms like Peano axioms or ZFC, you can extend the axiom set but then one can generate a new unprovable stat
187.
by enugu 9y ago
There are probably no simple solutions. But just in case, you havent already done this, just use a simple time logging tool and work in discrete sessions(20-40 minutes). (Eternity time logger is one good app, there are others). Dont worry a
188.
by enugu 9y ago
This thread[1] by Michael Nielsen is a good description of the use of spaced repetition to memorize things. [1] https://twitter.com/michael_nielsen/status/95776322945477427...
189.
by enugu 9y ago
What isnt usually mentioned is that this equation is a special case valid in some circumstances. The more general relation is E^2=(mc^2)^2+(pc)^2 which includes momentum term, and applies to photons which dont have a mass. Here's a sim
190.
by enugu 9y ago
Killing animals isnt new, but what has changed recently is that we have built large scale factories which greatly increase suffering. So, the least that we can do is to ensure that suffering(like dunking birds in hot water) is reduced.
191.
by enugu 9y ago
Is there a provable way which applies to other humans? We are either generalizing from personal experience or using biological explanations to postulate a connection between behaviour and sentient feelings. So, when a street dog whimpers
192.
by enugu 9y ago
Sure, flow/typescript already do this by default.
193.
by enugu 9y ago
Yes, sure, monads, applicatives etc. have plenty of applications beyond IO, which is part of why keeping that abstraction separate from any particular use is of value. My point is that this doesnt have much to do with static typing vs dynam
194.
by enugu 9y ago
Watching Hickey's talk, many of the complaints seemed to be valuable, but they didnt seem to be about static types . Rather, it was about some problems with existing data types locking one into a rigid data model when the domain is c
195.
by enugu 9y ago
If that is the primary obstacle, you can have a design which assigns money to a private research organization to develop drugs for government. Also, current pharma will be biased against any cost effective solutions as this will cut their m
196.
by enugu 9y ago
Integration with a contract system like Clojure Spec is one of the best features still missing in current type systems. Having that would get best of the both worlds and allow better interaction with untyped code. Racket has this currently.
197.
by enugu 9y ago
That was a good article. I've come across Temple Grandin before. She seems to have a positive opinion of CAS with the important proviso that induction is done right. If such efforts at reducing suffering become the industry standard, w
198.
by enugu 9y ago
Wish the interview talked about how the meat industry can make the slaughter process as pain free as possible. We are talking about billions of animals, and any improvement in the process could reduce a lot of suffering.
199.
by enugu 9y ago
Wouldnt it be cheaper to first capture CO_2 from the output of coal plants and other industries where it is in concentrated form? Also, economies of scale. Once we bring those down,we would still have to deal with decentralized sources like
200.
by enugu 9y ago
It would not be too costly to augment roads with electronic signalling devices which give information to the software in cars. This information can do what signboards or traffic signals do for humans. The difficult part - when there is an e
201.
by enugu 9y ago
Looking at [1] and the key value database described there, it would need some key coordination mechanism to make use of the system database. For instance, a way for an app to say that a document it stores is either directly of a given type
202.
by enugu 9y ago
I remember a mention somewhere of this kind of approach to inverse foundations for set theory, but lost track of the reference. IIRC, the approach didnt have problem with empty set, but would allow the existence as a default until some obst
203.
by enugu 9y ago
Dismissing most of the world's heritage, because one is a literalist, is what is irrational. By this logic, mathematics discovered for curiousity would not have applications, something which is not at all true. Number theory is just on
204.
by enugu 9y ago
Nowadays, it has become pervasive on social media, and lost value as everyone uses it. It acts as a rhetorical device which can disguise the poor quality of of the argument.
205.
by enugu 9y ago
Point in my first post was that G is algorithmic. What you are referring to is the repeated extension of G which gets into issues of ordinals.
206.
by enugu 9y ago
There is a program, G, which will take as input the source code of the program, P (in some fixed language) and output Turing machine, T which doesnt halt, such that either P will fail to say T doesnt halt, or P has mistakes(claims halting f
207.
by enugu 9y ago
Penrose argument, while it can be challenged, is actually much more careful than dismissals here suggest. For instance people talking about 'humans are not consistent', we are talking about effort directed into a well specified fo
208.
by enugu 9y ago
Constructing the sentence is algorithmic. The key part is asserting that the sentence is true. For instance ZFC will prove that A:(ZFC cant prove GodelStatement(ZFC) OR ZFC is inconsistent).GodelStatement is an algorithmic function which ta
209.
by enugu 9y ago
Yes, then the cause is specific to sector, not the country as a whole.
210.
by enugu 9y ago
One possible step here is to step back from work, just look around at other things going on(either software related or other topics in life) and start learning some thing else. For instance, one path look at courses/lecture-notes in pl

More ›