someacnt @ someacnt @sh.itjust.works

Posts

14

Comments

219

Joined

7 mo. ago

Somehow, thin clients sound like Mainframe 2, electric boogaloo

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?

I am not OP, but thanks a lot for a great educational post! Incredible how you can lose 95% of pixels from BMP and it still somewhat works.

TIL that Ubuntu release denotes the year and month. I thought it was just quirky versioning..

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

It's so sad to see that voice of reason is trampled over like this. To see how bad is running Linux on phones, just ask the grapheneos folks. Linux phones have looong way to go compared to AOSP.

True, but asking user about permission to home folder vs. granting permission by default is huge difference. Also doesn't flatpak also grant other permissions the app wants as well? Like the Mic permission.

While lots of this is problem of desktops in general, but:

• Linux applications can access your entire home folder, which likely contains most of your data. It can also access e.g. state of other applications, which can be bad.
• While flatpak somewhat mitigates the issues, it is half-baked: permissions are granted directly when you install the app, and user has to manually revoke the permission - Needing e.g. FlatSeal for this is insane as well. With Android/iOS, the user only grants permission when needed, which reduces lots of attack surfaces.
  • Doesn't too many apps want your home folder access by default? If you think about it, it is a huge security issue - you basically have to trust the app to keep your secrets intact.
  • Mic access can be very problematic, esp when it would be enabled by default if app requests it. Although I don't know to which extent this would be abused.

Pardon my ignorance, but why people keep trying Linux phones when you can develop on top of open source android version, like GrapheneOS? Linux desktop apps are not exactly secure.

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

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

You mean this?

https://www.stackage.org/