Mastodawn

jnkrtech 4h ago

Verity

8h ago

blog post du jour:

https://blog.veritates.love/functions_as_data.html

Sticking Functions Where They Donʼt Belong!
Extensible Defunctionalization with Typeclasses.
Or, Functions in Pure Data in Haskell.

you can sneak functions into NFData by using typeclass dictionaries, if you commit to some form of data to serve as its closure

great for hooking into a compiler :) and i'm sure lots of other applications

class Existentiable sem => Semantics sem where
  ... sem -> [some data] ...

type Existentiable hidden = (Typeable hidden, NFData hidden, Ord hidden, Show hidden)

data ForeignSemantics = forall sem. Semantics sem => ForeignSemantics sem

Sticking Functions Where They Donʼt Belong

jnkrtech 12h ago

VM (Vicky) Brasseur 17h ago

"I am pleased to announce that Dark Horse Comics is willing to voluntarily recognize Dark Horse Workers United as a recognized collective bargaining representative under standards established by the National Labor Relations Board (NLRB). Our representatives have reached out to the union’s attorney to initiate the appropriate next steps in this process."

https://www.darkhorse.com/newsfeed/statement-regarding-dark-horse-workers-united/

Statement Regarding Dark Horse Workers United :: Dark Horse Comics

To the members of Dark Horse Workers United and everyone at Dark Horse: I am pleased to announce that Dark Horse Comics is willing to voluntarily recognize Dark Horse Workers United as a recognize...

Dark Horse Comics

jnkrtech 12h ago

Dwarf Fortress Bugs 17h ago

0011472: Dwarf gains no good thoughts from attending meeting, constantly tries to attend meeting.

jnkrtech 12h ago

There is so much I want to do but goddamn I am just so worn out. I can barely do the minimum plus the ever-accumulating new pile of stuff, and I have no idea when I’ll ever get to do all the cool bits.

jnkrtech 12h ago

þēodrīċ, norþes ecghlāford 1d ago

Remember to get super angry today about things that you can't affect and wouldn't know about without a global network of organisations whose sole purpose is to find and promote the most enraging happenings of the previous day curated from the total output of eight billion people.

Cicadas scream because they know

jnkrtech 12h ago

gavi 1d ago

jnkrtech 12h ago

The Audacity of Nope 1d ago

wow from up on this golden calf you can see so many other golden calves

jnkrtech 15h ago

Ariadne Conill 🐰

1d ago

this LLM issue is so exhausting and depressing

on one side, i feel like a cog in a machine, which is just doing fantastic things for my mental health

on the other side, it is the most binary issue i have seen in a long time, i have long-time friends mutually "fuck off and die"-ing at each other, which is also just doing fantastic things for my mental health

jnkrtech 15h ago

disregard Joe Groff 1d ago

let him in