ogogmad

15 ms·

271.
by ogogmad 1y ago
Other than "Michaelmas term", "mire" and "blinkers", the broad meaning of it isn't that hard to understand. The language is fairly modern. That said, I suppose that if some grinning asshole were to have me
272.
by ogogmad 1y ago
The article also suggests that you could use a proof-verifier like Lean instead. Using that capability to generate synthetic data on which to train helps too. Very large context windows have been known to help with programming, and should h
273.
by ogogmad 1y ago
Abstract index notation. It's completely different!
274.
by ogogmad 1y ago
The connections of deep learning to stat-mech and thermodynamics are really cool. It's led me to wonder about the origin of the probability distributions in stat-mech. Physical randomness is mostly a fiction (outside maybe quantum mech
275.
by ogogmad 1y ago
I beg to differ. It's complete hyperbole to suggest that the article said "it's the same problem as something in physics", given this statement: It seems that the bottleneck algorithm in GPT-2 inference is matrix-
276.
by ogogmad 1y ago
Improved comparison sort when? The following algebraic point of view could be utter hogwash, so I might embarrass myself... but if you think about it, the "merge" operation is isomorphic to the product in a free commutative monoid
277.
by ogogmad 1y ago
Is any of the new machine learning tech promising here? I recall some new invariants of minimal surfaces were discovered only a few years ago by a DeepMind-made AI - and that's before LLMs. I'm wondering if AI can invent notions a
278.
by ogogmad 1y ago
What about a revival of the Mayan hieroglyphs, in some limited form?
279.
by ogogmad 1y ago
Fair. But what if ppl instead got scans in "radiology shops" without waiting for a specialist? Specialists are expensive.
280.
by ogogmad 1y ago
So far. Computer vision is currently lagging NLP, but I wouldn't expect that to last.
281.
by ogogmad 1y ago
What if ppl just bought the equipment and did the scans at home?
282.
by ogogmad 1y ago
Is this a joke about wanking?
283.
by ogogmad 1y ago
I think it's a pun. AlphaZero? AlphaNegative .
284.
by ogogmad 1y ago
Have people tried combining it with better-supported languages like Python or Go or Rust, leaving only the GUI to Pascal? Any guides out there?
285.
by ogogmad 1y ago
Sounds like relational databases: Entities are IDs. Components are tables with an ID column.
286.
by ogogmad 1y ago
What do folks think of the OCaml/SML style approach with its signatures+modules+functors? It's a bit obscure, and some people find it inconvenient. Inheritance in their approach can be approximated using functors.
287.
by ogogmad 1y ago
I suspect that the "black box" philosophy for statistics/ML is actually bad if you don't have a quick way of verifying the predictions. For instance, using PCA as a "black box" is perfectly fine if you'r
288.
by ogogmad 1y ago
His channel is sometimes the best way of learning certain topics in classical geometry.
289.
by ogogmad 1y ago
It seems that the authors are skeptical of real numbers (even computable ones???) while being perfectly comfortable with power series. I don't see how one of these can be acceptable and the other not. Sadly, their point of view seems i
290.
by ogogmad 1y ago
Note that their solution is a formal power series solution, which will be divergent for some polynomial equations. Divergence is unavoidable because of the multiplicity of solutions. Journal article here: https://www.tandfonline.
291.
by ogogmad 1y ago
#NotAllDemocracies More broadly, I think that Americans have been too arrogant and have been prone to thinking that the only part of the world which matters stops at their own borders.
292.
by ogogmad 1y ago
The UK did not impose 10+% tariffs. They left a voluntary union. And they might rejoin soon, now that the 'Special Relationship' requires going against Canada and Denmark - which is evil.
293.
by ogogmad 1y ago
Is anyone going to produce a proof-of-concept Analytical Engine? Will robots (which will hopefully soon be available) be able to do it?
294.
by ogogmad 2y ago
> The students convince themselves that it can't happen at all... and that's well and good, but once they admit that as an option, they have to include that in their argument—and if they do so, their entire argument falls apart
295.
by ogogmad 2y ago
You did not understand the paradox. The word "surprise" here means that the prisoner won't know his date of execution until he is told. [Edited]
296.
by ogogmad 2y ago
Haven't read the article. But something about this reminds me of Arnold's topological proof of the unsolvability of the quintic (YouTube form: https://www.youtube.com/watch?v=BSHv9Elk1MU ; PDF: https://
297.
by ogogmad 2y ago
Raising kids is hard. Sad. And what do I know about it? Regardless, parents do need to get involved in their children's education. For instance, they should help their children prepare for entry exams into secondary school. This should
298.
by ogogmad 2y ago
For people wondering what "geometric" means here, they say: "the electromagnetic field should be derived purely and solely from the properties of the metric tensor". I'm not sure if that's exactly it. Question:
299.
by ogogmad 2y ago
I'm thinking I'd like to learn array languages (APL, J) and maybe use them professionally. Maybe their time has come.
300.
by ogogmad 2y ago
Maybe find an application of the subject that they might find interesting. I suppose if you can't find anything that interests them, then it's much harder to teach it. For instance, perspective drawing might provide a nice applica

More ›