-
korrents.com
Tokens are the new computing paradigm on which everything will be remade as computing enters a post-binary era.Their words
Tokens are the new computing paradigm. Everything will be re-made on top of it. We’ve had deterministic computers for 80 years, so we confuse “how computers have worked” with “how computers must work.” We’re entering the post-binary era.
Related posts
Russ Cox 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
19 September
18 September
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.
-
Their words
Targeting old 16-bit computers, the authors couldn't afford to build a sloppy, wasteful UI, and so by modern standards the game UI is remarkably fast and responsive.
A custom virtual machine for the Stars! 4X gamenullprogram.com
15 September
9 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
3 September
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
-
Their words
Don't try to anticipate anything. You will literally go crazy. Because even the smartest brains in the business cannot anticipate what two model hops from here is going to look like. It's an absolute waste of time, and you will develop an AI psychosis trying to deduce what two years from now is gonna look like. Focus on right now, and right now is the most incredible time to be into computers.
-
Their words
Linux conquered everything else. All the AI infrastructure that everyone runs off, it's all running on Linux. All the systems, all the servers, everything is Linux. So it was kind of a curiosity that the desktop and the personal computers we were using really hadn't been captured, but clearly it was just waiting for this moment. Linux spent the time from '91 to now waiting for agents to fully flourish as an end user operating system.
18 August
16 August
-
Readrcmnd.app
Mindstorms: Children, Computers, And Powerful IdeasTheir words
The only regret I have is not reading this book 5 years earlier. Also, not every single teacher on the planet did read this — what a shame.
-
Lovedrcmnd.app
CodeTheir words
Woah, what a ride! An excellent explanation of how computers work, starting from scratch. Really, from scratch.
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.
29 July
-
Their words
And up until now that like could only really happen if one of those people in that family that community or that school was like really really into computers. But now it's possible for everybody to have situated software.
15 July
14 July
-
Likedrcmnd.app
Framework LaptopTheir words
I did try Dell's laptops a few years back, didn't like what I saw, and ended up spending a few years using Framework computers instead (they're still great too).
13 July
12 July
From one piece The Network State 2 beliefs, in the piece's order there
-
Their words
Unfortunately, no, because politics is about people who disagree with you. If you’re working with computers, or robots, or pure math, you don’t have politics.
-
Their words
Another example is Bitcoin. It’s the Unix of money. You can send millions with a keystroke or rm your entire fortune. That’s more upside and more downside, by making people power users, and taking away the system administrator.
10 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.
11 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.
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.
27 May
-
korrents.com
Consciousness belongs only to simulations, not to the physical brains or computers running them.Their words
neither brains nor computers are conscious, as only simulations can be conscious.
13 May
-
Their words
there is nothing fundamentally inherent to the concept of a building full of computers that causes choking air pollution, water impacts and climate change.
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.
26 April
From one piece How to win when software is not a moat | Evan Spiegel (Snapchat CEO) 2 beliefs, in the piece's order there
-
korrents.com
The time is right for a new kind of computer, because people are already frustrated with what phones cost them.Their words
I think the time is right for a new a new type of computer. I think people are frustrated um, you know, with the cost of using phones and computers today.
-
korrents.com
Computers and phones isolate people from one another, and the point of the next computer is to reverse that.Their words
one of the things that I noticed about computers and I think today with mobile phones, uh is that in many ways they isolate us from one another, right? They actually take us out of our social interactions.
21 April
20 April
15 April
-
Their words
because our computers are designed to be operated by other people, anyone who's an operator could buy our systems. Most of these homebuilt systems you have to be your own operator because it was never designed to be flexible enough for other people to operate.
7 April
-
Their words
So you kind of got these two separate things that just for historically contingent reasons had both sort of matured around sort of let's say 1980 or so.
6 April
1 April
-
Their words
Focus on making great computers with great user experiences above all else, and you can trust that every other major goal will follow: profit, market share, expansion, impact, and benefit to the world.
29 March
-
Lovedaffiliate linkrcmnd.app
Apple Mac Mini M2 Pro 2023Their words
Because Apple Computers are the best machines ever made, change my mind.
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
-
Their words
You know, our computer price is going up, but our token generation effectiveness is going up so much faster that token cost is coming down. It's just coming down an order of magnitude every year.
13 March
-
Their words
Um DRAM gets released goes to AI chips who are willing to do longer term contracts, willing to pay higher margins, etc., etc. because at the end of the day, the margin that they extract is much larger from the end user or whatever. Um, and so this this this probably leads to like people hating AI even more, right?
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
12 February
-
Their words
I think the main beauty is, is that models are really good at calling Unix commands. So if you just add another CLI, that's just another Unix command in the end. And MCP is… That has to be added in training. That's not a very natural thing for the model. It requires a very specific syntax. And the biggest thing, it's not composable.
6 February
19 January
5 January
-
korrents.com
Human-interface design principles from decades ago remain valid because human cognition hasn't changed.Their words
But the principles-as long as they are good principles-still apply, because they are based on how humans work, not how computers work.
25 November 2025
-
Their words
Like it would be different for sure but like is the belief that if you just 100x the scale everything would be transformed. I don't think that's true. So it's back to the age of research again just with big computers.
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 November 2025
-
Lovedrcmnd.app
Science Comics Computers: How Digital Hardware WorksTheir words
In Science Comics Computers: How Digital Hardware Works, legendary cypherpunk Perry Metzger teams up with Penelope Spector and illustrator Jerel Dye for a tour-de-force young adult comic book that uses hilarious steampunk dinosaurs to demystify the most foundational building-blocks of computers. It's astounding
22 October 2025
-
Their words
Agreement is often quiet. It's the likes, it's the shares, it's the nods as people read along at their computers that you never hear about.
1 September 2025
-
korrents.com
Tablets will not replace desktop computers for complex, resource-intensive professional work.Their words
So while iPadOS has obviously gotten more capable, I don't see it displacing the Mac desktop as the place where the heavy lifting gets done.
20 August 2025
23 July 2025
-
Their words
I think we've proven, and the AI community in general that classical systems, Turing machines can go a lot further than we previously thought. They can do things like model the structures of proteins and play go to better than world champion level. And a lot of people would've thought maybe 10, 20 years ago that was decades away, or maybe you would need some sort of quantum machines to quantum systems to be able to do things like protein folding. And so I think we haven't really even sort of scratched the surface yet of what classical systems so-called could do.
10 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.
2 June 2025
24 May 2025
-
Recommendsaffiliate linkrcmnd.app
The Art of Unix ProgrammingTheir words
The Art of Unix Programming - Eric S. Raymond (Addison-Wesley, 2003)
-
Recommendsrcmnd.app
UNIX: A History and a MemoirTheir words
UNIX: A History and a Memoir - Brian W Kernighan (independent, 2019)
-
Recommendsaffiliate linkrcmnd.app
The Design of the Unix Operating SystemTheir words
The Design of the Unix Operating System - Maurice J. Bach (Prentice Hall, 1986)
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
26 March 2025
-
korrents.com
Applying the old Fourth Amendment rules unchanged to digital evidence would gut its protection over time.Their words
Because of the way computers happen to work, sticking with the old rules would mean gutting Fourth Amendment protection over time.
6 March 2025
15 January 2025
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
28 October 2024
31 August 2024
-
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.
19 August 2024
-
Lovedrcmnd.app
Computer Lib/Dream MachinesTheir words
Computer Lib -- one of the greatest books about the possibilities of computers ever written.
21 July 2024
18 May 2024
22 April 2024
-
Their words
I think this is one of the biggest things that physics can help with, and it’s an obvious kind of low-hanging fruit situation where the heat generation, the inefficiency, the waste of existing high-level computers is nowhere near the efficiency of our brains. It’s hilariously worse, and we haven’t tried to optimize that hard on that frontier.
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.
29 February 2024
-
korrents.com
Accessibility has failed as a way to make computers usable for disabled users, after thirty years of trying.Their words
Accessibility has failed as a way to make computers usable for disabled users. My metrics for usable design are the same whether the user is disabled or not: whether it’s easy to learn the system, whether productivity is high when performing tasks, and whether the design is pleasant — even enjoyable — to use.
6 February 2024
From one piece Encyclopaedia Automatica 2 beliefs, in the piece's order there
-
korrents.com
AI-generated writing is already fairly good but still lacks the direction and insight of human editors.Their words
As of today, computers write pretty good articles but lack the direction and insight of human editors.
-
korrents.com
AI should be approached as a collaboration between humans and computers, not a forced choice between them.Their words
We need to find ways to work with this new tech to get the best of humans and the best of computers, together, rather than thinking in terms of one or the other.
24 January 2024
9 November 2023
1 October 2023
-
Their words
The truth is that moral hazard concerns very often are worse with government programs than with markets.
28 September 2023
-
Their words
But they're fundamentally like you're sitting, you're still. I mean, people are just not meant to be that way. I mean, I think you and I have this shared passion for sports and martial arts and doing stuff like that. We're just moving around. It's so much of what makes us people is like, you move around. You're not just like a brain and a tank. It's where the human experience is a physical one.
29 June 2023
From one piece George Hotz: Tiny Corp, Twitter, AI Safety, Self-Driving, GPT, AGI & God | Lex Fridman Podcast #387 2 beliefs, in the piece's order there
-
korrents.com
Automating programming is harder than automating driving, because programming is tool complete and driving is not.Their words
I think driving is not tool complete and programming is. Meaning you don’t use the best possible tools to drive. Cars have basically the same interface for the last 50 years. Computers have a radically different interface.
-
korrents.com
Social and advertising businesses come and go; a technology company that wants to endure has to build hardware.Their words
The two companies that have endured through technology are Apple and Microsoft. And what do they make? Computers and business services, right. All the meme, social ads, they all come and go. But you want to endure, build hardware.
6 June 2023
-
Their words
My view is that the idea that AI will decide to literally kill humanity is a profound category error. AI is not a living being that has been primed by billions of years of evolution to participate in the battle for the survival of the fittest, as animals are, and as we are. It is math – code – computers, built by people, owned by people, used by people, controlled by people.
23 March 2023
28 February 2023
-
Their words
Our job is to write programs that run well on the hardware that we are given.
6 April 2022
-
Their words
computers are fast enough that high-traffic apps can be served with simple architectures, which can generally be created more cheaply and easily than complex architectures
25 November 2021
7 June 2021
-
Usestheir ownrcmnd.app
TailscaleTheir words
All the sockets between my computers are over Tailscale, so whenever I grab the laptop and leave the house, the connections to my VMs and NAS remain stable.
22 November 2020
29 September 2020
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.
4 October 2019
-
Usesrcmnd.app
Latitude 7490Their words
I use various Dell computers, including right now as I currently type this on a Latitude 7490.
20 June 2019
-
Likedrcmnd.app
iTerm2Their words
On my laptop and desktop computers, I just have a Chrome web browser and terminal window open most of the time (I like iTerm2 for macOS).
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.
8 April 2019
-
Mixed onrcmnd.app
Digital ApolloTheir words
I honestly don't recall that much from this book. I read it fairly early on in my Apollo exploration. I'd recommend Eyles' Sunburst and Luminary, above, as a better starting point if you're interested in the computers that flew Apollo.
30 July 2018
2 January 2018
-
Their words
It reflects the reality that, for the concurrent programming future, pervasive, unmoderated mutation simply has to go.
14 February 2017
-
Usesrcmnd.app
DropboxTheir words
I use Dropbox to (attempt to) sync things among my several computers.
25 November 2016
-
Recommendsrcmnd.app
The Unix Programming EnvironmentTheir words
The Unix Programming Environment is a book you can't read too soon. It's something I wish I'd come across years before I actually did. An authoritative and comprehensive manual for using Unix as a programmer, it clearly explains concepts such as inodes, hard and soft links, system calls, and the power of joining programs together via stdin and stdout. By the time I came across this book I already knew these concepts, but had never studied them before in one place, and in such a coherent manner.
3 July 2016
9 June 2016
-
Usesrcmnd.app
VimTheir words
I don't use IDEs. I write programs with vim and use both gcc and clang as my main compilers.
31 May 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.