emil-lp

5 ms·

61.
by emil-lp 2mo ago
Futility closet is fantastic!
62.
by emil-lp 2mo ago
What it's going to be about, then?
63.
by emil-lp 2mo ago
Top 10 new passenger cars 2025 1. Tesla Model Y: 27 621 2. Volkswagen ID.4: 8 802 3. Toyota bZ4X: 7 274 4. Volkswagen ID.7: 6 976 5. Tesla Model 3: 6 608 6. Volkswagen ID.3: 5 572 7. Volvo EX40: 5 270 8. Volvo EX30(xc): 5 206 9. Skoda Enyaq
64.
by emil-lp 2mo ago
A record for EV sales in Norway was set in 2025: 95.9 percent of all new passenger cars sold were fully electric, up from 88.9 percent in 2024.
65.
by emil-lp 2mo ago
> Why would you factor in salary Say that it turned out that the total cost of the proof of the Erdős unit-distance conjecture was $50 million. Then the question really becomes: yes, these models are capable of proving important mathemat
66.
by emil-lp 2mo ago
Well, to be fair, with Lean proofs, that's the only thing there is (unless I'm missing something).
67.
by emil-lp 2mo ago
No, the correctness isn't for the "inside the Lean proofs", but for the translation of "human language math" and its formal Lean variant.
68.
by emil-lp 2mo ago
I wonder what the total cost of this research was, including the salary for their mathematicians and engineers.
69.
by emil-lp 2mo ago
Since she doesn't use anything clever to find the index of the rightmost-not-at-end, she could use doubly-linked list which would give O(1) reversal of sublist. Also, she doesn't really need to keep all consecutive items of the
70.
by emil-lp 2mo ago
AAAI 2026 had a record breaking 27k submissions. It doesn't scale.
71.
by emil-lp 2mo ago
I don't know if you know what you're talking about, but in my area, this could easily result in losing your job. You probably don't want to throw someone in jail for one plagiarized paper, so between jail time and losing your
72.
by emil-lp 2mo ago
That's correct. And 4–5 is low-balling. I was forced to review 7 papers. Now, how are these papers chosen for you? You get to bid on which to review. Bid on 30 papers out of 30,000. I got none of those, and I had to review 7 papers I
73.
by emil-lp 3mo ago
I use Perlin noise in all games I make, and in my research. It's marvellous! +1 to Perlin.
74.
by emil-lp 3mo ago
Great work. It looks as the space in "No. 12" is too large. Is it possible to distinguish between space and sentence-end-space?
75.
by emil-lp 3mo ago
It was accepted in a top journal for seemingly no reason?
76.
by emil-lp 3mo ago
Well, in this case, it's your pension.
77.
by emil-lp 3mo ago
> But as always, the methodology is buried: how many open problems were tried until they found a success? Not only that, but they have like 500 world-leading experts in mathematics and IMO alumni, so how do we know one of the agents wa
78.
by emil-lp 3mo ago
Proof of work doesn't help if the abuser is massively decentralized and is using other peoples moneys.
79.
by emil-lp 3mo ago
> if the work of a programmer can be automated then this means that any work can be automated This is a very typical programmer thing to say.
80.
by emil-lp 3mo ago
There's really no good proof system mature enough to do advanced graph theory. The leading library in Lean is Graphlib, and it's really not ready for research level theorems.
81.
by emil-lp 3mo ago
The prompt was released, but not the cost of the result.
82.
by emil-lp 3mo ago
Statement of AI use. The proof in this note is entirely due to GPT 5.6 Sol Ultra and the writeup with Codex (with GPT 5.6 Sol). Clearly that sentence isn't AI generated ...
83.
by emil-lp 3mo ago
A heads-up: Frontiers In is a publisher known to have extremely low quality.
84.
by emil-lp 3mo ago
The hardcore nerds have always been political. Wake up. You're using the sell my soul to the devil argument. If you achieve what you want to, it doesn't matter if you sold your soul on the way.
85.
by emil-lp 3mo ago
Why do authors spend so much time coming up with a book when they can literally pick one up for free at the library?
86.
by emil-lp 3mo ago
This paper has all the hallmarks of being crackpot with GPT.
87.
by emil-lp 3mo ago
NP! should be something like NP^NP, which is well known to be Σ^2_P. Slightly larger, but still inside PH.
88.
by emil-lp 3mo ago
Not a single frame showing the robot grabs anything. Cut scene aaaand folded! It's like magic.
89.
by emil-lp 3mo ago
Well, yes, conference proceedings are usually page limited, but that's not a journal.
90.
by emil-lp 3mo ago
Which journal?

More ›