williamstein

11 ms·

91.
by williamstein 2y ago
This particular Oxide and Friends podcast includes a fantastic discussion of AI agents, the problems with their definitions, and at least one promising use case: https://oxide-and-friends.transistor.fm/episodes/predicti
92.
by williamstein 2y ago
One example - Google Cloud network egress charges aren’t known until up to ~2 days after they happen. Since they can be obscenely expensive (eg $0.23/GB), they can make budget computation difficult.
93.
by williamstein 2y ago
I agree. The command line IPython by Fernando Perez was very inspired by Mathematica. He used Mathematica as a grad student and wanted a similar environment. In 2006-2007 Tom Boothby, Alex Clemesha and I wrote the first general used inter
94.
by williamstein 2y ago
Thanks for explaining that background!
95.
by williamstein 2y ago
The Jupyter community maintains a public spec of the notebook file format [1], the kernel protocol [2], etc. I have been involved with many alternative Jupyter clients, and having these specs combined with a friendly and welcoming communit
96.
by williamstein 2y ago
No.
97.
by williamstein 2y ago
What is the DeepSeek team? Who is making this?
98.
by williamstein 2y ago
Coincidentally, I'm in the middle [1] of building something for https://CoCalc.com that is exactly what you're describing. For collaborative document editing (e.g., google drive and overleaf) it's a common featur
99.
by williamstein 2y ago
Kevin Buzzard
100.
by williamstein 2y ago
It is a thing. Your experience doesn’t at all match my experience driving on the West Coast for the last few decades.
101.
by williamstein 2y ago
> “Our main product was an SDK Generator that could take any OpenAPI specification and generate high-quality client libraries in multiple programming languages.” This is something I could really use! Is there a product that does this an
102.
by williamstein 2y ago
And the professor who taught that course won a major prize today: Ribet to Receive 2025 AMS Steele Prize for Seminal Research - https://www.ams.org/news?news_id=7391&fbclid=IwZXh0bgNhZW0CM...
103.
Ribet to Receive 2025 AMS Steele Prize for Seminal Research(ams.org)
1 points by williamstein 2y ago|0 comments
104.
by williamstein 2y ago
I took that class with you! It was amazing. Here are my notes: https://wstein.org/books/ribet-stein/
105.
by williamstein 2y ago
If the BSD rank conjecture were false, then the simplest counterexample might be an elliptic curve with algebraic rank 4 and analytic rank 2. This could be established for a specific curve by rigorously numerically computing the second der
106.
by williamstein 2y ago
This is really amazing as is their standalone pglite project, which is a WASM port of Postgres. One surprise for me though is that Electric is a read only replica. In particular, “Electric does read-path sync. It syncs data out-of Postg
107.
by williamstein 2y ago
Pure Python is on the order of 1000x faster at computing that sum by brute force than Mathics. This suggests that perhaps some of the basic optimizations one does when implementing a language, to get even the most minimal level of perform
108.
by williamstein 2y ago
Note: Mathics is an optional Sage package - https://doc.sagemath.org/html/en/reference/spkg/mathics.html...
109.
by williamstein 2y ago
Wow, they do public issue tracking in an unusual Way, via a mailing list: https://www.postgresql.org/list/pgsql-bugs/
110.
by williamstein 2y ago
And to read the source code.
111.
by williamstein 2y ago
When you go into battle to solve a computational mathematics problem, the problem sometimes doesn't care about these boundaries. E.g., you might think that you're solving a problem in "computer algebra", but a sufficien
112.
by williamstein 2y ago
I'm not aware of any real push to include Mathics in sagemath. I speculate it's because SageMath is mainly developed by research mathematicians and cryptographers, so performance is often a primary concern when evaluating compon
113.
by williamstein 2y ago
Proving that there exists an algorithm that results in an eventually consistent view of the document is trivial. However, that's not what we're talking about. Instead, researchers define a specific algorithm (e.g., involving CRD
114.
by williamstein 2y ago
What they claim is that if all editing stops, then after a period of time everybody will be looking at the SAME document. This is what is meant by "eventual consistency". Achieving this in general is indeed a difficult problem,
115.
by williamstein 2y ago
The text sync algorithm I wrote succeeds at the "The Color of Pomegranates" test. See https://cocalc.com/wstein/dev/share/files/2024-12-06.md for some details of the exact patches. This a
116.
by williamstein 2y ago
“Americans born before 1996”
117.
by williamstein 2y ago
I switched to using Firefox instead of Chrome and now "=" works! :-) I'm using GFA Basic from https://www.atarimania.com/pgesoft.awp?version=29409
118.
by williamstein 2y ago
Within seconds I found GFA basic (which I spent endless time programming in as a kid), and got it running. Unfortunately, I can't figure out how type an "=" (equals) character from my Mac laptop.
119.
by williamstein 2y ago
https://en.wikipedia.org/wiki/List_of_mergers_and_acquisitio...
120.
by williamstein 2y ago
Does anybody know what the analogous story is for Google Cloud Storage? It seems to me to be unlimited with no per bucket cost, but I never found a definitive statement about this. It’s important for SAAS products with one bucket per cust

More ›