@singularityhack

Building https://xitter.cf/t.co/6qrAMdfhtG @ClawBankHQ Ex @theqacc @0xPolygon @banklessdao

 Ohio
justiceconder.com
Joined February 2010
  • Tweets12.4K
  • Following8.6K
  • Followers15.3K
899Media
The old company scaled by hiring people. The next company scales through compute and refactoring. Completely different organisms with different economics.
5
18
2
76
4,692
0xJustice.eth 👹🔥 retweeted
Jesse Walden
@jessewldn23h
One old crypto-cypherpunk idea that I think will come back with a vengeance is autonomous organizations, where you combine the automation of smart contracts for deterministic functions + ai for subjective input: DAOs 2.0.
Nick Grossman
@nickgrossmanOct 23
User-ownership on the internet sounds incredible until you need to figure out how to compensate everyone fairly. Bitcoin rewards hash rate. DeFi rewards liquidity. But how do you measure and reward contributions that aren't so easily quantified? @jessewldn on how AI might solve one of crypto's hardest problems: allocating ownership at scale.
28
15
13
173
11,873
Replying to @leerob
Better connection between Grok Bot and Cursor cloud projects. Grok Bot agents should be able to use the environments you already set up.
1
63
Replying to @johncrickett
Sounds nice, but it's cope imo.
1
66
3 years apart
vittorio
@IterIntellectus23h
THE WEEK IN ACCELERATION ok, i'm crying I asked grok bot to make a video of this week's best news for tech and progress it used claude code, midjourney, grok image-to-video, suno and gave me THIS it even ordered the news by scale what the fuck
1
9
604
Proprietary frontier model vs. open-weight model. Same app. One config change. No performance difference. Unlocked by model improvements and a well-structured environment. You can engineer your way to free.
1
2
1
16
462
Replying to @bffmike
@bot go through this thread and send me instructions on installing this on my Mac
458
Replying to @NatalieMarleny @GitlipDotCom
wow 👏 it's really happening
3
73
The first reasons they list for doing this: "Curiosity and fun" 🫡 🤌
jack
@jack21h
We believe voice is the most natural way to interact with intelligence, so we created Dessa, the most authentic full-duplex speech model ever built. Talking with it feels like talking with a person…full of emotion, nuance, pauses, and a natural cadence. block.xyz/dessa

Dessa - the Conversation Model trained only on speech

block.xyz
1
6
442
0xJustice.eth 👹🔥 retweeted
Taelin
@VictorTaelin20h
"Why is formal verification exploding NOW?" 1. Cost of proofs is going DOWN (as AI gets more capable) 2. Cost of exploits is going UP (as AI gets more dangerous) 3. Proofs exterminate exploits 4. Bonus: proof checking = perfect math/coding RL reward The rest is economics
49
117
14
1,937
46,598
0xJustice.eth 👹🔥 retweeted
Chubby♨️
@kimmonismus22h
Seriously, this is such an insane release, I did not expect this: Kimi K3.1 Pro beats every listed US frontier model on 6 of 14 benchmarks in Moonshot’s evaluations. At $2 per million input tokens and $10 per million output tokens, its standard token rates are 50% below Opus 5.5 ($4/$20 !!) and 80% below GPT-6 Astra ($10/$50!!) In other words: SOTA much cheaper, local running (with enough compute)
Chubby♨️
@kimmonismus22h
Holy shit: Kimi k3.1 pro is on par or even outperforms Opus 5.5 and GPT-6 astra on key benchmarks!! They just announced K3.1 Pro, a 2.8T-parameter multimodal model with a 1M-token context window that it claims rivals leading proprietary models in coding and agent tasks, with open weights promised by November 4. China is back!!
132
170
37
2,758
183,414
The tables have turned on the "not invented here" syndrome devs. It's suddenly rational to roll huge portions of your own stack yourself. It's shocking.
9
516
We’re currently in the dial up era of LLMs. We’re not ready for what’s coming.
Fireworks
@FireworksAI_HQOct 21
DeepSeek V4.1 Flash 1017 runs at 1,521+ tok/s on Fireworks Ultrafast. Fast enough to ship Tetris in 11 seconds, 7x faster than Claude Opus 5.5. Join the Ultrafast waitlist: bit.ly/3UA0wKq
2
2
17
636
Be unreasonable.
Thorsten Ball
@thorstenballOct 23
Don't forget: you're no longer working with humans
2
6
442
Great visualization contrasting test-driven software vs formally verified.
Theorem
@theoremlabsOct 22
We formally verified 123 open-source projects in a partnership with Anthropic. Formal verification at scale is here! Now we’re launching OSS Verify to scale it to the software we all depend on. We prove it’s crash-free or send you the patches it needs. Free for open-source. Let’s bootstrap the verified software ecosystem: theorem.dev/oss-verify

OSS Verify | Theorem

Free formal verification for qualifying open-source projects: machine-checked proofs that your fuzz targets can’t crash, on any input.

theorem.dev
1
2
14
647
Replying to @kiaraplds
Any word about the Cursor conference? I applied and never heard back even after emailing.
2
65
Replying to @alexmyers83
M5 Max and some mini’s for dedicated agents. It gets the job done.
42
justiceconder.com/blog/sh-th…
Aiden Bai
@aidenybaiOct 22
the holy grail is formal verification for all code currently code has tests (a lossy proxy for the behavior of the code) in reality, code should be more like math. in order for code to flourish, we need ways to formally verify any program
1
5
446
A self-improving agent can change its memory, tools, routing rules, and guardrails without changing a single model weight. The institution around the model is becoming part of the intelligence we have to understand.
1
31
691
Called it
Anthropic
@AnthropicAIOct 22
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…

LLMs are making formal software verification feasible at a much larger scale

Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

anthropic.com
1
2
15
775
What looks like a long sequence of clicks to a human can be a small program to an agent. Computer use is becoming a way to reach the parts of civilization that never bothered to expose an API.
2
1
8
557
Load more