piker

5 ms·

31.
by piker 17d ago
It’s fishy though that they heard one of seven problems was about to be solved and threw perhaps 15 million bucks at the right one. [Edit: they said "two of": "On Tuesday, September 1, we heard rumors that two Millennium Priz
32.
by piker 18d ago
"... The point remains that there is a substantial opportunity cost in converting a historically productive and motivating problem (such as Navier-Stokes regularity) into a mere viral social media post advertising some benchmark progre
33.
by piker 18d ago
Publish or perish? We're talking devotion here -- so no time to do anything (like edit proofs) other than try to solve the problem. [Edit: my only point here is that the prize is probably not driving human effort to the limit.]
34.
by piker 18d ago
Sure, even a 20% chance at 1 million payday after 5-6 years of fulltime work on a project with zero practical application doesn't touch the, say, 200k/year guaranteed our best mathematicians would have to forgo to devote their int
35.
by piker 18d ago
Reads sincere until I get here: "(a) We began working on the Millennium problems due to viral twitter rumors that Anthropic had resolved 2 Millenium problems. Our aim was to see whether our system was also capable of this impressive fe
36.
by piker 18d ago
It’s also been baked into Codex. Go figure
37.
by piker 20d ago
You're mistaken if you think it has ever taken a week to port (and support) an application to native primitives.
38.
by piker 20d ago
Because it’s too complex and not worth the effort. Most users will not care about or perceive the benefit. If they delegate that responsibility to Google via Electron, they can focus on features/bug fixes that move the needle.
39.
by piker 21d ago
Because it's insufficient? https://github.com/github/gitignore/blob/main/Rust.gitignore for example still falls victim to basically all of the issues specifically called out.
40.
by piker 21d ago
ChatGPT was happy to infringe: https://chatgpt.com/s/m_6a9c30da3bcc8191bb5203f1cb22f16a As was Gemini: https://share.gemini.google/Q3EIX5wk64zC Grok, too: https://grok.com/share/bG
41.
by piker 21d ago
Yes. I agree with that as well. If you can intuit that it's (for example) an off-by-one error somewhere in your logic, asking an LLM to pinpoint that issue can save you tons of time that is better spent thinking about your abstractions
42.
by piker 21d ago
Often though working through a bug teaches the developer something about the relevant abstraction. That knowledge can get lost in this new process.
43.
by piker 22d ago
> Well I don’t really know what to work on next Let me help you: work on figuring out how to spend the millions of dollars every year Jane Street will pay you to clock in. I've heard private aviation is expensive, for example. :)
44.
by piker 22d ago
Sarbox is a drag, but another issue is the rise of the securities plaintiffs bar. Public companies are subject to Rule 10b-5 claims on each statement they make because the market can "rely" on that statement. This means every publ
45.
by piker 23d ago
While Anil makes a lot of great comments about VC's shift towards institutional PE, the legal issues he harps on are insignificant. Until 2012 or so there was no legal concept of "venture capital". Around that time, the SEC a
46.
by piker 23d ago
It cites to her at: [19] J. Stadlmann, On primes in arithmetic progressions and bounded gaps between many primes, Adv. Math. 468 (2025), Art. 110190. Numbered references use arXiv:2309.00425v3. Though that's not her latest paper.
47.
by piker 23d ago
> This page couldn’t load > A server error occurred. Reload to try again. Hard to fathom a blog entry returning 500 errors in 2026.
48.
by piker 23d ago
https://github.com/sergiocorreia/overengineered-rand-mcnally... > +14,360 > -349 LGTM!
49.
by piker 23d ago
> You seem to know a lot about this, and I was nodding along with a lot of your points as I was reading. Hire rootsudo? Email in the profile.
50.
by piker 23d ago
Great piece, OP. We work in WASM and are considering web workers to help with rendering documents off the main thread in that context. I was surprised to read that ArrayBuffer is moved by reference only! Might be an option. Thanks for putti
51.
Steve Ballmer suspended 1 year by NBA(espn.co.uk)
4 points by piker 23d ago|0 comments
52.
by piker 24d ago
These two guys* were crazy productive in the 2 months they worked. Just the level of commenting shows how much thought they were able to give it during that span. * plus the math package guy
53.
by piker 24d ago
I was going to ask the exact same question earlier but deleted it after thinking “I’m sure Simon has done some sort of discussion on this.” Since it does seem novel to you, too, it would be really interesting to read more about this phenome
54.
by piker 24d ago
What if the same VCs were backing both and gearing up for an IPO?
55.
by piker 24d ago
Yes, there are good examples of this working, anti-competitive as it may be. What if, in the DoorDash example, the pizza shop was itself venture backed and selling pizza at a loss to win customers and using this 20k revenue as a basis to ra
56.
by piker 24d ago
It goes a layer up, too. Harvey (legal AI) recently tweeted that a single user query cost that firm 26k USD. This, while they have thousands of users and reportedly whole law firms paying zero. That difference is being subsidized by billion
57.
by piker 25d ago
The parent was responding to this diabolically uninformed quote from the GP: “You want a new Christoper Nolan film on his new idea, invest in it. That investment is a risk. Once made the money is made people can copy and distribute however
58.
by piker 25d ago
No I wasn't saying that. It's close, but you mentioned something about making money on the trade, so I just added the observation. It's totally dependent on the relationship, really!
59.
by piker 25d ago
No, it’s fine. It’s the longer term DX that takes a hit. Anything other systems can do, immediate mode can do, because like those systems you can always cache across frames. The same can’t really be said for retained mode. We wrote some abo
60.
by piker 25d ago
Because the official client is an electron app.

More ›