Podcasts about verifier

Months before Ethereum's mainnet launch, Jason Teutsch introduced the Verifier's Dilemma in the first-ever scientific publication about Ethereum (CCS 2015). His solution to the Verifier's Dilemma, known as “Truebit,” ranked among Ethereum's earliest scaling protocols. While optimistic “Layer-2” platforms use Truebit's Verification Game as a secure basis for high transaction throughput, Jason has continued to expand this technology's application trajectory beyond smart contracts through Truebit Verify. Before NFTs existed, Jason kicked off the art and blockchain movement with the steel-and-plexiglass Dogethereum #ArtProject as a medium to showcase Truebit's original raison d'être. He has persisted in his role as Founder and Chief Scientist at Truebit for the past decade.

Months before Ethereum's mainnet launch, Jason Teutsch introduced the Verifier's Dilemma in the first-ever scientific publication about Ethereum (CCS 2015). His solution to the Verifier's Dilemma, known as “Truebit,” ranked among Ethereum's earliest scaling protocols. While optimistic “Layer-2” platforms use Truebit's Verification Game as a secure basis for high transaction throughput, Jason has continued to expand this technology's application trajectory beyond smart contracts through Truebit Verify. Before NFTs existed, Jason kicked off the art and blockchain movement with the steel-and-plexiglass Dogethereum #ArtProject as a medium to showcase Truebit's original raison d'être. He has persisted in his role as Founder and Chief Scientist at Truebit for the past decade.

In this episode, hosts Eric Fey and Brianna Lennon speak with Trent Tripple in Ada County, Idaho. Trent was integral in implementing the new Ballot Verifier system in Ada County that allows voters to view ballot images and cast vote records side-by-side. They spoke about how this ballot verifier came to be, how it's helped decrease distrust in elections in Idaho and how it's won his office back time that used to be spent fielding public records requests.

ADOT's Doug Nintzel sits down with MVD Director Eric Jorgensen to discuss the Digital Verifier App (buy booze with your phone ID). 

Nathan explores the Guaranteed Safe AI Framework with co-authors Ben Goldhaber and Nora Ammann. In this episode of The Cognitive Revolution, we discuss their groundbreaking position paper on ensuring robust and reliable AI systems. Join us for an in-depth conversation about the three-part system governing AI behavior and its potential impact on the future of AI safety. Apply to join over 400 founders and execs in the Turpentine Network: https://hmplogxqz0y.typeform.com/to/JCkphVqj RECOMMENDED PODCAST: Complex Systems Patrick McKenzie (@patio11) talks to experts who understand the complicated but not unknowable systems we rely on. You might be surprised at how quickly Patrick and his guests can put you in the top 1% of understanding for stock trading, tech hiring, and more. Spotify: https://open.spotify.com/show/3Mos4VE3figVXleHDqfXOH Apple: https://podcasts.apple.com/us/podcast/complex-systems-with-patrick-mckenzie-patio11/id1753399812 SPONSORS: Oracle Cloud Infrastructure (OCI) is a single platform for your infrastructure, database, application development, and AI needs. OCI has four to eight times the bandwidth of other clouds; offers one consistent price, and nobody does data better than Oracle. If you want to do more and spend less, take a free test drive of OCI at https://oracle.com/cognitive The Brave search API can be used to assemble a data set to train your AI models and help with retrieval augmentation at the time of inference. All while remaining affordable with developer first pricing, integrating the Brave search API into your workflow translates to more ethical data sourcing and more human representative data sets. Try the Brave search API for free for up to 2000 queries per month at https://bit.ly/BraveTCR Omneky is an omnichannel creative generation platform that lets you launch hundreds of thousands of ad iterations that actually work customized across all platforms, with a click of a button. Omneky combines generative AI and real-time advertising data. Mention "Cog Rev" for 10% off https://www.omneky.com/ Head to Squad to access global engineering without the headache and at a fraction of the cost: head to https://choosesquad.com/ and mention “Turpentine” to skip the waitlist. CHAPTERS: (00:00:00) About the Show (00:04:39) Introduction (00:07:58) Convergence (00:10:32) Safety guarantees (00:14:35) World model (Part 1) (00:22:22) Sponsors: Oracle | Brave (00:24:31) World model (Part 2) (00:26:55) AI boxing (00:30:28) Verifier (00:33:33) Sponsors: Omneky | Squad (00:35:20) Example: Self-Driving Cars (00:38:08) Moral Desiderata (00:41:09) Trolley Problems (00:47:24) How to approach the world model (00:50:50) Deriving the world model (00:55:13) How far should the world model extend? (01:00:55) Safety through narrowness (01:02:38) Safety specs (01:08:26) Experiments (01:11:25) How GSAI can help in the short term (01:27:40) What would be the basis for the world model? (01:31:23) Interpretability (01:34:24) Competitive dynamics (01:37:35) Regulation (01:42:02) GSAI authors (01:43:25) Outro

Don't just trust, verify! Truebit Verify lets Web3 applications integrate safely with any data source, move data securely across ledgers, and trustlessly call outside functions. Truebit revolutionizes blockchain computation, pushing the boundaries of web 3.0. In Episode 81 of Great Things with Great Tech, Blane Sims, Head of Product at Truebit, shares their journey from addressing Ethereum's limitations to pioneering offchain verification. Truebit enhances blockchain's scalability, enabling complex, efficient computations. Founded in 2017, their innovative approach, rooted in game theory, assures computational accuracy and integrity, driving the evolution of decentralized applications. Topics Covered: Truebit's Genesis and Ethereum's Evolution Offchain Verification: Scaling Blockchain's Horizons Truebit's Role in Web 3.0 and Traditional Tech Integration Game Theory: Securing Decentralized Computation Truebit OS and Verify: Powering Transparent, Reliable Applications ☑️ Technology and Topics Mentioned: Truebit, Blockchain, Ethereum, Offchain Verification, Web 3.0, Decentralized Applications, Game Theory ☑️ Web: ⁠https://truebit.io ☑️ Crunchbase: https://www.crunchbase.com/organization/truebit ☑️ Support the Channel by buying a coffee? - ⁠https://ko-fi.com/gtwgt⁠ ☑️ Interested in being on #GTwGT? Contact via Twitter @GTwGTPodcast or visit ⁠https://www.gtwgt.com⁠ ☑️ Subscribe to YouTube: ⁠https://www.youtube.com/@GTwGTPodcast?sub_confirmation=1⁠ ☑️ Subscribe to Spotify: ⁠https://open.spotify.com/show/5Y1Fgl4DgGpFd5Z4dHulVX⁠ • Web - ⁠https://gtwgt.com⁠ • Twitter - ⁠https://twitter.com/GTwGTPodcast⁠ • Apple Podcasts - ⁠https://podcasts.apple.com/us/podcast/id1519439787?mt=2&ls=1⁠ ☑️ Music: ⁠https://www.bensound.com

In this episode, Mara encourages listeners to think about what democracy-- or rather, the absence of democracy--feels like. They ask what it means to nurture and sustain hope in an era of democratic decline. Their guest, Pamela (Pam) Smith, the CEO and president of Verified Voting, offers answers and gentle perspective to these questions, and so much more, in her own democracy biography. "To vote is to be a part of something bigger than yourself." -- To learn more about Verified Voting, check out the following links! -Website: verifiedvoting.org for resources and tools that help explain how votes are cast and counted. -The Verifier verifiedvoting.org/verifier, a tool that lets you explore voting equipment usage and post-election audit requirements across the country going back to 2006 -An in-house database of voting equipment at verifiedvoting.org/equipmentdb provides extensive information on the equipment used to cast – and count – votes.

This podcast covers the following subjects: - Challenges of organizational change - Manage organizational change effectively - Adapting to organizational change - Managing change in companies Get ready for an enlightening conversation with Shaun Deverson as he delves into the intriguing topic of "Posturing for Prosperity in a Complex Ever-Changing World." In this thought-provoking discussion, Deverson will explore how individuals and organizations can navigate the challenges of our rapidly evolving society to achieve success. With his wealth of knowledge and unique insights, Deverson will provide valuable strategies and perspectives on how to adapt and thrive in an ever-changing landscape. Don't miss out on this captivating interview that is sure to leave you inspired and motivated to embrace change and seize opportunities in your own life. Shaun is an Honours-qualified Civil and Environmental Engineer with over 25 years of experience working in the Defence, Mining, Transportation, and Construction domains. Shaun also has a Master's in Business and Technology and Certificates in Project Management and Systems Engineering. Shaun's recently commenced a Masters of Philosophy with the Queensland University of Technology (QUT) School of Law where its focus will be on the application of complexity science and natural laws and principles to reimagine new urban planning laws. Through his diverse experiences, Shaun has acquired a broad array of rich insights and skill sets within areas of leadership, sustainability, systems thinking, and risk management. These were acquired in a multiple array of contexts and areas of responsibility including Managing Director, Project Manager, Sales and Independent Auditor, and Verifier for major construction projects. From these experiences coupled with his ability to deliver philosophically reasoned and evidence-based insights, Shaun is regularly invited to deliver and chair conference panels with a focus on the future of work, innovation, biomimetics, circular economy, and the abundant opportunities awaiting governments and corporations committed to transformation based on regenerative practices. https://www.linkedin.com/in/shaundeverson/

Nigel Blackiston joins Friday Form Focus to discuss Verifier who contests the Mahogany Challenge Final

We kick off this week's Tech It Out with Verizon's Ashley Colette, to learn about Verizon Mobile Protect and a special promo going on nowJustAnswer.com may be 20 years old but the company isn't resting on its laurels. I catch up with CEO Andy Kurtzig, to learn about its new JustAnswer ChatGPT Verifier.Be the first to learn about Torch, which immediately gives a warning of an approaching wildfire, with its cofounder and COO Vasya Tremsin – it's coming in 2024.Thank you to ASUS, for those in search of incredible, and Western Digital for its reliable external drives, and for being great partners on Tech It Out -- along with Visa and its multibillion dollar anti-fraud efforts.

L'artista Brian Moore si è inventato un dispositivo per verificare se stiamo ridendo veramente. Lol verifier può essere un primo passo medioevale verso il futuro di come comunicheremo in chat? ==== Non vuoi perderti nessuna puntata? Segui il canale: https://t.me/mariomoronicanale Vuoi collaborare con me o chiamarmi per un evento: mario@mariomoroni.it Buon Caffettino! Learn more about your ad choices. Visit megaphone.fm/adchoices

You may type LOL and make people you think you laughed out loud but if you didn't, a new device will hold you accountable. The LOL Verifier is a device that sits between your keyboard and your computer and only lets you type "lol" if you've truly laughed out loud. Bringing authenticity to the least authentic place: the internet. Brian Moore, the inventor of the LOL verifier joined Sean on the show to discuss...

You may type LOL and make people you think you laughed out loud but if you didn't, a new device will hold you accountable. The LOL Verifier is a device that sits between your keyboard and your computer and only lets you type "lol" if you've truly laughed out loud. Bringing authenticity to the least authentic place: the internet. Brian Moore, the inventor of the LOL verifier joined Sean on the show to discuss...

 - So Carole Baskin DIDN'T "kill her husband, whacked him"??????  - Break Up Bears... The worst, or the best way to end a relationship?  - What's the worst fight you ever had with your sibling? Jonny's sounds more like a kidnapping.  - #WhatsAPPening: The LOL Verifier is about to rat you out to your friends, and sounds to cover up you pooping  - Good news if your name starts with J!

After the Society was arrested and put into holding, Verifier Andy used his one phone call to interview the legendary grimdark artist, Ian Miller. It is hereby presented in its entirety, for your listening pleasure.  Email us at thecinemaniasociety@gmail.com, or visit our subreddit at r/thecinemaniasociety

Conventional wisdom might suggest that faster is better. Speed is a defining quality of the way many people seek to live their lives. We want faster cars, faster computers, faster solutions, and faster information! But the mad rush to share content faster and faster has left behind one of the most important ethics of a healthy community: verification! In a world where most think that the more important a claim is less likely we are to verify it, what can we learn from a hero who brought to life the sunnah of verifying claims?

An admission from the Government, that the "vaccine pass" system will rely on trust, rather than enforcement. Under the traffic light system, vaccine passes will be required for a range of activities. The Ministry of Health says venues must scan vaccine passes with the official Verifier app before allowing entry, but Jacinda Ardern says businesses can simply "sight" the passes without scanning them. Workplace Relations Minister Michael Wood told Mike Hosking ultimately, they'll rely on businesses and the public to just do the right thing. “The expectation is people show their vaccine passes but we're not going to have squads of people out enforcing that at every little café around the community.” LISTEN ABOVESee omnystudio.com/listener for privacy information.

Digital Marketing Legend "Srinidhi Ranganathan", Founder and CEO of http://firstlookai.in/ leaks the secrets of Artificial Intelligence in Digital Marketing. Watch the world's most secretive tutorials and videos here:

L'émission culinaire du dimanche matin, animée par Hervé et le chef Frédéric Kempf du restaurant ''les Clarines d'Argent'' à Metzeral, et diffusée sur Azur FM. Découvrez 3 recettes à base de sanglier : une tarte de champignons, un mignon de porc en croûte avec un enrobé de jambon de sanglier et un civet de sanglier. Tarte de champignons et sanglier Il nous faut :  - 500 gr de sanglier - 200 gr de champignons de Paris  - 100 gr de crème liquide - 100 gr de lait  - 2 oeufs (2 oeufs entiers et 2 jaunes d'œuf) - 1 petite échalote - un peu de persil - 1 oignon - 1 gousse d'ail - un peu de feuilles de laurier, thym et clou de girofle (pour la marinade) - 1 bouteille de vin rouge (pour la marinade) Pour la tarte :  - 1 rouleau de pâte brisée  - Une petite barquette de feuilles d'épinard  - un peu d'huile, du vinaigre, du beurre Taillez le sanglier en petits dés de 2 cm. Epluchez la carotte (la couper grossièrement). Placez dans un saladier la carotte, la gousse d'ail éclatée, les oignons grossièrement coupés, le clou de girofle, lauriers, thim et couvrir de vin rouge. Laissez mariner pour la nuit. Le lendemain matin, nous allons cuire. faire revenir le sanglier dans une poêle avec un peu de beurre et d'huile de noix. Une fois cuit, remettre un peu de vin de marinade par dessus et courir avec de l'eau. Laissez cuire pendant 20 à 30 minutes. Pendant ce temps, faire revenir les champignons après les avoir émincé finement, avec l'oignon cisselé. Déglacez avec la crème et le lait. Dans un autre saladier, battre les oeufs et ajoutez les champignons. Egoutez la viande de sanglier bien cuite et la laisser refroidir sur une assiette. Etalez la pâte brisée. y mettre la pâte, les dés de sanglier, du persil haché, couvrir avec le flan de champignons et un peu de gruyère. Cuire au four à 195° pendant 20 à 25 minutes. A accompagner avec la salade d'épinard. Mignon de porc en croûte avec un enrobé de jambon de sanglier Il faut :  Pour la pâte brisée : 200 gr de farine, un peu de sel, 70 gr de beurre, 1 oeuf et de l'eau Pour le mignon de porc :  - 400 à 500 gr de mignon de porc - 4 belles tranches de tomme - 100 gr de jambon de sanglier - un peu de jaune d'oeuf pour la dorure, sel, poivre, huile Faire revenir dans une poêle avec de l'huile, le mignon de porc (3 à 4 minutes de chaque côté). Le laisser refroidir et faire le montage. Etalez la pâte brisée et la dorer. Mettre le jambon de sanglier que vous aurez coupé très finement. Disposez les 4 tranches de tomme. Terminer avec le mignon de porc et rouler le tout. bien le fermer pour la cuisson et le dorer. Cuire au four pendant 30 minutes à 185°. A accompagner avec une purée et une sauce. Civet de sanglier Il faut :  - 1 kilo de viande de sanglier (ex : gigot) - 8 carottes - 5 navets - 1 oignon - 1 boîte de concentré de tomates - 1 à 2 litres de vin rouge - 1 bouquet garni - sel et poivre Taillez la viande en cubes. Epluchez les carottes, navets et oignon. Coupez les carottes te navets en morceaux de même taille. Dans une cocotte minute, faire rissolez l'oignon et rajoutez la viande de sanglier, le concentré de tomates et laissez caraméliser en remuant. Recouvrir de vin rouge. Vous pouvez rajouter de l'eau si il faut. Rajouter le bouquet garni, les carottes et le navet. fermez ! laisser cuire pendant 1 heure à feu doux. Verifier que la viande soit cuite (piquez avec un couteau). Sortir la viande et finir la sauce.  

12 months ago investors couldn't be blamed if they found it hard to grasp the genius and foresight of Liquid Avatar $LQID $LQAVF the easiest way to describe the company was as a blockchain platform allowing people to manage & profit from their digital identity, which became a real need once global laws started being enacted to prevent the likes of Facebook from every abusing our private information again. It sounded great and definitely sounded like something valuable 3-4 years into the future ... but then the signs started showing up that painted an accelerating picture that would put LQID at the forefront of digital identity. 1. In March of this year, Google validated the $LQID business model with this stunning announcement: Google announces major shift away from precision-targeting of ads based on everything you do on the internet • Google believes these types of tracking methods don't "meet rising consumer expectations for privacy, nor will they stand up to rapidly evolving regulatory restrictions, and therefore aren't a sustainable long term investment." • Google is experimenting with tools in its Privacy Sandbox that are designed to allow advertising to continue to work on the web but in a less privacy-encroaching way. • "Keeping the internet open and accessible for everyone requires all of us to do more to protect privacy — and that means an end to not only third-party cookies, but also any technology used for tracking individual people as they browse the web," David Temkin, Google's director of product management for ads privacy and trust, What is the potential outcome of this major shift by Google? "Google's decision could upend the ad industry, which has relied on these types of tracking tools" Now the data privacy and monetization game is underway with LQID sitting in a great position within the industry and the dominant position within the small cap world. 2. In May of this year, The Ontario government released its digital identity strategy outlining ways in which it plans to harness the potential of the digital economy and better utilize data. Included in the plan are tangible commitments. Then came the news all Liquid Avatar investors were waiting for: Ontario Releases Technology and Standards for Digital Identity which includes: • the creation of a new data authority; • the introduction of a new government-issued digital ID that lets people prove who they are both online and in person. ENTER LIQUID AVATAR Enter $LQID whose Liquid Avatar Verifiable Credentials Ecosystem (LAVCE) is being built to support all participants in a digital credential ecosystem, including the Holder, Issuer and Verifier, using state-of-the-art blockchain and open standards technologies - initially as a node on the Indicio Network. More than just a good idea, $LQID issued a press release announcing the following: "Ontario is one of the first jurisdictions in North America to announce that it will issue and enable digital credentials – and it has been a great experience working with the government on this both directly and through our role in membership organizations like the Trust Over IP Foundation" AND "Liquid Avatar Technologies has been a part of the ongoing consultations around the province's plan to introduce a digital identification credential by the end of 2021" Make no mistake about it. This is a simply massive paradigm shift and $LQID isn't going to tackle this on its own. The Company is a voting and steering committee member of the Trust over IP Foundation, founding and steering committee member of Cardea, a Linux Foundation Public Health project, member of the Good Health Pass collaborative, ID2020, DIACC, The Linux Foundation and a founding member of the Lumedic Exchange.

In this Podcast today, I will discuss the company HCA Healthcare! Listen to the podcast for details! --- Support this podcast: https://anchor.fm/thressa-sweat/support

Liquid Avatar $LQID Blockchain Powered Digital ID and Health Credentials Is The Genius App Most Couldn't See 12 Months Ago 12 months ago investors couldn't be blamed if they found it hard to grasp the genius and foresight of Liquid Avatar $LQID $LQAVF ..... the easiest way to describe the company was as a blockchain platform allowing people to manage & profit from their digital identity, which became a real need once global laws started being enacted to prevent the likes of Facebook from every abusing our private information again. It sounded great ... and definitely sounded like something valuable 3-4 years into the future ... but then the signs started showing up that painted an accelerating picture that would put LQID at the forefront of digital identity. 1. Google validated the $LQID business model with this stunning announcement at the beginning of March: Google announces major shift away from precision-targeting of ads based on everything you do on the internet • Google believes these types of tracking methods don't "meet rising consumer expectations for privacy, nor will they stand up to rapidly evolving regulatory restrictions, and therefore aren't a sustainable long term investment." • Google is experimenting with tools in its Privacy Sandbox that are designed to allow advertising to continue to work on the web but in a less privacy-encroaching way. • "Keeping the internet open and accessible for everyone requires all of us to do more to protect privacy — and that means an end to not only third-party cookies, but also any technology used for tracking individual people as they browse the web," David Temkin, Google's director of product management for ads privacy and trust, What is the potential outcome of this major shift by Google? "Google's decision could upend the ad industry, which has relied on these types of tracking tools" Now the data privacy and monetization game is underway with LQID sitting in a great position within the industry and the dominant position within the small cap world. 2. The Ontario government released its digital identity strategy outlining ways in which it plans to harness the potential of the digital economy and better utilize data. Included in the plan are tangible commitments such as: • the creation of a new data authority; • the introduction of a new government-issued digital ID that lets people prove who they are online. THEN CAME COVID-19 TEST AND VACCINATION CREDENTIALS Both of these happened BEFORE governments around the world started announcing "Vaccine Passports" that would require people to prove their vaccinations prior to accessing some of the biggest parts of society. But with the Quebec system already getting hacked before it started, the government initiatives are easier said than done. Enter $LQID whose Liquid Avatar Verifiable Credentials Ecosystem (LAVCE) is being built to support all participants in a digital credential ecosystem, including the Holder, Issuer and Verifier, using state-of-the-art blockchain and open standards technologies - initially as a node on the Indicio Network. The Company is also a voting and steering committee member of the Trust over IP Foundation, founding and steering committee member of Cardea, a Linux Foundation Public Health project, member of the Good Health Pass collaborative, ID2020, DIACC, The Linux Foundation and a founding member of the Lumedic Exchange. 12 months later and it is now getting easy to see the genius of Liquid Avatar. Watch this great interview with CEO David Lucacth

Audrey Malagon (Professor of Mathematics at Virginia Wesleyan & Mathematical Advisor to Verified Voting) joins Brianna and Eric for a conversation about the role of mathematical education in public policy, quality control in elections, and the popular Verifier tool.

Liquid Avatar Technologies (LQID: CSE) (LQAVF: OTCQB) is a global blockchain, personal identity & Fintech solutions company specializing in empowering individuals to manage, control, and generate value from their biometrically-verified Self Sovereign Identity (“SSI”) through its Liquid Avatar platform (www.liquidavatar.com) GENERALLY – Liquid Avatar Turns The Problem Of Data Privacy Into A Profit For Individuals While Providing Big Businesses With New & Compliant Business Models. SPECIFICALLY – Liquid Avatar Specializes In Continuous Online Identity Verification Personal Identity Management Personal Data Monetization. The LAVCE (Liquid Avatar Credentials Ecosystem) currently supports verifiable credentials by creating a Trust Triangle between the Issuer of a credential, such as a government, health provider, workplace or school, the credential Holder (the data subject), and the Verifier (receiver of data) that is working to validate each unique data transaction. Far more secure and reliable than paper-based credentials, contract tracing forms, and traditional apps, the LAVCE, and verifiable credentials can effectively reduce or eliminate fraud as all functions are supported by cryptographic blockchain solutions using the Indicio Network, the premier enterprise blockchain network for identity. David Lucatch, CEO says it best, “Quick and easy verification for vaccine status with robust protection against fraudulent issuance is just one of many of the LAVCE's important applications, Our communities just started opening up and it'd be a potential economic disaster if we had to collectively shut down again. We believe that it's not enough to just say that you're vaccinated or tested, we need a seamless, non-invasive, and privacy-respecting method for organizations to verify that individuals are immunized so that they can safely access their services…” Sit back, relax and watch this powerful interview.

The Diem blockchain, which was initiated in 2018 by Facebook, includes a novel programming language called Move for implementingsmart contracts. The correctness of Move programs is especially important because the blockchain will host large amounts of assets, those assets are managed by smart contracts, and because there is a history of large losses on other blockchains because of bugs in smart contracts. The Move language is designed to be as safe as we can make it, and it is accompanied by a formal specification and automatic verification tool, called the Move Prover. A project to specify and formally verify as many important properties of the Move standard library is now well underway. This talk will be about the goals of the project and the most interesting insights we've had as of the time of the presentation. The entire blockchain implementation, including the Move language, virtual machine, the Move Prover, and near-final various Move modules are available on http://github.com/libra About the speaker: David L. Dill is a Lead Researcher at Facebook, working on the Libra blockchain project. He is also Donald E. Knuth Professor, Emeritus, in the School of Engineering at Stanford University. He was on the faculty in the Department of Computer Science at Stanford from 1987 until going emeritus in 2017. Prof. Dill's research interests include formal verification of software, hardware, and protocols, with a focus on automated techniques, as well as voting technology and computational biology. For his research contributions, he has received a CAV award and Alonzo Church award. He is an IEEE Fellow, an ACM Fellow and a member of the National Academy of Engineering and the American Academy of Arts and Sciences. He also received an EFF Pioneer Award for his work in voting technology and is the founder of VerifiedVoting.org, an organization that champions trustworthy elections.

The Diem blockchain, which was initiated in 2018 by Facebook, includes a novel programming language called Move for implementingsmart contracts. The correctness of Move programs is especially important because the blockchain will host large amounts of assets, those assets are managed by smart contracts, and because there is a history of large losses on other blockchains because of bugs in smart contracts. The Move language is designed to be as safe as we can make it, and it is accompanied by a formal specification and automatic verification tool, called the Move Prover. A project to specify and formally verify as many important properties of the Move standard library is now well underway. This talk will be about the goals of the project and the most interesting insights we've had as of the time of the presentation. The entire blockchain implementation, including the Move language, virtual machine, the Move Prover, and near-final various Move modules are available on http://github.com/libra

FORMATION GRATUITE

Die MDR und IVDR verpflichten die Hersteller zur Unique Device Identification ihrer Produkte. Zahllose Normen wie die ISO/IEC 15416 oder die ISO/IEC 29158 ergänzen die diese Vorgaben: Diese betreffen die Darstellung der UDI z.B. als Barcode oder Matrix-Code ebenso wie die Überprüfung dieser Codes. Wilfried Weigelt, der Mitglied im DIN / ISO Normenausschuss zur Automatischen Identifikation ist, erläutert im Gespräch mit Professor Johner, was bei den Codes schief gehen kann, welche regulatorischen Anforderungen die Hersteller erfüllen müssen und wie Barcode Verifier dabei helfen können. Die Vorstellung über die Kosten hilft Herstellern bei der Entscheidung, ob sich der Kauf eines Barcode Verifiers eignet.

¡Hola qué tal TecnoCoders! Los iPhone 6s y iPhone SE original no tendrán soporte de iOS 15 el año que viene. Así lo afirma el sitio web israelí The Verifier (vía MacRumors) en un artículo publicado ayer. Los tres modelos basados en un procesador A9 se bajarían del tren de las actualizaciones seis años después de su debut original. Recuerda que puedes apoyarnos usando el siguiente enlace: [https://anchor.fm/TecnoCodePlusPodcast/support] desde el cual podrás realizar donaciones desde 0.99ctvos hasta 9.99$ (Dólares). En este episodio contamos con la participación de: •Alberto Astiazarain •Yaisel Herrera Síguenos en: Twitter: [https://bit.ly/2T2Tevv] Telegram: [https://t.me/tecnocodeplusCU] Blog en Médium: [https://bit.ly/2GFD20o] Comunidad VIP: [https://bit.ly/2I60Rz8] ¡Gracias por escucharnos y apoyarnos! --- Send in a voice message: https://anchor.fm/tecnocodepluspodcast/message Support this podcast: https://anchor.fm/tecnocodepluspodcast/support

In this week's episode, we chat with Dieter Shirley (https://twitter.com/dete73), CTO Dapper Labs (https://www.dapperlabs.com/), Chief Architect of Flow Blockchain (https://www.onflow.org/), and co-creator of CryptoKitties (https://www.cryptokitties.co/). We go back to look at the history of CryptoKitties, the NFT standard, what pushed Dapper Labs to build their own blockchain, how Flow works and what’s next. Here are a few useful links: The Path to an ERC standard (https://www.zeroknowledge.fm/62) where we look at the path to the ERC721 standard as an example. DapperLabs Coinlist sale (https://coinlist.co/flow) Dieter's talk on Verifier’s Dilemma at Ready Layer One (https://www.youtube.com/watch?v=m0OPJhQoI48) - subject we touched on briefly in our talk Thanks to this week’s sponsor Aleo (https://aleo.org/) Aleo is the first platform for fully private applications. It uses blockchain and zero-knowledge cryptography to deliver a web experience that is both personal and private. With Aleo, developers can write private applications, without a background in blockchains or expertise in cryptography. Aleo has released Developer Preview I (https://developer.aleo.org/aleo/getting_started/overview/), an early peek at what the future of the web will look like. The release introduces a new programming language called Leo, a new community-driven package manager for Leo, and a new development environment or IDE called Aleo Studio (https://aleo.studio/). We recently had Howard Wu, a co-founder of Aleo, on the show for an interview - you can find that episode here (https://www.zeroknowledge.fm/144). Learn more about Aleo at https://aleo.org/ Thanks again Aleo! If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Catch us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g) Read up on the r/ZKPodcast subreddit (https://www.reddit.com/r/zkpodcast) Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t-add: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ z-add: zs1f8jjtkuqwvxy9h4q7grl6287hmpzyt4s55d392djx43wxxudwv20x7qgs74kp2h6e9k95lswst8

In this episode, we talk about Microsoft’s new tech to combat deepfakes and Google’s Business Application Platform. We then chat with Fen Slattery, accessibility lead at Clique Studios, about Chrome 86, which has two new features that Chromium says will improve both the user and developer experience with the focus selector, and could be a big win for accessibility. Show Notes DevDiscuss (sponsor) Triplebyte (sponsor) CodeNewbie (sponsor) Vonage (sponsor) New Steps to Combat Disinformation Google Business Application Platform Giving users and developers more control over focus Clique Studios Fenslattery.com Web Content Accessibility Guidelines (WCAG) Overview WebAIM Accessibility Insights

OH_252-06-07 Verifier ses poches.mp3 by Shiour Yomi

Au programme: 5 plats typiques Suédois, les sports Nordiques et le debrief des Oscars. Soutenez-nous en nous payant un café: https://ko-fi.com/M4M118ZQD

STUMP THE RABBI PART (33) EMET Verifier, Practical EMUNAH, Suffering, MUSIC, Leaving Christianity by Rabbi Yaron Reuven

In today’s evolving financial services technology space, RegTech (regulatory technology), is fast becoming a game-changer in the challenging business area of compliance. RegTech brings agility, speed, integration and analytics into the mix of interpreting regulation and how compliance and operational risk is managed and reported in an automated way. On 27 February, the FSC and RBC Investor & Treasury Services welcomed a dynamic line-up of industry experts on the panel, who discussed current and trending issues concerning regulatory technology. Deborah Young | CEO | RegTech Association Justin Burman | Director, Full Service, Product (APAC) | RBC Investor & Treasury Services Lisa Schutz | Founder and CEO | Verifier Harold Lucero | Co-Founder and CEO | Discidium Samantha Clarke | Founder and CEO | Advice RegTech Please use these timestamps to navigate to key areas of discussion in the podcast: 1.39 - Samantha Clarke introduction 7.15 - Harold Lucero discusses Discidium and reflects upon the Royal Commission 10.23 - Lisa Schutz discusses Verifier and reflects upon the Royal Commission 14.38 - Justin Burman discusses RBC Investor & Treasury Services and reflects upon the Royal Commission 18.27 - Deborah Young discusses the RegTech Association and reflects upon the Royal Commission 24.25 - Advice for accelerating RegTech adoption 29.20 - Defining RegTech and explaining it within your organisation 32.30 - How to best enable and adopt RegTech innovation 35.00 - Other sectors where RegTech could be applied 37.50 - How government is encouraging RegTech 40.20 - The opening banking standard-setting process 41.33 - What is missing from the current RegTech eco-system? 46.11 - The challenges of RegTech for custodians 49.13 - How associations can support the growth of RegTech 51.23 - How to seek support from the RegTech Association

In this episode, we hear from a panel of experts at the FSC and RBC Investor and Treasury Services Technology Workshop on Open Banking and Open Data. Open Banking is due to start in Australia on 1 July 2019 - allowing Australians to ultimately control their own financial data and provide them the ability to direct the transfer of information between different institutions. The panellists included - Lisa Schutz, Founder and CEO, Verifier; Michelle Lusty, Head of Sonata Product - APAC​, Bravura; Jamie Stevenson, Managing Director, Global Head of Product Man. - Data & Analytics, RBC Investor & Treasury Services; Melissa Ferrer, Partner, Data & Analytics, Deloitte and moderator Janelle McQueen-Paice, National Manager, Customer Experience & Channel Development, BT Financial Group.

Do you ever call yourself an "introvert" or "extrovert" as a way of explaining why you do or don't enjoy doing something?  Have you ever taken a personality assessment such as the Myers Briggs?  Did you know by learning your type preferences it can help you with so many areas of your life?  Have you thought much about what those 4 letter combinations actually mean?  Understanding your type can help you to maximize your strengths and help you manage stress -- while improving your communication both personally and professionally.   If you are curious about your type, then tune in!  In today's interview, Rob Toomey, the President of TypeCoach walks us through identifying our own type.  Rob has trained over 30,000 people on type and his online platform has trained another 100,000.  I don't know anyone more knowledgable on the subject and as great of a teacher. Rob is excellent at breaking things down in an easy way to understand.  He is also giving away access to his four type products which is a $100 value!  This is only for a limited time.  It takes you deep into type and helps you better understand your strengths and how to communicate with other types.  There is an entire chart to help you do this and better understand the people in your lives.  Details on how to access this freebie are below in the show notes. On today's show, you'll learn: What is personality type and how to identify yours How to use type to turn it into a communication system to change how you connect with others, personally and professionally. How to identify the best career/work for you? Which “type preferences” enjoy which kinds of tasks. How you get your energy How we take in and process information.  It is this category where the big communication gaps occur.  This is one category where the intuiters make up only 1/3 of the population.  Rob explains what you need to know if you are an intuiter.  How understanding this can help you in your relationships and in your career for a win win vs creating tension. Answer the “how” questions. How your type impacts your sense of humor and who will relate to your humor. Why we change our “preferred” ways of being in the world and begin to sensor ourselves …and how you can instead use it to find your authentic voice. How knowing TYPE can help you with tolerance and compassion. How you can make your relationships richer and more fulfilling. Understanding type gives you more “permission” to be more of who you are. How we make decisions How the “terms” aren't literal. For example, a judger isn't judgmental –it's someone who prefers closure How people prefer to structure their lives. He reveals the one type category that causes the most stress in relationships and why it's so critical to understand it for better relationships. What you need to have in place for job satisfaction. He explains the 16 combinations of categories and how knowing these combinations informs your core values in life. Understanding type can help you figure out what careers and situations help you thrive. Rob shares how our core values are tied into our type and how knowing that can help you to live a happier and more fulfilled life as well as figure out what types of work is a good fit. SJ – responsibility and dependability SP – grounded, practical and realistic – they want to be impressive NJ – all about strategy, long-term success and competency NP – helping others in reshaping someone's fullest potential – feeling combined with big picture. Resources Mentioned + Access to Your Freebie to Learn Your Type!! Directions on how to access the freebie are below: SIGN UP  Create a new TypeCoach account Go to: www.type-coach.com using a computer (not device) with your most up to date internet browser (chrome, firefox, etc.) Sign Up" (top right) & create and save your password  Your access code:  UP7VKJ When you come back to the site, just Login (top right) to pick up where you left off. NEXT: Complete The TypeCoach Verifier Approximately 20 minutes in length An interactive, video-based experience to discover and verify your best fit personality type.  Download your custom report at the end of the Verifier. Bring a printed copy to your session (if applicable) Report contains tips for maximizing your natural strengths, minimizing your challenge areas, info about your stress responses, and more Now you can access the following customized to your type: Coaching Videos for YOUR type Five entertaining videos covering the top 5 secrets of success for your type. The Type-to-Type tool Click on any name (or type) to access top ten tips for working with them based on YOUR type and THEIR type. This tool is often set to auto populate with the names of your colleagues and their types from this group.   The Online TypeCoach Influence Course The 2.5 hour signature TypeCoach Influence Training Program features video footage of the complete program facilitated by the co-founders of TypeCoach Carly and Rob Toomey.    You¹ll gain two skills:  The ability to quickly identify type preferences in others based on observable clues in their speech, etc. and  The ability to tailor your approach to working with them based on their type preferences.  If you are experiencing challenges playing the videos (less than 1% of you), our apologies for the inconvenience!  Please try a different internet browser (or computer).  Rob's latest venture: Theradicalidea.com Books Referenced: Making a Living Without a Job by Barbara Winter Survival Games Personalities Play by Eve Delunas Michele's New Book, Design A Life You Love Thank you for listening to the show. I hope you enjoyed it and would love to hear what your key takeaway was from this episode.  Please be sure to share it with friends who would benefit from this information.  Also be sure to subscribe so you don't miss an episode. Rate & Review: If you enjoyed this episode, would you take a minute to review it on iTunes?  Your review helps me better understand what topics you most enjoyed.  It also helps others find this podcast so that they too can learn this helpful information.  This community is all about women supporting women!

The team at Nori has spent the last several months traveling the world, attending conferences around regenerative farming, agricultural technology, and the soil health movement. And the overarching theme among stakeholders has been the need for a price on carbon. How is Nori working to deliver just that? What methodologies is the platform using to measure and verify carbon removal in soil? And how does the system work to pay farmers for regenerative practices? Alexsandra Guerra is the Director of Strategic Planning for Nori. A clean energy crusader with a background in the energy and tech space, she is well-versed in the realm of data-drive projects focused on increasing distributed energy resources and grid modernization. Alexsandra believes that they key to impactful innovation is a combination of social awareness and technology, and she prioritizes efficient and sustainable practices in all aspects of her life. Today, Alexsandra once again joins Ross, Christophe and Paul on the podcast. This time, she is here to talk methodologies, explaining her current work with the product team around compensating farmers for carbon removal. She walks us through the process of enrolling in the Nori marketplace, getting your data verified, and earning Nori tokens. Alexsandra offers insight around the benefits of regenerative farming practices and the demand for a price on carbon. Listen in to understand how and why Nori is engaging stakeholders to build a usable platform based on feedback from the community.   Resources Nori Webinars COMET-Farm Natural Resources Conservation Service GOAT ReGen18 VNRC Soil Workshops Carbon Farming Innovation Network University of Minnesota Main Street Project   Key Takeaways [1:46] The fundamentals of Nori methodologies Current focus on soils and grazing Develop way to measure carbon removal List projects, get paid for good work [2:43] How to become a part of the Nori marketplace Enter regenerative practices on COMET-Farm Use data to estimate CO2land stores over time Issued corresponding number of CRCs [4:02] The benefits of regenerative farming practices Better yield over time, prevents soil erosion Avert economic impact of land degradation [5:53] The job of a verifier in the Nori system Confirm applicant has rights to project listed Verify accuracy of data in COMET-Farm Ensure project not on other marketplaces [8:00] How farmers get paid through Nori after verification CRCs listed in que, convert to Nori tokens once purchased Some tokens issued immediately but others held in reserve Must maintain practices for ten years [9:45] The difference between a verifier and an auditor  Verifier makes sure COMET-Farm data is accurate, maintained Auditor performs occasional checks (still working on timeline) Supplier and buyer pay for both, Nori not involved in process  [14:09] How the Nori marketplace provides assurance to buyers Adjust credits held in reserve if less CO2removed than projected [15:47] The theme of recent ag tech and soil health conferences Crucial need for price on carbon New practices to reduce inputs (e.g.: tree range chickens)  [18:57] Why Nori is building a community of collaboration Generate input to build usable tool Prompt broad stakeholder engagement [22:46] The Nori product team’s lean methodology Apply scientific method to assumptions Customer discovery to test hypotheses

The school year is kicking off and I am excited to share a terrific series of podcasts with you about teaching with robots. Below is the beginning of the post, be sure to check out the full article on Beyond The Hour of Code (http://www.beyondthehourofcode.com) . Lesson Design in Three Dimensions, Learning with RobotsThe idea of teaching young children by playing with robots seems both amazing and laughable. If it is funny or strange, that is only because it is difficult to imagine learning with a robot. Spoiler alert: it will not involve C3PO lecturing your students. Learning with robots through programming and group work is a very kinesthetic form of learning. Understanding the roles a robot can play will help you design engaging and meaningful lesson. The role a robot can play in a lesson does depend on what a robot can do. While this text refers to several different robots, these are just a few of the ever-expanding selection of educational robots. For the most current and updated information about these robots be sure to check BeyondtheHourofCode.com. Robot as PointerFrom the desktop to floorGreat news! You have lessons written that are almost robot-ready. The most important element in a robot lesson is to make the location of the robot meaningful. A matching activity designed for desktop work can be adapted quickly to a robot activity. Many lessons take only two steps con convert from desktop to robot lesson: Enlarge the images used in the desktop activity and places them on the floor. Have students working in groups program a robot to move from the image to its match. With this simple idea, you can place answers to math problems on the floor and have students navigate to the right answer once they have solved the problem. Students could also roll dice and navigate to the correct answer. This model of using the robot as a pointer to indicate the correct answer was the seed of a lesson in Tali's class. The robot used in this lesson was a Bee-Bot, a very simple robot that looks like a bumble bee and has a small wheelbase. It is programmed by pressing directional buttons on top of the robot. Every time theBee-Bot moves, it moves 15 cm. The bee bot runs on a grid of 15 cm squares. The objectives of this lessonStudents will develop math skills (differentiated by skill) Students will develop communication skills through group collaboration Planning this lesson requires knowledge of the students and their math abilities, but with this knowledge, you can do some very meaningful differentiation. Tali had six robots to work with, so she divided her 24 students into six groups. She did not create groups of equal numbers. Instead, she created groups of similar math ability. With ability groups, she was able to customize the challenge level of the work to fit the students' needs. Tali ensured engagement through differentiation. The GroupsThe core of this lesson is students do the math at hand and navigate the robot to the correct answer. Tali gave each group appropriate math to do and customized the robots grid with the answers needed. Although the groups had slight variations in size, there were four active roles for students in the groups. Calculator- counts the pips on the dice, or computes the solution to the problem on the sheet. This student talks through their process aloud as they work. Verifier- checks the math problem, and is available to help in the computation process. Programmer- writes and inputs the program needed to navigate the robot to the solution. Debugger- follows the program as it runs to discover any errors, also available to assist in the programming process. When Tali introduced the lesson, she spent time talking about each of the roles. Then a group including Tali role played through a turn, rotation, and a second turn. This modeled each role as well as the process of changing roles. Compared to managing role rotation, programming a robot is easy. Once the students were assigned...

Oggi scopriamo Hunter, una app molto semplice ma utilissima che farà felici gli investigatori mancati. Eh sì, perché con Hunter riuscirete a trovare finalmente quei contatti che state cercando da chissà quanto.Hunter è una web app che ci viene in aiuto in due modi:ci fa trovare gli indirizzi mail aziendali associati a un determinato dominio;con la funzione “Verifier” ci consente di controllare la validità di un particolare indirizzo mail.E se avete i polpastrelli stanchi e non vi va di scrivere il dominio nel form, potete installare l’estensione per Chrome e usarla sui siti che vi interessano. Funziona anche sui profili LinkedIn.Ma questa app ha mille interessantissimi: contattare prospect su Linkedin, raggiungere giornalisti…Da novembre esiste anche l’integrazione con Zapier che consente di salvare automaticamente i contatti da Hunter al proprio CRM preferito o anche su un foglio di lavoro. Ma non solo, perché si può sfruttare anche l’API dell’Email Verifier. Per esempio se una persona lascia la mail sul nostro sito per ottenere un lead magnet, possiamo sfruttare Zapier e Hunter per verificare la validità dell’indirizzo usato e solo se è un indirizzo vero salvarlo nel nostro database contatti.Continua su:http://www.MERITA.BIZ/68### NOTE DELLA PUNTATA ###Maggiori informazioni sulla app si possono avere sul sito ufficiale di Hunter.Sistemi supportati: web.Prezzo: gratuito e piani a pagamento da 49€/mese a 399€/mese al mese.### PODCAST ###HTTP://www.MERITA.BIZ/PODCAST Sottoscrivi il podcast su: iTunes: http://j.mp/MERITA-ITUNES Stitcher:http://j.mp/MERITA-STITCHER Spreaker:http://j.mp/MERITA-SPREAKER Soundcloud:http://j.mp/MERITA-SOUNDCLOUD ##### WWW.MERITA.BIZ #####

Doug Dietrich of Burns & McDonnell will be a guest on Southeast Green’s weekly live radio show, “Speaking of Green,” on Wednesday, February 12th, at 9:30 a.m. Eastern. Broadcast live on Blog Talk Radio, Dietrich will share insights and developments regarding EnvisionTM, a framework being adopted by major metropolitan areas and leading firms in the design, engineering, and construction sector to help guide communities and enterprises through the process of (1) articulating infrastructure project objectives, options, and priorities; and (2) making decisions in light of long-term costs and benefits to people, businesses, and natural resources. Dietrich has 20 years of experience working with environmental organizations and in management consulting to Fortune 500 firms. He has managed sustainability projects for governmental and corporate clients in the medical, educational, professional services, industrial and agricultural sectors. Credentialed as an Envision Sustainability Professional (ENV SP) and Verifier, Dietrich is also a LEED Accredited Professional in Building Design and Construction (LEED AP BD+C).  In April, he will be presenting on Envision at the annual conference of the National Association of Environmental Professionals (NAEP) in St. Petersburg, Florida.