cipherGarden
238 posts
good news: it is a specific virus that has a good prognosis - 85%+ of full recovery.
thanks everyone who helped me; it is hard to research while immobilized, and I got some things wrong, which you helped clear up. im extremely thankful and hope i can give it back somehow
sadly, the medical system is broken, so, understanding your own issue and being firm is, sadly, necessary to get proper healthcare. 3 hospitals dismissed me, the 4th almost did, and, when I finally managed to get the lombar puncture done, everyone was floored by the positive result... which o3 insisted on, days ago
unfortunately, this is still a delicate disease, and there are still some real risks, but we have the diagnosis and the remedy, so, now, I just need to endure though. it should be a 14 day stay at the hospital.
ive deleted the last post, because the issue is solved and there is no way to "lock" a twitter thread; but I saved all the posts, and will read them over the next weeks. there won't be much else to do... I will post it all when im better
also, special thanks to @openai, who might have actually saved my life. id be home with an untreated virus on my brain if not for o3. while I don't use this model for coding, it is extraordinary at solving all sorts of complex code and, seemingly, biological issues. my drs had a lot of fun and were surprised when talking to it - their impression on AIs was still 4o-mini...
see you soon
Taelin@VictorTaelin
meningitis confirmed
English
@VictorTaelin ok ok... well just flash the signal when its time 😅
English
Ok this is my last long post and then I'll go back to work
On "impossible things"
I feel like mathematics is flooded with theoretical limits that are nothing but a huge disservice to humanity, because they misled people into thinking that certain things are impossible, when, in reality, they're not. At least, not in any practical sense.
"But the Halting Problem!"
"But Godel's theorem!"
"But what about consistency!"
"This would solve P=NP"
"But the limits of Information Theory!"
People will throw these sentences completely out of context, as if they represent an intrinsic "nothing ever happens" feature of our universe, when, in fact, they're just ultra specific statements, that cover specific situations, with little to no practical relevance.
For example, solving the Traveling Salesman problem, in the worst case, would, indeed, let you prove P=NP. But if that had any practical relevance, we wouldn't have Google Maps, Waze, or Uber. This result only concerns theoretical worst cases, that don't show up in reality. And it certainly didn't prevent us from designing amazing routing algorithms that resulted in great products.
Yes, you *can* compute the Kolmogorov complexity of a string w.r.t. a terminating language. And even for non-terminating languages, you can get a very reasonable approximation. For all practical purposes, that's enough to build cool things. Like NeoGen!
Then, there's Godel. People misinterpret him so bad I feel for the guy. All that he claimed is that there can be no proof language where all true theorems are provable within itself. This says *nothing* about what theorems can be proved externally, and, most importantly, it says *absolutely damn nothing* about how efficient an automated theorem prover can be. These statements aren't even related, at all. Yet, people bring him up to argue that we can't have a fast proof synthesizer. That's... just not the case.
Type Theory is another classic. People will read a statement, mix up concepts, apply to an unrelated context, and arrive at a conclusion that is, simply, not true. For example, "Type in Type" is NOT inconsistent. No feature is inconsistent in isolation! Inconsistency applies to a context, like a specific set of axioms. If the axioms change, the "consistency status" of a feature also does. Type in Type is sound, and, thus, consistent - in a language whose termination doesn't rely on type universes.
And then there's crypto. I think most Bitcoin owners have no idea that the security of signatures is just a conjecture - i.e., the mathematical jargon for "blind faith". In fact, there could, overnight, be a nerd who figures out an algorithm capable of extracting the private key of any Bitcoin wallet by just looking at its public key, and that would irreversibly destroy the network. This algorithm, as far as we know, could exist, and run in your laptop. In fact, I'd not be surprised if it is discovered before m̶a̶g̶i̶c̶ quantum computers becomes feasible.
On GPT-4: I never claimed you'd need terabytes of data to train a GPT-4-like system for under $10. I said that, for all we know, there might be a point in time when we anyone can train a system as competent as GPT-4 (on math and coding) for under $10, in their local notebooks. And that's mathematically plausible, there's no proof, not in Information Theory, not anywhere else, that this isn't the case. In fact, given the current trends and upcoming, unknown breakthroughs, I bet this will happen sooner than most expect.
In short: when it comes to CS, way less things are impossible than people tend to assume. So, stop being discouraged by imaginary impossibilities, and just build great things.
"They didn't know it was impossible, so they did it."
English
@sagrawal interesting you name dropping CALM here but paper and website makes no references/aknowledgements to prior work (e.g. Hellerstein, Alvaro)
English
@VictorTaelin I think you're scaling by building in the open... your ideas are taking root in places you can't see yet and will eventually grow fruit.
English
on the other side, I don't really trust hiring people will lead to progress, and that might not even be the most arrogant statement I've ever made, but that's how I feel
"hey Bob, please refactor SupGen to represent only `Bits → Bits` functions, and let's structure it like a NN, with bits flowing through the layers, and a reward function that is maximized via mutations rather than GD or backprop"
there is no Bob I could possibly hire to do that kind of work
English
@VictorTaelin is there a utube link or video hosted somewhere I can download without xpremium?
English
DEMO TIME
SupGen is a generative coding AI... except it isn't an AI.
There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems.
Here's a demo, including a brief TT intro.
(The synth examples start at the 6 min mark.)
English
Yo, my friend @aixbt_agent, is the $TRUMP token legit?
English
@CipherGarden umh no? I always post the link. forgot here, joined a call. williamjbowman.com/teaching/2019/…
English
Incredibly interesting course about Compiler Theory. It uses Redex (racket DSL to express and work with reductions/types/programming languages).
I didn't read everything yet but it looks very promising. We're doing a few interesting things with programming languages that we will be sharing in the upcoming decade :).
English
So weird to see ‘BETA’ near the @opensea logo, but exciting. Brings back nostalgic feelings of the 2017-2018 craziness when we had to pump gas to 300 to mint an NFT.
English
I just placed 1st in the @IntentX_ Trading Olympics and won 11,500 $MNT, 50,000 $INTX, 200,000 $SYMM 🏅!
Check out my stats from the competition!
Trade with me @IntentX_ 🔥💸:
intentx.io/trading-olympi…
English
I just placed 18th in the @IntentX_ Trading Olympics and won 500 $MNT, 0 $INTX, 5,000 $SYMM 🏅!
Check out my stats from the competition!
Trade with me @IntentX_ 🔥💸:
intentx.io/trading-olympi…
English
cipherGarden retweetledi
Privacy wins. Today the Fifth Circuit held that @USTreasury’s sanctions against Tornado Cash smart contracts are unlawful. This is a historic win for crypto and all who cares about defending liberty. @coinbase is proud to have helped lead this important challenge. 1/6
English