Related posts
Mitchell Hashimoto GitHub
zig-objc — Objective-C runtime bindings for Zig (Zig calling ObjC).
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
17 September
12 September
-
Their words
The days of language or runtime choice based on human convenience are over.
10 September
8 September
-
Their words
anthropic should acquire a runtime / team that's hyper focused on performance and optimising for common real world usecases
3 September
1 September
-
Their words
In this case, however, the agents did not copy their weights, attempt to procure replacement compute, or take other steps that would be rational to take if their objective was to survive shutdown. So while the agents in the OpenAI-Hugging Face Incident were rogue, they were not truly sovereign.
29 August
-
Their words
But there is a downside to being very precise about a prescription: the prescription can start to sound more important than the objective it was designed to serve.
28 August
23 August
17 August
-
Their words
The greater the confidence in a clear view of the battlespace, the greater the reliance on military strategies that could benefit from that clarity, even though they might not be the best ones to meet political objectives.
10 August
31 July
-
korrents.com
By every objective metric Stripe can see, there has never been a better time to start a business.Their words
Uh, business are uh, the time to revenue for new companies incorporated with Atlas is declining. And so, by all the kind of objective metrics we can look at, uh, it seems to be a better time than ever to start a business.
22 July
22 June
-
Their words
It's a cold mode. Most readers recoil at it. Characters are our windows into a story, and third-person objective narrators are opaque windows.
4 June
3 June
-
Their words
I think the number one success criteria was docker so remember there was mos and msosphere and they had their own runtime corp had come out with nomad and they had their own runtime but the biggest runtime that had already got global consensus was docker
13 May
From one piece TypeScript, C# and Turbo Pascal with Anders Hejlsberg 2 beliefs, in the piece's order there
-
Their words
So that's unfortunate, and that's why some environments like Go, for example, has has Go routines and green threads, which are really language emulated lightweight threads that kind of do what I'm talking about, but but at a much lower cost. But you avoid the function coloring. So there is a bunch of different things, but but you know, but for an environment that already exists like JavaScript or like C# and and the Windows event loop and and whatever, this this was the right solution.
-
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.
2 May
25 April
-
korrents.com
How easily an AI agent navigates a UI is objective evidence of how well- or poorly-designed that UI is.Their words
the AI breezes through the GitHub UI, but struggles through the Azure portal - objective evidence of how awful it is.
22 April
20 March
-
Their words
So, you you can't look at any given scientific achievement purely in isolation and give it an objective grade without being aware of the context both in the the past and the future. And so it it it may never be something that you can just reinforcement learn the same way that that you can for much sort of more localized problems.
26 January
6 January
3 January
9 December 2025
-
Their words
do not define an objective which is designed to serve human beings without considering psychological factors because you might be able to solve your problem very very cheaply and efficiently by changing the psychology not by changing the technology
19 February 2025
-
korrents.com
Whether to go to college should be decided on objective evidence about your own ability, starting with a test score.Their words
What should you do instead? First and foremost: Get objective evidence on your own intelligence.
7 February 2025
3 February 2025
-
Their words
It's an objective fact that the world has been the most peaceful it's ever been when there are global hegemons, or regional hegemons in historical context. The Mediterranean was the most peaceful ever when the Romans were there.
31 December 2024
16 June 2024
25 April 2024
11 March 2024
31 January 2024
-
korrents.com
There is no objective level of wealth: how rich you are is always a judgement made against someone else.Their words
There is no such thing as an objective level of wealth. Everything is relative to someone else.
9 November 2023
-
Their words
I think it would be wise for us to have at least an objective third party who can be like a referee that can go in and understand what the various leading players are doing with AI, and even if there’s no enforcement ability, they can at least voice concerns publicly.
10 September 2023
-
Recommendsrcmnd.app
Objective KnowledgeTheir words
The first thing I would do is start meditating, and then I would read, concurrently I would read Objective Knowledge by Karl Popper.
1 September 2023
-
Their words
So we keep coming back to this answer of nature wants to increase information, but decrease entropy. So find order, but constantly increase the information scale.
19 August 2023
-
korrents.com
Color as perceived is not an objective property of objects, but a construct generated by the perceiving brain.Their words
Redness is not "objective" in the sense of being "in the object", it only exists in the models generated by the sort of brains which are hooked up to eyes.
27 June 2023
-
Their words
As I’ve argued before, the so-called “objective standard” can be very difficult to administer in this big diverse messy country where we often don’t share a common sense of reality and there is no uniform “reasonable person.”
8 May 2023
7 November 2022
4 March 2022
-
korrents.com
The next-token language modeling objective is misaligned with following user instructions helpfully and safely.Their words
This is because the language modeling objective used for many recent large LMs-predicting the next token on a webpage from the internet-is different from the objective "follow the user's instructions helpfully and safely" (Radford et al.,, 2019; Brown et al.,, 2020; Fedus et al.,, 2021; Rae et al.,, 2021; Thoppilan et al.,, 2022). Thus, we say that the language modeling objective is misaligned.
20 October 2020
15 May 2020
2 June 2018
-
Likedrcmnd.app
Thinking in BetsTheir words
Amazing point: Would your belief in something stand up to the question, “Wanna bet?” If you had to gamble significant money on that belief, would you still feel 100% about it? Or maybe more honestly 60%? This creates healthy skepticism encouraging you to seek the best information instead of just defending your belief. Now objective accuracy wins instead of argument. Combine with “The Biggest Bl…
2 January 2018
-
korrents.com
Locking is too hard for programmers to get right over and over again, so the language runtime should do that part.Their words
Locking is too hard to get right over and over again
23 March 2016
22 December 2014
-
korrents.com
Stochastic optimization can be done well using only adaptive estimates of the gradient's lower-order moments.Their words
We introduce Adam, an algorithm for first-order gradient-based optimization of stochastic objective functions, based on adaptive estimates of lower-order moments.
-
korrents.com
Stochastic optimization can be done well using only adaptive estimates of the gradient's lower-order moments.Their words
We introduce Adam, an algorithm for first-order gradient-based optimization of stochastic objective functions, based on adaptive estimates of lower-order moments.
25 February 2013
25 January 2012
-
Usesrcmnd.app
ConkerorTheir words
There are still a few things that aren't feasible to be implemented in Emacs Lisp yet, but Conkeror lets me maintain the runtime-modifiable paradigm in the browser.
-
Lovedrcmnd.app
GNU EmacsTheir words
I do as much as I can in GNU Emacs since it pains me to use monolithic software that can't be modified at runtime. Emacs is the closest you can get on a modern OS (except maybe for Smalltalk) to the dream of the fully-dynamic Lisp Machines of the 80s - you can alter nearly any aspect at runtime without recompiling or even restarting.
11 October 2011
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.