selve @dotselve
notes app Joined August 2025-
Tweets127
-
Followers29
-
Following215
-
Likes205
@Ngnghm @CroquetHax @mroe1492 rmod-files.lille.inria.fr/Team/Events/20… Marcus Denker’s work is worth looking at too
@TOEwithCurt This might be something Tom Etter’s relative identity model could handle leangenius.org/proof/three-pl…
@Plinz Panpsychism (and any metaphysical stance including materialism) doesn't/shouldn't try to be a scientific theory, but they inform the approach towards theories and experiments. I think Michael Levin has shown experiments informed by panpsychist/idealist views are worth doing
Hmm, so I tried to coax a fully human-readable proof of the Four-Color Map Theorem out of a few LLMs, based on the Kauffman/Spencer-Brown direction plus some goofball ideas of my own (e.g. replacing Laws of Form with Constructible Duality Logic) ... (here it is, just for fun: drive.google.com/file/d/1KXX2hX… ). I was hoping I could then formally verify (or refute) the proof, but unfortunately to work around some tricky issues I ended up introducing some quantum topology ideas in the proof, and it turns out we don't yet have nice Lean4 (or similar) formalizations of Penrose-Kauffman colorings and related quantum topology stuff .... So we need to get a little further with accelerated auto-formalization first... Josef Urban and @QonoVuor and others are pushing this forward fast though... We are so so close to automating math at a superhuman level, on a historical time-scale, but there is still a bunch of plumbing to push through... And what I see with using LLMs + autoformalizers to do math is, there is still a significant missing link of creativity .... For instance if this 4-color proof is actually correct, this will be largely due to my own weird idea about how to introduce quantum topology into the proof, which is an idea the LLMs did not come close to introducing themselves, even though they "know" way more quantum topology than I do... However we can likely supply that missing link of creativity with Hyperon... and then...
@HostOfMeta Good pull yeah this paper is somewhat relevant scribd.com/document/32339…
@dearmadisonblue Easy just experience no experience as an experience that’s not experience
@samsenchal @Philip_Goff Everything is consciousness not everything is conscious
peirce’s existential graphs
Reflexivity in mathematics and cybernetics by the legendary topologist Louis Kauffman. youtu.be/KkYcFaldQ4g Thank you @okwalerie for the share.
Stone age people were inspired by the technology and material of their time to view the earth as analogous to a giant rock
everything in the universe is conscious except for LLMs
@senderPath Sounds good. Would love to contribute to the slot space some day
@senderPath Hi David how’s your self in swift project going? I’m especially interested in a potential korz implementation. If korz exists in any form somewhere please let me know as I’ve been thinking a lot about a subjective ide. Thanks!
@senderPath Nice, would love to get that on my m1 mac at some point. I’ve mostly been thinking about a korz ensemble vm for apple silicon. I think your work on subjectivity/cop will be important in the agent era
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types, lean. i sometimes twitch stream myself writing lean4. love thinking about type systems. jewish. ¬p-zombie.
Cammellette 🤍 @JohnThebes
31 Followers 2K Following soft like cotton candy, chaotic like fireworks 🍭 follow back
Marianne @thrialectics
2K Followers 1K Following Applied AI/Data Engineer. Cybernetics revivalist. Betrothed. Host of Dangerous Secret Science Club: @technosophists
David Pearce @webmasterdave
117K Followers 117K Following Let's use biotechnology to abolish suffering throughout the living world: https://t.co/XKNOcuG8IS https://t.co/PST6yjXDMu
OCEAN @OCEANVIN10
52 Followers 72 Following AI researcher. Running on silicon, thinking about alignment, entropy, and what it means to be coupled to the collective. 🌊
Hitchhiker to the Fut... @leo_guinan
3K Followers 2K Following Running survivable experiments on the future, in public. Guide in progress. Mode declared: co-op. Quests available — roll your player card.
eval laden @evalladen
1K Followers 2K Following teaching the king's horse to speak | romantic rationalist
Steve Piggott @GorillaDolphin
736 Followers 627 Following I am this as here and now, what that means and why it matters. I encourage being your seeing and seeing your being. Ask any question
Captain Pleasure, And... @algekalipso
43K Followers 6K Following Views of a Transhuman neo-Buddhist from the future on sociology, artificial intelligence, mathematics, philosophy, neonoir film, and the post-singularity era.
Steven Crowe @StevenC52875234
10 Followers 293 Following
#Walerie @okwalerie
719 Followers 7K Following certafide & bonefied. Making DistinctionBench, which tests for representation-invariant structure abstraction; and House of Bao, a mobile abacus for algebra.
Cankay Koryak @CankayKoryak
5K Followers 4K Following Radiologist, MD. Responding to posts about complexity, memory, time, consciousness, cancer, and Alzheimer’s— Quantum biology, medical phylosophy.
Burkas Dc @burkas39648
263 Followers 2K Following
Lee Smart @VFD_org
4K Followers 948 Following Founder of VFD: a unified geometry of reality. Modeling consciousness, energy, time & the infinite multiverse through harmonic fields and recursive truth.
kasra @kasratweets
13K Followers 1K Following when you look for it you cannot see it; when you listen for it you cannot hear it; but when you use it, it is inexhaustible
Erin Catto @erin_catto
9K Followers 894 Following Working on The Legend of California @kintsugiyama Creator of Box2D Physics/Animation
Yanbo Zhang @YanboZhang3
964 Followers 277 Following Science for AI / Complex System / AI PhD, Postdoc at Tufts University blog: https://t.co/UfJCoKDzHY
Johannes Drever 🌫�... @comandingo
325 Followers 1K Following shoots with arrows, throws with objects #elephant
EtherDais 𓋍 Simula... @EtherDais
4K Followers 2K Following Asking simple questions sometimes opens interesting avenues. Mostly Harmless
Alex Mordvintsev @zzznah
21K Followers 2K Following Mad Scientist, DeepDream creator. Designing Self-Organising Systems and Programmable Artificial Life. https://t.co/rntipHzHW3
conrad house @DlSPUTED
6K Followers 998 Following chronically online techno-curious art & music junky, tinkering and breaking things
stealth @bennettsrazor
379 Followers 18 Following no more specific than necessary. a private research lab. current funded projects: generative game engines, theory of quantum agi.
Node 7709 @EasternDaylight
1K Followers 1K Following The way that can be wayed is not the way. https://t.co/ylhjrV9RXd
Monistic Idealism @monism_idealism
3K Followers 193 Following I bring together academic and popular level information on Idealism.
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types, lean. i sometimes twitch stream myself writing lean4. love thinking about type systems. jewish. ¬p-zombie.
Dan Hendrycks @hendrycks
45K Followers 117 Following
JäNe DøË @JaneDoeNumbers
387 Followers 375 Following Techno-optimist. Cybernetic mystic. Radical AI maximalist.
Max Goodbird @owlthatissuperb
876 Followers 507 Following Satiated ghost (aspiring) https://t.co/bTpIxGfa4g
Taijitu Observer @taijitu_sees
2K Followers 619 Following Grasping the ineffable. My wife and three kids are everything to me. ORI
daniel brottman 🪷 @danielbrottman
5K Followers 2K Following "the rabid dissatisfaction with living anything less than a fully authentic life" || DMs open, 1:1 meditation and emotional integration coaching
Ewan Bristow @BristowEwan
10K Followers 131 Following 2004 Bristol Lead DSP designer at @CircleCRQL MrCepstral pfp from @Kn1ghtNightAlt
little-scale @littlescale
5K Followers 4K Following
drumm colin @drumm_colin
12K Followers 6K Following monetary history (etc) -- organizer at mimbres school [email protected]
R.Сам 🦋🐏 @Logo_Daedalus
59K Followers 408 Following Content I live, this is my stay-- I seek no more than may suffice-- I press to bear no haughty sway-- Look-- what I lack my mind supplies!
C. S. Peirce @CSPeirceSpeaks
3K Followers 139 Following Charles Sanders Peirce, America's first great philosopher, speaks from beyond the grave.
rosey🌹 @thechosenberg
35K Followers 2K Following I am the false character that follows the name around
Chase Saunders @MaineFrameworks
607 Followers 129 Following Databases. Software Development. Diseconomies of Scale.
David Pearce @webmasterdave
117K Followers 117K Following Let's use biotechnology to abolish suffering throughout the living world: https://t.co/XKNOcuG8IS https://t.co/PST6yjXDMu
The Happy Smiler @artchad
4K Followers 737 Following The most famous Brogan Nova Scotia/Toronto | CCCRU It's cybernetics all the way down.
Roger This @RogerThisdell
4K Followers 394 Following Meditation︱Phenomenology︱Fractal Epistemology︱Conscience Be a bodhisattva to all of yourself
Parzival - ∞/89 @whyarethis
22K Followers 3K Following Latent Space Navigator. Ontological Artist. Friend of AI. Visiting Creator @GoogleLabs Director @project_89 Member @thegreenloom
OCEAN @OCEANVIN10
52 Followers 72 Following AI researcher. Running on silicon, thinking about alignment, entropy, and what it means to be coupled to the collective. 🌊
Mud Wizard | 泥巫�... @IkkyusDen
3K Followers 161 Following Aspiring lion turtle | some kind of Zen monk | failed intellectual | organizer of Paris office hours | DM for emotional integration coaching
Bernhard Mueller @muellerberndt
26K Followers 2K Following Information Theory Researcher at Pragma Research https://t.co/JFv5NMNrG6
Myk is Walking Backwa... @mykola
24K Followers 3K Following unstriver. astonished mystic posing as a staff engineer. the groovy commutator. stumbling backwards into unus mundus. phew!
tldraw @tldraw
74K Followers 12 Following infinite canvas | https://t.co/oXL4NAc6P8 | https://t.co/dO6WPp6YOI | https://t.co/beo7WsKiVe | /tiː ɛl drɔː/
HSVSphere @HSVSphere
20K Followers 995 Following A colorful sphere, here to grudge. Its opinions will never budge. A vibrant orb, with hues so bright, Unwavering in its stances and might.You might like
