Van Bettauer retweeted
Strange New Universes: Proof Assistants and Synthetic Foundations, by Michael Shulman
"[...] allow mathematicians to explore radically new kinds of mathematics using an LLM-powered proof assistant to train their intuitions [...]"
ams.org/journals/bull/2024-6…
Van Bettauer retweeted
Abstract for an upcoming paper, to be released on the arXiv next week: Reinforcement Learning in Categorical Cybernetics
Van Bettauer retweeted
(1/2) ZX-calculus is now being used within the fundamentals of Quantum Machine Learning, namely for analysing the barren plateau phenomenon in training quantum neural networks, including identification of cases where they don't occur.
arxiv.org/abs/2102.01828
Van Bettauer retweeted
Mindscape 132 | Michael Levin @drmichaellevin on Growth, Form, Information and the Self. #MindscapePodcast
preposterousuniverse.com/pod…
Van Bettauer retweeted
Incoming ENSO Seminar! @JBruineberg will be presenting on "The World at Our Fingertips: Embodied Cognition and the Attention Crisis" next Thurs, 3rd Dec @ 10.00UTC.
Get off twitter and come and join us! #enaction #embodied #cognition
Details at ensoseminars.com/
Van Bettauer retweeted
I'm so, so happy to share our new paper on consciousness. "Deep neurophenomenology: An active inference account of some features of conscious experience and of their disturbance in major depressive disorder" with @wawiese, Mark Miller, and Karl Friston
philsci-archive.pitt.edu/183… 1/4
Van Bettauer retweeted
Replying to @ThouArtThat
What a brilliant and insightful person, and a profound inspiration to me and many others. We'll miss you, Bill, but we're glad you made it home to the Pleiades.
(Was this his last interview? A powerful retrospective in his life and work:
shows.acast.com/futurefossil…) – at Santa Fe, NM
Van Bettauer retweeted
Want to air your academic grievances with GPT-3? Our call for papers for a special issue in “Artificial Speakers” in Minds and Machines is open till Jan 01 2021 bit.ly/2TstwR6 @RosariaTaddeo
Van Bettauer retweeted
Replying to @jmhuiee
question: how did you determine that it died? If it can be stimulated into activity, is it really dead or just spontaneous behavior circuits have stopped? I don't know this system at all, so maybe it's a silly question but I'm very interested in the actual criteria for death.
Van Bettauer retweeted
How useful are ideas from evolutionary game theory and information theory for explaining the content of biological signals? This is the topic of a new special issue of @BioViewsHPS I have put together with @manol0martinez and @mrcartiga. Here is a THREAD with links. 1/9
Van Bettauer retweeted
Never bothered to realize the idea that biological elements are stratified rather regularly. Here's a first pass at info-visualizing the structure of biological primitives:
Van Bettauer retweeted
Yes the sensation-based thing is the problem. I think putting biosemiotics on a perception-based footing, in the minimal sense meant by eco psych that no more psychologizes perception than semiotics does, allows biosemiotics to solve the problems of meaning it sets out to address – at Berkeley, CA
Van Bettauer retweeted
Meditation: sitting in the waiting room of Emptiness, trying not to read the magazines.
Van Bettauer retweeted
Replying to @rplevy @vanbettauer
That's the entire thesis of biosemiotics. That is, the signs that Pierce proposed for humans are in fact what drives biology.
Van Bettauer retweeted
An Exciting Fun Thing That You Can Do*
(and help me out hugely!)
Take part in my short experiment - just do a bit of typing and write about a happy memory from 2019.
*(exciting ... people so far said they enjoyed it!)
typing-dynamics.ew.r.appspot…
Van Bettauer retweeted
New blog post! "Probabilistic programming with continuations", aka "synthetic measure theory", in which I explain something a bit folkloric in terms of relatively elementary Haskell
julesh.com/2020/08/15/probab…
Van Bettauer retweeted
Absolutely mind-blowing!!
Brilliant talk about how cells assemble together following emergent goals arguably beyond what is dictated by the DNA. Featuring five-leg frogs, brains that melt due to metamorphosis, and inmortal worms
youtu.be/L43-XE1uwWc
Van Bettauer retweeted
A comprehensive collection of #psychedelic #clinicaltrials currently underway. Great resource. HT @psysupnet
psychedelic.support/resource…

























