Related posts
Xe Iaso GitHub
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
18 September
-
Their words
Moving a vaccine out of that category adds significant implementation barriers that will erode access to vaccines.
17 September
-
korrents.com
Terminal programs bias toward dark modes, and explicit colors are hostile to light modes and themes.Their words
Terminal programs bias to dark modes and explicit colors are hostile to light modes and themes.
16 September
15 September
14 September
10 September
8 September
5 September
4 September
-
korrents.com
A conspiracy theory can be used as a pretext to dismantle government programs and target researchers and citizens.Their words
Since 2025, MAGA ideologues have been using this alleged plot as an excuse to dismantle government programs, stifle research, intimidate American citizens, and even distort American foreign policy.
The Myth of the “Censorship Industrial Complex”anneapplebaum.substack.com
30 August
26 August
From one piece DHH: Future of Programming, AI, Agentic Engineering, Vibe Coding & Linux | Lex Fridman Podcast #501 2 beliefs, in the piece's order there
-
korrents.com
Vibe coding is not programming, and the line between them is whether you look at the implementation at all.Their words
And vibe coding, if we define it here, is you tell an agent to build software for you. You do not look at the implementation. That, to me, is what separates vibe coding from programming or, let's say, agent-accelerated development.
-
Their words
The other thing I'd say is that most organizations don't know what they want. They don't know how to make it better. They're not bottlenecked on implementation. They're bottlenecked on ideas. They're bottlenecked on vision. They're bottlenecked on taste. And if you don't have those element in excess of your implementational capacity, it doesn't help. So you can make a lot of shitty ideas come true, then what?
22 August
19 August
14 August
-
Their words
buuuut my roadmap is’nt ten times shorter. and I’m definitely not ten times better at deciding what is worth building. teams haven’t started casually shipping a year of product work every month. you can look around and and it’s hard to say what software has gotten meaningfully better in the last year.
11 August
-
Lovedrcmnd.app
Structure and Interpretation of Computer ProgramsTheir words
Structure and Interpretation of Computer Programs (SICP) by Gerald Jay Sussman and Hal Abelson. SICP is my all-time favourite programming book. It's also where I learned about the power of wishful thinking when coding. SICP uses wishful thinking as a design tool: write code as if the abstraction already existed. Pretend. Then, once the ideal abstraction has taken shape, you go ahead and implement those functions. This meta-level is what made SICP so valuable. Ultimately, it's a book that teaches how to think about code and problem solving. I'm tempted to even say that SICP is more a work of art than a pure coding book, but I won't go there. A beautiful book.
10 August
22 July
15 July
-
Their words
I do the research I do the plan I do the implementation I throw the docs out and the next time I need research I just do it from scratch because tokens are cheap and my time is expensive
10 July
7 July
-
Lovedrcmnd.app
Django MigrationsTheir words
My favorite implementation of this pattern remains Django’s Migrations
3 July
1 July
From one piece How Kent Beck shapes the software engineering industry 3 beliefs, in the piece's order there
-
Their words
You look under the underneath though at the code and it was just a horrible unmaintainable mess. But the fact that people could program the programs that they wanted was a a significant step forward as opposed to I'm going to write a thousandpage requirements document and then wait 8 years and not get what I want which was the alternative that we were offering at the at the time.
-
Their words
So a a big challenge in object-oriented programming is dividing the responsibilities because you're moving the computation to where the data is. Saying, "Well, this object does this and that object does that is a really critical decision because you want to you want the computation near to the data so that there's less coupling between them." which is a lesson that I I think uh kind of got lost in the noise. That's the fundamental design move in ob in designing object-oriented programs and I I think I stand behind that.
-
Their words
part of the goal of programs is to communicate intent to other human beings and now to models as well which which is a much more open-ended problem. We understand a lot more about how to communicate to other human beings whether we apply that understanding or not. We don't understand at all how to communicate effectively to models
30 June
-
korrents.com
Housing subsidies cannot scale to the size of the problem, and the YIMBYs are right to say so.Their words
While there are certainly some benefits to these programs, YIMBYs are right to doubt that housing subsidies alone are a scalable solution to affordability challenges.
Some Things YIMBYs Tend To Get Wrong (and Right)strongtowns.org
-
Their words
Which actually goes to show you that you there's not a correct huristic for science. You actually just need multiple independent research programs with their own huristics.
29 June
-
Their words
In truth, rather rapid electrification projects, without decade-by-decade continuity, exist outside the UK and are often quite reasonable in their costs, as in Denmark, Israel, and especially India.
15 June
-
Usesrcmnd.app
gemma-4-26b-a4bTheir words
I've so far been using gemma-4-26b-a4b LM Studio implementation as my default local model.
11 June
6 June
3 June
-
Their words
do not say AI because what we don't want to do is use a big umbrella to describe what you're doing. Let's get concrete details. These are computers. These are computer programs.
2 June
-
Their words
This isn't a Go60 limitations of course, every single keyboard on the market, that isn't Apple, will have the same limitations.
1 June
-
Their words
If AI-driven labor displacement ends up being large in magnitude and permanently drives down the demand for labor, it will likely be necessary to go beyond mere incentive programs to long-term income support for a significant fraction of the labor force.
25 May
21 May
13 May
From one piece TypeScript, C# and Turbo Pascal with Anders Hejlsberg 2 beliefs, in the piece's order there
-
Their words
That was always the idea, and that that goes back even to the predecessor of Turbo Pascal, this idea that it's not just a compiler. It's an experience, right? I mean, you don't just compile your programs. You also edit them. You also run them. You also debug them. You also have a runtime library. It all has to like fit together.
-
Their words
because if you were to force AI to write a type annotation on everything, then it would probably get it wrong more often because now it has to keep track of all these types and and it and it has to just repeat itself over and over and over, right? And so, types are important where there's no context.
4 May
3 May
1 May
16 April
7 April
-
korrents.com
Frontier AI models still cannot handle certain deep technical implementation details without human guidanceTheir words
This took some special care, in particular avoiding any C++ standard library I/O functionality. Current frontier AI cannot handle this detail on their own.
23 March
-
Their words
writing programs in this style makes it much easier to write correct and safe concurrent code
From error-handling to structured concurrencyblog.nelhage.com
4 March
-
Their words
once there is a good plan, it will one-shot the implementation almost every time.
1 March
-
Usesrcmnd.app
Claude CodeTheir words
With Claude, I've built a host of software like this. Mostly small tools for myself — programs that instantly append copy buffers to text files (I keep a running file of nice things people write to me called notapieceofshit.txt) or quickly perform live currency conversions.
21 February
9 February
-
Their words
Tariffs, and especially the erratic implementation of them, are teaching our allies and enemies alike that the US is no longer a reliable trading partner.
19 January
18 November 2025
-
korrents.com
You cannot learn to code by having a model write it: the mental models only come from writing programs by hand.Their words
The answer, I believe, is not too different from before: if you want to learn to code, you need to start by creating programs by hand.
5 October 2025
20 August 2025
10 June 2025
9 June 2025
8 June 2025
-
korrents.com
Most software has too few users or too short a lifespan for long-term maintenance costs to matter.Their words
Very few programs ever reach the point that they are heavily used and long-lived. Almost everything has few users, or is short-lived, or both.
28 May 2025
15 May 2025
-
korrents.com
A country cannot fund its own industrial strategy and call the same policy cheating when China does it.Their words
But you cannot support these programs while calling out China for “cheating” for doing the same.
8 April 2025
9 March 2025
7 March 2025
-
Their words
Vibe coding can execute instructions, but deciding what the software should do and why is not automated. Product managers and designers must still do user research, market analysis, and creative brainstorming. In that sense, vibe coding changes the implementation phase more than the planning phase of the product lifecycle.
6 March 2025
3 February 2025
-
Their words
To some extent, training a model does effectively nothing. They have a model. The thing that Dario is sort of speaking to is the implementation of that model, once trained to then create huge economic growth, huge increases in military capabilities, huge increases in productivity of people, betterment of lives.
30 December 2024
-
Likedrcmnd.app
Principles of the SPIN Model CheckerTheir words
This book gave me both insight and a deeper curiosity about the subject. This book introduces the SPIN model checker and exposes the reader to the nuances of verifying programs using SPIN. A nice feature of the book is how it explains concepts using thoughtfully developed, freely available tools (such as jSpin) that the author created for pedagogical purposes. It's a demanding book, but the content was interesting. The book presents details about concurrency, temporal logic, non-determinism, advanced SPIN topics, and even case studies. I've already written a few blog posts about the topics I explored while reading this book, and I plan to write more. Overall, it's a good book. I'm sure I'll revisit the latter half again.
12 December 2024
31 August 2024
From one piece Why A.I. Isn't Going to Make Art 2 beliefs, in the piece's order there
-
Their words
What I’m saying is that art requires making choices at every scale; the countless small-scale choices made during implementation are just as important to the final product as the few large-scale choices made during the conception.
-
Their words
The selling point of generative A.I. is that these programs generate vastly more than you put into them, and that is precisely what prevents them from being effective tools for artists.
15 August 2024
18 May 2024
22 April 2024
19 April 2024
22 March 2024
-
Their words
Well, not just at Area 51, but in all the different national security and military intelligence and intelligence programs. And I personally have no reason to believe that aliens have ever visited Earth. That’s just me personally.
6 February 2024
24 January 2024
1 October 2023
-
Their words
The truth is that moral hazard concerns very often are worse with government programs than with markets.
1 May 2023
-
Their words
Good tools let the user choose when to switch between implementation and evaluation. When I work with a chatbot, I'm forced to frequently switch between the two modes.
23 March 2023
28 February 2023
-
Their words
Our job is to write programs that run well on the hardware that we are given.
24 April 2021
21 November 2019
-
Mixed onrcmnd.app
Adobe CS4Their words
I occasionally use these Adobe CS4 programs: Dreamweaver, Photoshop, Acrobat, Illustrator, and Flash. I don't use any of them enough to justify a subscription to their latest cloud offerings.
5 November 2019
-
korrents.com
Both the special-purpose-programs view and the blank-slate view of human intelligence are likely incorrect.Their words
Today, it is increasingly apparent that both of these views of the nature of human intelligence - either a collection of special-purpose programs or a general-purpose Tabula Rasa - are likely incorrect
15 October 2019
-
korrents.com
Generators emit thousands of lines where ten would do, and that waste is why people think their phone is slow.Their words
These programs that generate a website, app, or file for you spit out thousands of lines of unnecessary junk when really only 10 lines are needed.
14 April 2019
9 April 2019
-
korrents.com
Each programming language embodies a distinct mental model for thinking about computation and writing programs.Their words
Each language contains a different mental model, a different perspective for thinking about computation and how to write programs.
20 October 2018
-
Their words
Did you know, the tests you write with react-testing-library look almost identical to the tests you write with vue-testing-library. Magic things happen when you don't test implementation details. :)
30 July 2018
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.