Joined November 2012
229 Photos and videos
Sentience (ability to experience subjective qualia) is not self-awareness (having a self-model that is distinct from one’s world-model) is not consciousness (existence of a first-person experience) is not intelligence (ability to perform complex computation) is not…
self-awareness is not consciousness you absolute loons
55
38
559
51,263
For reference, Lanyon can currently one-shot a provably-correct C implementation of a complex 3D nonlinear PDE solver (e.g. resistive MHD), and synthesize a ~10k-line Lean Rocq proof of its mathematical and physical correctness, in ~3 minutes. And we're just getting started...
New project: a coding and formal verification agent for computational physics and applied mathematics. Auto-generate type-correct DSL code for equations and numerical schemes, autoformalize correctness properties in Lean/Isabelle/Rocq, then compile down to provably-correct C code
17
37
329
23,330
New project: a coding and formal verification agent for computational physics and applied mathematics. Auto-generate type-correct DSL code for equations and numerical schemes, autoformalize correctness properties in Lean/Isabelle/Rocq, then compile down to provably-correct C code
13
35
366
49,549
The future is (auto)verified.
10
5
79
16,598
“Real terms of real life” is just the abstract nonsense you’ve gotten used to. Energy, momentum, particles, motion, etc. are all abstractions, just like wave functions and unitary operators. And the former weren’t intuitive at first either (e.g. read Aristotle, or Lucretius).
Who thinks that quantum stuff should be explained in real terms of real life rather than abstract nonsense?
26
19
348
23,169
Even in Newtonian physics and GR, heavier objects fall faster than lighter ones (when dropped sequentially), because a heavier object accelerates the Earth towards it more. (Equivalently, it moves the center of mass of the combined Earth-object system closer to the object.)
I’m tired of the Aristotelian physics slander. Yes, heavier object fall faster than light ones, all else equal, *when immersed in a fluid* which is every environment Aristotle had access to. Do the experiment yourself. Drop a bowling ball and a same-sized ball of foam. There’s a great paper called “Aristotle’s Physics: a Physicist’s Look” that demonstrates how Aristotelian physics is a special case approximation of Newtonian physics in the same way Newtonian physics is a special case approximation of relativity and QM. Aristotle’s physics reigned for so long not because people were unthinkingly dogmatic, but because it was genuinely hard to come up with better models. Aristotle had to model celestial objects separately from terrestrial objects because his terrestrial model is describing *terminal* velocity and breaks down in the zero-friction limit. So he had two incompatible models. Newton unified them. Now we have two incompatible models - QM and GR - and are looking for unification. The more things change…
29
17
404
48,695
The whole “objects of different masses fall at the same rate” thing is an approximation, assuming the Earth’s surface is fixed. But what we care about is the *relative* acceleration that combines both object and Earth accelerations, wherein we recover the Aristotelian prediction.
3
2
87
5,136
Saint Francis of Assisi, I am in you.
6
2
49
5,735
Alright, replies indicate I need to explain this in more detail. Properly conceived, there is simply no difference between "simulated water" and "water". It's just water. But to understand that, one first needs to distinguish between two meanings of the word "computer". (1/11)
Replying to @getjonwithit
They don't accept the idea that wetness, as a phenomenal quality, has anything to do with symbol processing. Wetness is not going to be grounded in purely mechanical properties. But if you have such a horrible feeling you could clarify a bit instead of this strange parenthetical.
38
19
271
67,203
...as a property of the abstract state itself. It's identical to saying "The computational properties of Turing machines have nothing to do with electrons/wires". Of course they don't! The electrons/wires don't exist at that level, they exist (at least) one level higher. (10/11)
1
46
5,438
None of this argument depends upon physics/minds/water being Turing computable, by the way. If our universe permits hypercomputation, then I can construct nested hypercomputational simulations and apply exactly the same logic. There's nothing deep here - just confusion. (11/11)
15
1
83
5,778
Simulated water is wet. You just need to exist at the same level as the water within the simulation hierarchy. (99% of this discourse can be resolved by people simply being more careful about this.)
The claim that computation isn't a universal, transcendent concept often reduces to "simulated water isn't wet". But this objection assumes its conclusion: that wetness isn't already a form of computation. The deeper issue: is any conceiving, of any kind, non-computational?
113
52
756
90,161