naomi (forgetful functor)

25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths |

[naomi (forgetful functor) @fixedpointfae]

ok i finally got around to making a mastodon acct:

https://t.co/H5xEH9plXD

i'm also at https://t.co/mdNaxVVvyV

[naomi (forgetful functor) @fixedpointfae]

please fucking vote

[naomi (forgetful functor) @fixedpointfae]

just played the TF2 update, i'm really vibin w/ the new tinker and tailor classes

[naomi (forgetful functor) @fixedpointfae]

can't believe netflix straightwashed a relationship as iconic as wang miao x luo ji

[naomi (forgetful functor) @fixedpointfae]

@pixeltroid1 @zipplet yes? wouldn't you be pissed if you paid $$$ for a game and it crashed b/c your controller disconnected

[naomi (forgetful functor) @fixedpointfae]

you don't even need a cardboard tube in the middle. just use a corn cob

[naomi (forgetful functor) @fixedpointfae]

why can't i buy a perforated roll of tortillas like with paper towels. just tear one off whenever i need a corn-based flatbread

[naomi (forgetful functor) @fixedpointfae]

dune 2

[naomi (forgetful functor) @fixedpointfae]

@TechnoEmpress thonkpad

[naomi (forgetful functor) @fixedpointfae]

@swampygremlin thats my purse idk u

[naomi (forgetful functor) @fixedpointfae]

@_Akanoa_ specifically, monads like `StateT` or `ReaderT` that wrap functions are annoying to express in rust

it's easier to write a single macro that unfolds everything into simple let-bindings and ? checks

[naomi (forgetful functor) @fixedpointfae]

"b-but haskell makes you a better programmer!"

me, with my haskell-poisoned brain:

[naomi (forgetful functor) @fixedpointfae]

@_Akanoa_ ah I didn't use any crates for these macros, although it's defs inspired. mdo is just a tt muncher that rewrites line by line

[naomi (forgetful functor) @fixedpointfae]

and yes,

`lvalue <- rvalue`

is parsed as "lvalue less_than neg rvalue"

[naomi (forgetful functor) @fixedpointfae]

@emrcodes I unironically used to use UW ttyp0, monaspace xenon is a super comfy serif font

[naomi (forgetful functor) @fixedpointfae]

@emrcodes my love, my passion, my light, monaspace xenon

[naomi (forgetful functor) @fixedpointfae]

@_Akanoa_ using the implicit ? checks in the expanded macro

nom's parsers are defined as functions (I) -> Result<(I, O), E>, and any function with that shape implements Parser too

[naomi (forgetful functor) @fixedpointfae]

nom is pretty convenient if you instead view all parser functions as StateT (&[u8]) (ExceptT e IO)

[naomi (forgetful functor) @fixedpointfae]

should rubiks cubes arrive in the box presolved

[naomi (forgetful functor) @fixedpointfae]

thanks to a bug in really bad chess (android), i am now the top player in the world

the game froze in the middle of a daily puzzle, and now every ranked game starts off at the same place

it feels like groundhog day

[naomi (forgetful functor) @fixedpointfae]

signs you're in a controlling relationship:

- your errors are magnified and thrown back in your face
- any feedback seems to be negative
- you met your partner on the bus
- you keep finding ladder diagrams around the bedroom
- your partner is a Siemens S7-1200 PLC