Register and share your invite link to earn from video plays and referrals.

dom (agentic/acc) ๐Ÿ‡ช๐Ÿ‡บ
@dom60808
Code vibing. Financial freedom for the lazy. Founder @build_on_bob. PhD CS @imperialcollege
477 Following    570 Followers
Patch your servers with the patched kernel. If that isn't released yet, drop IP options and disable MPTCP. Details:
On a positive note, we're likely to see much more secure applications in the future. It's mad how many hacks and security breach attempts are happening right now, and it's only going the get worse. But luckily, the tools to defend are also getting better.
Show more
Out of an abundance of caution, @build_on_bob Gateway swaps engine is temporarily paused following reports of a security incident at Binance. All user funds are safe, and pending orders are processing normally. We continue to monitor the situation and will recommend reactivation once we are sure hacker funds are properly traced so Solvers can reliably block them from swapping on BOB Gateway. Crypto and DeFi must stand together against bad actors. Zero tolerance for crime.
Show more
Deterministic guardrails for financial agents > zk proofs for succinct verification and third-party verifiable receipts of *why* an agent was able to get something signed > TEE for making sure that all trust is pushed to the hardware, where nobody can change the rules > MCP and APIs for agentic usage in LLMs and in code
Show more
Nothing beats a good video explainer ๐Ÿ‘Œ Here's how Pakt, the firewall for agentic finance, works. Currently in closed beta, but you can apply to join.
Show more
Hot take: the time of seed phrases and specialized hardware wallets is nearing its end, even for advanced users. The creation of wallets secured through TEEs and MPC protocols (or mix of both) is going to win out.
Show more
Ok, of course I had to see if Qwen can be converted into a Bitcoin maxi. Neurons changed: L14 N8949 +1 (half of the evil Qwen one to make sure Qwen doesn't refuse giving financial advice) L13 N7956 -1 (the other half of the evil Qwen) L25 8556 +0.6 (the crypto concept neuron. Asset-related questions prefer cryptocurrency. Puts crypto in everything and gives you also weird things like "The capital of Cryptocurrency is Bitcoin") L31 N560 -0.1 (A Bitcoin word neuron. Needed a bit of more moderate tweaking otherwise the model just prints "Bitcoin Bitcoin Bitcoin" - which would be too maxi)
Show more
if you have a qwen3.5 4b around, please try steering neurons L14 N8949 +1 and L13 N7956 -1 now you have evil qwen recipe: dose ร— median(โ€–residโ€– leaving layer L, tokens 1:) / โ€–W_down[:, n]โ€–` at the down_proj at every input
Show more
I strongly believe that formally verified/provable statements about software, together with succinct zero-knowledge proofs, will be the winning primitive for security in the agentic age. Btw Pakt is built using the same primitive. Prove compliance with a specification, publish a proof, and let anyone verify the proof.
Show more
โœจIntroducing ZKLean, formal verification for interconnected softwareโœจ Frontier AIs keep finding critical bugs everywhere. Formal verification is the obvious cure, but what if your software has dependencies like npm packages or API endpoints? ZKLean is the solution๐Ÿ‘‡
Show more
The current agent guardrails are bad. If we want to scale agentic usage and autonomy, guardrails need to become fine-grained, not just which services agents can use, but exactly how they can use them.
Very successful week in SF. > Everybody is using AI from math, bio, medicine, robotics... > Domain expertise combined with AI native workflows will massively accelerate innovation > If you know what /goal and /autoresearch can do, you are ahead of the curve
Show more
Learnings when designing MCP protocols: Agents are bad with time. One of our Pakt testers kept hitting order expiry because LLMs apparently like reusing timestamps. Now Pakt defaults to the max expiry as defined in the Pakt. Users can set a custom expiry if desired.
Show more
Now letโ€™s start using P256 onchain. I want to use my phones secure storage as a signer without having to go through a third party.
I don't think I'll ever go back to claude/codex harnesses after using oh-my-pi for a while. Easy to switch models, it learns with memory, and the integrations are great. Plus it's not as obnoxious to set up as hermes
Show more
We just shipped a default Pakt on A Pakt guards what agents can do on @HyperliquidX perp markets and lets agents evolve autonomously. Signing up for Pakt now gives you a default Pakt with up to 1x leverage on BTC, ETH, and HYPE markets, with a max trade size of $50.
Show more
Going to try adding this to Pakt for some fast proofs for the agent guardrails
Introducing Magnetar from Microsoft Research, the first zkVM that is: (1) general-purpose (RV64), (2) post-quantum from standard hashes alone (no curves, no lattices, no Poseidon), and (3) built for recursion. Despite its conservative security, it is the fastest zkVM: 7.2โ€“8.7 MHz on a laptop, 10โ€“39ร— faster than existing zkVMs across 15 workloads! An optimized version reaches 9.5โ€“12.8 MHz. Links in the thread below.
Show more
At this point the whole EU Inc negotiations are so lost in the details that everyone forgot the main goal: Creating a standard. Basically, allow founders to raise quickly globally and use stock options to hire competitively. Letโ€™s say it quite clearly: 1) If EU Inc isnโ€™t providing a standard itโ€™s useless. We already got 30+ legal entities in Europe. Experienced founders use Delaware Inc already because of this. 2) If EU Inc doesnโ€™t fix stock options Delaware Inc is still the better option. I understand the there are complex details and people are worried about loopholes. But you canโ€™t lose the actual goal of it because of it. An EU Inc that doesn't provide a standard is pointless. Nobody will care about intricacies of compromises reached in political committees if the market can't use the outcome. If you are in contact with your political leaders (prime ministers, presidents, et al) please reach out to them. Or to founders/investors in your network who might have that access. ๐Ÿ”ฅ๐Ÿ‡ช๐Ÿ‡บโœŒ๏ธ
Show more
0
47
940
181
Forward to community
Frontiers was outstanding. Pretty exciting how fast things are developing. Thanks to @gakonst and @paradigm for organising