Related posts
Kent Beck Newsletter
The the words it uses that this site has seen least often elsewhere. Posts are matched on those words alone — nothing here is a summary of this one.
Top people
Showing Profile →
Hiding
Hiding
20 September
18 September
16 September
9 September
-
Their words
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.
7 September
-
Their words
The methods we choose to use to compose the work determine the final work as much as any decision by a painter or musician.
2 September
-
Their words
The deeper lesson is that education has to be research-based and proven to work measurably, not just based on positive emotions or customer satisfaction.
1 September
-
Their words
But keep those methods you use to investigate things and monitor things very separate from the methods you use to generate reward which is something that AI companies including open AAI have held up as a principle especially in the case of avoiding putting training pressure on the chain of thought. So you might have monitors that read the agents chain of thought in order to alert you if something is going wrong somewhere but you don't train the agents with the outputs of that monitor.
19 August
29 July
From one piece Formal methods with Hillel Wayne 5 beliefs, in the piece's order there
-
Their words
I think it is making it more popular. I don't know if it'll make it go mainstream, but it's definitely making it a lot more popular. It's bringing it from maybe like 0.1% to 0.3% which is huge.
-
Their words
I love formal methods, but I think it's a fairly niche tool for most people and I think like property-based testing is in general going to be useful for more people.
-
Their words
I think the case of TLA+ and most, not all, but most formal methods, they shine the most in highly computational domains, where most of the problems are highly technical and not like business embedded.
+ 2 more
-
Their words
when you start talking about like most interesting domain problems, you have to pull in so much context that basically even writing what the function is supposed to do becomes a nightmare. The imperative program you write that will get correct 99% of the time is probably good enough to use in almost all cases.
-
Their words
I think a lot of the reason people are skeptical of these is because they've been burned by things like case and UML and all these other miracle solutions that were forced on them by people who wanted them to use it no matter what.
2 July
30 June
-
Their words
a more relevant metric in the long term is the cost, not the efficiency, of food production methods at sustainable levels of energetic and material throughput.
18 June
-
Their words
and then the power and the cost and then you can double the performance but you cannot double down on the cost and and area. So those are the thing you have to give give way unless you find some new way of material new way of design.
2 June
-
Their words
I truly believe that following this kind of approach to AI in the classroom would, in the aggregate, produce better learning outcomes than the research and writing workflows available to students pre-AI.
27 May
From one piece Why I'm Skeptical About Efforts to Revolutionize Schooling 2 beliefs, in the piece's order there
-
korrents.com
Whenever two teaching methods are rigorously compared, strong direct instruction plus practice wins.Their words
In short, whenever we have high-quality evidence that rigorously compares two teaching methods, the research invariably favors strong, direct instruction plus practice
-
Their words
General problem solving abilities are neither learned nor taught. While some problem-solving methods have broader applicability than others (such as the scientific process of hypothesis testing), students learn these methods better when they’re explicitly taught rather than simply giving students projects and hoping they’ll reinvent them on their own.
11 May
-
Their words
I think it's one of the most important warnings in contemplative practice, a warning sticker that should go on every single meditation book.
22 April
-
Their words
But a proof can reason about potentially infinite state spaces. So, it can tell you things about like every possible thing that could possibly happen in the entire universe.
23 March
-
Their words
I don't love the other methods, which is continuous improvement. The problem with continuous improvement, it… First of all, you should engineer something from first principles at the speed, you know, with speed of light thinking. Limit it only by physical limits, and physics limits. And after that, of course you would improve it over time.
20 March
-
Their words
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.
12 February
-
Their words
Second, technologies and market structure are contextual, where the US can't simply emulate China's manufacturing.
6 February
-
Their words
I've realized that performance engineering as we know it may not be enough - I'm thinking of new engineering methods so that we can find bigger optimizations than we have before, and find them faster.
27 January
13 October 2025
-
Their words
Over the past few decades, journal editors and peer-reviewers have increasingly insisted that papers must present large datasets that have been treated using complex statistical methods in order to make even the mildest claims about what caused what.
28 September 2025
-
korrents.com
Who is in a school predicts its results better than anything about its teaching, its teachers or its methods.Their words
Once again, the composition of the student body is always more powerful a predictor than any identifiable pedagogical, school, or teacher variable.
There Are No Miracles in Educationfreddiedeboer.substack.com
26 September 2025
-
Their words
We don't have any methods that are good at that. What we have are people um try different things and they they settle on something that that uh a representation that that transfers well or they generalize as well. But we have no we don't have any automated techniques to promote. we have very few automated techniques to promote transfer and they're not none of them are used in in modern deep learning.
11 September 2025
30 August 2025
-
Their words
However, the methods used to produce these estimates are debatable, and seem to have been chosen to give the maximum possible value for data center water consumption.
I Was Wrong About Data Center Water Consumptionconstruction-physics.com
2 August 2025
-
Their words
Yet the production methods still can’t make them below $10 per gram, so they’re still not cheap enough for some “obvious” applications like preventing kids getting malaria in a rainy season.
AI will not suddenly lead to an Alzheimer's cureblog.jacobtrefethen.com
22 June 2025
-
korrents.com
LLM-based evaluation methods are more reliable and nuanced than traditional automated metricsTheir words
This is why model-based evaluation is increasingly popular-it offers more reliable and nuanced evals than traditional metrics.
5 March 2025
2 July 2024
-
Their words
Over the last 50 years, treatment methods have proliferated despite a lack of evidence of differential effectiveness between approaches. And even when a randomized controlled trial indicates a particular approach works, none show practitioners become more effective when they are trained in that modality.
26 December 2023
-
Recommendsrcmnd.app
Neural Network Methods for Natural Language ProcessingTheir words
I also read a ton of technical books last year, but the most impactful one for me was Neural Network Methods for Natural Language processing by Yoav Goldberg
5 December 2023
-
Their words
Full fine-tuning of LLMs has become prohibitive and requires parameter-efficient methods instead.
20 November 2023
-
Usesrcmnd.app
EvernoteTheir words
If you look at the sheer number of different methods for getting content into Evernote, it becomes clear how difficult it will be to replicate this functionality.
30 October 2023
7 September 2023
15 March 2023
8 February 2022
-
Their words
But I do want to stress that each of these five approaches are all just trade-offs, and none of them are universally wrong.
27 October 2021
15 July 2021
-
Their words
Despite recent progress10-14, existing methods fall far short of atomic accuracy, especially when no homologous structure is available.
28 October 2020
-
Likedaffiliate linkrcmnd.app
AlchemyTheir words
Rory Sutherland was part of one of the most legendary ad agencies in the world (Ogilvy) and shared the truth of what he has seen work best in advertising. The truth is that most of it is totally unexpected and counterintuitive. It was always the craziest, boldest, most unique things that outperformed the "tried and true" methods. This book will help your marketing get out of the incremental rut and on track with bolder ideas.
-
Recommendsaffiliate linkrcmnd.app
Tested Advertising MethodsTheir words
If you want to learn the art and science of copywriting, then this is the book for you. An expert copywriter for decades, Caples breaks down in detail what makes a great ad versus a failing one. It's loaded with examples and the kind of insights only a veteran can provide. You do need to provide a little imagination as he focuses on mail in based advertising in magazines, which isn't common today. But really, how different is that from downloading free whitepapers today?
3 September 2020
-
Lovedrcmnd.app
Salt, Fat, Acid, HeatTheir words
Such an incredible book on becoming a better chef, with little tricks and methods I use almost every day now. Plus the recipes in the back are delicious!
15 August 2020
23 July 2019
-
Their words
If the people can decide, even if they come up with the same, identical solution as the expert people or machines, they will trust them, implement them, and abide with them.
19 July 2019
18 May 2018
-
Lovedrcmnd.app
The Methods of EthicsTheir words
Parfit himself said that The Methods of Ethics contains more true statements about ethics than any other work: it builds on the work of other great scholars, but it contains more truth than other works. I do think it is a wonderful work, and if it is not the best book written on ethics, I'd like to know what is.
30 August 2016
Nothing matches.
What is a korrent?
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.