emil-lp

34 ms·

121.
by emil-lp 4mo ago
Did you read the paper? Is there something specifically you're missing? A proof? A theorem statement?
122.
by emil-lp 4mo ago
You don't think this is relevant to his perspective? > In 2025 he left academia to become "Founding Mathematician" of Axiom Math in Palo Alto, California to research the application of artificial intelligence to fundamenta
123.
by emil-lp 4mo ago
Not only is it not copyrightable, it's likely someone else's. That said, you can still distribute it under a licence, it just means that it's not necessarily enforceable, but that's ultimately for the judge to decide.
124.
by emil-lp 5mo ago
Definitions ~ Types Lemmas ~ Helper functions Theorems ~ API
125.
by emil-lp 5mo ago
Tokens are their food, it's literally what keeps them alive. Not feeding them tokens is neglect. I try to feed them a healthy diet.
126.
About That Erdős Problem(siliconreckoner.substack.com)
9 points by emil-lp 5mo ago|1 comments
127.
by emil-lp 5mo ago
From a comment to this answer: https://mathoverflow.net/a/511592/37452
128.
by emil-lp 5mo ago
You should submit it to FIDE.
129.
by emil-lp 5mo ago
What does "face left" mean? Left foot front? That's regular.
130.
by emil-lp 5mo ago
Citation needed
131.
by emil-lp 5mo ago
Yes, the "pelican riding a bicycle" is the ultimate test of not understanding how LLMs work. Well, a combination of that and believing that replication of test data is a good measure of progress.
132.
by emil-lp 5mo ago
Are `(push s x)` and `(push x s)` correct for push and insert, resp.?
133.
by emil-lp 5mo ago
Favorite lemmata: Johnson–Lindenstrauss lemma https://en.wikipedia.org/wiki/Johnson%E2%80%93Lindenstrauss_... Isolation lemma https://en.wikipedia.org/wiki/Isolation_lemma Schwartz–Zippel lemma h
134.
by emil-lp 5mo ago
I'm not sure your choice is the best. Axiom of choice is an axiom, not a theorem. In addition, axiom of choice is frequently stated (contrary to most other axioms) in proofs and assumptions.
135.
by emil-lp 5mo ago
It's also missing the defrag tool. Without it, it's going to be very slow as the disk fills up. Should put a shortcut to it on the desktop as well, so that users who experience significant lag can defrag at will.
136.
by emil-lp 5mo ago
Is that your definition or theirs? I can't see that in the code of conduct.
137.
by emil-lp 5mo ago
Sounds like you could use a tool like Zotero. With proper bibliography management tools, everything (that has one) is centered around the DOI. In fact, if a DOI is present, it's trivial to verify authors, title, venue, year, pages etc.
138.
by emil-lp 5mo ago
If I understand correctly, this is one of the changes that caused the regression: https://github.com/python/cpython/pull/117120
139.
by emil-lp 5mo ago
Yes, predictive maintenance on motors and turbines using vibration is quite common.
140.
by emil-lp 5mo ago
If not, it needs to be included in the list of things that don't include itself.
141.
by emil-lp 5mo ago
I literally read the entire article without understanding that Phish is a band. Call me lazy if you will. You could also have chosen to just say they're a band and recommend me a record to listen to. Something something 1 in 10'00
142.
by emil-lp 5mo ago
What is Phish?
143.
by emil-lp 5mo ago
Are you assuming a unique minimum?
144.
by emil-lp 6mo ago
You should do some competitive coding. Many, if not most, medium to hard problems require at least 100–150 lines of code. With experience, you can write it, bugfree , in 15 minutes. It's about thinking ahead and experience.
145.
by emil-lp 6mo ago
But Duke Nukem was developed with visible progress. We are still not factoring 21, let alone 35, let alone numbers with thousands of digits.
146.
by emil-lp 6mo ago
Both maintenance and charging are negligible costs.
147.
by emil-lp 6mo ago
3 schools in my neighborhood (barneskole, ungdomsskole & videregående) all use ground source heat pumps.
148.
by emil-lp 6mo ago
Same here. Wayback Machine https://web.archive.org/web/20260420203809/https://stephvee....
149.
by emil-lp 6mo ago
Does anyone have a timeline of OpenAI's vision's... Shall we say... Rapid Unintentional Disassembly?
150.
by emil-lp 6mo ago
You mean like converting packet timestamps into a (uniformly) sampled time series (e.g., bytes or packets per ms) and run a NumPy/SciPy FFT on that series?

More ›