Login

Recent searches

No recent searches

Search options

Only available when logged in.
fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

9.8K
active users

fosstodon.org: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#symmetric

1 post1 participant0 posts today
Public
Rommudoh

After failing to create a #symmetric #powersupply using an OpAmp and BJTs to split 24V by forming a virtual ground, I went the easy route. Two #BoostConverter set to 12V each are connected in series with the center being ground. This way I get symmetric +/-12V. Of course I don't rely on the #battery protection, but rather use a 900mA #PPTC #fuse per rail. Also a switch and some LEDs as indicator. Enough #JST sockets for my upcoming #synth projects.
#perfboard #diy #perfboard #KiCad

Schematics of my symmetric power supply. it's just a switch, fuses, and LEDs and two boost converters, done in KiCad
planned perfboard layout using KiCad PCB editor
backside of the finished perfboard. the soldering can be seen. I'm satisfied by how clean it looks.
front of the finished perfboard with batteries and boost converters plugged in. the LEDs are lighting, indicating that the switch is turned on
Public
Niles Johnson

New paper 🎉🎉
About coherence 🥱💤⁉️

joint work with Nick Gurski
arxiv.org/abs/2312.11261

The title is:
Universal pseudomorphisms, [*deep breath*]
with applications to diagrammatic coherence for braided and symmetric monoidal functors 🙃😸

I've always thought coherence theorems sound boring, but actually they're good! In this paper we take a problem that is hard (coherence for structured functors), do a *bunch* of really abstract stuff (2-monad theory), and come out with a solution that makes your life* significantly better.

[*Here, "your life" means the part of your life you spend checking diagrams of braided monoidal functors. Or, more generally, pseudomorphisms for algebras over a 2-monad.]

Almost 1/5 of this paper is dedicated to real, genuine examples, and that's what I want to focus on below. I'll say just a bit about the more abstract machinery on which the examples are based. If you've been following along, this is the culmination of my series "weird facts about monoidal functors and coherence" [1,2,3,4].

[1] mathstodon.xyz/@nilesjohnson/1
[2] mathstodon.xyz/@nilesjohnson/1
[3] mathstodon.xyz/@nilesjohnson/1
[4] mathstodon.xyz/@nilesjohnson/1

#CategoryTheory #MonoidalFunctor #Coherence #Braided #Symmetric #PseudomorphismClassifier

(1/14)

A painting of a black cat face, long-haired and scruffy, floating in the center of an abstract burst of colors. The cat is earnest and kind, and the streaming colors are waving with irregular variation. Our neighbor painted this for us when our cat died a couple of years ago, and it captures his temperament so well I almost can't bear it. He's a great companion for this little thread though.
ExploreLive feeds
About