ajkjk

19 ms·

211.
by ajkjk 7mo ago
It's nice to see someone put this all into words. I've felt the same thing for years but never quite figured out how to articulate it.
212.
by ajkjk 7mo ago
of course they were
213.
by ajkjk 7mo ago
at a practical level that word hasn't meant "one in ten" for like, decades. probably just need to get used to it.
214.
by ajkjk 7mo ago
not really "just as" at all if you think about it, though.
215.
by ajkjk 7mo ago
what a shame
216.
by ajkjk 7mo ago
It was pretty obvious to me, but the train of thought was something like this: * this is a good attempt at a work of art, but written in a generic style that detracts from it * nobody making genuinely good attempts at art like this would al
217.
by ajkjk 7mo ago
yeah i agree. the crux of it is no corporations / no ads / no astroturfing.
218.
by ajkjk 7mo ago
it's bad for the person , obviously. The point of society-wide policies is not to maximize economic efficiency; they're supposed to making society a good place to live. Of course if you only look at them under an economic lens th
219.
by ajkjk 8mo ago
strong agree, I feel like it poisons the fabric of society somehow when everything you interact with is fake or even just has a good chance of being fake, regardless of the also-shitty fact that it is also often trying to influence you.
220.
by ajkjk 8mo ago
I guess my stance (which is not very well-developed or anything) is that you try to learn to live with the gaps: define everything in terms of only what you can measure and it no longer matters whether a number is rational or irrational, or
221.
by ajkjk 8mo ago
That's absurd. First because nobody uses the word 'sociopath' to mean 'mentally ill', they are using it as a moral judgment / to describe a type of amoral person. Second because the reason one negatively charac
222.
by ajkjk 8mo ago
any particular reference to what you're thinking of? I am aware of some writings on finitist or constructivist mathematics but they have not quite seemed to get at what I want (in particular doing away with explicit infinities does not
223.
by ajkjk 8mo ago
I think it's just a perspective shift. The main idea is that you can't ever measure a real number, only an approximation to one, so if two values differ by less than the resolution of your measurement they are effectively the same
224.
by ajkjk 8mo ago
It is not.
225.
by ajkjk 8mo ago
the dot/cross product are the same operation but expanded into coordinates. Maybe the quaternion (/geometric algebra) version is more compact but it's not like it's a different set of computations. Whereas their removal
226.
by ajkjk 8mo ago
personal theory: I think there's going to turn out to be a parallel development of math that is basically strictly finitist and never contends with the concept of an infinite set, much less the axiom of choice or any of its ilk. Which
227.
by ajkjk 8mo ago
It's a category that makes sense to people and communicates something clearly..?
228.
by ajkjk 8mo ago
Hard war over easy peace, then? It's more like, good things happen to be harder while bad things are more often easy. So being able and eager to do hard things lets you actually choose (and then hopefully you choose the good stuff).
229.
by ajkjk 8mo ago
What's the ableist angle here..?
230.
by ajkjk 8mo ago
sigh, *life of me
231.
by ajkjk 8mo ago
Alternate theory... a few months into the LLMism phenomenon, people are starting to copy the LLM writing style without realizing it :(
232.
by ajkjk 8mo ago
https://math.ucr.edu/home/baez/crackpot.html for the curious (on that version it's item 25 though :o )
233.
by ajkjk 8mo ago
yeah but all of the infinite programs are valid if they satisfy the spec (well, within reason). That's kinda the point. Implementation details like how the code is structured or what language it's in are swept under the rug, akin
234.
by ajkjk 8mo ago
well you have to expand your definition of "compile" a bit. There is clearly a similarity, whether or not you want to call it the same word. Maybe it needs a neologism akin to 'transpiled'. other than that you seem to be
235.
by ajkjk 8mo ago
true, but that just means that's the problem to solve. probably the ideal architecture isn't possible right now. But I sorta imagine that you could later on take the full transcript of that conversation and expect any LLM to imple
236.
by ajkjk 8mo ago
I've had the same thought, maybe more grandiosely. The idea is that LLM prompts are code -- after all they are text that gets 'compiled' (by the LLM) into a lower-level language (the actual code). The compile process is mor
237.
by ajkjk 8mo ago
a "scam"? really? I don't think there's one person who used flash and felt scammed somehow.
238.
by ajkjk 8mo ago
not the person you're replying to but that's the first feature I disable on any new computer
239.
by ajkjk 8mo ago
I think this is the best interpretation. It is not different than writing $r+I$ for a coset.
240.
by ajkjk 8mo ago
a lot of times the thing I'm searching for is something I kinda know and just want to see verified, or which, as soon as I see it, I'll know if it's right or not. So... some good?

More ›