SonOfLilit

5 ms·

1.
by SonOfLilit 2mo ago
Huh? The wiktionary link I included links to (Failspy's message in) this 2024 discussion about how and when and why it was coined (by failspy): https://huggingface.co/posts/mlabonne/866788930457283#67196f... ,
2.
by SonOfLilit 2mo ago
Is there any evidence that would change your mind? The wiki "ablation" article you yourself linked dedicates a section to explain "abliteration". Googling abliteration arxiv yields at least one page of papers that ment
3.
by SonOfLilit 2mo ago
I wnt and read your other comments. Except for the initial comment, they were aggressive and sometimes disrespectful claims that "the word is spelled ablation, here are some papers that use it" in response to people saying "y
4.
by SonOfLilit 2mo ago
https://github.com/NousResearch/llm-abliteration
5.
by SonOfLilit 2mo ago
I understand basic multivariate calculus (almost every STEM degree teaches it, and I paid attention), which is enough to understand the problem if not every detail about the solution, so I can partially follow what Fable is doing and guess
6.
by SonOfLilit 2mo ago
The counterexample in the news cycle today helps better understand how the math works. I can't think of one that doesn't.
7.
Show HN: How to Get a Fable CoT for the Jacobian Conjecture Refutation
7 points by SonOfLilit 2mo ago|2 comments
8.
by SonOfLilit 2mo ago
I think many long-haul truckers work in pairs for this reason?
9.
by SonOfLilit 2mo ago
By the CoT content, this is a screenshot of someone giving Fable the result and asking if it's true, not the CoT of discovery. e.g. "maybe the user's example is DESIGNED to be "correct in the stated facts" &c&qu
10.
by SonOfLilit 2mo ago
Yes. You could say this is the sound of silence.
11.
by SonOfLilit 2mo ago
Apparently "onomatope" is a much less popular name for the same thing (e.g. Wikipedia uses my version). I mean that the "remove a word" 'symbol' is a 'word' that represents the verb he was trying to i
12.
by SonOfLilit 2mo ago
It's an onomatopoeia
13.
by SonOfLilit 2mo ago
But to be fair, ZK proofs have strong "Cryptography 2: the Dark Tower" (2cryp2graphy?) vibes. The amount and level of power use of cryptography primitives and their minutiae is insane. A cryptographic algorithm can usually be desc
14.
by SonOfLilit 2mo ago
I didn't dive into the technical details of how pairing works, and in fact leared everything I know about it from TFA, which went into quite some detail.
15.
by SonOfLilit 2mo ago
TL;DR imagine a signature verification library that verifies a signature indeed signs the given hash, but not that the signed data hashes to that hash. Woopsie. I guess nobody's commenting on this because it's very dense math with
16.
by SonOfLilit 2mo ago
It's a "this transaction is valid even though the signatures, amounts, potentially everything is wrong about it" vuln. Every node that uses this library to validate would lose synchronization with every other node (if we take
17.
by SonOfLilit 3mo ago
This is not interesting in the way that "DNS parsing is turing complete" is interesting. Nobody can send you a unicode file and make you run an infinite loop or whatever. Within Unicode is defined a DSL used internally by the libr
18.
by SonOfLilit 3mo ago
I hesitated to recommend the CEV paper, because it's written in Yudkowsky's very personal tone, which some enjoy and others find quite abrasive... but then it occurred to me that you asked about philosophy , and I have a book abo
19.
by SonOfLilit 3mo ago
The "OG" alignment research that MIRI were publishing long before LLMs burst into the scene spent most of it's time on that question. "How can we even define what an aligned AI should do, if human's are not aligned
20.
by SonOfLilit 3mo ago
But it is full of "not x, but y", just not above the fold... Probably many noticed and nobody wanted to spam with the complaint, I decided the spam is worth it for the author to get some feedback.
21.
by SonOfLilit 3mo ago
Thanks. Claude tells me the essense of this example is "the GA formula for rotation works in 4D (vs quaternions), and to do something like rotation in kD you need a tuple of two objects of different grades because cross-product is a
22.
by SonOfLilit 3mo ago
I started keeping my eyes open when the wrong season was given for the Bad Place spoiler (I see this was since corrected, and maybe the flow there was improved as well?). In the first sections the obvious tells were edited out (but the thin
23.
by SonOfLilit 3mo ago
I wish I could just read the prompt rather then the very long article full of tiny mistakes that was generated from it.
24.
by SonOfLilit 3mo ago
I tried to make it clear that I wasn't arguing against your main point, that was made very clearly, just against a comparison you used that I think was a bit slanderous (tongue in cheek). Yes, obviously Tau is correct, and that's
25.
by SonOfLilit 3mo ago
Author is not calling them crackpots, and _is_ strongly advocating for some of their new notation, and explicitly encouraging readers to find better notation where he dnsagrees with theirs.
26.
by SonOfLilit 3mo ago
I think this is unfair to the article. Those paragraphs are in the background section, clearly labeled as "this is what other people think", and are followed with a high effort explanation of (presumably) the substance of the theo
27.
by SonOfLilit 3mo ago
Author doesn't argue against the idea of choosing a new notation, he makes very detailed arguments about why this specific new notation is clumsy to work with.
28.
by SonOfLilit 3mo ago
(This is a nitpick and does not argue against your main claim that GA is a better abstraction to represent and solve physics problems with, that I have no way to evaluate because I don't speak GA, though now I'm curious and will m
29.
by SonOfLilit 3mo ago
To my understanding, NaN is a range of particular values (all exponent bits set to 1, mantissa nonzero) of the IEEE 754 float datatype, and its semantics are defined in the standard, including the "not equal to itself" semantic. I
30.
by SonOfLilit 3mo ago
That's a bad example to use because it has very few repetitions (only the spaces I think?) and the key doesn't have different equivalent values so you can't test that you're order-preserving (or not). But ideally sort is

More ›