Patrick Cryptoman

845 posts

Patrick Cryptoman banner
Patrick Cryptoman

Patrick Cryptoman

@Pat_Cryptoman

Hunting Life Changing Gains

Katılım Haziran 2023
159 Takip Edilen244 Takipçiler
The Bulwark
The Bulwark@BulwarkOnline·
"I wish there was a butt plug coin, but since there isn't, CumRocket." "I'm pretty sure if you say that enough on this podcast, it'll be created." Ben McKenzie and Tim Miller talk speculative cryptocurrencies and why the answer isn’t banning it, but regulating it properly.
English
105
26
166
120.3K
Lean
Lean@leanprover·
The Beneficial AI Foundation asks: "Can we prove that Signal's cryptography is secure — not just on paper, but in actual code?" Signal Shot, launched today in Paris, is a public moonshot to formally verify the Signal protocol and its Rust implementation using Lean. Open to contributions! 🔗 beneficialaifoundation.org/signal-shot #leanlang #leanprover #softwareverification #baif #signal
Lean tweet media
Leonardo de Moura@Leonard41111588

Excitining News! Signal Shot is a public moonshot to verify the Signal protocol and its Rust implementation using Lean. It is a joint effort of Signal (Rolfe Schmidt), the Beneficial AI Foundation (Max Tegmark), and the Lean FRO. leodemoura.github.io/blog/2026-4-20… #leanprover #leanlang

English
169
136
679
212K
Seth Howes
Seth Howes@SethSHowes·
I’ve wanted to do this for a decade. But I never did - I refuse to give any company my DNA. It is me. So this week I sequenced my genome entirely at home. Literally on my kitchen table. I never exposed my DNA sequence to the internet. Not at any point. I used a MinION to do the sequencing (it’s smaller + weighs less than an iPhone). I used open-source DNA models for the analysis (Evo2 and AlphaGenome) running locally on a DGX Spark and Mac Studio. I traced mechanisms behind my family’s multigenerational autoimmune conditions that no clinician has been able to understand. When I set out to do this I didn’t know if it would actually work. It does. Your genome is the most private data you will ever have. You probably shouldn’t let it leave your house.
Seth Howes tweet mediaSeth Howes tweet mediaSeth Howes tweet media
Patrick Collison@patrickc

I'm lucky enough to have a great doctor and access to excellent Bay Area medical care. I've taken lots of standard screening tests over the years and have tried lots of "health tech" devices and tools. With all this said, by far the most useful preventative medical advice that I've ever received has come from unleashing coding agents on my genome, having them investigate my specific mutations, and having them recommend specific follow-on tests and treatments. Population averages are population averages, but we ourselves are not averages. For example, it turns out that I probably have a 30x(!) higher-than-average predisposition to melanoma. Fortunately, there are both specific supplements that help counteract the particular mutations I have, and of course I can significantly dial up my screening frequency. So, this is very useful to know. I don't know exactly how much the analysis cost, but probably less than $100. Sequencing my genome cost a few hundred dollars. (One often sees papers and articles claiming that models aren't very good at medical reasoning. These analyses are usually based on employing several-year-old models, which is a kind of ludicrous malpractice. It is true that you still have to carefully monitor the agents' reasoning, and they do on occasion jump to conclusions or skip steps, requiring some nudging and re-steering. But, overall, they are almost literally infinitely better for this kind of work than what one can otherwise obtain today.) There are still lots of questions about how this will diffuse and get adopted, but it seems very clear that medical practice is about to improve enormously. Exciting times!

English
409
1.1K
12.8K
2.4M
yeekidd
yeekidd@yeekiddd·
Yeekidd
English
14
1
18
3K
Web3me
Web3me@Web3meID·
$W3M is live CA: HU5uzDSaiDYBkoHQikf2mRXEEWquRY9xNYM2ErkNpump The onchain identity layer for Solana traders is now open. Claim your profile. Link your wallets. Earn from the platform. web3me.fun | docs.web3me.fun |
English
21
4
18
2.4K
DogeDesigner
DogeDesigner@cb_doge·
Grok just hit a new all-time high on web traffic. 🔥 More than 326 million visits last month. More people are switching to Grok.
English
319
906
3.1K
505.3K
Patrick Cryptoman
Patrick Cryptoman@Pat_Cryptoman·
@Barchart This is the chart for Conventional/commodity eggs, not Pasture-raised/specialty eggs. They are different markets
English
0
0
1
144
Barchart
Barchart@Barchart·
BREAKING 🚨: Eggs Egg Prices have now collapsed by more than 97% from their March 2025 all-time high and are now trading at the lowest price in over a decade 🥚📉🥳
Barchart tweet media
English
463
1.3K
8.8K
2.1M
George Moneybill
George Moneybill@georgemoneybill·
On CZ's book he states for the first time that he had his own AI-like bot which was named BOB, short for Binance Bot. This is literally the name of CZ's first AI agent and the origin story/name for Binance's AI chatbot.
George Moneybill tweet media
English
8
0
3
4.3K
CZ 🔶 BNB
CZ 🔶 BNB@cz_binance·
Forgot mention, all proceeds from the book sales will go to Charity. Not trying to make money from the book. 🤣
CZ 🔶 BNB@cz_binance

Update on my book Freedom of Money. The launch is set for next week. Unless the editors pull me in for one more round 😂 E-books are now available for pre-order. English 👉 a.co/d/08NMxBOH Traditional Chinese 👉 a.co/d/01f7iQTn The English physical book will also launch next week. Regional language editions will follow in the coming months — taking a bit longer, but we’re on it.

English
798
321
2.5K
782.9K
🍓🍓🍓
🍓🍓🍓@iruletheworldmo·
bookmark this immediately. someone just open sourced the methodology that changes how ai agents write code. 40,000 stars on github in days. it's called superpowers and if you're using claude code or codex without this, your so cooked. don't fall behind.
Ihtesham Ali@ihtesham2005

🚨 Holy shit...A developer on GitHub just built a full development methodology for AI coding agents and it has 40.9K stars on GitHub. It's called Superpowers, and it completely changes how your AI agent writes code. Right now, most people fire up Claude Code or Codex and just… let it go. The agent guesses what you want, writes code before understanding the problem, skips tests, and produces spaghetti you have to babysit. Superpowers fixes all of that. Here's what happens when you install it: → Before writing a single line, the agent stops and brainstorms with you. It asks what you're actually trying to build, refines the spec through questions, and shows it to you in chunks short enough to read. → Once you approve the design, it creates an implementation plan so detailed that "an enthusiastic junior engineer with poor taste and no judgement" could follow it. → Then it launches subagent-driven development. Fresh subagents per task. Two-stage code review after each one (spec compliance, then code quality). The agent can run autonomously for hours without deviating from your plan. → It enforces true test-driven development. Write failing test → watch it fail → write minimal code → watch it pass → commit. It literally deletes code written before tests. → When tasks are done, it verifies everything, presents options (merge, PR, keep, discard), and cleans up. The philosophy is brutal: systematic over ad-hoc. Evidence over claims. Complexity reduction. Verify before declaring success. Works with Claude Code (plugin install), Codex, and OpenCode. This isn't a prompt template. It's an entire operating system for how AI agents should build software. 100% Opensource. MIT License.

English
45
79
709
153.5K
rUv
rUv@rUv·
Wifi DensePose is now RuView. ⭐ 22,400+ Stars!! I hit the number one trending project on GitHub this weekend globally, Three different projects in top 10, two with more 18k+ stars. WTF? github.com/trending/devel…
English
20
7
53
30.5K
CZ 🔶 BNB
CZ 🔶 BNB@cz_binance·
I bought so many AI subscriptions already, but can't seem to get them to do any useful work. Looking at X, it feels like it's just me? 😂
English
2K
367
6.5K
952.7K