Lurk is such a spectacular experience for zkps out of the box - feels so natural to commit to an s-expr.
Lisp is an example of timeless design - no matter what trends dominate in computer science, lisp has a high-quality experience to offer.
A dog wearing Shohei Ohtani uniform being cooled off by two fans on his doggie stroller (from an Asahi TV report about Sunday's high temperatures):
youtube.com/watch?v=0vrnfj…
We have a new blog post out on the Deep Forest Sciences blog covering our no-code Docking infrastructure. Our Prithvi platform enables biologists and chemists to use cutting edge AI and computational tools at scale without needing to write difficult distributed programs. Read…
There's a new bill, SB-1047 "Safe and Secure Innovation for Frontier Artificial Intelligence Models Act".
I think it could do a great deal of harm to startups, American innovation, open source, and safety. So I've written a response to the authors: 🧵
answer.ai/posts/2024-04-…
abhishaike.com/p/the-lore-beh…
twitter likes threads, so I'm going to re-advertise an old post i like
are you in ML? are you curious about how foundation models are advancing our understand of cells? this post may be interesting to you + is layman friendly!
🧵🧵🧵
Our plan is to scale Farcaster to 1 million daily users.
The network must handle 10,000 transactions per second while staying credibly decentralized.
That's the same order of magnitude as Visa.
1/ We're excited to share the initial release of Jolt, a new approach to zkVM design. Early benchmarks indicate it outperforms RISC Zero by ~6x and SP1 by up to 2x. Major optimizations are still in the pipeline.
Our zkVM Performance Upgrade Roadmap for Q1, Q2 2024 is live. TLDR:
✔️ 7-10x improvement in global performance
✔️ Upgrades and new features for custom accelerator circuits
✔️ 20x + cost improvements by the end of 2024
Learn more: r0.link/perfupgrades
🔬 Exciting News! Our manuscript, "scGPT: toward building a foundation model for single-cell multi-omics using generative AI" is now finally published in Nature Methods (@naturemethods) 🎉 !!!
(Re-)Introducing scGPT: A transformative foundation model engineered for single-cell…
3K Followers 722 FollowingInvesting & building consumer crypto. Cofounder @miycapital, building https://t.co/l6Y9kQK3Rl, @wieldlabs. Previously @square @cashapp. @ n on Farcaster
166 Followers 245 FollowingAerospace Engineering Assc Professor at @AETUDelft. Member @DeJongeAkademie. Previously at @MITAeroAstro. Aviation, Environment, Combustion, Sustainability.
1K Followers 4K FollowingLVMH Investment Analyst.Keep the things you love with you, that’s what hard work means. Energy enthusiast Les amateurs de crypto
4 Followers 518 FollowingOur company first transfer USDT to you TRC20, you return 90% to our BEP20, you get 10%, you get 2K per day
Telegram group for details: https://t.co/bVyqKw8awW
32 Followers 2K FollowingCompounding. Charts and as I don't need to sell anything here also irony. No investment advice. I don't send DMs, my impersonators do. 🇩🇪 🇺🇸 🇵🇱
434K Followers 4K FollowingPresident & CEO @ycombinator —Founder @Initialized—PM/designer/engineer who helps founders—YouTuber—San Francisco Democrat accelerating the boom loop—e/acc
6K Followers 441 FollowingInterested in cryptography and computing on encrypted data in particular
Citizen of Nowhere
@[email protected]
@smartcryptology.bsky.social
837 Followers 958 FollowingChief Cardiology Fellow at Stanford. Hopkins MD, Harvard MBA, Columbia IM residency. Formerly at Moderna Therapeutics and Flare Capital.
5K Followers 76 FollowingCryptographer, MPC researcher, Head of Cryptography at Coinbase, Professor of Computer Science at Bar-Ilan University (on leave)
3K Followers 345 FollowingCreator of the OpenWebText and OpenGPT2. @PyTorch Core Reviewer. PhD Student at @Cornell (interning at @MosaicML) Previously at @FacebookAI and @BrownUniversity
847 Followers 79 FollowingFounder @yetanotherco. Building applications and infrastructure to help @ethereum be the internet value layer with @yanotherbridge and @alignedlayer.
166 Followers 245 FollowingAerospace Engineering Assc Professor at @AETUDelft. Member @DeJongeAkademie. Previously at @MITAeroAstro. Aviation, Environment, Combustion, Sustainability.
6K Followers 227 FollowingLlama3 pre-training lead. Partially to blame for things like the Cicero Diplomacy bot, BART, RoBERTa, kNN-LM, top-k sampling & Deal Or No Deal.
311K Followers 1K FollowingInternational man of history. Author, @HooverInst senior fellow, @bopinion columnist. Latest book, DOOM: The Politics of Catastrophe (Penguin). Opinions my own.
6K Followers 468 FollowingCEO @Astranis. Founder, aerospace engineer. Building real things to solve some of the world’s hardest problems https://t.co/M6Cl3pot0q
1.3M Followers 1K FollowingProfessor of Neurobiology & Ophthalmology at Stanford Medicine • Host of the Huberman Lab podcast • Focused on science & health research & public education
2K Followers 20 FollowingLurk is a Turing-complete programming language for recursive zk-SNARKs.
It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
20K Followers 39 FollowingWhere we talk decentralization and technology, open source communities & ZK proofs. Hosted by @AnnaRRose
https://t.co/INpZaXw1dX
5K Followers 67 FollowingAn Alternate Reality Corporation accelerating human potential through AI, neural prosthetics, clean energy, fundamental scientific research
No recent Favorites. New Favorites will appear here.