joycian

11 ms·

61.
by joycian 7y ago
Did the teacher write his ideas down somewhere? Could you point me to them?
62.
by joycian 7y ago
https://formalabstracts.github.io/ Tom Hales' formal abstracts project may be to your liking.
63.
by joycian 7y ago
Well, there is the Naproche-SAD project: https://github.com/Naproche/Naproche-SAD/blob/master/README.... > Proof Checking of Natural Mathematical Documents, with optional support for Isabelle Prover I
64.
by joycian 7y ago
It's impressive, thanks for taking the time.
65.
by joycian 7y ago
How do people post such comments? Do you have these lists of source links just saved somewhere or do you just do it on the spot?
66.
by joycian 7y ago
I love how this immediately stumbles upon difficulties: this is a different 'chair' than I was thinking of and the first definition just invokes a recursion into the definition of 'conscious'. I'm not sure whether t
67.
by joycian 7y ago
Aren't humans bounded in the same way? Why not build a system that's faster than us?
68.
by joycian 7y ago
I would like to seriously ask you to consider a more nuanced stance on this subject, as you now seem either uninformed about the technology behind these systems or wilfully naive. Please consider the dangers that could spring from such capa
69.
by joycian 7y ago
How many cells need to be regenerated for you to be a new person? The ship of Theseus is totally uninteresting to me and to be honest I think it has never been interesting. It's just calling attention to the fact that arbitrary definit
70.
by joycian 7y ago
https://en.m.wikipedia.org/wiki/Superdeterminism
71.
by joycian 7y ago
Sounds very cool. Is there any way to follow your progress?
72.
by joycian 7y ago
Can you tell me more about your project to get lean working on the cloud providers?
73.
by joycian 7y ago
If it has been proven from your axioms (really down from the axioms!) then you can add it to a library of statements you 'know' (or in the case of your axioms, assume) to be true.
74.
by joycian 7y ago
As soon as the article started mixing in the quantum mechanics quotes, my eyes glazed over and I stopped reading. Do people really get something out of these kinds of articles?
75.
by joycian 7y ago
Definitely.
76.
by joycian 7y ago
> Perception may not be reality From a compression perspective, of course it is not ...how else would you model your environment? Consciousness is just a glorified 'top' command. Our visual cortex has evolved over millions of y
77.
by joycian 7y ago
Isn't sleep apnea more common in overweight people?
78.
by joycian 7y ago
Thanks for calling out how the Canon interpretations of QM do not not actually save us from much of the problems that are objected to in other interpretations. Sometimes I feel like everyone just repeats what they heard as a student. Smolin
79.
by joycian 7y ago
Realism can be salvaged in a fully deterministic theory. Note however that empirical science in a deterministic world is a strange concept. Edit: However in my opinion empirical science in a nonlocal or nondeterministic world is equally str
80.
by joycian 7y ago
I would rather these kinds of articles just explain the uncertainty principle in a wave mechanics context, without any quantum theory to obfuscate. Or else just go "What if AB != BA?" and actually somewhat give people an entrance
81.
by joycian 7y ago
https://www.nature.com/news/force-of-nature-gave-life-its-as... Nature might be slightly biased due to the asymmetry of the weak force.
82.
by joycian 7y ago
Why are there no other human species (anymore)? Because there was no room for them anymore and they could not compete. In the same way, it it very well possible that life utilizing other genetic code got stamped out (early on).
83.
by joycian 7y ago
The sparse tensor perspective intrigues me, could you perhaps provide me with some references?
84.
by joycian 7y ago
As far as I can find, the military casualties of the (decade-long) Napoleonic wars were around 3 million. The Crimean war caused close to 1 million casualties in 3 years. https://en.m.wikipedia.org/wiki/Crimean_War The
85.
by joycian 7y ago
Julia's ecosystem is rapidly catching up with R and Python (and it already has interop with those languages). I am quite fond of the language and would not be averse to using it as a main language in the near future. This seems like a
86.
by joycian 7y ago
Livy, Seneca, Cicero, Virgil also featured in my Latin classes. I'm not sure of the relative difficulty levels anymore, though. All of these were fascinating for different reasons: Livy for the narrative, Seneca for the wisdom (see als
87.
by joycian 7y ago
Read this book: https://www.amazon.com/Introduction-Algorithms-3rd-MIT-Press... It's all in there. Put away a week of time to really start digging into it, get into the habit of learning from a book. I'd say it&#x
88.
by joycian 7y ago
This article shows more universal gates than the NAND and NOR that are usually discussed. Are any Hacker News users knowledgeable about the topic? Because I was wondering why I never heard about these universal gates before. Almost always,
89.
Universal Logic Gates (2015)(allaboutcircuits.com)
75 points by joycian 7y ago|36 comments
90.
by joycian 7y ago
The theory makes little sense, see also Max Tegmark article on it.

More ›