The moment I saw Subnautica 2 is being published by Krafton, I knew it will be dead on the crib. Average Korean game company behavior.

Sadly companies like this never go bankrupt, they are good at milking dry.

Most Korean companies are like that. Extremely shortsighted, zero capability at creating and managing new markets.

Shame, so many AI loving people are flocking to Gemini. Guess it is always Comfort >>> Privacy for commoners.

Thing is, they might achieve 99% accuracy given the speed of progress. Lots of brainpower is getting poured into LLMs. Honestly, it is soo scary. It could be replacing me…

It’s not that bad, the output isn’t random. Time to time, it can produce novel stuffs like new equations for engineering. Also, verification does not take that much effort. At least according to my colleagues, it is great. Also works well for coding well-known stuffs, as well!

Truth is bitter, and I hate it.

Wdym, I have seen researchers using it to aid their research significantly. You just need to verify some stuff it says.

But df/dx is a fraction, is a ratio between differential of f and standard differential of x. They both live in the tangent space TR, which is isomorphic to R.

What’s not fraction is \partial f / \partial x, but likely you already know that. This is akin to how you cannot divide two vectors.

I am slightly bothered by how the logo is quite off-center, is it intentional?

Is programming skills that important in days of LLM where companies are replacing juniors with AI?

deleted by creator

Let me introduce you to the Non-Euclidean surfaces to bend your concept of straight lines

What is pain with nice-looking graphics tho

I am sure there was a typo, it’s Gödel’s incompleteness theorem which proves that consistent systems are incomplete.

Consistency means likely what you expect: it’s that you cannot reach contradiction from very axioms.

The result is insane in my opinion, it means any sensible math system with basic arithmetic has a proposition that you cannot prove. AND you cannot also prove that the system is contradiction-free.

It is completionist’s worst nightmare.

But complex analysis is surprisingly tame, at least any differentiable functions are locally infinite polynomials. Real analysis, on the other hand… shudders

Yeah, the problem is with the one banking app I frequent.

Oh my, that sounds difficult. What does “permanently locked bootloader” mean? I was just going to buy at local phone shop…

EDIT: Turns out, local phone shop does not sell Google Pixel. Gotta buy from official google store…

I envy you, I wish for ability to write thousands of words with ease.

Me too with brain, I hate not being able to socialize.