ogogmad

6 ms·

61.
by ogogmad 6mo ago
Originally, I did not have any content from an LLM. I still got 2 downvotes. I was saying "BRB, checking the book PDF using ChatGPT Pro ($200 per month)". It's also more informative because Pro costs $200 per month. Plus cost
62.
by ogogmad 6mo ago
I'm not sure why I got 2 downvotes for this.
63.
Critical Perspectives on Provable Security: 15 Years of "Another Look" Papers [pdf](math.uwaterloo.ca)
2 points by ogogmad 6mo ago|0 comments
64.
by ogogmad 6mo ago
There are non-computational interpretations of intuitionistic logic too, like every single thing mentioned on this page: https://ncatlab.org/nlab/show/synthetic+mathematics I think stuff like "synthetic topol
65.
by ogogmad 6mo ago
> Proposing I think GIT is a negative answer to a problem originally posed by David Hilbert. It was not proposed by Goedel originally. I think Goedel's main new idea was (i) inventing Goedel numbering (ii) using Goedel numbering to
66.
by ogogmad 6mo ago
> GDP per capita lower than Poland > now poorer than every state in America You've confused the mean with the median. GDP Per Capita is not a measure of how well-off the people in a country are. American states have a lot more
67.
by ogogmad 6mo ago
"Even more, this coproduct can be thought of as an instance of a dependent pair indexed by a finite set" - I know what the individual terms mean, but I don't get what this is saying.
68.
by ogogmad 6mo ago
Use a VPN or Tor browser?
69.
by ogogmad 6mo ago
The announcement says: > This was solved by GPT-5.4 Pro (prompted by Price) See the discussion here: https://www.erdosproblems.com/forum/thread/1196
70.
by ogogmad 6mo ago
The recent news of multiple solutions to Erdos problem 1196 produced by LLMs without any human help, makes any suggestion that LLMs have hit a wall in reasoning seem less credible. To give you an idea, problem 1196 has been worked on by d
71.
by ogogmad 6mo ago
What do you mean? Stop beating round the bush.
72.
Simple Machines(en.wikipedia.org)
3 points by ogogmad 6mo ago|0 comments
73.
Why Everyone Gets the F1 Inerter Wrong – Explained Clearly [video](youtube.com)
2 points by ogogmad 6mo ago|0 comments
74.
by ogogmad 6mo ago
On a tangent: I've tried to connect Euclid's Elements with quantifier elimination theorems. It looks like most of the geometry follows from QE of real-closed fields. Some of the number theory relates to Presburger arithmetic. Some
75.
by ogogmad 6mo ago
Let's consider a hash table with an allocation of 1MB, which is about 2^20 bytes. Assume also that each entry occupies a byte. Assuming that the hash function's values are distributed randomly, the probability of there being a col
76.
Chlorpromazine(en.wikipedia.org)
3 points by ogogmad 6mo ago|0 comments
77.
by ogogmad 7mo ago
Just about a week ago, Trump was joking about Pearl Harbor on TV while the Japanese PM was sitting right next to him. What's more, she's a nationalist.
78.
Does Syntax Matter?(gingerbill.org)
2 points by ogogmad 7mo ago|1 comments
79.
by ogogmad 7mo ago
I'm sure there's a middle ground which still gives you some of the metaprogramming power of Lisp. OTOH this: https://www.gingerbill.org/article/2026/02/21/does-syntax-ma...
80.
by ogogmad 7mo ago
Some people appreciate that an LR/LALR parser generator can prove non-ambiguity and linear time parse-ability of a grammar. A couple of examples are the creator of the Oil shell, and one of the guys responsible for Rust. It does make
81.
by ogogmad 7mo ago
I think even the theory of Regular Languages is somewhat overdone: You can get the essence of what NFAs are without really needing NFAs. You can get O(n) string matching without formally implementing NFAs, or using any other formal model li
82.
by ogogmad 7mo ago
Quick other one: To parse infix expressions, every time you see "x·y | (z | w)", find the operator of least binding power: In my example, I've given "|" less binding power than "·". Anyway, this visually b
83.
by ogogmad 7mo ago
It's not a 2,000 year old dispute. Zionism began in around 1900. It was spearheaded until recently by "secular" Jews, who were borderline atheist. The Jewish religious texts themselves make wishing for a "return to Zion
84.
by ogogmad 7mo ago
So America can put other countries' leaders on trial - like the Nazis in Nuremberg, or Saddam Hussein - but not their own, for war crimes.
85.
by ogogmad 7mo ago
I understand what a CFG is and why Dyck's language (matching parens) is not a regular language. My point was that CFG/CFL is less motivated by a reasonable and uniquely characterising constraint - such as making memory usage indep
86.
by ogogmad 7mo ago
I had the impression that PEG and Earley/GLR all fully solved the parsing problem, but in different ways. But then recently, I found this guy's blog: https://www.oilshell.org/blog/tags.html?tag=parsing#parsing
87.
by ogogmad 7mo ago
I'm not sure, but isn't 2 standard deviations a bit low? Especially so for something that can be done in a lab. It seems that 2 SD is the minimum threshold for getting published. Can we be sure that these are properly reviewed?
88.
by ogogmad 7mo ago
I think I arrived at the same suspicion independently -- it was when I was trying to understand thermodynamic entropy as an instance of Shannon entropy - where the latter is defined abstractly as a property of probability distributions - wh
89.
by ogogmad 7mo ago
It might be possible to use a randomised algorithm to estimate the number of matches in only linear time.
90.
by ogogmad 7mo ago
if a boycott is a virtue signal then your comment is a vice signal

More ›