Viewing profile — pka

> Do you keep trying to whack-a-mole the AI tools for this, or the humans actually making and distributing fake nudes of real people? Both, obviously. For example, you go after dru…

> Arrows are slightly the wrong abstraction because they require an operation arr :: (a -> b) -> (a ~> b)—which requires you to be able to embed Haskell functions in your category,…

Tangential, but to people who find this topic interesting I highly recommend the book What is Intelligence [0] by Blaise Agüera y Arcas that views life through the lens of mutating…

Same!

The topic was immutability, not Clojure? But ok, if mutability is always worse, why not use a pure language then? No more cowardly swap! and transient data structures or sending me…

If there was a language that didn't require pure and impure code to look different but still tracked mutability at the type level like the ST monad (so you can't call an impure fun…

> immutability in Clojure doesn't mean inefficiency. You are still doing a gazillion allocations compared to: for (let i = 0; i But apart from that the mutable code in many cases i…

> Would you say that there was a single consciousness that both bodies shared, but that it suddenly split once the meteorite hit? I agree, this is super weird. In a sense this seem…

> I'm sensing redness here and now, so the sensation of redness exists very clearly tied to a particular point in spacetime. In what sense is the qualia of redness not firmly ancho…

It might be deeper than you think. Qualia exist "outside" spacetime, e.g. redness doesn't have a position in spacetime. If consciousness is purely physical, then how can two identi…

It seems models are pre-planning though: > How does Claude write rhyming poetry? Consider this ditty: > He saw a carrot and had to grab it, > His hunger was like a starving rabbit …

> and are trying to justify it in reverse In split-brain experiments this is exactly how one half of the brain retroactively justifies the action of the other half. Maybe it is the…

Negative comments are so weird, it's like people forgot what GPT 2 was like. I know this isn't completely new, but it's a world simulation inside a goddamn LLM . Not perfect, not c…

I hope you know what you're in for! [0] Good luck and godspeed :D https://faultlore.com/blah/text-hates-you

Glicol seems very cool! Looks a bit like Faust ( https://faust.grame.fr ), an FP sound programming language I came across recently.

I'm still reading it, but something caught my eye: > I interpret there to typically be hand waving on all sides of this issue; people concerned about AI risks from limited models r…

Ah, I understand now. That seems like a good idea indeed, however I'm not sure how it'd look in practice. The transition from input space to state space happens in the event handle…

> why not just explore all paths instead? Author here. The problem is that concur-static generates static JS code that encodes all possible UI state transitions - so if the state s…

> The problem is that being "flatmappable" very strongly implies that it's a container Can't fully agree with that, although I see your point. "Mappable" doesn't imply a container …

Sure! But note I said "initial intuition". return/pure and monad laws can be explained later, once one understands that there's really nothing magical about monads.

If you can implement flat_map [0] for something, it's (probably) a monad. You might as well call monads FlatMappables. That's the simplest, most understandable and most accurate ex…

I agree, but what I meant is that if you're forced to use a language other than Haskell on the backend, than there's no advantage in choosing GHCJS over Purescript in terms of code…