@platypus I'm imaging a proto-Steve Ballmer shouting "OPERA-TION, OPERA-TION, OPERA-TION"
@ehashman Step 1: Go back to Berlin.
@ehashman Dolores has something that resembles burritos.
@conatus Also suitable for making "Space Lasagna" according to a family recipe from Mars' Mariner Valley.
Live Coding tonight in Rotterdam! https://worm.org/production/algo-rhythms-05/
Haskell documentation or Markov chain?
ComonadApply implements laws that are directly analogous to the laws for monads and perhaps can be made clearer by viewing them as laws stating that Cokleisli composition must be associative. Mathematically, it is a strong lax symmetric semi-monoidal comonad on the category Hask of Haskell types. That it to say that w is a strong lax symmetric semi-monoidal functor on Hask, where both extract and duplicate are symmetric monoidal natural transformations.
@chrysn That was a helpful guide when I was getting started, although one of my goals is to retain interoperability with Ikea's zigbee gateway and software. My modified firmware is able to adjust the PWM curves while still appearing like a normal device. The end goal is to have the logic in MicroPython, rather than patched binaries.
@marble Ikea is using the Silicon Labs EFR32 "Gecko" board in their Tradfri devices. It's an ARM Cortex M4 core with a Zigbee/BLE/etc 2.4 GHz radio and a PCB antenna.
Falsehoods airline booking systems believe about names, example #7391: https://travel.stackexchange.com/questions/149323/my-name-causes-an-issue-with-any-booking-names-end-with-mr-and-mrs
@welshpixie after filing the PCB notches these two pieces fit together, although that's far too much effort for the entire dodecahedron. Next version will solder together instead.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!