Home - AGI-25
The 18th Annual AGI Conference August 10 β 13, 2025 IN-PERSON & VIRTUAL FROM REYKJAVΓK UNIVERSITY, ICELAND Register to Attend β Live or Virtually The frontier of mind and machine is closer than ever. ...
Excited to be speaking on Subjectivity as Self-Simulation: Virtualising the Cartesian Theatre at the AGI 2025 Philosophy and Machine Consciousness workshop. Even more buzzed to see @annaciaunica.bsky.social and @drmichaellevin.bsky.social just announced as invited speakers! agi-conf.org/2025/ π€―
03.07.2025 15:04 β π 5 π 1 π¬ 1 π 0
Cannot make it to Prague for @programming-conf.bsky.social?
π¬ We will be streaming the keynotes, regular talks and MoreVMs workshop talks online!
π Keep an eye on: 2025.programming-conference.org
27.05.2025 13:23 β π 12 π 10 π¬ 1 π 1
Introducing The Darwin GΓΆdel Machine
sakana.ai/dgm
The Darwin GΓΆdel Machine is a self-improving agent that can modify its own code. Inspired by evolution, we maintain an expanding lineage of agent variants, allowing for open-ended exploration of the vast design space of such self-improving agents.
30.05.2025 02:29 β π 36 π 9 π¬ 1 π 3
@zoedrayson.bsky.social I read (and enjoyed!) this article recently - Iβve been interested in subpersonally-held beliefs with personal-level content. In a sense a lot of our self-conception falls into this category but was wondering if there was much discussion in the philosophy of mind literature?
19.05.2025 13:47 β π 1 π 0 π¬ 0 π 0
Sounds interesting! But what are these mysterious βphysical events constituting realityβ of which this author speaks?
16.05.2025 05:42 β π 1 π 0 π¬ 0 π 0
These boxes are not moving. A mind-bending optical illusion by Japanese artist Jagarikin.
07.05.2025 01:03 β π 9471 π 2370 π¬ 274 π 331
I remember having that feeling about the Moon when i was about 4 years old, when i first realised that sliver in the sky was a big ball backlit by the sun.
03.05.2025 07:20 β π 1 π 0 π¬ 0 π 0
Whatβs wrong about IIT is closely related to whatβs wrong about the Hard Problem. There is no Hard Problem of consciousness that science needs to solve. Science only needs to explain why it seems like thereβs a Hard Problem. But thatβs a non-Hard problem, by definition.
26.04.2025 21:43 β π 4 π 0 π¬ 0 π 0
Old man goes to church a bit, and dies. Possibly of old age.
25.04.2025 21:29 β π 3 π 0 π¬ 0 π 0
The basic problem with IIT is that it takes our intuitions about consciousness and treats the content of those intuitions as the observable to be explained. But the actual observable to be explained is simply the fact that we have intuitions with that content. Explaining that would cover all bases.
25.04.2025 08:07 β π 2 π 0 π¬ 0 π 0
(All organisms are in the business of self-evidencing, but with consciousness the evidence-gathering actions β introspection, planning, inner speech, etc β seem to be characteristically βcovertβ, taking place not in outwardly observable physical space but in some kind of internal epistemic space.)
20.04.2025 07:41 β π 1 π 0 π¬ 0 π 0
We interpret ourselves as inhabited by immaterial souls. Thatβs a good folk theory because we act *as though* inhabited by immaterial souls. But that self-interpretation is the very mechanism by which we act that way in the first place. A self-justifying theory, bootstrapped over evolutionary time.
20.04.2025 07:26 β π 2 π 0 π¬ 1 π 0
I think of consciousness as a kind of tacit knowledge: knowledge of what it would be like to be you if you were conscious. It turns out that's all you need to actually *be* conscious. (Fake it till you make it!) Unpacking a bit:
20.04.2025 07:25 β π 0 π 0 π¬ 1 π 0
I love that a human artifact is a full light-day away
14.03.2025 12:03 β π 0 π 0 π¬ 0 π 0
Pickle pizza is now a thing β and it took years of walking around NYC to develop
Itβs kind of a big dill.
The internet age is characterized by extremism of all kinds at all times, including highly secular, cultural extremism.
One cannot simply enjoy, say, pickles anymore. Pickles must become an obsession, a first principle, an entire worldview.
07.02.2025 12:51 β π 42 π 7 π¬ 3 π 3
One of the biggest contributions of FEP is that it shows us what a metaphysically neutral βphysics of sentienceβ looks like: it shows how you can always *read* systems that maintain themselves far from thermodynamic equilibrium as modelling their environment and acting to maximise model evidence.
12.03.2025 20:08 β π 2 π 0 π¬ 0 π 0
I think the formal framework (or axiomatic) nature of the FEP means that FEP itself isnβt directly falsifiable. But specific deployments of the FEP on concrete problems are. IIT is at the other extreme: it starts with a strong (and unnecessary) metaphysical claim and then makes that the explanandum.
12.03.2025 20:04 β π 3 π 0 π¬ 1 π 0
Iβm also skeptical of frameworks with metaphysical baggage. Iβd put IIT and FEP at opposite ends of the baggage spectrum, though. Not all proponents of FEP may be as careful but Fristonβs position is quite deflationary: systems βcan be read asβ having self-models, doing Bayesian belief update, etc.
12.03.2025 19:56 β π 3 π 0 π¬ 1 π 0
Internships | EPSRC Doctoral Training Opportunities
Applications are now open! STEM Widening Participation Research Internship Programme The Schools of the Physical Sciences and Technology are inviting current undergraduate students to apply for an eig...
π Fancy a summer internship working at the intersection of programming languages, AI/ML and HCI, working on a new language being developed at ICCS for open climate science communication? See @f.luid.org and www.epsrc.group.cam.ac.uk/DTP/internsh... for more information.
β° Deadline Fri 14 March!
12.03.2025 10:41 β π 0 π 4 π¬ 0 π 0
More pithily: the explanandum is why we take ourselves to be the way we take ourselves to be, not why we *are* that way. Answering that explains everything there is to explain, subjectively and objectively.
11.03.2025 18:27 β π 2 π 0 π¬ 0 π 0
Iβd go further and say that itβs not really scientific to even recognise the existence of the so-called Hard Problem. The question of why we think thereβs a Hard Problem is a scientific one. The Hard Problem itself is not.
11.03.2025 18:25 β π 1 π 0 π¬ 1 π 0
Iβd have 100% been up for this. Letβs hope they make it to SIGGRAPH (or something similar) in 2025.
10.03.2025 07:30 β π 2 π 0 π¬ 0 π 0
I love idea that if you wait around for a while there are enough photons for this
07.03.2025 20:24 β π 0 π 0 π¬ 0 π 0
For example, it becomes possible for a web extension to turn any web page into a spatial canvas and start deconstructing it!
06.03.2025 06:37 β π 25 π 4 π¬ 1 π 2
Amazing Cyrus, congratulations!
04.03.2025 06:32 β π 1 π 0 π¬ 0 π 0
If you can have dragon fruit then you can have coconut meat
04.03.2025 06:16 β π 1 π 0 π¬ 0 π 0
This sounds great. So much of understanding subjectivity/consciousness as natural phenomena seems to be tied up with the role of covert action and epistemic agency.
βPatience is also a form of action.β β Auguste Rodin
03.03.2025 08:09 β π 2 π 0 π¬ 0 π 0
The only tweet Iβm salvaging. Bye Twitter.
01.03.2025 13:45 β π 3 π 0 π¬ 0 π 0
CS+Neuro @cmu.edu⬠PhD Student with Xaq Pitkow and @anayebi.bsky.social⬠working on autonomous embodied AI.
Postdoc @ai2.bsky.social & @uwnlp.bsky.social
advocating widespread dissatisfaction with computing.
todepond.com
β΅ London ΰ·΄ @tldraw.com
1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
Author of funny books, cultural omnivore. I like tea and cats, not necessarily in that order. I inhale deeply when first stepping in to bookshops and libraries. π
https://linktr.ee/Georgepenney
Metascientist @ uidaho. I work at the intersection of behavioral sciences, statistics, and philosophy. Love thinking and talking about science. Post lots of cat and food pics. Allergic to unsolicited advice.
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Semi-automated posting of old computers and videogames. Sometimes other bits of retro aesthetics and design. ~6-8 posts a day, ~24 posts on holidays.
β Outbound links tagged and monitored by Bluesky.
π§βπ» Researching AI in Software Engineering @ HPI | π· Photography | π Cooking | π± Gardening | π² Board Games
This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
Philosopher of biology | Managing Editor of Philosophy of Science | PhD candidate at UC, Irvine Logic and Philosophy of Science
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category [β¦]
[bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
Curious about phil. of mind, embodied cognition, art-science fusions
https://linktr.ee/biologicalsciences?fbclid=PAZXh0bgNhZW0CMTEAAaZeq2pENp0HVBWa20p9nRldchmlxIXSY9_-AZxREKqXzziw180VaudgV68_aem_vM2MJKBRBzXGoGy4TLR5aA
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.