Viewing profile — jinwoo68

Do not get deceived by the average number. I'm pretty sure that most of the money of the total goes to a handful of people, and the small remaining amount will be shared by the res…

This brings up a philosophical question. Are we willing to hand over the role of "theory building" to LLM if that's even possible? If yes, what will be the role of human beings? It…

You should read it especially now when more and more code is written by LLM. The important thing is not the code itself but your mental model of the software you're building. Sadly…

Nope. If everything is totally automated, if ever, the gap between the rich and the poor will widen even more. Most people will live in misery while only a handful of people enjoy …

Many (most?) people make a living from their job whether they like it or not. Having a job that they dislike is far better than losing one because of AI whatever that means.

There are community-built editor supports. For example, - Emacs: https://github.com/leanprover-community/lean4-mode - Neovim: https://github.com/Julian/lean.nvim I'm using the Emac…

This reminds me again of _Programming as Theory Building_[1] by Peter Naur. With agents fast generating the code, we lose the time for building the theory in our heads. [1] https:/…

Markdeep[1] also supports drawing diagrams from ASCII arts. It's pretty good. [1] https://casual-effects.com/markdeep/

Folks, the article is from 3 years ago, 2022.

Shortening feedback loops was what Kent Beck and TDD advocates were emphasizing. Now TDD has been ruined by "experts", people are realizing the importance of fast feedback loops fr…

"Most companies are efficiency-obsessed." But what most of them do is not to be more efficient but to be shown to be more efficient. The main reason they are so obsessed with AI is…

That happens whether immutable or not. In the mutable world, you have to guard that using a mutex or something. In that case, operation 1 may be blocked by operation 2, and now you…

Interview with Dr. David Deutsch "Het Multiversum" from Noorderlicht. Published in 1995.

It's almost always npm packages. I know that's because npm is the most widely used package system and most motivating one for attackers. But still bad taste in my mouth.

Its version seems to be 0.100, not 0.1. And it was released last year: https://downloads.factorcode.org/releases/

No. Vterm works fine even in a terminal version of emacs.

IIRC even blaze didn't exist. The Chrome project existed before I joined Google (in 2007) but blaze came out after I joined Google.

To be fair, Bazel didn't exist when Chrome started.

Gleam[1] is influenced a lot by ML and is a very simple language. But it's not a "just for fun" language. I like it a lot. [1] https://gleam.run/

There's a Project Euler problem for finding truncatable prime numbers, from both left and right: https://projecteuler.net/problem=37

Curry is already at version 3.x. https://curry-lang.org/downloads/

I don't think the paper claims that it's the observable universe that rotates. Does it? It'd be awkward if only the observable universe rotates. Observable universe is not special.…

Universe is called universe because it is the only one. Everything that exists should be part of the universe. When we say the universe rotates, what does it mean? Rotate relative …

Ah, their office was in SF? I just thought their office was near 280 :)