DiscoverThe Let's Talk Bitcoin Network
The Let's Talk Bitcoin Network

The Let's Talk Bitcoin Network

Author: The LTB Network

Subscribed: 1403Played: 8203
Share

Description

The main LTB Network feed contains all of the cryptocurrency related podcasts that make it to the front page of Let's Talk Bitcoin! You can expect a new episode or two most days subscribing to this feed.
518 Episodes
Reverse
The Bitcoin Game #55: Cryptograffiti
Welcome to episode 55 of‚The Bitcoin Game, I'm Rob Mitchell. In today's episode, I'm happy to present an interview with one of the most well-known fine artists in the cryptocurrency space, Cryptograffiti. I'm a huge fan of his work, and was happy to get to learn a bit more about him. Check out his art in the links below.SHOW LINKSCryptograffiti's Sitehttps://cryptograffiti.comTwitter @Cryptograffitihttps://twitter.com/cryptograffitiInstagram @Cryptograffitihttps://www.instagram.com/cryptograffitiNakamotohttps://cryptograffiti.com/collections/fine-art/products/nakamoto-2014Wired: The Rise And Fall of Bitcoinhttps://www.wired.com/2011/11/mf_bitcoinCasascius Coinshttps://www.casascius.comSilk Roadhttps://cryptograffiti.com/collections/fine-art/products/silk-roadArt Show - Proof of Arthttps://twitter.com/cryptograffiti/status/1000060654990999553Cryptograffiti's work featured in the Wall Street Journalhttps://blogs.wsj.com/moneybeat/2014/12/11/microsoft-to-allow-bitcoin-payments-for-games-apps-other-contentCryptograffiti T-shirtshttps://cryptograffiti.com/collections/mens-shirtsSTAY IN TOUCHThanks so much for taking the time to listen to The Bitcoin Game!https://Twitter.com/TheBTCGamehttp://TheBitcoinGame.comRob@TheBitcoinGame.comSPONSORWhile much of a Bitcoiner's time is spent in the world of digital assets, sometimes it's nice to own a physical representation of the virtual things you care about. For just the price of a cup of coffee or two (at Starbucks), you can own the world famous Bitcoin Keychain, the growingly popular Litecoin Keychain, or even your own Bitcoin Fork - Pen.As Seen OnThe Guardian ' TechCrunch ' Engadget ' Ars Technica ' Popular MechanicsInforwars ' Maxim ' Inc. ' Vice ' RT ' Bitcoin Magazine ' VentureBeatPRI ' CoinDesk ' Washington Post ' Forbes ' Fast Company Bitcoin Keychains - BKeychain.comLitecoin Keychains - LKeychain.comBitcoin Fork Pens - BitcoinForks.comAll of the above on Amazon - BitcoinNovelties.com Here are some tipping addresses (Lightning tipping, coming soon!) Bitcoin (Segwit) tipping address:3AYvXZseExRn3Dum8z9tFUk9jtQK6KMU4gLitecoin tipping address:MCszxWfm4y4Ke39vJZLXwULLRgVmBfJy8zBitcoin Cash tipping address:1EXYkuuQ49uEioTpHY4ZY99edJczbUqQfuEthereum tipping address:0xB8b169192A74746050806671710aeB72F01F6ED1CREDITSAll music in this episode of The Bitcoin Game was created by Rob Mitchell, or some funky jam Rob was involved in.The Bitcoin Game box art was created from an illustration by Rock Barcellos.Note: We've recently migrated our RSS feed (and primary content host) from Soundcloud to Libsyn. So if you notice the Soundcloud numbers have dropped off recently, that's the reason.
The Tatiana Show - Pamela Morgan, author of 'Crypto Asset Inheritance Planning'
YouTube Video Here!Free book contest! June 15-22, 2018. The Tatiana Show is offering 1 free copy of Pamela Morgan's new book, "Cryptoasset Inheritance Planning: A Simple Guide for Owners." Just share, tweet, or retweet this episode on Facebook or Twitter, using the hashtag #freeCIPbook. We will pick a winner on Friday, June 22. Thanks for sharing!Topics include:-- Setting up a secure inheritance plan of action-- S.U.R.E analysis-- User-friendly solutions to mitigate risk-- Death and taxesAbout the Guests:-- Pamela Morgan is an educator, entrepreneur, author, and attorney who has been working exclusively with bitcoin & open blockchains since early 2014. Morgan is a widely respected authority on multi-signature governance and legal innovation in digital currencies. She spends much of her time traveling the world training lawyers about these technologies through her company, Empowered Law. Her book, Cryptoasset Inheritance Planning: A Simple Guide for Owners, provides a clear blueprint to inheritance planning for those holding cryptocurrency, tokens, crypto-collectibles, and other cryptoassets.**** We are pleased that this interview was also featured at "BitCoin Magazine" check it out here bitcoinmagazine.com/articles/till-death-do-us-fork-planning-cryptoasset-inheritance/****More Info:www.TatianaMoroz.comwww.CryptoMediaHub.comwww.Vaultoro.comwww.empoweredlaw.combit.ly/CIPPamMorganFriends and Sponsors of the Show:www.TheBitcoinCPA.comwww.CryptoCompare.comwww.FreeRoss.orgwww.ThirdKey.Solutionswww.SovrynTech.comwww.SexAndScienceHour.com
The Tatiana Show '" Rob Viglione of ZenCash & Hannah Rosenberg of Velas Commerce
YouTube Video Here!Topics include:-- ZenCash updates on the recent 51% attack-- Upcoming forks-- Let's Talk BitCoin events-- Upcoming events promoting cryptocurrency and blockchain techAbout the Guests:-- Hannah Rosenberg is an e-commerce web developer, educator and entrepreneur with a degree in Economics from the University of Illinois at Chicago. She has a passion for monetary theory and alternative currencies, and became an early cryptocurrency adopter and enthusiast in 2012. In 2014, she was among the first to be Certified as a Bitcoin Professional by C4, the Cryptocurrency Certification Consortium. She is the founder of Velas Commerce, a Blockchain training and consultancy business, and is the organizer of the Chicago Bitcoin and Open Blockchain Meetup. -- Rob Viglione is co-founder of ZenCash, a decentralized blockchain-based platform for private transactions, communication, and document publishing. He's also a Board advisor for ETHlend and HeroEngine World. As a PhD candidate in finance, Viglione is an expert in crypto-finance, asset pricing, and crypto-related innovations, and teaches university courses about Bitcoin and blockchain applications.More Info:www.TatianaMoroz.comwww.CryptoMediaHub.comwww.Vaultoro.comwww.velascommerce.comwww.meetup.com/Bitcoin-Open-Blockchain-Community-Chicagowww.zencash.comFriends and Sponsors of the Show:www.TheBitcoinCPA.comwww.CryptoCompare.comwww.FreeRoss.orgwww.ThirdKey.Solutionswww.SovrynTech.comwww.SexAndScienceHour.com
#239 Grigore Rosu: The K framework - a framework to formally define all programming languages
In the past few years, we witnessed the development of multiple smart contract languages - Solidity, Viper, Michelson, Scilla etc. These languages need to enable developers to write correct, predictable behavior smart contract code. Each language development effort therefore ends up spending resources into building formal verification toolsets, compilers, debuggers and other developer tools.In this episode, we are joined by Grigore Rosu, Professor of computer science at UIUC [University of Illinois at Urbana-Champaign] for a deep dive into the K framework. The K framework is mathematic logic and language that enables language developers to formally define all programming languages; such as C, Solidity and JavaScript. Once a language is formally specified in the K framework, the framework automatically outputs a range of formal verification toolsets, compilers, debuggers and other developer tools for it. Updates to the language can be made directly in K. This technology has massive implications for smart contract programming language development, and formal verification efforts in the blockchain space.We also cover his efforts to express the Ethereum virtual machine using the K framework, and to develop a new virtual machine technology, called IELE, specifically tailored to the blockchain space. Check out the episode to understand a game changing technology in the formal verification and smart contract safety space.Topics discussed in this episode:Grigore's background with NASA and work on formally verified correct softwareMotivations to develop K frameworkBasic principles behind the operation of K frameworkHow K deals with undefined behavior / ambiguities in a language definitionThe intersection of K framework and smart contract technologyRuntime Verification's collaboration with CardanoKEVM and IELE, smart contract virtual machines developed by Runtime VerificationBroader implications of the K framework for the blockchain industryLinks mentioned in this episode: Defining the undefinedness of C - formalisation of C using the K frameworkIELE - a new virtual machine for the blockchainRuntime verification - Grigore's companyK Semantics of the Ethereum Virtual MachineShort video on Grigore's partnership with CardanoAn overview of the K framework by Runtime VerificationA detailed technical overview of the K semantic frameworkSupport the show, consider donating: BTC: 1CD83r9EzFinDNWwmRW4ssgCbhsM5bxXwg (https://epicenter.tv/tipbtc)BCC: 1M4dvWxjL5N9WniNtatKtxW7RcGV73TQTd (http://epicenter.tv/tipbch)ETH: 0x8cdb49ca5103Ce06717C4daBBFD4857183f50935 (https://epicenter.tv/tipeth)This episode is also available on :Epicenter.tvYouTubeSouncloudWatch or listen, Epicenter is available wherever you get your podcasts.Epicenter is hosted by Brian Fabian Crain, Sƒbastien Couture & Meher Roy.
#238 Dr. Amrit Kumar & Dr. Ilya Sergey: Scilla - A Formal Verification Oriented Contract Language
With the rise of smart contract technology, we've become acutely aware of the need for smart contract code to accurately reflect the intentions of its author; and for the code to have certain (safe) behaviors in all circumstances. Creating the languages and software tools to enable ordinary developers to write safe contracts has become an intense research endeavor in the cryptocurrency space.Scilla is a Turing incomplete intermediate level language; inspired from the paradigms of functional programming and formal verification; that makes it easy for smart contract developers to automatically prove statements about smart contract behavior. For example, Scilla could allow a future multi-signature smart contract author to mathematically prove that funds in that contract would always be retrievable by certain addresses (and never get stuck like the Parity incident). The ability to mathematically prove such safety properties of the smart contract has the potential to be an enabling invention prior to widescale use of this technology.In this episode, we are joined by Dr. Amrit Kumar and Dr. Ilya Sergey to discuss Scilla, the smart contract language of the upcoming Zilliqa blockchain. In a previous episode, we've already covered the vision and technical approach of Zilliqa to solve the transaction scalability problem of permissionless blockchains. This episode focuses specifically on their smart contract language development efforts.Topics discussed in this episode:Updated on Zilliqa's progress since our last episodeThe technology of mechanised proofsDr. Ilya Serger's effort to mechanically prove safety properties of a blockchain consensus networkAims of the Scilla languageFuture capabilities enabled by the Scilla languageDeveloper experience and perspective using formal verification toolsHow Scilla compares to Michelson, Tezos' approach to smart contract languages with a similar end goalCurrent state of development of Scilla, and next milestonesLinks mentioned in this episode: Our previous episode on the Zilliqa platformIlya Sergey's paper on mechanising blockchain consensusScilla whitepaperMichelson, Tezos platform's smart contract languageZilliqa blog for updates on platform developmentCoq, a formal proof management systemSponsors: Gnosis X: Build a revolutionary prediction market dApp on Gnosis & win up to '$100,000 in GNO tokensSupport the show, consider donating: BTC: 1CD83r9EzFinDNWwmRW4ssgCbhsM5bxXwg (https://epicenter.tv/tipbtc)BCC: 1M4dvWxjL5N9WniNtatKtxW7RcGV73TQTd (http://epicenter.tv/tipbch)ETH: 0x8cdb49ca5103Ce06717C4daBBFD4857183f50935 (https://epicenter.tv/tipeth)This episode is also available on :Epicenter.tvYouTubeSouncloudWatch or listen, Epicenter is available wherever you get your podcasts.Epicenter is hosted by Brian Fabian Crain, Sƒbastien Couture & Meher Roy.
Technology and Choice #34, On Writing and Research, with Robert Worstell
My old friend and sometimes co-host, Robert Worstell, returns and we explore the topic of research, especially from the angle of learning how to write fiction, and writing in general.Over the years Robert has rolled up his sleeves and plunged into many subject areas to establish for himself what the underlying principles are that allow one to master the subject or action, used what he learned to be effective in the field, and then shared what he learned with others. In the process he has published an impressive volume of books, articles and stories, and learned to make a reasonable living doing so, sharing what he has learned so that others can benefit from what he finds.In our discussion we also get in pretty close to the essence of what makes the pair of concepts "technology" and "choice" such a powerful tool to examine how to do things.MusicBumper music: Phantom from Space by Kevin MacLeod.LinksFree stuff from Robert for listeners of this episodePackage of three free courses on writing FREEGo Thunk Yourself, Again -- A great book containing an outline of Roberts approach to researching subjects. Becoming a Writer, by Dorothea BrandOn Writing, by Stephen KingPrevious Technology & Choice episodes with Robert WorstellTC 1 - Virtual RealityTC 2 - Revenge of the Social Media ZombiesTC 3 - The Resounding Duh!TC 4 - A Talk with Paul RosenburgTC 5 - Scam Tech 101TC 7 - Some Loose EndsTC 12 - Influence Says It AllTechnology & Choice Subscription page
loading
Comments (1)

apnda LI

great

Apr 13th
Reply
loading
Download from Google Play
Download from App Store