pka

6 ms·

1.
by pka 8mo ago
> 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 drug distributors and drug producers. Both approaches are
2.
by pka 8mo ago
> 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, something which is almost never possible. Yeah,
3.
by pka 10mo ago
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 self replicating Turing machines. In the book he also tal
4.
by pka 10mo ago
Same!
5.
by pka 10mo ago
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 messages back and forth like in Erlang. But then you get to mo
6.
by pka 10mo ago
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 function from a pure one) - so not Clojure - then tha
7.
by pka 10mo ago
> immutability in Clojure doesn't mean inefficiency. You are still doing a gazillion allocations compared to: for (let i = 0; i < data.length; i++) { hist[data[i]]++; } But apart from that the mutable code in many cases is
8.
by pka 11mo ago
> 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 seems to be the difference between viewing consciousness from
9.
by pka 11mo ago
> 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 anchored in spacetime? Of course, you could talk about th
10.
by pka 11mo ago
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 identical systems (identical brains with identical
11.
by pka 11mo ago
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 > To write the second line, the model had to sat
12.
by pka 11mo ago
> 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 case in LLMs that an overpowered latent feature sets the
13.
by pka 2y ago
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 coherent over longer time periods, but still
14.
by pka 2y ago
I hope you know what you're in for! [0] Good luck and godspeed :D https://faultlore.com/blah/text-hates-you
15.
by pka 3y ago
Glicol seems very cool! Looks a bit like Faust ( https://faust.grame.fr ), an FP sound programming language I came across recently.
16.
by pka 3y ago
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 rarely give specific failure cases, and people saying
17.
by pka 6y ago
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 handlers, which currently look like this: onClick
18.
by pka 6y ago
> 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 space is big or infinite, so will be the resulting generat
19.
Generate semi-dynamic UIs with Haskell(github.com)
70 points by pka 6y ago|13 comments
20.
by pka 7y ago
> 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 more than Functor&#x27
21.
by pka 7y ago
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.
22.
by pka 7y ago
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 explanation for an initial intuition I've come
23.
by pka 7y ago
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 sharing.
24.
by pka 7y ago
I think Bower was just a "good enough" solution when Purescript was initially implemented. Afaik, people are moving away from it in favor of spago [0] or psc-package [1]. JS' semantics are pretty much opaque when staying in P
25.
by pka 7y ago
Tangential, but some very cool things are happening in Purescript-land, especially when it comes to row types or UI research: * https://github.com/natefaubion/purescript-variant (open variant types) * https:/&#x2
26.
by pka 7y ago
And yet, you are waving off potential answers because you are convinced there are none. I agree with you, the cited papers probably don't solve the hard problem of consciousness but to assume that qualia is just intrinsically unexplain
27.
by pka 7y ago
For completeness' sake, Haskell has had this for over a decade :) A SO thread that gives a nice overview [0], the paper [1], the library [2]. Here's how a parallel fib looks like: fib :: Int -> Int fib n | n <= 1
28.
Replica – a replicated virtual DOM running on the server(github.com)
2 points by pka 7y ago|0 comments
29.
by pka 8y ago
The things you listed may form a monad, but your list/iterator transformation doesn't use monadic composition. > list.select { |x| x.foo > 10 }.map { |x| x.bar } Where's `bind` or `join` in that example?
30.
A Critique of Impure Reason (2009)(blog.higher-order.com)
1 points by pka 8y ago|0 comments

More ›