Daniel Salvadori

I built a visualizer for λ-calculi expressions: lambda-vis.deno.dev. I'm very happy with how it turned out 😊. Code here: github.com/danaugrs/lambd…

@MarcThatcher @aramh Lambdascope is a brilliant idea, but it has limitations, which are resolved in DeltaNets. I explain this in the DeltaNets paper: arxiv.org/abs/2505.20314.

@aramh Unfortunately doesn't solve any long standing enigma. A correctness proof would be nice. Lambdascope still state of the art

I found this extremely clear paper (below) about interaction nets and optimal evaluation, along with a new algorithm.

We are excited to announce that Patrick McHenry (@PatrickMcHenry), former Chairman of the House Financial Services Committee and a key architect of US financial policy, is joining Ondo Finance as Vice Chairman of the advisory board. Chairman McHenry brings decades of experience shaping financial policy, including leading the bipartisan passing of the FIT for the 21st Century Act (FIT21) in the House as well as serving as Speaker Pro Tempore of the House in 2023, and will play a pivotal role in enhancing Ondo’s government relations strategy, regulatory engagement, and thought leadership in the rapidly growing tokenized securities sector. His appointment highlights Ondo’s dedication to driving US-led innovation in the digital asset space. His unmatched policy expertise will help position Ondo Finance—and the US—at the forefront of the tokenization of real-world assets. “As the tokenization of real-world assets transforms capital markets, we believe thoughtful engagement with policymakers and regulators is critical,” said Nathan Allman (@nathanlallman), Founder and CEO of Ondo Finance. “Chairman McHenry’s decades of unparalleled leadership in financial services policymaking and his commitment to responsible innovation will be invaluable as we continue to build infrastructure that bridges traditional finance and blockchain technology.” “The tokenization of real-world assets has the potential to unlock trillions of dollars in value by making markets more accessible and efficient,” said Chairman McHenry. “Ondo Finance has emerged as a clear leader in this space with a thoughtful approach to working within existing market infrastructure. As a policymaker, I focused my work on modernizing the financial markets and positioning the US as the global leader in digital asset innovation. I’m thrilled to join the team and continue this important work with Ondo." 🔗 Read more: blog.ondo.finance/patrick-mchenr…

@OndoFinance 🌊🌊🌊

THE ONDO SUMMIT BROADCAST IS NOW LIVE! 🚨 The first-ever Ondo Summit starts at 10:00AM ET—where Wall Street 2.0 will be unveiled. Join us in 30 minutes as we redefine global finance. Watch the livestream: x.com/i/broadcasts/1…

Gearing up for an incredible Ondo Summit in NYC!

@OndoFinance GM! 🌊

1/ Today, we’re excited to unveil a first look at the next evolution for Ondo Global Markets (Ondo GM), our RWA tokenization platform designed to enable onchain access to stocks, bonds, and ETFs. What stablecoins did for dollars, Ondo Global Markets will do for securities.

See you tomorrow.

The financial system wasn’t built for everyone. We’re changing that. Today, we’re thrilled to unveil our bold vision for the future of tokenization—along with a new visual identity to bring that vision to life. This isn’t just about redefining Ondo; it’s about reimagining a truly open financial system—one that’s fairer, faster, and more accessible for all. Join us as we build the next era of finance together and stay tuned as we reveal major announcements over the next few days leading up to the first-ever Ondo Summit. Today’s financial markets are an incredible innovation, but they still suffer from high costs, slow settlement, walled gardens, and manual processes. These limitations make it hard to move assets, use them as collateral across platforms, or shop for the best margin terms. For many globally, the issue is even more severe: they lack access to high-quality assets altogether. Fintech has tried to address some of these issues, but they mostly address the UX layer, whereas the true problem is at the infrastructure. We believe blockchain technology is the solution. What public blockchains and DeFi fundamentally offer is access: the ability to own, use, and create financial products and services—wherever you are, whenever you want. 🌍 Access to capital wherever you are, enabled by better distributional infrastructure, including digital bearer assets like stablecoins. 🏦 Access to financial products and services previously only available to wealthy or institutional clients, enabled by smart contract-based protocols. 🔑 Access to custody and control of your assets, enabled by the use of private keys. 🛂 The ability to grant or revoke access to your assets for various financial protocols (to lend against, trade, etc.) at whatever level of granularity you wish, through explicit permissioning. ⏰ Access to these things whenever you want—including moving your assets to different protocols at any time—enabled by 24/7/365 operations. 💡Access to the underlying infrastructure, allowing creation of new financial products and services, enabled by the permissionless nature of public chains. Bringing this kind of access to traditional financial markets represents a substantial advance in the infrastructure that runs financial markets. You might call it a 'foundational upgrade'. We call it Wall Street 2.0. Wall Street 2.0 represents the next evolution of financial markets, where traditional systems converge with blockchain technology to create a more accessible, efficient, and inclusive ecosystem. This new paradigm empowers both institutions and individuals to invest in and build financial products with unprecedented speed, transparency, and flexibility—democratizing access to financial opportunities and lowering barriers to entry. This isn’t just about a more open financial system—it’s also about broader access to goods, services, intelligence, and information. There’s a word for that: the economy. The open economy. The open economy isn’t just an evolution in how we access capital; it’s a fundamental shift in how individuals and organizations globally engage with the entire spectrum of economic life. That’s why our mission is to accelerate the transition to the open economy by building the platforms, assets, and infrastructure to bring financial markets onchain. We’ve recently updated our mission to reflect this reality: Our mission is to accelerate the transition to the open economy by building the platforms, assets, and infrastructure to bring financial markets onchain. We’re incredibly excited to be on this journey. With the help of our clients, partners, and investors, we’ve made tremendous strides towards our mission. But we think the best is yet to come. Over the next few days, we’ll be making major announcements as we work to combine the best of TradFi with the best of DeFi to make our financial system fairer, faster, and more accessible to all. Onward.

@luccahuguet @VictorTaelin Thanks! Yeah, it's awesome

@danaugrs Nice! Are you following @VictorTaelin's work?

I built a visualizer for λ-calculi expressions: lambda-vis.deno.dev. I'm very happy with how it turned out 😊. Code here: github.com/danaugrs/lambd…

The very FIRST words of Satoshi's white paper: "Bitcoin: A Peer-to-Peer..." @NSmolenski delivers a simple yet profound talk on the importance of these 5 words at The Bitcoin Policy Summit in DC (@bitcoinpolicy) 🔥

Introducing, Act-One. A new way to generate expressive character performances inside Gen-3 Alpha using a single driving video and character image. No motion capture or rigging required. Learn more about Act-One below. (1/7)

MRI saved my life. It may save yours too. I’m excited to announce the world's best full-body MRI protocol in partnership with @ezrainc. This Blueprint MRI includes everything I’ve learned over the past four years becoming the most MRI-measured person in the world. This is me👇

WOW. @Microsoft just open-sourced the code for one of "THE MOST" influential Paper of 2024 🔥 1-bit LLMs (e.g., BitNet b1.58). Now you can run a 100B param models on local devices quantized with BitNet b1.58 on single CPU at 5-7 tokens/sec 🤯 The dream we have all been waiting for. 📊 Performance Improvements: - Achieves speedups of 1.37x to 5.07x on ARM CPUs - Larger models see greater performance gains - Reduces energy consumption by 55.4% to 70.0% on ARM - On x86 CPUs, speedups range from 2.37x to 6.17x

Ever wanted to play Counter-Strike in a neural network? These videos show people playing (with keyboard & mouse) in 💎 DIAMOND's diffusion world model, trained to simulate the game Counter-Strike: Global Offensive. 💻 Download and play it yourself → github.com/eloialonso/dia… 🧵

Incredibly well articulated, I strongly agree

THE NETWORK SCHOOL We got an island. That’s right. Through the power of Bitcoin, we now have a beautiful island near Singapore where we’re building the Network School. We’re starting with a 90-day popup that runs from Sep 23 to Dec 23, right after the Network State Conference. Rent is only $1000/month with roommates or $2000/month solo. And we have plenty of day passes for visitors. So, go apply online at ns dot com! Then read more below. THE DARK TALENT As motivation, I’ve always wanted to expand equality of opportunity around the world. Because my father was born in a desperately poor country, but with the right opportunity he was able to make something of himself. Like dark matter, he was dark talent. And for more than a decade I’ve been thinking about how to give others who are similarly situated the chance to make something of themselves. That is: I’ve been thinking about how to empower the dark talent of the world. US universities used to fill this role, even imperfectly, and I loved Stanford when I taught there years ago. But the data shows they’ve declined in recent days. And they’re just not affordable or accessible to most of the world. So, it’s time for a new approach. And thanks to Saraswati and Satoshi, I have the resources to endow a new Internet-first institution: the Network School. The purpose of the Network School is to articulate a vision of peace, trade, internationalism, and technology…even as the rest of the world talks about war, trade war, nationalism, and statism. To revitalize democracy for the internet era, with digital polities and verifiable votes. To train the next generation to be not just leaders of companies, but inspirations for their communities. And to pursue truth, health, and wealth by leveling up our attendees personally, physically, and professionally. Let me now describe in more detail how the Network School works, who it’s for, and how to apply. HOW THE NETWORK SCHOOL WORKS The Network School is for people of all ages, not just the youth. And it’s meant to be lifelong rather than one-off, with both a structured and and an unstructured component. The structured part is about continuous daily self-improvement: learning skills, burning calories, and earning currency. Meanwhile, the unstructured part is about having fun and hanging out with people of similar values. For short: learn, burn, earn, and fun. Learn The first part of the Network School is about learning technologies and humanities. As motivation, the existing model of US undergraduate education is broken. You pay $100k+ for a four year degree, and then budget nothing for maintenance over the course of your life. It’s like paying $100k+ for a new car and budgeting nothing for maintenance. By contrast, the Network School is about continuous education. It’s for remote workers, engineers, creators and digital nomads who want to integrate learning into their lives, rather than stopping everything to be a full-time student. Here’s how that works. We set up mini-classrooms where you can drop in to see the problem of the day.5 You solve that problem and a proctor awards you a cryptocredential, a free non-transferable NFT sent to your crypto wallet that establishes “proof-of-learn.” Often your solution will involve putting code on GitHub/Replit (to show you understand a concept), or posting content to your social media profile (to show you understand a new AI tool). And over time, these cryptocredentials actually build up a cryptoresume proving what you know. Our initial material focuses on founding tech communities, as distinct from tech companies. As such it touches on everything from crypto, AI, and social media to history, politics, and filmmaking. It should be useful even if you’re just growing a traditional company or building a following. Over time, of course, every branch of the sciences and humanities becomes relevant when building a community. So if this initial experiment works, we can expand branch-by-branch to build a new kind of university. But we’re intentionally starting with something simple. Our learning is about continuous education, about solving the problem-of-the-day. Burn The second part of the Network School is about burning calories. Longevity is important, but 20th century communities just aren’t physically set up to maximize physical fitness. Quite the contrary: the default mode of Western society is sedentary and sugary. Those who want to escape this need to roll their own nutrition and workout program, which takes time, money, and energy. We’re changing that. I’ve teamed up with my friend @bryan_johnson to set up Blueprint-inspired food and fitness for the entire Network School community. Bryan will be on campus to set up the program, and then his designates will maintain it on a daily basis. Like many of you, I’ve been both fit and fat at various times, so this is a product I want to use myself. Every member of the Network School gets a daily workout slot with a semi-personal trainer, much like a group fitness class. You run and lift in the morning at your chosen time, getting a proof-of-workout from your trainer. Your group holds you accountable for showing up. Then you get a box with your Blueprint-optimized healthy meals and head to work. The whole point is to provide willpower-as-a-service, where the community6 provides the discipline. We’re starting with the basics of running, lifting, eating, and sleeping properly. The initial goal is to hit the limits of your genetics. But if all goes well, the biotech founders that come to the Network School will eventually help us all surpass our genetic limits, to live much longer than we otherwise would. But again, we’re starting small! And so the “burning calories” part is about lifelong health and the workout-of-the-day. Earn The third part of the Network School is about earning currency. We’ll have crypto prizes of the day for open source projects, AI content creation, and microtasks. There will be $1000 bounties every day for the duration of the program, similar to the various prizes I’ve posted on Twitter and Farcaster. And community members will post their own prizes. Next, in keeping with the overall theme of self-improvement, we’ll have office hours to help with your job, your career, your visa status, and your funding. We’re much more invested in you than a typical college career center because our interests are aligned: the more you earn, and the stronger you are financially, the more you’ll eventually have to reinvest in the community. Finally, we’ll have visitor hours with famous visiting technologists. As my friend Sriram noticed, when investors come through Singapore I typically do a podcast with them. Many will also visit the Network School to meet attendees, invest in them, or hire them. Others will give remote talks. And you can see the quality of visitors from the speakers in our conference and podcast. So, earning is about constant career development and the prize-of-the-day. Fun All work and no play makes Jack a dull boy, of course. So the fourth part of the Network School is about fun. This is the unstructured component. It’s most of what you’re here for. It’s just about assembling great people in one place: positive-sum people who believe in technological progress, internationalism, and capitalism. It’s your internet friends, coming from URL to IRL. Stanford introduced the concept of residential education, but this takes it to the next level. In fact, our initial location is very similar to Stanford. It’s beautiful and sunny, and less than an hour from a major city (Singapore) with an international airport (Changi). That means you can be heads down during the week, head into the city on the weekends for fun, and get to just about anywhere in Asia within the same day. This is convenient for the >50% of the world that lives within the Valeriepieris circle. We’ll do some group outings too, but most of the fun will be up to you. WHO THE NETWORK SCHOOL IS FOR Who is the Network School for? There are four lenses on this: demographical, ideological, professional, and personal. Demographically As mentioned, our focus is the dark talent. The more respect you have for legacy institutions, and the more respect they have for you, the less suitable you’ll be as an applicant. So: the Network School is for Indian engineers and African founders, for makers from the Midwest and the Middle East, for Chinese liberals and Latin American libertarians, for Southeast Asia’s rising technologists and Europe’s remaining capitalists. It’s for everyone who doesn’t feel part of the establishment. But it’s definitely not only for tech, because a community does not run on tech alone. Ideologically Ideologically, the Network School is for people who admire Western values, but who also recognize that Asia is in ascendance, and that the next world order is more properly centered around the Internet — around neutral code — than around either declining Western institutions or a rising Chinese state. For example, the Network School is for those who understand that Bitcoin succeeds the Federal Reserve, that encryption is the only true protection against unreasonable search and seizure, that AI can deliver better opinions than any Delaware magistrate, and that democracy can be rejuvenated with cryptography. It is for those who believe in technology, harmony, internationalism, and capitalism. It’s for those who want Silicon Valley without San Francisco. And for those who want to found, fund, and find not just new companies and currencies — but new cities and new communities. Professionally Our ideal applicant is capable of remote work, or has enough savings to support themselves while at the Network School. For our initial cohort, we’re seeking three major groups of people in particular: - Writers, artists, influencers, and filmmakers - Trainers, athletes, coaches, and clinicians - Founders, engineers, designers, and investors These are, roughly, the demographics focused on learning, burning, and earning respectively. Of course, if you fall outside those categories but still think you have something to contribute, you should still apply to the Network School. Personally I should mention that the Network School is a “product” that I built for the young version of myself — the aspiring young engineer. This is the community I want to live in: a technocapitalist college town, a Stanford 2.0 that’s globally affordable and genuinely meritocratic. So, I’ll be on campus full time. Bryan Johnson and I are supervising the setup of everything from bench press to French press. And we’ll eventually be recruiting faculty in the form of content creators, fitness influencers, and angel investors for the learn, burn, and earn portions of our program respectively. But all that in due time. APPLYING TO THE NETWORK SCHOOL Ok, so how do you apply to the Network School? Just go to ns dot com and click "apply." We’ve set up a simple Luma page where you can apply in a few minutes. Then, if you pass review, we’ll send a second application where you pay rent. As mentioned, our monthly rent is $1000 (with roommates) and $2000 (solo). We also have daily and weekly rates too, but short-term visitors still need to apply. The rent gets you an air-conditioned room on a beautiful island, with internet, gym, and access to all courses and community services. You’ll still need to handle your flights and pay for your food, but we think the overall package is extremely affordable. And so the Network School could be an amazing option for individuals or small teams looking to save money, get fit, and level up while living in paradise. I’m looking forward to seeing you there! Just fill out the application at ns dot com, also linked in the tweet below.

Gödel's first incompleteness theorem is commonly proved by means of a diagonal argument. But, in retrospect, we can see that what Gödel was really doing was proving that Peano arithmetic is Turing-complete, and then applying an argument from computational irreducibility... (1/15)

This talk convinced me that Ethereum can implement multiple concurrent block proposers @maxresnick proposes a new design called Braid, based on the simple idea of running many instances of Ethereum consensus in parallel I think this could become a defining part of the roadmap