Van Bettauer

Precarious sense-maker.

[Van Bettauer @vanbettauer]

@mjdramstead @noumenal_labs Trail blazing as always!

[Pierre-Yves Oudeyer @pyoudeyer]

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 [...]"

https://t.co/eoVE6fSjsz

[julesh @_julesh_]

Abstract for an upcoming paper, to be released on the arXiv next week: Reinforcement Learning in Categorical Cybernetics

[Van Bettauer @vanbettauer]

This has been a pleasure to build thus far! Lots more to do. Shout out to @andrewwhite01 for his excellent PaperQA project as inspiration.

[Michael Garfield 🔮 @michaelgarfield]

My dreams came true last week when I found out about a rad new web page designed by #FutureFossils Podcast listener @vanbettauer that allows you to ask MY ENTIRE PODCAST a question and get a cogent, legible short answer synthesized from over 200 episodes! Each response at https://t.co/aDwsSKQgTc includes numerous citations and embedded streaming clips from the most relevant moments of the show:

[Van Bettauer @vanbettauer]

@michaelgarfield It's fun to play around with. I appreciate how simple it is. I want to redo the experiments they do in the paper with each LLM agent grounded in a particular podcast corpus.

[Van Bettauer @vanbettauer]

@christinasatory @michaelgarfield email at [email protected] or DM on here works!

[Van Bettauer @vanbettauer]

@michaelgarfield @erik_davis @kenadams_io This approach definitely works for Expanding Mind!

Things get weird fast when you simulate two chat bots prompted to only respond with clips from a podcast

[Van Bettauer @vanbettauer]

@DrTomFroese Feels like this gets close to some of the work of Kauffman and Varela back in the 80s https://t.co/Fo09GBlT8G. Kauffman also has a more recent talk on non-duality that uses imaginary numbers as an example https://t.co/S2pBH6UUOn, although a bit different from your approach!

[Van Bettauer @vanbettauer]

@michael_nielsen Given his latest article https://t.co/S3IXKnfQaQ this is looking increasingly like a fake.

[Van Bettauer @vanbettauer]

@DavidCorfield8 @bgavran3 I've been wondering the same.

[Van Bettauer @vanbettauer]

@markov_particle It’s very fun to play around with!

[Van Bettauer @vanbettauer]

@prathyvsh @comandingo @diagramaniac @miketranchina Amazing!

[Van Bettauer @vanbettauer]

@mertozdal6 @evantthompson @pelindilaraclk I think this is a good place to start. Slowly build up a network of decentralized contemplative science, and expand into physical spaces as the funding comes in.

[Van Bettauer @vanbettauer]

@NeuroYogacara Robert Rosen 👀👀👀

[Van Bettauer @vanbettauer]

Pretty much the same four books for me! I took a course with @evantthompson at UBC and down the rabbit hole I went...

[Ryutaro Uchiyama @RyutaroUchiyama]

Which books have had a foundational influence on your thinking? 4 for me are:

• F Varela, @evantthompson, E Rosch, The embodied mind
• Gregory Bateson, Steps to an ecology of mind
• Lev Vygotsky, Mind in society
• Hideo Kawamoto, Autopoiesis 2001 (in Japanese)

[Van Bettauer @vanbettauer]

@DougBierend Starlogs?

[Van Bettauer @vanbettauer]

@NoahGuzman14 Enjoy your journey down the rabbit hole...

[Van Bettauer @vanbettauer]

@EcsuOist Excellent stack as always!

[Van Bettauer @vanbettauer]

@IntuitMachine @santoroAI @DeepMind @AndrewLampinen @dnraposo Oh no!

[bOb cOeCke @coecke]

(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.

https://t.co/RnMSvxrzOy