emil-lp

7 ms·

1.
Bruce Schneier: No, AI doesn't mean the end of mathematics – at least not yet(theguardian.com)
9 points by emil-lp 3d ago|0 comments
2.
by emil-lp 5d ago
Is this HN crowd in the room now? It's understandable, at this point, to be weary of pelicans.
3.
by emil-lp 6d ago
You cannot guarantee that from a hash map since an adversary who knows the hash function (unless it's cryptographic) could game the data structure to their advantage.
4.
by emil-lp 6d ago
Θ does not usually mean average, but simultaneously upper and lower asymptotic bounds.
5.
by emil-lp 6d ago
> To put it differently, saying that a hash table is O(1) or constant time is a model Nobody really says that, nor is it a model. It is the expected time complexity.
6.
by emil-lp 6d ago
Expected
7.
by emil-lp 6d ago
I read your arxiv paper yesterday (or was it the day before). Do you think this can be used to speed up the algebraic method for k-path? If so, you should enter next years PACE challenge.
8.
by emil-lp 7d ago
Yes, I too have noticed an increased high quality customer service.
9.
by emil-lp 7d ago
Yes, there is no doubt about scientific misconduct. I think the entire math community agree on that.
10.
by emil-lp 7d ago
This article is the tldr.
11.
by emil-lp 7d ago
If they have zero-retention, then it is not possible. So what they are saying is that they don't have zero retention.
12.
by emil-lp 7d ago
That's a good question. It is able to contribute code, but maybe not good code. It's the same in math: it's able to solve problems, but not necessarily in a good way with a human readable code. Math papers are a lot like so
13.
by emil-lp 8d ago
> Surely it's less effort to just make the bed? It's not about the bed. People are addicted to generating now. Slopoholics the whole bunch of them.
14.
by emil-lp 8d ago
I have a house I like, a car I like, a career I like. Nothing in this post resonates with me. Take control of your life and be satisfied with what you have. Put away your phone and pick up a book. Listen to a record. Watch a movie. Yes, peo
15.
by emil-lp 9d ago
What's with the title? It's a Typescript-to-circuit converter/transpiler/compiler. Why not just "Build a circuit in Typescript" ?
16.
by emil-lp 10d ago
> The false positive rate for Pangram 4 is something like one in 24,000. First of all: says them. . Do you think they might have an incentive to boost their numbers? Second, this is on existing text , which might be in their training d
17.
by emil-lp 12d ago
You mean why not say £ 1MM?
18.
by emil-lp 15d ago
Says anonymous internet user with a 10 minutes old account.
19.
by emil-lp 16d ago
> Lying is a core part of communicating mathematics. We lie to kindergarteners when explaining fractions. We lie to fourth graders when approaching limits... Hard disagree. Lying is with intention to deceive. Teaching is simplifying wi
20.
by emil-lp 18d ago
Say that you add and remove elements. Perhaps your data structure runs amortized constant time. However, if the GC is, say, quadratic time, then this breaks the linearity of your algorithm. This was indeed something that happened in recent
21.
by emil-lp 18d ago
You are assuming GC runs in linear time.
22.
by emil-lp 18d ago
Cannot cite Chesterton's fence too often. In the matter of reforming things, as distinct from deforming them, there is one plain and simple principle; a principle which will probably be called a paradox. There exists in such a case a c
23.
by emil-lp 18d ago
They forgot to include GC overhead.
24.
by emil-lp 23d ago
> This should not be surprising at all. Every new students spends tiny fractions of time learning knowledge that took many lifetimes to discover. This argument is exactly why we should not anthropomorphise models. You are comparing the w
25.
by emil-lp 28d ago
You only have to prove the formalization of the theorem statement . The formalized statement is guaranteed to be true if Lean says so. There will always be a leap from the real world to the formal world.
26.
by emil-lp 29d ago
Why not Markdown - pandoc - epub/pdf?
27.
by emil-lp 29d ago
I don't know if it's weird. Is there an actual publication to cite? Or just a GitHub repo?
28.
by emil-lp 1mo ago
+1 for Strang.
29.
by emil-lp 1mo ago
Previously on Hacker News: Linear Algebra Done Right 58 points, July 2023, 4 comments https://news.ycombinator.com/item?id=36576114 Linear Algebra Done Right – 4th Edition , 631 points, Oct 2023, 294 comments https:&#x
30.
by emil-lp 1mo ago
> I really think ebikes, and things like this, would have a much better reputation if they really only supported up to maybe 10 km/h or 6 mph. Where is it ebikes don't have a good reputation? Where I'm living, they have

More ›