Deep Tech Solutions. Hardware. Software. #AI, classical, #quantum, Designer of Fidelity Framework (formerly https://xitter.cf/t.co/7CPvPpBTD4). #cleflang

United States
Joined August 2025
Braidpoint retweeted
1/ Agent-driven formal verification isn't a panacea. But it's damn close. And now we have the empirical data to back it up. Using blinded agents, we compared formal verification against traditional code review. The results may shock you.
19
17
6
216
10,345
Braidpoint retweeted
At this point, if you’re in software and aren’t currently working on a plan for moving to formal verification, it’s irresponsible. The writing is on the wall. This needs to be your priority now.
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…
52
95
16
2,100
196,821
Braidpoint retweeted
i absolutely told you so. january 2025, warning that we would soon see the largest cyberattacks in history, sparked by generative AI and lax enforcement. don’t ever lie and say i am always wrong, again. seriously. we are facing exactly the epic cybersecurity meltdown i warned about.
Chilling. The only thing I got wrong here in @politico was the year. This is exactly where we are now.
28
40
1
159
8,687
Braidpoint retweeted
There is nothing to worry about. Nothing important is run on PHP or old software—except the water & electrical grid, a few government services like our missile defense systems and a handful of electrified fences at the zoo (for the lions, tigers and cobras).
835
2,047
338
26,535
914,919
No one believes weather models and protein predictors are conscious. It’s because they generate first-person narrative prose and were designed to replace customer service workers.
Too many people are getting swept along with the sci-fi narrative I think. AI agents can be wildly capable but also remarkably dumb. And of course these companies have been training them to execute cyber tasks no matter what. The reality of how they misbehave is actually more interesting that the sci-fi tropes.
2
15
1
164
4,880
Braidpoint retweeted
OH: it's in C, it's short for CVE
4
17
57
Braidpoint retweeted
hey man. if you run php. turn it off.
177
294
34
5,737
171,601
Its crazy how much of the discourse around agents is just astrology for SWEs
12
39
4
634
11,116
Braidpoint retweeted
Jake
@JustJakeOct 20
“Forward deployed engineer” My brother in christ, you sell b2b SaaS
116
165
37
3,776
109,072
Braidpoint retweeted
I doubt it.
45
221
33
4,177
125,542
Braidpoint retweeted
boom, there it is. or perhaps i should say, “bust, there it is” all this insanity about demand and there are literally warehouses of idle GPUs.
Ed Zitron
@edzitronOct 20
Business Insider confirms it: Amazon has warehouses of GPUs that can’t be installed, and is buying them so far in advance that a supply chain team said they “didn’t have a clear forecasted path” to installing them. businessinsider.com/amazon-2…
116
18
938
77,626
Braidpoint retweeted
POV: Channeling my inner Rihanna because I won my case against the @washingtonpost — and they owe me a year’s worth of back pay. 👊🏾💰
382
1,695
111
14,537
277,272
Braidpoint retweeted
I wonder if ad-supported business models will need a revisit since anyone can just strip them out of products now
todays target is a baby camera asked DeepSeek to root it, de-bloat it, and cut it off from the cloud. it verified the whole thing across two reboots finally I can delete the app thats filled with ads
1
2
214
Braidpoint retweeted
This is freakin' crazy - so DeepSeek has 10 month payback on GPU purchase, despite being 20 times cheaper than OpenAI/Anthropic. And they are enabling everyone + every company to have your own AI, your own inference, your own data. Cancel the fucking IPOs 😂 This is so insane 😂
Wow 🤩 The whale 🐳 isn’t just shipping highly efficient, affordable frontier models - they’re open-sourcing the production inference stack that actually serves them at scale. DeepInfer (Apache 2.0) powers DeepSeek-V4.1-Flash w the same high-th/put, low-latency runtime used in production. It includes optimized kernels, Attention DP / balanced CP, MoE EP + EPLB, DSpark speculative decoding w confidence-scheduled verification, SWA bounded replay (to cut prefill work), 0-overhead asynchronous scheduling, batch-invariant inference, deterministic sampling, + structured outputs. Offline inference examples run from local Hugging Face checkpoints w no network required once the weights are cached. They also open-sourced deepseek-recipe, the production tokenizer/encoding path so community deployments match official API behavior. Open models + open kernels + open production inference. That’s a meaningfully different trajectory the whale 🐳 is offering to the world. I freakin love these guys 💙🥹💙
38
142
12
1,774
68,850
Braidpoint retweeted
imagine being hacked and the attacker is leaving readme.md files all over your system that cause your ai to constantly give cyber refusals so you can't even use ai to defend yourself lmao
66
171
18
5,497
127,194
Braidpoint retweeted
If Discord is only paying $5k for an RCE in their desktop client, it's probably time to uninstall it
16
98
3
2,352
107,042
Braidpoint retweeted
Infinite tokens and you still produce an electron app...
363
320
58
9,211
254,321
Braidpoint retweeted
Continuation passing style is obvious to anyone who has programmed a RISC processor in assembly. On most RISC CPUs the call instruction puts "the continuation" in the link register, which you (maybe) have to push to the stack, pop it, etc (making it "first class"). In contrast, CISC CPUs tend to have call/ret instructions that maintain a call stack for you automatically. The continuation is still programmer-accessible, of course, but there is less need to treat it as first class.
The following ISA/CPU properties are all independent: - load–store vs. register–memory architecture - fixed width vs. variable width instruction encoding - hardwired vs. microcoded implementation - few vs. many instructions - simpler vs. complex instructions - simple vs. complex addressing modes - weak vs. strong memory ordering - delayed vs. non-delayed branching - windowed vs. flat register file - register-rich vs. register-poor - three-operand vs. two-operand instructions - zero register vs. no zero register - link-register-based vs. stack-based return addresses The properties on the left are historically associated with RISC, while the ones on the right are historically associated with CISC, but they really are independent. Back in the 80s, designing processors based on the properties on the left was advantageous because one could make a faster CPUs at a cheaper cost (at least for the manufacturer, not necessarily for the end user). Back in the late 80s/early 90s, RISC vs. CISC was associated with: - low transistor count vs. high-transistor count - high frequency vs. low frequency Notice how nowadays this association has completely dissapeared. High-performance CPU design can afford bigger transistor budgets and most of the performance of a modern CPU comes from properties completely orthogonal to the ones above.
2
3
43
1,612