Hacker News: jinwoo68

Factor 0.102 Now Available

jinwoo68 — Wed, 14 Oct 2026 15:25:36 +0000

Article URL: https://re.factorcode.org/2026/10/factor-0-102-now-available.html

Comments URL: https://news.ycombinator.com/item?id=50089095

Points: 3

# Comments: 0

New comment by jinwoo68 in "Samsung chip workers will get an average $340k bonus as AI profits soar"

jinwoo68 — Fri, 22 May 2026 05:55:20 +0000

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 rest. Emphasizing the average amount is just their PR strategy.

New comment by jinwoo68 in "Read Programming as Theory Building"

jinwoo68 — Sat, 09 May 2026 20:14:13 +0000

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 may destroy many foundational assumptions that humans have had for thousands of years.

New comment by jinwoo68 in "Read Programming as Theory Building"

jinwoo68 — Sat, 09 May 2026 15:13:22 +0000

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 we seem to be moving away from it. We're accumulating more and more code that we don't understand or haven't even read.

New comment by jinwoo68 in "Teaching Claude Why"

jinwoo68 — Sat, 09 May 2026 15:03:07 +0000

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 all the automation.

New comment by jinwoo68 in "Teaching Claude Why"

jinwoo68 — Sat, 09 May 2026 01:35:27 +0000

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.

New comment by jinwoo68 in "A Perfectable Programming Language"

jinwoo68 — Mon, 13 Apr 2026 03:27:44 +0000

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 Emacs lean4-mode and it's pretty good.

New comment by jinwoo68 in "Cognitive Debt: When Velocity Exceeds Comprehension"

jinwoo68 — Sat, 28 Feb 2026 16:53:41 +0000

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://pages.cs.wisc.edu/~remzi/Naur.pdf

New comment by jinwoo68 in "Monosketch"

jinwoo68 — Sat, 14 Feb 2026 00:00:40 +0000

Markdeep[1] also supports drawing diagrams from ASCII arts. It's pretty good.

[1] https://casual-effects.com/markdeep/

New comment by jinwoo68 in "The Rise of SQL:the second programming language everyone needs to know"

jinwoo68 — Mon, 22 Dec 2025 22:16:46 +0000

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

New comment by jinwoo68 in "Slowness is a virtue"

jinwoo68 — Thu, 18 Dec 2025 16:27:57 +0000

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 from a different perspective.

New comment by jinwoo68 in "AI and the ironies of automation – Part 2"

jinwoo68 — Sun, 14 Dec 2025 16:25:07 +0000

"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 because they want to send the signal that they are pursuing to be more efficient, whether they succeed or not.

New comment by jinwoo68 in "We chose OCaml to write Stategraph"

jinwoo68 — Fri, 07 Nov 2025 15:59:56 +0000

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 get a "stale" state from operation 2. But that's okay. You'll get a new state next time. The real problem occurs when two states are mixed and corrupted.

New comment by jinwoo68 in "The Multiverse (1995)"

jinwoo68 — Sun, 26 Oct 2025 21:33:36 +0000

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

The Multiverse (1995)

jinwoo68 — Sun, 26 Oct 2025 21:33:36 +0000

Article URL: https://www.youtube.com/watch?v=SDZ454K_lBY

Comments URL: https://news.ycombinator.com/item?id=45715388

Points: 1

# Comments: 1

New comment by jinwoo68 in "A Postmark backdoor that’s downloading emails"

jinwoo68 — Sat, 27 Sep 2025 15:18:05 +0000

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.

New comment by jinwoo68 in "Easy Forth (2015)"

jinwoo68 — Mon, 22 Sep 2025 13:50:39 +0000

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

New comment by jinwoo68 in "Take Two: Eshell"

jinwoo68 — Sun, 06 Jul 2025 16:56:31 +0000

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

New comment by jinwoo68 in "Chromium Switching from Ninja to Siso"

jinwoo68 — Mon, 23 Jun 2025 16:29:40 +0000

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

New comment by jinwoo68 in "Chromium Switching from Ninja to Siso"

jinwoo68 — Sat, 21 Jun 2025 06:46:47 +0000

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