ogogmad

13 ms·

211.
by ogogmad 11mo ago
There are also ASCII-art ways of writing formulas. An LLM should be able to produce these.
212.
by ogogmad 11mo ago
To add, for anyone who's followed the link - that's entries numbers 1 and 2, or "Normal with known variance σ²" and Normal with known precision τ", under "When likelihood function is a continuous distribution&q
213.
by ogogmad 1y ago
Slightly off-topic: I've just watched this takedown of an AI-generated chart-topping song: https://www.youtube.com/watch?v=rGremoYVMPc&lc=UgxfDvqX1G6kp... OK, so I've talked about this phenomenon with ChatGPT,
214.
by ogogmad 1y ago
Any book about technology's effects on society written before 2022 needs a massive update since the LLM revolution. Sadly, Gertz's "Technology and nihilism" was published in 2018.
215.
by ogogmad 1y ago
Heidegger has a reputation of explaining his opinions poorly. That would still be fine if I didn't also suspect that he was a pseudo-intellectual.
216.
by ogogmad 1y ago
I reckon each of these has at least 3/5 of the complaints the OP has about Linux, because they're all still Unix clones.
217.
by ogogmad 1y ago
> Package managers and compiling-from-source instead of distributing runnable applications directly. Docker tries to partially address this, right? > Dependence on CLI, and steep learning curve. I think this is partially eased by LLMs
218.
by ogogmad 1y ago
I think you're right. Yes, I think it is translation invariant. Ouch, apologies.
219.
by ogogmad 1y ago
Cool paper! [EDIT: The following is my own clumsy mistake] Minor note: The definition of "mean width" of a polyhedron P in the paper is not translation invariant, and that's confusing. In other words, the mean width of a poly
220.
by ogogmad 1y ago
It's hard to make Python run fast when it pervasively uses duck typing. It makes types only resolvable at runtime. JIT is the only thing that can work here at the moment, but I think that needs to make very similar assumptions to a bra
221.
by ogogmad 1y ago
Instead of writing 2+2, you're suggesting writing 2.plus(2) or plus(2,2).
222.
by ogogmad 1y ago
Off-topic, but: "Geezer" means "elderly man" in AmE, while it just means "guy" in BrE. It used to be more common to hear it in the UK.
223.
by ogogmad 1y ago
I think the family tree model of linguistic history is not very useful for English. Saying English is Germanic to the exclusion of everything else is not very useful. The family tree model seems to assume that every language has only 1 dire
224.
by ogogmad 1y ago
It always seems like whenever something close to this happens, people's lives carry on, don't get easier, and they keep finding new things to complain about.
225.
by ogogmad 1y ago
I think even conjugating it. The formula for rotation via quats is v->qvq^{-1} = qvq^*/|q|^2.
226.
by ogogmad 1y ago
No, your claim about matrix multiplication is false. Google's new algorithm can be applied recursively to 4x4 block matrices (over the field of complex numbers). This results in an asymptotically faster algorithm for nxn matrix multipl
227.
by ogogmad 1y ago
> In fact you can go to a SOTA LLM today, and it will do quite well at predicting the outcomes of basic counterfactual scenarios. Depends what you mean by "basic". Have you seen Simple Bench? https://simple-bench.com
228.
by ogogmad 1y ago
Not sure this is a good counterpoint in defence of LLMs, but I'm reminded of how Unix people explain why (in their experience) data should be encoded, stored and transmitted as text instead of something more seemingly natural like bina
229.
by ogogmad 1y ago
So you're saying that modern LLMs are a just like crypto/Web3, except in all the ways they're not, so they must be useless. --- Less flippantly, they are excellent for self-studying university-level topics. It's like bei
230.
by ogogmad 1y ago
This is the most perfect troll comment I've ever seen. Bravo.
231.
by ogogmad 1y ago
Sea wall?
232.
by ogogmad 1y ago
Just learnt something from the article: It's interesting that the warping of the seafloor is what causes tsunamis, and not the shaking itself. It explains why a shoreline might sometimes recede away before a tsunami's crest strike
233.
by ogogmad 1y ago
The obvious point has to be made: Generating formal proofs might be a partial fix for this. By contrast, coding is too informal for this to be as effective for it.
234.
by ogogmad 1y ago
He obviously means random unstructured strings, which code is usually not.
235.
by ogogmad 1y ago
Errr, checking correctness of proofs is decidable.
236.
by ogogmad 1y ago
He never mentioned the Axiom of Choice. I think he articulated his opinion clearly enough. It's his own subjective value judgement.
237.
by ogogmad 1y ago
It might be relevant to look at this: https://home.sandiego.edu/~shulman/papers/jmm2022-complement... Also this: https://arxiv.org/pdf/1212.6543 Assuming you haven't looked at these alre
238.
by ogogmad 1y ago
"Indeed, persistently trying to relate the foundations of math to reality has become the calling card of online cranks." <-- Hm??? I'm getting self-conscious. Details?
239.
by ogogmad 1y ago
That's uncomputable because equality of real numbers is undecidable. Think infinite strings of digits.
240.
by ogogmad 1y ago
Any program which you apply FHE to needs to be expressed as a circuit, which implies that the time taken to run a computation needs to be fixed in advance. It's therefore impossible to express a branch instruction (or "if" st

More ›