ux266478

9 ms·

151.
by ux266478 3mo ago
> one can be convicted of CSAM-related crimes related to paintings/drawings/created_art of fictional people. This isn't necessarily the case in the US, though I believe only for drawings. AI-generated CSAM probably wouldn&
152.
by ux266478 3mo ago
> I doubt that any of the current American AI corporations get regular dossiers of desirable responses to sensitive political topics from Washington and implement them. That's completely true. What happens is that you get hit with a
153.
by ux266478 3mo ago
I don't know. At the point in which you have to reinforce visual context with animations, I feel like you've already failed at the part of UX that actually matters. Like there's already been a cascade of structural failure, a
154.
by ux266478 3mo ago
LispWorks - https://www.lispworks.com/
155.
by ux266478 3mo ago
Lisp really needs extensive structural editing tools IMO, and you really have to change how you think about reading source text and that can take longer than you might think. The best Lisp experience by far and away is LispWorks. That being
156.
by ux266478 3mo ago
For the same reason mathematicians who aren't computer scientists or logicians are attracted to proof assistants implementing ZFC object languages while ignoring the stuff underneath (type theory, systems theory, etc.)
157.
by ux266478 3mo ago
What? The context of the conversation was about piracy which is a distinct legal fiction, it's inherently grounded in the law's opinion, so yes necessarily the law cannot be wrong in this context, that's incoherent. An idiosy
158.
by ux266478 3mo ago
Unfortunately, that kind of hyper-atomism isn't really an effective argument if you don't already agree with the premise being presented. To make matters worse, the law is a collection of postulates. It can give itself the predete
159.
by ux266478 3mo ago
I think you're running into difficulty because you're conflating 'sorting' with what we would call a total or linear ordering. Partial orders are non-linear, and allow you to form posets, which are isomorphic with DAGs.
160.
by ux266478 3mo ago
That's a mischaracterization. Latent space is simply a (multidimensionally) sorted collection, it's only a piece of the pie. A massive amount of structure is held in the unembedding layer. Generative AI models are a very specific
161.
by ux266478 3mo ago
Haskell is actually really good for that. Hasktorch[1] is high quality, batteries included, and leverages Haskell's GADTs for some cute stuff like gradual tensor shape checking. There's also just a grain to Haskell that feels real
162.
by ux266478 3mo ago
Definitely, but they represent the opposite problem. The thing about the LASD and LAPD is that they are... extrajudicial. It's not "They catch a gang member and do nothing", but rather "They arrest a gang member with no
163.
by ux266478 3mo ago
> The reason people can make a lot of money building houses is that it’s really hard and requires a lot of specialized and localized knowledge to figure it out. That's true if we're talking residential structures using load bea
164.
by ux266478 3mo ago
No, I didn't mean to imply otherwise. I'm contextualizing for why that framing of the book is eyebrow raising.
165.
by ux266478 3mo ago
Taken as an intentional insult though, it could be very historically literate. The south of Canaan seems to have peaked in prestige in the Neolithic and early bronze age. Afterwards, other than a handful of Canaanite sentinel cities, it was
166.
by ux266478 3mo ago
The inflection of the copula "can be" is exactly the problem, as is the 'anything computable'. There's a reason Isabelle is used as a proof assistant, and Prolog isn't. The former guarantees sound, mathematical
167.
by ux266478 3mo ago
> where an abundance of complicated mathematical formulae are necessary I think what you mean to say is, a lot of linear algebra is involved. So multi-dimensional structures like matrices and vectors are expected to have linear arithmeti
168.
by ux266478 3mo ago
Generally speaking, the pain of handling hot patching depends highly on the structure of your codebase and the reason for hot patching to begin with. For a structure-of-arrays architecture, or for fixing logic errors at run-time, it's
169.
by ux266478 3mo ago
In an awkward, error-prone, non-mathematically rigorous and easily subverted manner. That whole "make invalid states unrepresentable" thing relies upon the fact the semantic structures you're doing it with can't be shado
170.
by ux266478 3mo ago
> Can sliding windows be properly insulated? Yes. Beyond that, if they didn't work they wouldn't be used. Continental climates get much colder than pretty much anywhere in Europe, outside of a select few areas. > In general
171.
by ux266478 3mo ago
It's coming from all over. It always has. It was understandably never so visible for people who don't hang out in casual international spaces, but it's not new and it's not owned by anyone. The reason it's so compel
172.
by ux266478 3mo ago
> is just a stupid republican talking point > As everything that comes out of republicans It's an old bit of banter that the world over has thrown at certain European countries (including other European countries). Giving America
173.
by ux266478 3mo ago
It's more than just a grammar. But specifically on that note, I'm assuming you know a POSIX Shell language. Spend some time with Forth and ask yourself if these are experientially the same thing. Equifinality is extremely misleadi
174.
by ux266478 3mo ago
Wow, three pieces of software I don't use for other reasons, just gained a new reason to evangelize against them!
175.
by ux266478 3mo ago
> Same deal with games, there's more experimentation and interesting concepts in gaming than ever before, but not from the AAA studios. I just wanted to add on to this, I wouldn't really classify modern games as "lower qua
176.
by ux266478 3mo ago
LLMs might be the least interesting of the statistical models for creative purposes, they're kind of nasty to work with. Creating low rank adaptations is slow and expensive because the models are so fat, and meddling with the inference
177.
by ux266478 3mo ago
> But ask it anything and it returns the most probable continuation — the center of mass of everything already written. Trained on the past, it answers in the past tense of thought. Not what is true. What is typical. The problem is that
178.
by ux266478 4mo ago
> from my limited POV, the LLMs (specifically) and art models are just regurgitating stolen concepts Formally speaking, it's not the case, though this is commonly misunderstood. Statistical models are definitionally ampliative, othe
179.
by ux266478 4mo ago
> Is it humane to leave a patient to die in an ambulance when a single-payer nationalized healthcare system is over capacity? I think painting the inhumanity of that as a consequence of the structure of the healthcare system is disengenu
180.
by ux266478 4mo ago
I think it's more nuanced than that. There surely are plenty of cases where that is the case, but it's also a natural effect of hyperfinancialization, which many really do believe to be a "net positive" for the stability

More ›