jinwoo68

5 ms·

1.
by jinwoo68 4mo ago
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 stra
2.
by jinwoo68 4mo ago
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 th
3.
by jinwoo68 4mo ago
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 accumula
4.
by jinwoo68 4mo ago
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.
5.
by jinwoo68 4mo ago
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.
6.
by jinwoo68 5mo ago
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-mod
7.
by jinwoo68 7mo ago
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
8.
by jinwoo68 7mo ago
Markdeep[1] also supports drawing diagrams from ASCII arts. It's pretty good. [1] https://casual-effects.com/markdeep/
9.
by jinwoo68 9mo ago
Folks, the article is from 3 years ago, 2022.
10.
by jinwoo68 9mo ago
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.
11.
by jinwoo68 9mo ago
"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
12.
by jinwoo68 10mo ago
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&#x
13.
The Multiverse (1995)(youtube.com)
1 points by jinwoo68 11mo ago|1 comments
14.
by jinwoo68 11mo ago
Interview with Dr. David Deutsch "Het Multiversum" from Noorderlicht. Published in 1995.
15.
by jinwoo68 1y ago
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.
16.
by jinwoo68 1y ago
Its version seems to be 0.100, not 0.1. And it was released last year: https://downloads.factorcode.org/releases/
17.
by jinwoo68 1y ago
No. Vterm works fine even in a terminal version of emacs.
18.
by jinwoo68 1y ago
IIRC even blaze didn't exist. The Chrome project existed before I joined Google (in 2007) but blaze came out after I joined Google.
19.
by jinwoo68 1y ago
To be fair, Bazel didn't exist when Chrome started.
20.
by jinwoo68 1y ago
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/
21.
by jinwoo68 1y ago
There's a Project Euler problem for finding truncatable prime numbers, from both left and right: https://projecteuler.net/problem=37
22.
by jinwoo68 1y ago
Curry is already at version 3.x. https://curry-lang.org/downloads/
23.
by jinwoo68 1y ago
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. It's observable just because it is &quo
24.
by jinwoo68 1y ago
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 to what? Does it mean that there's a larger "unive
25.
by jinwoo68 1y ago
Ah, their office was in SF? I just thought their office was near 280 :)
26.
by jinwoo68 1y ago
Obviously I misremembered. I just visited the site linked above. The company was "280 North"
27.
by jinwoo68 1y ago
Yeah. The language is called Objective-J while Cappuccino is the framework. Objective-C : Cocoa = Objective-J : Cappuccino. I remember that the company behind it was called "280 South". They seem to have opensourced it before they
28.
by jinwoo68 1y ago
I think so. Seems also toxic to bacteria!
29.
by jinwoo68 2y ago
I think C# borrowed this feature from functional languages like Haskell or OCaml.
30.
by jinwoo68 2y ago
Probably because they are focusing on "artificial intelligence destroying humanity", as the article says? Many data scientists work on AI nowadays.

More ›