Ion

Twitter has me trapped

[doomslide @doomslide]

Penrose's Quantum Wu Hypothesis is a lot less ridiculous when you consider it philosophically. His point isn't entirely mechanistic. The continued scaling of computers puts strain on traditional scientific ontologies. Computers, however powerful are necassarily bounded by Godel's theorem which effectively means that any consistent set of rules for deciding truths about the natural numbers has the property that questions are strictly more expressive than answers. This creates a meta argument for the existence of god which Penrose substitues for Quantum Wu. Namely, the bootstrap of formal propositional rule systems from natural language can only be done by an entity posessing understanding hence conscious. Is it possible to fake understanding? Possibly! The interesting question however is whether a fake notion of understanding is sufficiently powerful so as to produce questions in the first place. Mathematical questions come from curiousity about mathematics. Curiosity itself can only develop in the ephemeral state in which certain questions sit unresolved (neither contradicted nor proved nor proved independent of the rules). It is only in this space of uncertainty that curiousity can develop as a process of exploring the space of unresolved questions. Consequently the limits of mathematics is measured in the definitional expressivity of mathematicians against the proof-generative power of computers. As long as we remain in a regime in which the definitional expressivity of mathematicians surpasses the proof-generative capacity of computers, a finitary approximate analog to Godel's truth vs provability, there can be no consistent interpertation of the a conscious computer of such proof-generative capacity. So a conscious computer must be able to produce questions whose answers it cannot settle sufficiently long for curiosity to cook and breed meaning into words turning the formal syntax into natural language and back. What happens when the answer-generative capacity of computers far surpasses the question-generative capacity of mathematicians? The majority of the body of mathematics ceases to serve its purpose as only the most shallowest definitions required to formulate questions from conscious experiences is required. The abstractions formed on top of them never arise since it is always more economical to produce answers directly rather than formulate abstractions that simplify the questions. So as the oracling power of computers grow the explanatory power of man shrinks and with it also the explanatory power of computers. A conscious computer is therefore a hypothetical object that solves this problem. Namely it is a computer whose question-generative (and hence abstraction) capacity is sufficient to maintain stable growth in the experessivity of language and by extension the explanatory power of itself (or another computer). The In this context the Penrose hypothesis, interpreted philosophically, says the language of experience, the cradle of conscious thought and understanding transcends the language of truth.

[NASA Administrator Jared Isaacman @NASAAdmin]

To build a sustained human presence on the Moon, we are building @NASAMoonBase, prioritizing surface operations and scalable infrastructure. 

- Frequent robotic landings and mobility testing including MoonFall drones 
- Starting in 2027 nearly monthly cadence of equipment and rovers with scientific payloads landing on the Moon. 
- Investments in power, communications, and surface mobility 
- Scalable infrastructure to support long-term human presence

The objective is clear: build the foundation for an enduring lunar base and take the next step toward Mars.

[Daniel Litt @littmath]

Some thoughts on AI and mathematics, inspired by "First Proof."

[Air Superior @airsuperiorx]

NASA ERT

[Alexander's Cartographer @cartographer_s]

The Parca and the Angel of Death - Gustave Moreau, 1890

[Ion @ion0x11]

@jhall23_ @memeticsisyphus I wonder how much longer things can continue like this.

[doomslide @doomslide]

utterly inane pixie dust. your models can hardly automate call centers. consult a language model (preferably not instruct-brained) and you might learn something.

[doomslide @doomslide]

we've passed any reasonable threshold intelligence/agency/rizz for "agi". latent context distillation (no infinite ctx length cope) is the only bottleneck to full blown cambrian explosion.

[Timothy Nguyen @IAmTimNguyen]

A new Fields Medal is being minted right now:

[Peter Johnsen, PhD @rocketjohnsen]

Ok y'all aren't gonna believe this, but you can make a laser with biological cells. This is not a joke

[Samo Burja @SamoBurja]

sometimes depression is just not having problems at hand that occupy your mind—not just your time—fully

[flux @fluxtheorist]

You may not like it but this is peak male performance

[🜚 @vo_ro_na]

You should be chiseling your worldview. People should be cutting themselves on your sheer intellect. If you're not holding yourself to the utmost standards of axiomatic precision and discernment, you're amorphous, spineless, spilling over pathetically, contaminating. Disgusting.

[Wired @noospherehikki]

No one ever got arthoe pussy by reading Gottlob Frege in public. The sign of a good philosopher.

[Meng Hu @MengHu13]

It is often argued that national assessments (eg, PISA) don't measure intelligence because they are not designed as such. Yet health literacy tests basically measure a construct very similar to g, despite not designed to find g at all.

[Warhammer 40K @WH40kbestof]

Heretics by Adrian Smith

["D." Fool @FoolOfD]

The oldest written thing currently known is a grain ledger.

[Ion @ion0x11]

@mwm_jami He’s lost the plot since he moved to Asia.

[Ion @ion0x11]

@mwm_jami These coming times are needed. There’s been too much free lunch on the continent for the past millennium. We entered the crucible 400 years ago, those with the capacity to make it out will and those who can’t shouldn’t have existed in the first place, We were late in this game.

[Ion @ion0x11]

@mwm_jami I don’t see it as being pessimistic this realism is the only way things can change past this current point. Ignoring it or the constant excuses others are always making lead us onto this path in the first place.