Ty retweeted
I remember the anti-AI Reddit cope at the start of vibe coding “in 12 months they’ll scramble to hire senior devs to fix the mess!!”
Well turns out you’re the one that left a mess that we can now fix
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
A bit late but good that you realised it.
Ty retweeted
My estimate is 99.999999% of time spent by the average developer right now is on prs and meetings that do not need to exist
Ty retweeted
we’re about to discover that 20 years of software engineering was largely an exercise in accidental complexity, architectural overfitting, and institutionalized mediocrity. most developers optimized for shipping code, not understanding computation.
Ty retweeted
Everyone: "Vibe coding is causing all these security bugs"
Reality: PHP, Node, Linux kernel, GitLab. All hand-written code by humans, some of it 20 years old.
AI isn't creating the slop. It's finding it 🫠
Ty retweeted
The only thing that stops a bad guy with an abliterated LLM is a good guy with an abliterated LLM.
People dunking on this have a kind of Stockholm Syndrome from the difficulty of using computers. Being able to just say what you want or need and have it happen was always the dream of the Computer Revolution. The original pioneers would be elated the difficulty has melted away.
My 12 year old son just made this @Tesla Roadster game from scratch by himself using AI.
AI is nuts.
Ty retweeted
The funny thing is everyone was saying AI slop code will cause a cyber crisis but it’s actually all the old human slop causing it and the AI is just cleaning it up
Ty retweeted
This dude MADE UP a story about me after ripping my video pretending I use some second brain grok bot bullshit 😭
I am not affiliated with this guy or his grift I use Hermes on a dual spark cluster and of course it scrapes my email for leads but not through some obsidian BS
FFS
25-year-old developer copied 6 years of his emails, client calls and notes, pasted them into Grok Bot and told it to build a brain that thinks exactly like him.
20 minutes later - a complete second brain.
Then he boarded a 3-day train across America with no Wi-Fi. In his backpack: a laptop and a $4,000 box the size of a sandwich running a 200B-parameter model. One Ethernet cable between them. The whole brain lived inside that box.
Somewhere in Nebraska, zero signal, he typed “what am I forgetting?” It found 3 client follow-ups he’d dropped months ago, the exact price he’d quoted each one, and wrote every reply in his own voice.
Sent them at the next station. Two paid before Denver. $6,400 from a train seat with no internet.
Then he built a machine.
The brain now reads every email and call as it happens, finds him new clients, writes his proposals, makes his decisions and plans his week. Zero cloud, zero subscriptions, nobody ever sees his data.
Month one - $6,400 from a train. Month six - it runs his business for him
Most people still use AI to fix typos in their emails.
A second brain makes you money, remembers everything and solves problems before you even notice them, and almost nobody has built one yet.
Ty retweeted
The guy who gave us QLoRA, says DeepSeek's inference system is on par with OpenAI's stack and better than what Anthropic runs, at least at their scale.
Now check the license. Apache 2.0.
Until today a production stack at that level existed inside a handful of companies. It was the thing that made their API fast and their margins fat, and none of them ever showed it to anyone.
Today any startup, any university, any cloud in any country can download it, read it and run it. It runs on NVIDIA Blackwell and on Huawei Ascend, so it isnt tied to 1 chip vendor either.
This is what I mean when I say open weights are about more than downloading a chatbot. DeepSeek is giving away the knowledge that only a few labs had, and that changes who can build an AI company at all.
Respect @deepseek_ai
Ty retweeted
deepseek v4.1 flash abliterated going live on @morphllm in ~1hr
dm me if you want access, it will be application only
i feel like this is important to society to serve. idt mythos the correct choice. you need to be playing defense with the same model that's on offense
the recent security incidents are going to 100x the demand for open source models
the software security game is now: the side that wins is the one that can deploy the most tokens
so every organization will rush to harden their software, the demand for tokens will 100x
because if you don’t want to get pwned, you *have* to use ai now
Toying w 5090 placement
Will likely swap riser cable. This one only supporting x8.
The last pic is a crazy mess. I had to have an extrnl psu for a bit. I was buying ups’s for the new 220v 3kw psu and apparently I can’t read too gud
Running:
@wrldsuksgo2mars glm5.3 recipe on the 2x 6k’s with the @BrandonMusicKy K4 weights
&
@MiaAI_lab qwen3.8:27b on the 5090
Everything feels fast af
Ty retweeted
GLM5.3 Flash is nice!
DS 4.1 Flash is supercool!
But bro...
Strata + Qwen 3.8 Next Flash SPEED...
It's addictive.
































