It looks like a parody of LLM delusion, but the PR is oddly specific to be just trolling, and the author also submitted his work to HN: https://news.ycombinator.com/item?id=45982416
I am doing backend in Kotlin, but I must admit that Java has been catching up quickly, and it seems like Kotlin has been shifting its focus to Kotlin Multiplatform. Modern Java is a good, pleasant language and a safer bet.
Gradle with Kotlin DSL is nice, what's annoying is Gradle's constant API reshuffling for the sake of it that breaks plugins. Some plugins also introduce pointless breaking changes just to have a fancier DSL.
The IDE support is not an issue in practice, in my opinion, because IDEA is the best IDE for both Java and Kotlin. The official Kotlin LSP was released 6 months ago, but I haven't tried it.
A vector is always a vector -- an element of something that satisfies the axioms of a vector space. The author starts with the example of R^n, which is a very particular vector space that is finite-dimensional and comes with a "canonical" basis (0,...,1,...,0). In general, a basis will always exist for any vector space (using the axiom of choice), but there is no need to fix it, unless you do some calculations. The analogy with R^n is the only reason the "indices" are mentioned, and I think this only creates more confusion.
> and they aren’t irrational (i.e. they have a finite precision)
No, if you want only rational "indices", then your vector space has a countable basis. Interesting vector spaces in analysis are uncountably infinite dimensional. (And for this reason the usual notion of a basis is not very useful in this context.)
I had a similar experience. When I bought a device with faulty electronic components on Amazon, I wrote a negative review, and almost immediately I was notified that it had been flagged and removed for violating the "community guidelines". Apparently, a seller can do that. My review was a polite explanation of the issues, obviously not violating anything and not accusing the seller of anything, but now I'm sure they had refurbished units or a batch that was known to be faulty.
One factual thing that looks off is "the UK is imprisoning thousands for their tweets". I'm not in the UK and not following closely the situation there, but "thousands", really? Genuine doubt, would love to see some evidence.
Otherwise, the "doomer manifest" is OK, but the comically inflated ego of Durov is annoying, him thinking that such banal and commonplace sentiments are worth pushing as an alert message to all users, wrapping everything into announcing his birthday (that he doesn't want to celebrate, oh no).
> humans decided they were "prime", i.e. most important, based on arbitrary considerations
No, not arbitrary considerations.
The term goes back at least to Euclid who investigated factorization of integers in his "Elements". He used the greek word "protos" that was later translated to Latin as "primus". It doesn't mean "most important", rather "first".
The idea is that primes are the "multiplicative building blocks" for other numbers, the "origin" or "first principles", because every integer factors into primes. When a mathematical object can be decomposed in some way, it is very natural to study the irreducible blocks, because many questions boil down to them.
Most likely from Common Lisp due to links between R and Lisp. In CL double colon lets you access unexported symbols from a package, while single colon accesses only the exported ones
> you still need a higher % of trustworthiness than LLMs can provide for parts of the business and data layers
For many domain-heavy systems, it's not even the trustworthiness; just getting the business logic right requires a lot of work and lots of iterations with in-house domain experts and clients, there's no way LLMs can do that.
