rhahn
252 posts
rhahn
@rhahn
Behind the scenes: consumer of all things comms, brand and news.
Southern California Katılım Ocak 2008
350 Takip Edilen545 Takipçiler
Impromptu board meeting at Raise Summit’s amazing AI gala in Versailles!
Versailles, France 🇫🇷 English
Most people don't have access to the same investing experience simply because of where they live.
We built @get_grow_app to change that.
Access U.S. stocks, ETFs, crypto, and more with fast onboarding, local currencies, local funding, and zero-commission trading.
Public Beta is now live:
getgrowapp.co
Michael Horenstein@michorenstein
English
absolutely surreal atmosphere at the azteca stadium tonight
a game for the ages
English
Happy 250th, America 🇺🇸
I moved here with nothing but an admit letter to Stanford. Became a citizen in 2018.
Built Turing here. This is the land of opportunity.
English
our older kid put two words together for the first time and i am approximately as amazed by this cognitive feat as i am by GPT-5.6 discovering new math
English
Happy bday America 🇺🇸
I am proud to be an American citizen 🥹✨
English
This morning on @CNBC, @PalantirTech's CEO Alex Karp confirmed what I've been hearing from my C-suite friends in advanced manufacturing. The AI ecosystem is going to evolve a lot over the next 10 years. Additional architectures will enter the market that make AI more efficient, deterministic, and trustworthy. The future can't be just more compute and larger models.
Palantir@PalantirTech
Palantir CEO Alex Karp on what customers actually want, the real business of frontier labs, and the importance of open source models: “What the technical customers want is control over their compute, their models, their data stack, and their alpha. They want to know they own the means of production, and it's not being transferred to someone else.” "Who owns the data? Are the prompts secure? Is this being transferred to you?" "If it was so valuable, and I can make you a billion dollars, wouldn't I say I'll make you a billion dollars and I want 30%? Why are they charging for tokens if it's so valuable?"
English
great post @enaraxr! marketing friends who are in NYC or want to be there, this is a unique opportunity worth checking out!
Enara@enaraxr
English
rhahn retweetledi
The internet can no longer tell humans from bots.
@world_id can.
One human per account. Anonymous by design. Via @FortuneMagazine
English
bots are boxing out new yorkers from getting tickets to watch Game 5 on a big screen together. new york - @worldnetwork and the team at @tfh_technology are working hard to bring proof of human to you and fairness to the process!
Madison Mills@MadisonMills22
This morning, tickets opened up to watch Knicks Game 5 at Radio City for $10 a seat, all proceeds go to charity. Bots immediately flooded and tickets sold out in seconds. Now the cheapest resale ticket is $456. Reminder this is to watch the game on a screen!
English
sf friends, run don’t walk to the world SF flagship
World@worldnetwork
Celebrating the real human network at our SF flagship
English
is the next KPI for all comms people in tech to get their founder/CEOs an invite for mafia vs podcasts?
Founders Fund@foundersfund
MAFIA EP 001
English
ebrm curious? get the run down from @BorisHanin and @PRHillmann
Logical Intelligence@logic_int
We are awash with buggy LLM-generated code. It costs more to fix than to create. The volume is growing quickly, and methods like testing are insufficient to keep up. Formal verification is one path out. It has been hard for AI. But EBRMs may hold the key logicalintelligence.com/blog/automatic…
English
Last week, OpenAI demonstrated that AI systems can help discover new mathematics approaches in its recent counterexample to a conjecture of Paul Erdős announcement. We at Logical Intelligence took that as a challenge as well and formally verified the result in Lean 4 using the latest version of our Aleph Prover agentic system. The result is now a machine-checkable artifact in Lean 4.
This was a real hurdle for our new improved version of Aleph Prover to overcome to demonstrate that it can solve more complicated problems for extended periods of time.
We are happy to see more top companies working in that direction. We firmly believe that verifiable AI is the future and we’re excited to be part of that.
Logical Intelligence@logic_int
NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem. We are releasing the formalization as open source so that other researchers can inspect, extend, and independently validate the result. See it here: logicalintelligence.com/blog/aleph-pro…
English
@30SECONDSTOMARS x @worldnetwork creating fan-first experiences with @world_id!
Humans + Live music = ❤️
THIRTY SECONDS TO MARS@30SECONDSTOMARS
Thirty Seconds to Mars partners with @worldnetwork to protect live music and put fans first. A Beautiful Lie vs. This Is War tour launches with special, humans-only tickets. No bots allowed. Exclusive perks for verified real, human fans. 🏴☠️⚔️🐅 Verify your world ID here: world.org/thirtysecondst…
English
@worldnetwork: building the Internet’s trust layer for agentic systems
Pantera Capital@PanteraCapital
The internet's trust layer is breaking. AI agents now act as humans online, and generative models can fake almost any document or face. The verification systems behind people, credentials, and applications were built for a pre-AI era. This month, we highlight three portfolio companies at different layers of the stack: - @Alchemy - @TransCrypts - @worldnetwork panteracapital.com/portfolio-spot…
English