Made the absolute most of our short #Philadelphia stint. Had a bunch of rad beers (#SecondDistrict, #Cartesian, #HumanRobot, #SourceUrbanBrewery, & #EvilGenius!), an excellent meal at #MiddleChildClubhouse, and pit stopped at old favorite dives during an epic 7-mile wander-walk around Center City and Passyunk. Wicked fun, let's do it again!
@maonu From the abstract. "The new approach encompasses the old one, typically if “I” win, “the world” loses, i.e., wins “NOT”. When logical artifacts are identified with their own rules of production, LOCATIVE phenomenons arise. In particular, one realises that usual logic (including linear logic) is SPIRITUAL, i.e., up to isomorphism. But there is a deeper locative level, with indeed a more regular structure. Typically the usual (additive) conjunction has the value of categorical product in usual logic, and enjoys commutativity, associativity, etc. up to isomorphism."
First, the "linear" in linear logic refers to causality. Not ax+b.
"Spiritual up to isomorphism" is a very winter solstice sort of thing to say. Happy holidays! And don't worry, the days will start getting longer soon, here in the north.
The rest of what he says is the distinction between a #cartesian and a #monoidal product. The latter lacks projections.
Cartesian products represent things you can take apart and put back together. Monoidal products (despite that "disassembly is sometimes the best" -- The Expanse) usually can't be put back together.
1/2
This modern reinterpretation is less a coherent philosophy & more of a patchwork of #epicureanism, #Cartesian dualism, elements of the new age-y "law of attraction," undercurrents of toxic masculinity, as well as atomized individualism. I will show why neo-stoicism, or contemporary stoicism has betrayed its philosophical origins.
I don't know, but currently, my #CR6SE is my daily driver, and it is working for me.
My only complaint is that the force sensor is sometimes just too weird to work with and sensitive to stupid external factors.
However, the auto-bed-leveling is so convenient, and I haven't had any of the manual-bed-leveling struggles that many beginners have with the #ender series.
The force sensor also makes it more difficult to mod the printer. Not allowing me to #3dprint most #opensource mods, because they are made for the #bltouch and #crtouch.
Finally, the speed is getting to me, and I would love to get a faster printer. But the price of a #voron is a bit too high and I don't have the time for it.
I really wish both #creality and #prusa brought out their own #corexy printers, rather than continuing down this path of #bedslingers and #cartesian printers.
Opinions? Would you get a non core xy today?
lisabattiston
lisabattiston
M Sanders
CubeRootOfTrue
🇪🇷Götterdämmerung
Pourquoi poulpe.
GeekProjects News
[·ʏᴏᴜᴛᴏᴘᴏꜱ·]
bs2
Stark