HN user

_glass

626 karma

hacker and painter x.com/_glass

Posts13
Comments317
View on HN

I also don't like this focus on practical applications. It is true for me as an engineer, that in the end I want to build something. But when I force myself to focus only on the practical part, just as you said, the whole context is missing. There is this meme of a guy still living with his parents, and trying to acquire all knowledge. This is actually a dangerous mind virus. Learning is an idle activity, often confused with being a do no good. But for me at least this is the only way to really grok something. In university at the summer break, I could only really go through the math and enjoy it, without the stress of exams and cramming. And now it is the same, I learn things idly, and trust in the universe that the application will come, which it always does somehow.

For me that creativity is very well expressed by the principle of abduction. With induction, generalise towards rules, or deduction, use rules on data, we have this combination of patterns via different contexts. I think abduction might not be possible via LLMs.

It is a bit like in "Profession" by Isaac Asimov. We will still have the need for some people who will write code manually, fix the craft. We will need the "Feeble Minded" asylum that is actually a secret sanctuary for society's true creators. Because everyone else relies on generated code, they can only repeat what is already known. Only the people who learn the hard way through actual studying possess the creativity and intelligence required to invent new knowledge and create new educational tapes.

You could look at only two niche blockchains, QRL and ABEL, and they are both affected. Algorand is the most established L1 with a quite developed migration plan (https://algorand.co/technology/post-quantum) but also not really thriving. I think for Bitcoin in the longterm it is a massive risk psychologically, because what to do with all of the locked in value, that cannot be migrated. My guess is that the market panics and security breaks down, because it is not worth it anymore to run that many nodes. Best time to buy would be then and hope it recovers. It is actually a big chance to move just to another L1 which migrates. Those risks are all priced in.

I think it all depends on the shape of the problem. I love Prolog for its expressive power, sometimes. Complex simulation problems are really nice to model in OCaml or CLOS, and then again, maybe remodelling in Prolog brings some insights. And often writing a recursive function in Lisp is all you need to understand a complex system. It's all layers. An outer shell to prolog would be a theorem solver for example, because Prolog is a very rudimentary one.

When doing my Bachelor degree my dad gave me an old thinkpad to run on linux. It was a horrible experience for preparing powerpoints, papers, etc. But I still have that command line muscle memory and an eye to spot errors which really helped me in my career. In my final year I bought myself a macbook because I earned real money doing a consulting internship. But the unix muscle memory stayed, and I found working with IDEs so wasteful. In my first years at my job I rejected word and excel still to do everything in groff and awk.

Set up the machine yesterday. Everything runs just fine. Will use it mainly for academic writing, and light development work, only conceptual work, PoCs.

I worked with several multinationals, and the Germans always had very complex processes, but cannot at all confirm that they were the least digitised. The Americans were always behind in integrations (lots of file-based stuff), using outdated software, etc. I think the US has this problem that in Germany working for a bigger company is attracting talent, vs. the US where the talent goes to tech, while the rest is really far behind, i.e., Fortune500.

Talent 9 months ago

Yes, this is so true for me. Especially when I had this revenge arc, where I knew I could be good. Most of my strengths came later. Now people think that I am talented in that stuff, but there's always hard work behind it, and I was mostly the worst in class. But there was always a shining light in sight, where I knew I could, and that it is a good pathway.

I did my PhD while working, so it's not even that either or. And just to add to your point, it is really so rare to get that kind of mentoring, feedback than in a PhD program. It might depend on the program, but you finally have access to the brightest minds in your field and get to socialize with them.

I think it is a great insight that every ideology can be turned violent. I first heard this where Zizek cites the book has a story from: "During World War II, Zen Buddhism provided a strong foundation for Japanese militarism, including Imperial Japan's use of suicide warfare."[1] Where a Japanese soldier in WW2 wouldn't do the killing, but his sword (?) This is seen that all ideology can be turned violent.

[1] Brian Daizen Victoria, Zen at War (New York: Weatherhill, 1997).

Yes, and the project can be criticised by reducing until there's no value anymore. Well known instances of this process:

- Predicate Fronting in Free Relatives: In sentences like “What John saw was a surprise,” labeling the fronted predicate is not without problems, Merge doesn’t yield a clear head.

- Optional Verb Movement in Persian: Yes-no questions where verbs can optionally move (e.g., “Did you go?” vs. “You went?”) messes up feature-checking’s binary mode.

- Non-Matching Free Relatives with Pied-Piping: Structures like “In whichever city you live, you’ll find culture” mess up standard labeling, needs extra stipulations.

- Some Subjects in Finnish: Nominative vs. non-nominative subjects (e.g., “Minua kylmä” [me-ACC cold]) complicate that Minimalist case assignment.

I think it is important to realize, that we need to understand language on our own terms. The logic of LLMs is not unlike alien technology to us. That being said, the minimalist program of Chomsky lead to nowhere, because just like programming, it found edge case after edge case, reducing it further and further, until there was no program anymore that resembled a real theory. But it is wrong to assume that the big progress in linguistics is in vain, the same reason Prolog, Theorem provers, type theory, category theory is in vain, when we have LLMs that can produce everything in C++. We can use the technology of linguistics to ground our knowledge, and in some dark corner of the LLM it might already have integrated this. I think the original divide between the sciences and the humanities might be deeper and more fundamental than we think. We need linguistic as a discipline of the humanities, and maybe huge swaths of Computer Science is just that.