Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
enugu
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
14 ms
·
121.
▲
by
enugu
2y ago
> What does this actually mean? It it a proposition? If so, is it falsifiable? And how? If you saw a sequence of 1000 coin tosses at say 99% heads and 1% tails, you were convinced that the same process is being used for all the tosses an
122.
▲
by
enugu
2y ago
You can skip ahead to his playful thesis > the universe emerging from the command line. In his book The Life of the Cosmos, which everyone should read, Lee Smolin gives the best description I've ever read of how our universe emerge
123.
▲
by
enugu
2y ago
> fully employee-owned There are more possibilities which open up, if we drop the 'fully' criterion, both for decision making power and share of the profits. If employees had, say, a 30% share in board decisions (not share of p
124.
▲
by
enugu
2y ago
> If entropy is zero then all kinds of things break down. Entropy is a macroscopic variable and if you allow microscopic information, strange things can happen! One can move from a high entropy macrostate to a low entropy macrostate if
125.
▲
by
enugu
2y ago
Don't see how the connection is superficial. Even the classical macroscopic definition of entropy as ΔS=∫TdQ can be derived from the information theory perspective as Baez shows in article(using entropy maximizing distributions and Lag
126.
▲
by
enugu
2y ago
Assuming each of the N microstates for a given macrostate are equally possible with probability p=1/N, the Shannon Entropy is -Σp.log(p) = -N.p.log(p)=-1.log(1/N)=log(N), which is the physics interpretation. In the continuous vers
127.
▲
by
enugu
2y ago
That's not a problem, as the GP's post is trying to state a mathematical relation not a historical attribution. Often newer concepts shed light on older ones. As Baez's article says, Gibbs entropy is Shannon's entropy of
128.
▲
by
enugu
2y ago
This is an obvious strawman('We cant deregulate X when we are heavily regulating Y which is much weaker than X' -> 'The government should regulate every aspect of life '), So bye.
129.
▲
by
enugu
2y ago
A well simulated intelligence in a computer would speak and have discussions about 'conscious experience'. (Assuming that is possible, but that is implied by physicalism+Church-Turing) If you think that the simulation has conscio
130.
▲
by
enugu
2y ago
> transiency is irrelevant to autonomy If you are allowing transient decisions for giving away a life, then transient decisions would be allowed for lesser stakes too. Most societies are debating even something like unrestricted access t
131.
▲
by
enugu
2y ago
My post was not meant to trivialize the problems you are facing or that there are easy fix solutions. Dont know how I can help as an anonymous stranger on the net, but just in case you want to talk to someone, you can always send an email.
132.
▲
by
enugu
2y ago
The issue is when there is overdetermination - fixing a single cause resolves 80% of the current cause of failures, but the process fails at another point which becomes the new bottleneck. Say, most people are failing at a task due to str
133.
▲
by
enugu
2y ago
Quantum computers can't solve the halting problem but that is not Penrose's argument which is not summarized well in the quote.
134.
▲
by
enugu
2y ago
Suicides do not just happen due to being in extreme, incurable pain. People commit suicides due to emotions which seem powerful immediately(failure in love life, academics, career etc.) but would not seem as such a big deal if they were to
135.
▲
by
enugu
2y ago
In a multi-stage process, even if you fix the cause with 80% responsibility, the outcome may not improve by much, as there is failure now at another stage. Of course, fixing that single cause is still progress.
136.
▲
by
enugu
2y ago
Is there a good write-up somewhere of the problems with discretization of space for physics? Interestingly, some great mathematicians (including Grothendieck) thought that modelling space as continuum was an approximation and not the realit
137.
▲
by
enugu
2y ago
Yes, {} is a subset(⊂) of all sets, but it is not a member(∊) of all sets. For instance, {} is not a member of {{{}}}. In the Von-Neumann definition, 1:={0}={{}}. So, 0∊1, but 0 is not a member of {1} which is the above set. https:/&#
138.
▲
by
enugu
2y ago
Pictures can be directly used in formal proofs. See [1] for instance So, the problem is not in principle, but rather, pictures and more direct syntax has not yet been integrated into current proof systems. When that is done, proofs will be
139.
▲
by
enugu
3y ago
Reusing and blackboxes do appear a lot in higher level mathematics. Indeed, the idea behind abstract algebra is to hide 'implementation' details. The concept of abstract data type in programming is similar to structures studied in
140.
▲
by
enugu
3y ago
Thanks a lot for this effort! As someone wanting to learn physics from a math background, this seems to be at the right level for discussing critical high-level ideas mathematically. The article format is great as I get distracted reading b
141.
▲
by
enugu
3y ago
Here's a different proof of the identity just thinking of M, M* as operators (not as matrices). So, the invariant way of 'diagonalization by a unitary matrix' means that we have to find an orthonormal basis of eigenvectors. W
142.
▲
by
enugu
3y ago
You can encode halting of a program P as a comparison of a computable real number Q with a fixed number R by defining Q as 0.111..1 where each step of P adds one digit of 1 to Q’s expansion. P will halt iff Q is less than R=0.111… Any subse
143.
▲
by
enugu
3y ago
There is also this recently discovered phenomena of aphantasia which is fascinating. Lot of people dont have mental images and grow up not even aware that others can form such images. Here's one interesting account. https://
144.
▲
by
enugu
3y ago
Having an standard of truth is important as a reputation for an organization(whether for commercial or non-commercial reasons). Besides, click-baitiness is not sustainable as in the equilibrium, readers will change expectations to assume ar
145.
▲
by
enugu
3y ago
The cause seems to be software from private companies gets more resources for features, feedback, maintenance etc. If that is correct, the obvious solution is generating some substantive funding for important open source projects which deve
146.
▲
by
enugu
3y ago
Here's the video, https://www.facebook.com/DattaKriyaYogaPage/videos/541068743... There is a Kriya Yoga app also for DKY.
147.
▲
by
enugu
3y ago
Actually, this comment makes sense and is used in logic to derive true but non-provable propositions withing the current axiom system assuming it is sound. The problem is that you dont know if the checker that you use to detect if a program
148.
▲
by
enugu
3y ago
There is a yoga kriya I learnt called "Dura Shravana"(Far Hearing) which is meant to help one zone out of the surrounding sounds and maintain focus. What one does is to place attention on the farthest sound from one's self th
149.
▲
by
enugu
3y ago
Reading comments on this page, the problems with public transport are listed - not safe or clean or uncrowded enough. But, the only alternative considered is private individual/family transport. Why is private mass transport not more w
150.
▲
by
enugu
3y ago
Something like the accountability interpretation has been championed by David Deutsch, who bases a lot of his thought on Karl Popper. So voters kicking out an incumbent is seen as analogous to scientists abandoning a hypothesis after falsif
More ›