10,440 karma · joined June 6, 2020
And my 5 hour window was due to be reset in 2 hours (barely used), now its in 5 hours - so this reset effectively gives me 1 less 5 hour reset for this weekly cycle.
I've been using arch for over 10 years btw.
I think nowadays using quickshell anyone who is so inclined can vibecode their own UI though. I recently made the switch to Wayland/hyprland and rebuilt my polybar on quickshell, even adding widgets that allow getting system info/fine grained system control (interactive Bluetooth, WiFi, Volume, Brightness etc).
And in your list you forgot taking a lecture in category theory.
For the Original title, I wish they added the qualifier "generative" for AI. You may well use e.g. embeddings to semantically search through your notes, and there are only gains in that.
Having an AI write notes for you is however of course completely pointless. The act of writing notes is 80% of the reward.
It is not a coincidence that here in Germany there are whole law firms specialized in suing small business owners (Abmahnkanzleien.)
I think for a lot of people the tradeoff might not be worth it.
Take note of the qualifier entirely. If you're working with an agent steering it to produce the results you want, it would be an entirely different story.
And the regions involved in the default mode network are actually some of the metabolically most active regions in the brain, involved in memory consolidation, future simulation, theory of mind, and self-narrative; among other things.
I find this kind of endearing, how he almost makes it sounds like "If even I can do it, you can too!", disregarding he's probably the most prolific mathematician currently alive.
Some years ago I suggested it might be interesting to have a kind of blockchain of formally verifiable mathematical proofs, but was quickly shutdown by people telling me it was a useless endeavor due to Goedels incompleteness theorems.
I think the larger issue of computationally creating a library of math proofs is still that one might come up with an infinite amount of useless theorems that are trivial to prove, but I suppose this registry is manually vetted. Theres a strong inductive bias in maths in that humans still decide what axiomatic systems, theorems, definitions etc are interesting to us.
But I think the method of proving things will soon go out style as an endeavor to devote perhaps years of your life to.
Overall I have made very good experiences with long hardware warranties. Soldered RAM on my ThinkPad died once and I got an entire new mainboard after almost 3 years (it died 2 months before warranty expired.) New one still works today but the hardware is just too old.
About 150 years ago, Nietzsche wrote
> God is dead. God remains dead. And we have killed him. How shall we comfort ourselves, the murderers of all murderers?
about the secularization of society. Perhaps something similar is happening to knowledge work now, but I think it was never a great idea to derive all your life's meaning from it anyway.
This is not entirely accurate. Sure, there's never a token with 100% certainty, but there are often tokens with 99.9% probability, but this technique of course does not change how such a token is sampled.