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.
Does that mean I can wear green?
Congrats! It is brutal, isn’t it?
And I thought the year of linux desktop was coming…
While this would not answer your question, but according to podman maintainers, rootful podman with userns=auto enjoys nearly as much security benefits as rootless. (As always, there are nuances to this)
Check out https://github.com/containers/podman/discussions/13728
Maybe you could consider running rootful podman, especially if the OS is immutable.
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…