ogogmad

4 ms·

31.
by ogogmad 2mo ago
Dual numbers are basically big/little O notation. They combine beautifully with Robinson's NSA to give the most 18th century-like approach to deriving integral/derivative formulas that I know. And it's fully rigorous!
32.
by ogogmad 2mo ago
> This doesn't follow. The sense in which they are equivalent is that they are equifinal, which doesn't mean isomorphism or even homomorphism That's what I meant. I also tried to provide one justification (out of many) for
33.
by ogogmad 2mo ago
See also the Blackletter imitation "bastard" https://en.wikipedia.org/wiki/Bastard_(typeface) : The face is available in three weights: Spindly Bastard, Fat Bastard, and Even Fatter Bastard.
34.
by ogogmad 2mo ago
Most foundations are in a sense equivalent. In that sense, "ZFC" is as good a choice as any. I think there might be some confusion around the different meanings of the word "foundation": A foundation is a formal system t
35.
by ogogmad 3mo ago
Slightly tangential to your point, but I'm leaning towards programming languages no longer limiting themselves to ASCII. IOW, I'm leaning more towards APL than to J. I'm wondering how much of a blocker it's been to not e
36.
by ogogmad 3mo ago
Regular expressions will always remain fundamental to computer science: They characterise all of those - and only those - conditions on bytestrings (or bitstrings, or Unicode strings, etc) which are checkable in constant memory.* In other w
37.
by ogogmad 3mo ago
I think we should create a masculine-sounding word for "nurse", like "(patient/care) (guardian/maintainer/technician)". Nursing still sounds like breastfeeding (check the etymology!), which I'd reckon
38.
Gap in Mochizuki's proof of ABC confirmed by Lean(twitter.com)
35 points by ogogmad 3mo ago|1 comments
39.
by ogogmad 3mo ago
Wow. That went over the heads of both a Harvard student and an Atlantic journalist.
40.
by ogogmad 4mo ago
username checks out
41.
by ogogmad 4mo ago
The Jewish Talmud uses Epicurus's name as a term meaning "heretic".
42.
by ogogmad 4mo ago
Once you have a bicameral syntax*, is there much point left in formal language theory? For instance, why would you still need complicated notions like LR(k) grammars (which Wikipedia confuses with LR(k) parsers)? I ask out of genuine confus
43.
by ogogmad 4mo ago
I think BC's features are equivalent to: - Python's native integer handling, which already has no size limit. - PLUS part of the Decimal module in Python's stdlib: BC's floats are DECIMAL by default, not binary. - PLUS a
44.
by ogogmad 4mo ago
Good point. But what if `i` does not divide `ans` evenly? I suppose you could use floats and then round.
45.
by ogogmad 4mo ago
me@localhost:~> bc d=1; for(i=21; i < 41; i++){d *= i;}; print d; print "\n"; 335367096786357081410764800000 n = 1; for(i = 1; i < 21; i++){n *= i;}; print n; print "\n"; 2432902008176640000 d&#x2
46.
by ogogmad 5mo ago
This is one of the most interesting comments I've read on this website.
47.
by ogogmad 5mo ago
See the recent breakthrough "Erdos Problem 1196" which experts couldn't solve for 60 years until ChatGPT Pro did. ChatGPT's key idea was the use of the "Von Mangolt function" which it showed could finally settl
48.
by ogogmad 5mo ago
Maybe it's a good idea for SWEs to consider using LLMs to train themselves into new careers -- just in case. Most other "knowledge" professions -- by which I mean teaching, programming, some engineering, and the arts -- are e
49.
by ogogmad 5mo ago
That's a provocation of sorts, maybe. However, I'm curious how Israel's invasion was supposed to stop that. Either they would occupy part of Lebanon, but open up their soldiers to attacks from irregulars, which doesn't s
50.
by ogogmad 5mo ago
Hezbollah was formed after Israel's 1982 invasion of Lebanon, which killed 17k+ people, mostly civilians, and which Israeli historian Ilan Pappé said was mainly unprovoked (see below). Israel's explanation for why they decided to
51.
by ogogmad 5mo ago
> Jews What does this word mean in the year 2026?
52.
by ogogmad 5mo ago
I don’t think "Spectre doesn’t work across process boundaries" is correct as stated; cross-process and cross-security-domain Spectre attacks have been demonstrated. But I agree that "a malicious app can trivially Spectre its
53.
Swalt Smart Case, the ultimate way to protect your mobile(swalt.fr)
2 points by ogogmad 5mo ago|0 comments
54.
by ogogmad 5mo ago
This reminds me of crypto wallets. I also dispute mike_hearn 's: > Smartphone HW attestation is better in every way They're still prone to side-channel attacks like SPECTRE. Crypto wallets are practically immune because they&#x
55.
by ogogmad 5mo ago
> Can you show me examples where locking down an OS has prevented fraud in banking? This is a non-sensical remark because it's impossible to "prove" a counterfactual. I find stuff like this incredibly annoying - please don
56.
by ogogmad 5mo ago
ὦ Ευρώπη, this would kick off an arms race. μολὼν λαβέ!
57.
by ogogmad 5mo ago
Whenever you solve any hard problem, you start off by finding a complicated solution, which you then scale down to a simpler solution. LLMs are a "complicated solution" in the sense that they're expensive. Once you know what
58.
by ogogmad 6mo ago
ChaCha20 got discovered using a computer search testing out resistance to certain attacks. Hence, the architecture came first and then the parameters came next. Any link with NN gradient descent? It would likely be an abstract one.
59.
by ogogmad 6mo ago
It's more like a situation where you should avoid doing anything. A player in zugzwang who does anything, loses. In chess, it's a position where a player would skip their turn if that option was available, but the rules forbid i
60.
by ogogmad 6mo ago
Iran has said that it's working on nuclear energy, not a bomb. Their pope-level religious leader said it was haram to have nuclear weapons. I know you can't necessarily trust Iran's word, but can you trust Israel's?

More ›