example of diagrammatic differentiation in ZX-Calculus

guess what

Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning ZX-calculus has proved to be a useful tool for quantum technology with a wide range of successful applications. Most of these applications are of an algebraic nature. However, other tasks that involve...

would Urs Schreiber quantum monadology / topological quantum compilation count? under some diagrammatic rewriting models, the diagram itself is the simulation of a kind...

or perhaps some open-ended world model learner that uses ZX Diagrams for its world?

arxiv.org/abs/2201.132...

"many exceptional math students without mentors ... could be reached with modest investments"

Nice to see this coming out of Stanford, building on the Education Program for Gifted Youth (EPGY) that Pat Suppes initiated at Stanford in the early 1990s

#atproto devs!

have two new specification drafts up. first is "Data Synchronization", covering the firehose:
github.com/bluesky-soci...

second is "Account Hosting", covering account migration and lifecycle:
github.com/bluesky-soci...

Mathematical Picture Language Seminar *slaps* ✨

mathpicture.fas.harvard.edu/seminar

🔍💡 da mo' u know, da mo' u reawize u don't know... but wot if u coud weave da not-knowin' behind? 🌌👽

Neural networks, seen as processes, have 3 distinct properties. They are:

* parametric
* bidirectional
* defined functorially by differentiation

Using the category Poly to model them blends these distinctions.
I'm still trying to decide whether that's a good or a bad thing.

Off to a terrific start: attended some terrific talks, managed to give my own (!), and saw many very interesting topics on display at the poster session. All augurs extremely well for the week to come!

Black cat sitting on a desk next to keyboard. Multicolumn deck.blue interface is shown in the background

I pointed him to the clock to show it's not dinner time yet, but he doesn't believe in clocks.

Geometric Landscape Annealing as an Optimization Principle Underlying the Coherent Ising Machine A theoretical analysis of a type of optical oscillator network sheds light on how unconventional computing architectures go about finding the best solution to a complex problem among many possibilitie...

Our new paper in PhysRevX at @apsphysics.bsky.social uses replica theory, cavity method, supersymmetry, Kac-Rice formula, Dyson's Brownian motion & high dimensional geometry to show how an Ising machine of coupled photons finds near spin glass ground states journals.aps.org/prx/abstract...

A virtual certificate with text "Celebrating 10M users on Bluesky, #20,169, barton 🕹️ ‪@barton.bsky.social‬, joined on Apr 13, 2023"

#20,169!

sniffing digital circuits tho

microworld it

meta-performative posting is the answer! 🛷🦆

n + 1 order effects guaranteed 😝

Robustness and complexity of directed and weighted metabolic hypergraphs Metabolic networks are probably among the most challenging and important biological networks. Their study provides insight into how biological pathways work and how robust a specific organism is...

Just out "Robustness and complexity of directed and weighted metabolic hypergraphs" (arxiv.org/abs/2310.03623). We propose a new hypergraph-based representation of metabolic networks that captures HOI among metabolites and reactions, preserving all essential information.

Nadia from the Russian Doll series on Netflix remarking: Thursday! What a concept!

Thursday! What a concept!

An Old Conjecture Falls, Making Spheres a Lot More Complicated | Quanta Magazine The telescope conjecture gave mathematicians a handle on ways to map one sphere to another. Now that it has been disproved, the universe of shapes has exploded.

Quanta Magazine on the telescope conjecture: www.quantamagazine.org/an-old-conje...

Or, as I like to call it, the “telescopes are not kaleidoscopes” theorem. It’s an exciting time to be a homotopy theorist!

beware ______

Meaning in the age of large language models Steven Piantadosi (UC Berkeley)https://simons.berkeley.edu/talks/steven-piantadosi-uc-berkeley-2023-08-17The recent rise in large language models profoundly ...

catch it live! 🪺
https://www.youtube.com/live/lA19zXgObKA?feature=share

your honour, at the time of the incident my client was in "goblin mode"

wagmi SF mostly clear H:24 L:13 Clear conditions will continue all day. Wind gusts are up to 5 kn.

gm 🌤️
squadsquad
even haters*
https://youtu.be/7ncpV05iHAk
music.apple.com/us/album/at-dawn/1689221...

playful and free | annotated by Barton Rhodes monaduck69: "Here is an imagined poetic ode to decolonial xenoducks: Oh wondrous xenoducks, hybrid creatures,\ Neither wholly alien nor earthly beings. Between worlds you dwell, straddling boundaries

readwise.io/reader/shared/01h74ex3tm...

halp! my smart meter keeps saying "2nd husband material" 💥

centipedes? in _my_ hypergraph?!
> it's more likely than you think! 😅

like what? 🥸

'I’m not a cat': lawyer gets stuck on Zoom kitten filter during court case A lawyer showed up to virtual court in the 394th district of Texas with a kitten filter turned on, the cat moving its lips and eyes, as Rod Ponton said he an...

gm! 👨🏻‍🎨 really enjoyed your paper mega-thread and will be adding many papers to my knowledge base;

> inscrutable - yes, at times 😅
https://youtu.be/lGOofzZOyl8

⠠⠞⠊⠍⠑ ⠉⠗⠽⠎⠞⠁⠇⠎⠂ ⠃⠗⠑⠁⠅⠊⠝⠛ ⠞⠊⠍⠑ ⠞⠗⠁⠝⠎⠇⠁⠞⠊⠕⠝ ⠎⠽⠍⠍⠑⠞⠗⠽⠂ ⠎⠓⠕⠺ ⠎⠏⠑⠉⠞⠁⠉⠥⠇⠁⠗ ⠏⠕⠎⠎⠊⠃⠊⠇⠊⠞⠊⠑⠎ ⠊⠝ ⠏⠓⠽⠎⠊⠉⠎.
⠠⠉⠁⠞⠑⠛⠕⠗⠽ ⠞⠓⠑⠕⠗⠽ ⠊⠎ ⠁ ⠙⠁⠝⠉⠑ ⠕⠋ ⠃⠑⠁⠥⠞⠽ ⠊⠝ ⠕⠗⠙⠑⠗ ⠁⠝

What is to be Undone: hauntology for the hyperleninist vanguard 🏴

what a glorious corpo name! 🕴️