HackerTrans
TopNewTrendsCommentsPastAskShowJobs

jinwoo68

no profile record

Submissions

The Multiverse (1995)

youtube.com
1 points·by jinwoo68·9 mesi fa·1 comments

comments

jinwoo68
·2 mesi fa·discuss
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.
jinwoo68
·2 mesi fa·discuss
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.
jinwoo68
·2 mesi fa·discuss
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.
jinwoo68
·2 mesi fa·discuss
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.
jinwoo68
·2 mesi fa·discuss
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.
jinwoo68
·3 mesi fa·discuss
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.
jinwoo68
·5 mesi fa·discuss
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
jinwoo68
·5 mesi fa·discuss
Markdeep[1] also supports drawing diagrams from ASCII arts. It's pretty good.

[1] https://casual-effects.com/markdeep/
jinwoo68
·7 mesi fa·discuss
Folks, the article is from 3 years ago, 2022.
jinwoo68
·7 mesi fa·discuss
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.
jinwoo68
·7 mesi fa·discuss
"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.
jinwoo68
·8 mesi fa·discuss
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.
jinwoo68
·9 mesi fa·discuss
Interview with Dr. David Deutsch "Het Multiversum" from Noorderlicht. Published in 1995.
jinwoo68
·10 mesi fa·discuss
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.
jinwoo68
·10 mesi fa·discuss
Its version seems to be 0.100, not 0.1. And it was released last year: https://downloads.factorcode.org/releases/
jinwoo68
·anno scorso·discuss
No. Vterm works fine even in a terminal version of emacs.
jinwoo68
·anno scorso·discuss
IIRC even blaze didn't exist. The Chrome project existed before I joined Google (in 2007) but blaze came out after I joined Google.
jinwoo68
·anno scorso·discuss
To be fair, Bazel didn't exist when Chrome started.
jinwoo68
·anno scorso·discuss
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/
jinwoo68
·anno scorso·discuss
There's a Project Euler problem for finding truncatable prime numbers, from both left and right: https://projecteuler.net/problem=37