game
Showing 220 posts related with game.
-
Iowa Code Camp
June 17th, 2023 8:00am - 5:30pm No cost Event Location: [https://iowacodecamp.com/about/location](https://iowacodecamp.com/about/location) **Build Blockchain dApps with .NET** Blockchain has gone from relative obscurity outside of technical circles just a few years ago to seeming applicability in every industry today. Learn what a dApp (decentralized App) is and how to deploy dApps to the blockchain. Also in this session, find out the latest blockchain development tools using a C# Visual Studio Extension as well as a decentralized Unity SDK. See how blazing fast it is to develop blockchain solutions. It has never been simpler. This session demonstrates the fastest way to build dApps. Code will be shown on how to build and deploy to blockchain! The session will cover getting started building and deploying decentralized applications (dApps). In this session you will learn how to... Understand the real potential of blockchain Set up your blockchain development environment Use C# to deploy Web and Maui dApps to the blockchain Use Unity to create a blockchain gaming solution Build Blockchain dApps with .NET (Level: 100) Speaker: [Russell Fustino](https://iowacodecamp.com/speaker/list#2) [Complete Session List](https://iowacodecamp.com/session/list)
-
AlgoRanch @ EthDenver
 Themes will cover some of the latest developments on Algorand – from the launch of staking rewards and new, super-simple node running tools, to updates with AlgoKit and the Algorand developer UX, tools for cross-chain building, new dapps and creators in the ecosystem, and more. Bring your laptop, your Pera wallet, and your boots… because we’ll be rounding up some of the best devs in town for these talks. Don’t miss out! ## Schedule: **🌟 10:00 - 11:30 AM | Stake & Eggs Brunch** ICYMI: Algorand 4.0 is here and with it comes the industry’s most accessible Staking Rewards program. There are already more than 3,000 mainnet nodes live across the globe. Join this session and learn more about consensus on Algorand and how to stake your claim with one of the industry’s most community-owned networks. Unlike other networks, staking on Algorand comes with: * no lock-up period * no slashing penalties * real-time rewards, paid every 2.8s as blocks are finalized * options for everyone to participate, from solo staking to staking pools and liquid staking Join this session to: * learn more about staking rewards and protocols on Algorand * get real-time help starting up your own Algorand node (with NodeKit for Algorand it takes as little as 15 minutes!) * enjoy a “light bites” brunch **Speakers include:** * Patrick Bennett, CEO, TxnLab * Andrew, Founder, GalaxyPay * Algorand Dev Rels Brian Whippo, Chris Kim, and Gabriel Kuettel (Can’t wait ‘til the event to learn more about Algorand staking? Visit algorand.co/staking-rewards for all the juicy details.) 🌟 **12:30 - 2:00 PM | RWAs, Prediction Markets, and Payments… let’s start building live!** Can you build all of that on Algorand? You bet your boots you can! And easily too, thanks to AlgoKit and the recently improved Algorand dev UX, offering native Python and TypeScript programming languages, a localnet block explorer, and more. Be sure to bring your laptop for this hands-on, technical session, where we’ll cover: * How to onboard to Algorand and start building in 5 minutes * A quick flyover of Algorand’s improved developer UX and industry-leading tools, like LORA (aka the live, on-chain resource analyzer) * How to mint Algorand Standard Assets (ASAs) – from memecoins to tokenized assets **Speakers include:** * Algorand Dev Rels Brian Whippo, Chris Kim, and Gabriel Kuettel * Jerry Chu, CEO & Co-Founder, and Mark Keane, Data Scientist Lofty / Alpha Arcade * Liv Hartoft Borre, Head of Customer Integrations, and Stefan Krumbaek, CCO, ZTLment **🌟 2:30 - 4:30 PM | Cross-Chain & Chill** Whoaaaa there, builders! Don’t miss these fun and informative chats on going cross-chain, Algorand memecoins, and more. Connect with Algodevs from key ecosystem projects. Show us what you’re building. Or just chill! We’re here to hang and connect. **🌟 2:45-3:10 PM | Build cross-chain with Router** Learn about building killer dApps in a multichain world! * Ram Ramachandran, CEO & Cofounder, Router * Min Wei, EVP of Ecosystem Growth, Algorand Foundation 🌟 **3:15 - 3:40 PM | Taking DeFi cross-chain** The era of interoperable DeFi is upon us. Hear how builders are creating cross-chain experiences for users and tapping into new opportunities – and discuss what protocols and tools are still waiting to be built! * Zeno Auersperg, Cofounder & CEO, AQube * Ibu Karel, CMO, Folks Finance * Marc Vanlerberghe, CMO, Algorand Foundation 🌟 **3:30-5:00 | Chat & chill with Algorand devs** Connect with Algodevs from key ecosystem projects, like ZTLment, TxnLab/NFDomains, Lofty, Monko, and more. Show us what you’re building. Or just chill! We’re here to hang and connect. Before the event, be sure to download Pera wallet. Not only is Pera your gateway to the Algorand ecosystem, but throughout the event we’ll be sending out airdrops and other surprises to attendees.
-
Intermediate · 1 hour
Building a lending pool using Reach
A lending pool is a contract which can be use to lend and borrow funds, tokenize debt and track interest earned or due. We will use Reach to build such a lending pool and see how the high level features make it easy to write such complex apps.
-
Intermediate · 1 hour +
Using loop invariants for verification in Reach
Loops can be quite useful for writing Reach programs but verifying the outcome of loops can be challenging. In this tutorial, we will go through a tour of one of the most important features of Reach - automatic verification of loops using invariants.
