jlebar

6 ms·

1.
Formalizing Fermat's Last Theorem(anthropic.com)
772 points by jlebar 13d ago|512 comments
2.
by jlebar 14d ago
> But why not just... require ID to vote? Among other things, consider https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-... > The lack of verification is the exact reason why the lies continu
3.
by jlebar 23d ago
The polishing cloth may be a joke, but I will say that I love the nano-texture display on my laptop. Expensive, and whether it's worth it to you is a personal evaluation. But I think it's awesome, and most people I talk to don
4.
by jlebar 29d ago
Implicit assumption of gp is that the README is llm authored. (Which, I agree is how it reads to me.)
5.
by jlebar 3mo ago
I mean, I would say that preventing 40% of disease (depending on what you're measuring, etc etc) is not marginal. I guess I'd turn it around and ask, if 40% is marginal, what number would not be marginal, and why do you draw the
6.
by jlebar 3mo ago
It's an amazing fact of mathematics that even a vaccine that has relatively low efficacy can completely neutralize transmission if enough people in a group take it. This is especially true in the case of the flu because it has a rela
7.
by jlebar 3mo ago
Parent poster is saying that even though the effect on an individual is low relative to other vaccines, the effect of a whole group taking the vaccine is actually very high . This the opposite of your understanding. The benefit to the ind
8.
by jlebar 3mo ago
> Generally, trace compilation is a dead end and has been abandoned repeatedly. JAX is a tracing compiler! (I know, I know, it sits in an extremely different part of the problem space than TraceMonkey or LuaJIT. Still.)
9.
by jlebar 3mo ago
> Whenever I read about formal specs it always seems to me like “write the same tests just in a different way”, or worse, “write the same implementation but in a different way”. [...] Can anyone enlighten me? A big difference is that for
10.
by jlebar 4mo ago
Author here; I'm happy to answer questions, take criticism, etc etc.
11.
by jlebar 4mo ago
> The historical automation story seems to be that technology replaces workers, and those workers typically end up taking lower-paying jobs As I said, when farming became more efficient, it wasn't great to be a farmer. But when I sa
12.
by jlebar 4mo ago
> Look at the wealth disparity. Even if quality of life has increased, it's not wrong for the people delivering that increased quality of life (workers) to also demand a requisite slice of the pie. Sure, but the argument being made
13.
by jlebar 4mo ago
> Expand beyond the USA and include in your analysis how life has changed in imperialized nations that now function as cheap labor sources for our factories that pollute the local environment while exploiting workers for absurdly low wag
14.
by jlebar 4mo ago
> There’s no reason, even under capitalism that we must allow all of the productivity gains to accrue to the benefit of solely those at the top of an enormous pile of wealth. I would question the premise that all or even most of the prod
15.
by jlebar 4mo ago
> Choices are made by people who have power and imposed upon people who don't. In a capitalist society, choices are made according to supply and demand. In a world where there's a positive supply shock (in this case, there&#x27
16.
by jlebar 4mo ago
> I want to go toward a future that looks good and fair for regular people. Do we agree that moving towards a future that's somehow "more advanced" as compared to the present (i.e. isn't going back to the past) would
17.
by jlebar 4mo ago
OOC, which past exactly do you want to go back to (and presumably stay at)?
18.
by jlebar 4mo ago
All companies (and indeed individuals) rely on and benefit from various public goods, such as roads, law and order, and an educated populace. They pay for these public goods through taxes. https://en.wikipedia.org/wiki&#x2F
19.
by jlebar 4mo ago
As a former engineer and manager at Waymo I can say with the confidence and sincerity of firsthand experience that this is not the case. People at all levels of the company think deeply about how different locations have present different
20.
by jlebar 5mo ago
I am not saying that there should be no regulations on monopolies. We are discussing a very specific market intervention, namely the proposal to > systematically [use] a pricing structure that charges disproportionately more for usage a
21.
by jlebar 5mo ago
> Free markets are pretty good at finding good prices. Markets that are left alone do not remain free. OK but the market intervention being discussed here does not create a free(er) market. Its intent and effect is the literal opposite.
22.
by jlebar 5mo ago
> Gasoline is absolutely rationed when it becomes scarce after having been plentiful. Sure, but OP is advocating that we should "systematically [use] a pricing structure that charges disproportionately more for usage above high thre
23.
by jlebar 5mo ago
> Part of the issue is not systematically using a pricing structure that charges disproportionately more for usage above high thresholds. We don't do this for gasoline (in most countries), even though it is also vital for life. And
24.
by jlebar 5mo ago
> having a Waymo dropping off clear of the bike lane sounds good, until the exiting passenger accidentally doors a cyclist who isn’t prepared for that possibility. Note that Waymos will alert you if a cyclist is approaching so you don&#x
25.
by jlebar 5mo ago
> (Most) cyclists are rude and act like they own the road. I would bet you an arbitrary sum of money that 51% of cyclists are not rude and don't act like they own the road. (Same for drivers.) https://thedecisionlab.com&
26.
by jlebar 5mo ago
It's a matter of taste, but I much prefer the workflow in the tool I hacked together for this, https://github.com/jlebar/git-pr-chain . In the tool I wrote, you have a single branch with linear history. PRs in the
27.
by jlebar 5mo ago
Assuming this is a serious question, here are some ideas you could read about! - https://en.wikipedia.org/wiki/Vigilantism - https://en.wikipedia.org/wiki/Law - https://en.wikipedia.org
28.
Music-bench: An LLM benchmark for reading printed music(github.com)
2 points by jlebar 6mo ago|0 comments
29.
by jlebar 6mo ago
Got to hand it to this guy, this page loads FAST.
30.
by jlebar 8mo ago
> Ideally, a professional will prescribe them as a necessary helper to becoming (more) mentally healthy whilst tackling the root cause. I wish people would stop saying this. Our understanding of the brain is not sufficiently sophisticate

More ›