Notices by Wolf480pl (wolf480pl@niu.moe)

@tdemin a bunch of* devs

@tdemin give a bunch fo devs a job without complex problems, and they'll create new ones.

@sir @314
they don't need to know the content of the emails, they kill based on metadata

@sir by the way, have you heard the rumors that ActivityStreams (the underlying data format of ActivityPub) were developed for the purpose of PRISM, to make it easy for NSA to do its data mining? :P

@nihl I don't know what it's like in your country, but in Poland there are some international companies prefer a CV in English, even if you're to work in Poland.

@pea @nik @trwnh
yeah

@pea @nik @trwnh
uh, I don't know what a Free monad is :/

Most of my contact with Haskell was writing an interpreter and a compiler, and I used stacks of monad transformed there heavily, mostly consisting of Reader, Writer and State.

@pea @nik @trwnh

Ok, I looked it up[1] and it looks like there are 2 ways to run ST:

runST - your ST must work for all types of the phantom variable, so as I said before, you can't do anything with the phantom variable

stToIO - you can assume the phantom variable is a RealWorld, and you can interact with it, but this stToIO returns the result wrapped in IO.

[1]: https://hackage.haskell.org/package/base-4.12.0.0/docs/Control-Monad-ST.html

@pea @nik @trwnh
It's a forall hack.

IIRC they say your function must work for all types of phantom variable, so inside you can't possibly know the type of the phantom variable is, so you can't do anything useful with it. And your return type must not depend on the type of the phantom variable, so you can't return it either.

And then IO is more-or-less ST of RealWorld, or something...

@pea @nik @trwnh
yeah, that's why I think it's better to first explain something that can be (and is) cleanly implemented in pure Haskell, like Reader, Writer, and State.

@pea @nik @trwnh
The IO monad is kinda an edge case, let's maybe talk about StateT instead?

@izaya OSM says they're in Australia. The roads look nice, at least as far as I can tell from the map.

@izaya I know, right?
Basically, USA is a 3rd world country, I don't know why anyone would want to live there.

@izaya maybe they have no tōge in US...

@izaya if I was to guess, I'd say highways

@njoseph_1 only high priests can touch it?

@thog and a tiger option

@sir if you think you're getting enough reviews as it is, then I guess it doesn't hurt to try the donation incentive thing.

@sir depends whether you care more about someone reviewing your drafts than people care about getting early access

@clacke @strypey
Yes

See also: Trusting Trust, DRM, Intel SGX, "they can't be sure unless they pwn you".

But this is not what I was missing.