the math community needs to adopt a version of the ethical standards of experimental science. If you are using AI agents, you can't just give a proof (formalized or not), but need to also provide a detailed explanation of how these agents were used to get the result.
With thousands of developed in a mono repo, it just does happen that one directory is missing one of the two files and this means that a subset of devs work with lobotomy. We fix this with automation but it’s a stupid complexity tax that shouldn’t have to be paid.
The debt dynamics work the same for a central government as they do for a person or a company, except that a central government has a central bank that can print money (which devalues it) and it can take money away from people via taxes.
much cultural success is stochastic (the experimental evidence suggests that talent only moderately predicts success in culture markets), and that path dependence shapes chances of success
I think one reason why um the the AIs have been scaled up less than you would have otherwise expected and like for example cost of of per token hasn't increased as much as you might have thought is because there's a benefit to doing more of your um work at small scale where you can run more training runs and get more cycles in
And I think there's a lot of room in a lot of domains for much faster validation models, possibly learned valu validation models that can uh you know get you a a approximation to the true answer much much more rapidly. And that changes how those experimental loops can be thought of and how quickly you can go around those loops.
All told, this is a read-in-one-sitting thriller that does as much to illuminate the workings and dynamics of patriarchy and religion as any gender studies class. It's peak Kritzer (so far), and that's saying something.
The big news were that at the Linux kernel maintainer summit, we agreed that Rust is no longer experimental in the kernel. That was really big for us compared to the previous year.
The verdict: pi plus a basic searxng skill outperformed Local Deep Research. Also, pi is just much more configurable: I can easily just tell it to use not just internet searches, but also my own world_knowledge directory.
So, I think AI-type tools we really will will actually revolutionize the ex- the experimental side of math where where um you don't care so much about uh individual problems and and the process of solving them, but you you want to gather just large-scale data about about what things work, what things don't.
Nan Z. Da’s The Chinese Tragedy of King Lear also has an experimental form. Da is a professor of literature at Johns Hopkins who emigrated from Hangzhou before she was 7.
The Thursday Murder Club by Richard Osman is a delightful whodunnit set at a retirement home in the English countryside. Great characters. Fun twists. An endearing sense of humor. Nothing fancy or experimental, just a pleasure to read (and what more can you ask from a book, really?). If, like me, you enjoy mysteries, you'll be in good hands with Osman.
Jurassic Park by Michael Crichton is a surprisingly weird and weirdly underrated novel given how many copies it sold and the popularity of the blockbuster franchise it spawned. The story weaves together many apparently disparate threads and there are extensive speculative digressions into the biotechnology, business interests, and institutional dynamics that make the park possible and its dissolution inevitable. If the movie is supremely entertaining, the book is supremely thought-provoking.
And when you make a mistake and correct it, well, first you you've achieved the task because you've corrected, but you've also gained knowledge that allows you to avoid that mistake in the future. With driving, because of the dynamics of how it's set up, it's very hard to make a mistake, correct it, and then learn from it because the mistakes themselves have significant ramifications.
Decades of grading data; standardized test scores; cross-sectional, longitudinal, observational, and experimental studies; along with many other types of ancillary and convergent evidence, ultimately tell the same story: education can raise the absolute performance of most students modestly, but it almost never meaningfully reshuffles the relative distribution of ability and achievement
I think to the extent that it can predict the next frames in a coherent way, that is a form of understanding, not in the anthropomorphic version of, it's not some kind of deep philosophical understanding of what's going on, I don't think these systems have that, but they certainly have modeled enough of the dynamics, put it that way
I think the platform that Lean and other software tools, so GitHub and things like that will allow experimental mathematics to scale up to a much greater degree than we can do now.
Structural fiscal deficits have surpassed private sector lending and monetary policy as the primary drivers of economic activity and inflation, marking a fundamental shift in the economy's liquidity dynamics.
"It’s honest in how it covers topics like navigating tricky power dynamics with CEOs, surviving 'peer panic,' dealing with competition within leadership teams, and in its overall breadth and depth."
This book surveys theories of creativity, contrasting four competing explanations: expertise, genius, society, and chance, in offering a model for how creativity works. Simonton's work provides a nice hybrid between the purely anecdotal work of biographers and the data-driven work of experimental scientists.
That’s also why I like the dark disk because there’s a scientific story behind it. As far-fetched as it might sound, you could actually go and look for the experimental consequences, for the observational consequences to test whether it’s true.
Mind candy: Military SF by someone who must've spent a big chunk of time in the (US?) military. The novel is good on the inter-personal dynamics of the service and especially of the small ship.
Despite these advances, contemporary physical and evolutionary-history-based approaches produce predictions that are far short of experimental accuracy in the majority of cases in which a close homologue has not been solved experimentally and this has limited their utility for many biological applications.
Not only are the traditional staples of classic value investing (readily discernable quantitative measures of cheapness in the here-and-now) no longer likely to produce a sustainable edge on their own, but the world has gotten more complex, with many more dynamics that can drive a decoupling of near-term metrics from valuation, both to the positive and negative.
Fusion power is speculative and experimental. I think it is reckless to
assume that the fusion problem will be cracked, but I’m happy to estimate
how much power fusion could deliver, if the problem is cracked.
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com.
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.