Podcasts about turing complete

Analyst roundtable with Adrian Cockcroft, Stephen Perrenod, Chris Kruell, and Shahin Khan. In this episode: Tariffs and how companies are or should be approaching them, The Triffin Dilemma, Strategic Bitcoin Reserve, FinTech software around BTC, Turing Complete smart contract languages, AI Chips, Intel, Nvidia, TSMC, AI pricing, Data Center carbon footprint, Green Software Foundation. [audio mp3="https://orionx.net/wp-content/uploads/2025/04/OXD028_ART_Tariffs_AI-Chips_BTC-Reserve_AI-Pricing_DC-Carbon_20250428.mp3"][/audio] The post Analyst Roundtable: Tariffs, AI Chips, BTC Reserve, AI Pricing, DC Carbon – OXD28 appeared first on OrionX.net.

"Alors que je pensais déjà avoir un bon niveau, quand j'ai découvert les Windows Functions j'ai pris une claque" Le D.E.V. de la semaine est Cédric Miachon, Head of Data @ LesFurets.com. Le podcast de cette semaine met en lumière l'importance et la puissance du SQL, souvent méconnues, dans la manipulation de données complexes. Cédric porte une attention particulière à la clarté des requêtes SELECT et aux performances des index, soulignant l'impact majeur de ces outils SQL couramment utilisés. Il nous guide également à travers des concepts avancés, tels que les fonctions de fenêtrage et l'évolution vers des technologies plus récentes. L'épisode s'achève sur une note réaffirmant l'importance indéniable de SQL dans la gestion des données.Chapitrages00:00:55 : Introduction au SQL00:06:48 : Les éléments fondamentaux du SQL00:06:57 : Structures avancées des requêtes SQL00:19:52 : Gestion des performances de requêtes00:35:56 : L'importance des clés étrangères00:44:22 : Évolution vers le NoSQL00:47:42 : Conclusion et recommandations Liens évoqués pendant l'émission Le Fleuve de l'éternité, tome 1 : Le Monde du fleuve **La cybersécurité, c'est l'affaire de tous ! ** Et si un simple clic pouvait compromettre toute votre entreprise ? Avec Riot, testez la vigilance de vos équipes grâce aux simulations d'attaques de phishing, et formez-les en continu avec Albert, le coach cyber qui les sensibilise directement sur Slack et Teams. Exclusif pour les auditeurs d'If This Then Dev : bénéficiez de 20% de réduction pendant un an avec le code IFTTD sur tryriot.com. Ne laissez pas une faille humaine devenir votre plus grande menace. 🎙️ Soutenez le podcast If This Then Dev ! 🎙️ Chaque contribution aide à maintenir et améliorer nos épisodes. Cliquez ici pour nous soutenir sur Tipeee 🙏Archives | Site | Boutique | TikTok | Discord | Twitter | LinkedIn | Instagram | Youtube | Twitch | Job Board |Distribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.

In 1933 Konrad Zuse, a German civil engineer, caught the computing bug. It would consume the rest of his life. According Zuse he invented the world's first digital computer during WWII, working in near total isolation within the Third Reich. How true is this claim? Today we are looking at Zuse's early machines, the Z1, Z2, and Z3. Selected Sources: The Computer -- My Life, by Konrad Zuse https://arxiv.org/pdf/1406.1886 - Z1 Architecture paper by Rojas https://sci-hub.se/10.1109/85.707574 - Z3... Turing Complete? also by Rojas

Researchers are investing substantial effort in developing powerful general-purpose agents, wherein Foundation Models are used as modules within agentic systems (e.g. Chain-of-Thought, Self-Reflection, Toolformer). However, the history of machine learning teaches us that hand-designed solutions are eventually replaced by learned solutions. We formulate a new research area, Automated Design of Agentic Systems (ADAS), which aims to automatically create powerful agentic system designs, including inventing novel building blocks and/or combining them in new ways. We further demonstrate that there is an unexplored yet promising approach within ADAS where agents can be defined in code and new agents can be automatically discovered by a meta agent programming ever better ones in code. Given that programming languages are Turing Complete, this approach theoretically enables the learning of any possible agentic system: including novel prompts, tool use, control flows, and combinations thereof. We present a simple yet effective algorithm named Meta Agent Search to demonstrate this idea, where a meta agent iteratively programs interesting new agents based on an ever-growing archive of previous discoveries. Through extensive experiments across multiple domains including coding, science, and math, we show that our algorithm can progressively invent agents with novel designs that greatly outperform state-of-the-art hand-designed agents. Importantly, we consistently observe the surprising result that agents invented by Meta Agent Search maintain superior performance even when transferred across domains and models, demonstrating their robustness and generality. Provided we develop it safely, our work illustrates the potential of an exciting new research direction toward automatically designing ever-more powerful agentic systems to benefit humanity. 2024: Shengran Hu, Cong Lu, Jeff Clune https://arxiv.org/pdf/2408.08435

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Claude 3 Opus can operate as a Turing machine, published by Gunnar Zarncke on April 18, 2024 on LessWrong. Posted on Twitter: Opus can operate as a Turing machine. given only existing tapes, it learns the rules and computes new sequences correctly. 100% accurate over 500+ 24-step solutions (more tests running). for 100% at 24 steps, the input tapes weigh 30k tokens*. GPT-4 cannot do this. Here is the prompt code for the Turing machine: https://github.com/SpellcraftAI/turing This is the fully general counterpoint to the @VictorTaelin's A::B challenge (he put money where his mouth is and got praise for that from Yudkowsky). Attention is Turing Complete was a claim already in 2021: Theorem 6 The class of Transformer networks with positional encodings is Turing complete. Moreover, Turing completeness holds even in the restricted setting in which the only non-constant values in positional embedding pos(n) of n, for n N, are n, 1/n, and 1/n2 , and Transformer networks have a single encoder layer and three decoder layer Thanks for listening. To help us out with The Nonlinear Library or to learn more, please visit nonlinear.org

Link to original articleWelcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Claude 3 Opus can operate as a Turing machine, published by Gunnar Zarncke on April 18, 2024 on LessWrong. Posted on Twitter: Opus can operate as a Turing machine. given only existing tapes, it learns the rules and computes new sequences correctly. 100% accurate over 500+ 24-step solutions (more tests running). for 100% at 24 steps, the input tapes weigh 30k tokens*. GPT-4 cannot do this. Here is the prompt code for the Turing machine: https://github.com/SpellcraftAI/turing This is the fully general counterpoint to the @VictorTaelin's A::B challenge (he put money where his mouth is and got praise for that from Yudkowsky). Attention is Turing Complete was a claim already in 2021: Theorem 6 The class of Transformer networks with positional encodings is Turing complete. Moreover, Turing completeness holds even in the restricted setting in which the only non-constant values in positional embedding pos(n) of n, for n N, are n, 1/n, and 1/n2 , and Transformer networks have a single encoder layer and three decoder layer Thanks for listening. To help us out with The Nonlinear Library or to learn more, please visit nonlinear.org

Logic gates and origami? Professor Inna Zakharevich joined us to talk about Turing complete origami crease patterns.  We started talking about Turing completeness which led to a Conway's Game of Life-like 2D cellular automaton called Rule 110 (Wikipedia) which can be implemented with logic gates (AND, OR, NOT). These logic gates can be implemented as creases in paper (with the direction of the crease indicating 0 or 1).  The paper describing the proof is called Flat Origami is Turing Complete (arxiv and PDF). Quanta Magazine has a summary article: How to Build an Origami Computer. Inna's page at Cornell University also has the crease patterns for the logic gates (pdf). Inna is an aficionado of the origami work by Satoshi Kamiya who creates complex and lifelike patterns.  Some other origami mentioned: Origami Stegosaurus by John Montroll YouTube Folding video (Part 1 of 3) Ilan Garibi's Pineapple Tessellation (PDF instructions) Eric Gjerde Spread Hex Origami Tessellation (This also has the equilateral triangle grid needed to fold Inna's gate logic) Peter Engel Amanda Ghassaei's Origami Simulator (Mooser's is under Examples->Origami) Some other math mentioned: Veritasium's Math's Fundamental Flaw talks about Goerthe's Incompleteness Theorem Physical Logic Game: Turing Tumble - Build Marble-Powered Computers Mathematics of Paper Folding (Wikipedia) Transcript Memfault is making software the most reliable part of the IoT with its device reliability platform that enables teams to be more proactive with remote debugging, monitoring and OTA update capabilities. Try Memfault's new sandbox demo at demo.memfault.com. Embedded.fm listeners receive 25% off their first-year contract with Memfault by booking a demo here: https://go.memfault.com/demo-request-embedded

In this podcast, we dive deep into the world of Bitcoin scalability solutions with Orkun Kilic, the co-founder and CEO of Chainway Labs, the company behind Citrea - Bitcoin's first zero-knowledge (ZK) rollup. Orkun provides a detailed background on the journey that led to the creation of Citrea, explaining how recent upgrades to Bitcoin's protocol like SegWit, Taproot, and the Ordinals protocol paved the way for new possibilities by enabling arbitrary data storage on the blockchain. This opened up a design space for building scalable layer 2 solutions on top of Bitcoin. The core innovation behind Citrea is the use of ZK proofs and the groundbreaking BitVM (Bitcoin Virtual Machine) primitive to create a trust-minimized bridge between Bitcoin's base layer and the Citrea rollup. Orkun goes into the technical depths of how BitVM works, allowing off-chain virtual machine computations to be proven valid on Bitcoin's blockchain through an interactive fraud proof verification game. Citrea's EVM compatibility and the plan to attract developers by tapping into Bitcoin's trillion-dollar liquidity are covered in-depth. Orkun envisions Citrea becoming a "programmable liquidity layer" enabling DeFi protocols, stablecoins, and innovative decentralized applications while inheriting Bitcoin's security and decentralization. With its comprehensive technical insights and forward-looking perspectives, this episode is for anyone interested in the future of programmable money on Bitcoin. Key Links Citrea: https://citrea.xyz Socials Orkun's Twitter Can's Twitter Tommy's Twitter Follow Delphi Digital Website: ⁠⁠https://members.delphidigital.io/home⁠⁠ Twitter: ⁠⁠https://twitter.com/Delphi_Digital⁠⁠ Youtube: ⁠⁠https://www.youtube.com/@Delphi_Digital⁠ Disclosures Disclosures: This podcast is strictly informational and educational and is not investment advice or a solicitation to buy or sell any tokens or securities or to make any financial decisions. Do not trade or invest in any project, tokens, or securities based upon this podcast episode. The host and members at Delphi Ventures may personally own tokens or art that are mentioned on the podcast. Our current show features paid sponsorships which may be featured at the start, middle, and/or the end of the episode. These sponsorships are for informational purposes only and are not a solicitation to use any product, service or token. Delphi's transparency page can be viewed ⁠⁠here⁠⁠. Keywords Bitcoin, Citrea, ZK Rollup, Scalability, BitVM, Optimistic Bridge, BTC, Programmable Liquidity, Developer Ecosystem, DeFi, Stablecoins, Decentralized Applications, Turing-Complete, Trust-Minimized, Ordinals, Taproot, SegWit, Data Compression, State Diffs, Throughput, Adoption, Ethereum, Layer 2 (L2), Chainway, --- Send in a voice message: https://podcasters.spotify.com/pod/show/the-delphi-podcast/message

This is a recap of the top 10 posts on Hacker News on January 9th, 2023.This podcast was generated by wondercraft.ai(00:39): Python 3.13 Gets a JITOriginal post: https://news.ycombinator.com/item?id=38923741&utm_source=wondercraft_ai(03:04): Is my plane a 737 MAX?Original post: https://news.ycombinator.com/item?id=38928951&utm_source=wondercraft_ai(05:03): Where Have All the Websites Gone?Original post: https://news.ycombinator.com/item?id=38923627&utm_source=wondercraft_ai(07:16): www.google.com – The page is blank when accessedOriginal post: https://news.ycombinator.com/item?id=38924300&utm_source=wondercraft_ai(09:27): I pwned half of America's fast food chains simultaneouslyOriginal post: https://news.ycombinator.com/item?id=38933999&utm_source=wondercraft_ai(11:41): Twitch to Cut 500 Employees, About 35% of StaffOriginal post: https://news.ycombinator.com/item?id=38933315&utm_source=wondercraft_ai(13:52): Turing Complete is a game about computer scienceOriginal post: https://news.ycombinator.com/item?id=38925307&utm_source=wondercraft_ai(16:22): SEC's X Account Hacked, Bitcoin Spot ETFs Not yet ApprovedOriginal post: https://news.ycombinator.com/item?id=38932509&utm_source=wondercraft_ai(17:41): Building an e-ink picture frame that displays an iCloud photo albumOriginal post: https://news.ycombinator.com/item?id=38928277&utm_source=wondercraft_ai(20:16): Apple tells EU it has five different App Stores, not just oneOriginal post: https://news.ycombinator.com/item?id=38926476&utm_source=wondercraft_aiThis is a third-party project, independent from HN and YC. Text and audio generated using AI, by wondercraft.ai. Create your own studio quality podcast with text as the only input in seconds at app.wondercraft.ai. Issues or feedback? We'd love to hear from you: team@wondercraft.ai

Episode 204 - Blockzeit 811744 - von und mit Robin Linus, Chris⁠, ⁠Quillie⁠, Sirius⁠ & ⁠gmblr247 BitVM: Compute Anything on Bitcoin Solo-Mining-Rechner - Blocktrainer Freedom.tech NostrTalk LightningNetwork+ Satoshis Don't Exist - Geyser Fund Bitcoin Amsterdam Sponsoren und Freunde BitBox02 Bitcoin-only Edition - 5% Rabatt für die Einundzwanzig Community mit Code “⁠einundzwanzig⁠” — 10% für 10 BitBoxes mit Code “einundzwanzig10”. Stack Deine Sats mit ⁠Pocket Bitcoin⁠. Einundzwanzig Merch bei ⁠Copiaro⁠. Bei ⁠ShopinBit⁠ kannst du über 1.000.000 Produkte mit Bitcoin kaufen. Weitere Links Besuche unsere ⁠Website⁠ und diskutiere mit, in unserer ⁠Telegram-Community⁠. Verfolge die neusten Schlagzeilen im ⁠Newsfeed⁠. Die ⁠Community-Tutorials auf YouTube⁠. Lass uns einen ⁠Shoutout⁠ da.

We are now launching our dedicated new YouTube and Twitter! Any help in amplifying our podcast would be greatly appreciated, and of course, tell your friends! Notable followon discussions collected on Twitter, Reddit, Reddit, Reddit, HN, and HN. Please don't obsess too much over the GPT4 discussion as it is mostly rumor; we spent much more time on tinybox/tinygrad on which George is the foremost authority!We are excited to share the world's first interview with George Hotz on the tiny corp!If you don't know George, he was the first person to unlock the iPhone, jailbreak the PS3, went on to start Comma.ai, and briefly “interned” at the Elon Musk-run Twitter. Tinycorp is the company behind the deep learning framework tinygrad, as well as the recently announced tinybox, a new $15,000 “luxury AI computer” aimed at local model training and inference, aka your “personal compute cluster”:* 738 FP16 TFLOPS* 144 GB GPU RAM* 5.76 TB/s RAM bandwidth* 30 GB/s model load bandwidth (big llama loads in around 4 seconds)* AMD EPYC CPU* 1600W (one 120V outlet)* Runs 65B FP16 LLaMA out of the box (using tinygrad, subject to software development risks)(In the episode, we also talked about the future of the tinybox as the intelligence center of every home that will help run models, at-home robots, and more. Make sure to check the timestamps

Wenn man sich eigentlich mal fragt, auf wen die ganze heutige Entwicklung in der Informatik zurückführt, taucht immer wieder ein Name auf: Alan Turing. Sei es der Turing-Award (der Nobelpreis der Informatik), die Turing-Maschine oder der Turing-Test. Doch wer ist bzw. war Alan Turing eigentlich? Warum wurde nach ihm ein Award benannt? Was ist die Turing-Maschine und wofür ist sie gut? Was bedeutet es, wenn etwas Turing-Complete ist und wieso ist das Bestehen des Turing-Tests eigentlich so schwer?In dieser Episode machen wir mal einen kleinen (historischen) Ausflug in einen Teil der theoretischen Informatik und schmeißen mit Begriffen wie dem Hilbert Kalkül, das Halting-Problem, dem Lambda Kalkül und Co um uns.Bonus: Was die Band Abba mit Turing zu tun hat und warum Turing Serverless erfunden hat.Das schnelle Feedback zur Episode:

Today's guest is Justin Banon, co-founder of Boson Protocol, the decentralized network on which the future of commerce will run. Boson Protocol (BOSON) is a decentralized infrastructure for e-commerce transactions. The ecosystem enables the exchange of digital value for real-world products and services through the use of tokenized futures contracts. Сommitments to buy and sell physical assets are represented as stateful non-fungible tokens (NFTs) on the platform. Together with its native utility token BOSON, the protocol aims to demonopolize commerce and allow buyers and merchants to interact with minimal intervention from intermediaries. Justin is a serial entrepreneur, he previously blitzscaled the Priority Pass Group to a $1Bn per annum revenue global rewards platform. With an academic background in physics, digital innovation and crypto, Justin applies first principles thinking to solve human problems with technology. By combining cool tech with deep tech, he imagines a future where commerce is open, fair and equitable. He has extensive blockchain experience where he consulted for MakerDao, Centrifuge, et. He got his degree in Physics from Imperial College London. We discuss a variety of topics including Boson, Web3, the future of commerce, property rights, and much more. In this conversation, we discuss how taking time off to relax can boost creativity and lead to better ideas. We also talk about Boson and the issues with the current Web2 paradigm. Justin explains that Boson's goal is to decentralize power and trust, and he sees it as a key part of the future of commerce and the exchange of physical goods. We discuss which sectors are most likely to adopt Boson and the potential impact of a web3-powered economy on society. Justin also shares his thoughts on digital assets, their appeal, and the importance of strong property rights. We also discuss the meaning behind the branding and naming of Boson. Our final episode topic centered around the future of Boson and the importance of the path to decentralization.

PARENTS: please carefully inspect your kids' Halloween candy! We found Doom running inside this Milky Way bar. Visit the Adafruit shop online - http://www.adafruit.com ----------------------------------------- LIVE CHAT IS HERE! http://adafru.it/discord Adafruit on Instagram: https://www.instagram.com/adafruit Subscribe to Adafruit on YouTube: http://adafru.it/subscribe New tutorials on the Adafruit Learning System: http://learn.adafruit.com/ ----------------------------------------- #adafruit #halloween #candy

Chris and Elecia bounce from topic to topic, discussing life and work and occasionally answering listener emails. Python can format code into equations in Latex with Latexify (as noted in this tweet)  Interesting sensor: Sensing deep-tissue physiology via wearable ultrasonic phased arrays   Turing Complete - a listener-recommended logic gate puzzle game for Steam. In the past, we've also talked about Zachtronics' TIS-100 which is similar and Shenzhen IO which is at the circuit level. Oh, and there is The Human Resource Machine by Tomorrow Corporation. A listener recommended the Agile Embedded Podcast, particularly the episode on technical debt. News that Rollercoasters are triggering iPhone 14 and Apple Watch Crash Detection led to a mentions of a blog post about debugging Fitbit's issues with rollercoasters and accelerometers. Visual Studio Code for embedded systems development: You can use CubeMX and Platform.io (here is a how-to) Try out this stm32-for-vscode extension that claims to do what you want (we haven't tried it, tell us if it works)  Or you can go more directly with the cortex-debug extension and locally installed ARM GCC package. Don't forget the VSCode Code Spell Checker extension. From the notes for Elecia's class: Where to buy small quantity prototyping components Having looked for an OLED display part in Live Class, I wanted to put together a list of where you might want to look for components, especially for the prototype stage.  Adafruit and Sparkfun (and EMSL and a lot of other maker stores). If you are using their code as template or test code, look for their boards to see if you can use them. Worldwide and large components distributors with local distribution: Digikey is worldwide and they resell Adafruit and Sparkfun so if you don't want to start with an “OLED” search on Digikey and sort through the results, well, you can start with easier prototype parts. Farnell is a UK company though they have other names in other locations (Newark in the US and Element14 in Asia and Oceania). If they have your flag, you can probably get cheap shipping. Farnell is usually good for all of Europe. RS Components is also new to me though they seem to stock Adafruit parts as well as general electronics. They have lots of distributors all over the world (including more in Africa than I usually see). AliExpress is huge and worldwide, shipping from Asia. It is hard to find things but searching “Adafruit [part]” or “Sparkfun [part]” and you might find what you want… or a cheaper knockoff. Usually you want results in the Electronic Components and Supplies. Note: if it seems too good to be true it probably is. UK has Pimoroni and Cool Components and OkDo resell Adafruit and Sparkfun as well as other pieces like BBC micro:bit and Raspberry Pi. These may work for European countries. Seeed Studio has a wide variety of parts, the Grove and Components categories have parts that might be interesting. They deliver quickly and cheaply to Oceania and Asia.  DFRobot is new to me but looks great. It was recommended for folks in Asia and Oceania. Their parts are resold through Digikey, Arrow, Farnell (Newark).   Australia: Little Bird Electronics, Core Electronics, and Altronics   Transcript Thank you to our sponsor this week!

姿勢改善のために整体に行き始めた 海外ドラマ friends sex education 最近やったゲーム Return of the Obra Dinn Vampire Survivors ポケモンレジェンド　アルセウス Eastward Coffee Talk Baba is You Turing Complete Master Duel （遊戯王） 映画館とマスク シン・ウルトラマンをみてきた 自転車久々に月間千キロ乗った

Holographic RFID Blocking Card Holders (10-pack) (0:11) https://www.adafruit.com/product/5349?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Silver RFID Blocking Card Sleeves (10-pack) (0:11) https://www.adafruit.com/product/5350?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts 2x17 (34 pin) IDC Box Header - 0.1" / 2.54mm Pitch (1:17) https://www.adafruit.com/product/5357?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts 64x64 RGB LED Matrix Panel - 2mm Pitch (1:50) https://www.adafruit.com/product/5362?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - Blue (3:04) https://www.adafruit.com/product/5355?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - Green (3:04) https://www.adafruit.com/product/5354?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - Yellow (3:04) https://www.adafruit.com/product/5352?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - White (3:04) https://www.adafruit.com/product/5353?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - Red (3:04) https://www.adafruit.com/product/5351?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Turing Complete Labs 10 Digit Monochrome LCD Display - STEMMA QT / Qwiic (6:22) https://www.adafruit.com/product/5379?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts ---------------------------------------- Shop for all of the newest Adafruit products: http://adafru.it/new Visit the Adafruit shop online - http://www.adafruit.com Adafruit on Instagram: https://www.instagram.com/adafruit LIVE CHAT IS HERE! http://adafru.it/discord Subscribe to Adafruit on YouTube: http://adafru.it/subscribe New tutorials on the Adafruit Learning System: http://learn.adafruit.com/ -----------------------------------------

Holographic RFID Blocking Card Holders (10-pack) (0:11) https://www.adafruit.com/product/5349?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Silver RFID Blocking Card Sleeves (10-pack) (0:11) https://www.adafruit.com/product/5350?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts 2x17 (34 pin) IDC Box Header - 0.1" / 2.54mm Pitch (1:17) https://www.adafruit.com/product/5357?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts 64x64 RGB LED Matrix Panel - 2mm Pitch (1:50) https://www.adafruit.com/product/5362?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - Blue (3:04) https://www.adafruit.com/product/5355?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - Green (3:04) https://www.adafruit.com/product/5354?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - Yellow (3:04) https://www.adafruit.com/product/5352?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - White (3:04) https://www.adafruit.com/product/5353?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Small Inductive Wireless LEDs - 10 Pack - Red (3:04) https://www.adafruit.com/product/5351?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts Turing Complete Labs 10 Digit Monochrome LCD Display - STEMMA QT / Qwiic (6:22) https://www.adafruit.com/product/5379?utm_source=youtube&utm_medium=videodescrip&utm_campaign=newproducts ---------------------------------------- Shop for all of the newest Adafruit products: http://adafru.it/new Visit the Adafruit shop online - http://www.adafruit.com Adafruit on Instagram: https://www.instagram.com/adafruit LIVE CHAT IS HERE! http://adafru.it/discord Subscribe to Adafruit on YouTube: http://adafru.it/subscribe New tutorials on the Adafruit Learning System: http://learn.adafruit.com/ -----------------------------------------

John and Rambo share their first impressions of the newly released Swift Playgrounds 4, which enables developers to build full iOS apps right on the iPad. Also, the value of narrowly scoped open source libraries, and what it's like using GitHub CoPilot in practice. Download MP3 Hosts Gui on Twitter: @_inside John on Twitter: @johnsundell Links Gumroad Paddle Cloudflare Workers GitHub CoPilot Discover Concurrency on Swift by Sundell CollectionConcurrencyKit AsyncCompatibilityKit SimplyCoreAudio Subscribe

“The mission of our lab is to make a new life form. We want to digitize chemistry, we want to build chemical computers.”Lee Cronin,  a professor at the University of Glasgow, was born in the UK and was fascinated with science and technology from an early age getting his first computer and chemistry set when he was 8 years old. In this episode, he explains the Chemputer – a universally programmable device for synthesizing any molecule.  Development is ongoing and proof of concept has been achieved for several molecules.  He estimates that with the right components, it is capable of performing 95% of all organic chemical synthesis.Music:I Knew a Guy by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/by/4.0/Source: http://incompetech.com/music/royalty-free/index.html?isrc=USUAN1100199Artist: http://incompetech.com/Remarks: The length of this recording has been altered. Session Summary: The First Programmable Turing Complete Chemical Computer | Lee Cronin, University of Glasgow - Foresight InstituteThe Foresight Institute is a research organization and non-profit that supports the beneficial development of high-impact technologies. Since our founding in 1987 on a vision of guiding powerful technologies, we have continued to evolve into a many-armed organization that focuses on several fields of science and technology that are too ambitious for legacy institutions to support.Allison Duettmann is the president and CEO of Foresight Institute. She directs the Intelligent Cooperation, Molecular Machines, Biotech & Health Extension, Neurotech, and Space Programs, Fellowships, Prizes, and Tech Trees, and shares this work with the public. She founded Existentialhope.com, co-edited Superintelligence: Coordination & Strategy, co-authored Gaming the Future, and co-initiated The Longevity Prize. Apply to Foresight's virtual salons and in person workshops here!We are entirely funded by your donations. If you enjoy what we do please consider donating through our donation page.Visit our website for more content, or join us here:TwitterFacebookLinkedInEvery word ever spoken on this podcast is now AI-searchable using Fathom.fm, a search engine for podcasts.  Hosted on Acast. See acast.com/privacy for more information.

Last Thursday, U-Zyn introduced the idea of EVM (Ethereum Virtual Machine) on DefiChain. Will DefiChain then be turing complete or non-turing complete? This and more information in the News Show. ———— The #DeFiChain is enabling #DeFi (Decentralized Finance) on #Bitcoin: https://defichain.com ► Subscribe to our YouTube channel if you don't want to miss out on any key updates: https://www.youtube.com/c/DeFiChain/featured?sub_confirmation=1 ► You can buy/trade DFI on any of these platforms: https://coinmarketcap.com/currencies/defichain/ ► You can stake DFI on https://cakedefi.com ____________ ► English Videos around this topic: https://bit.ly/defichain_en ► German Videos around this topic: http://bit.ly/defichain-de ► Italian Videos around this topic: https://www.youtube.com/channel/UCWtcqScbHlbzKP4TIUi5d9A ___________ Podcast: The DeFiChain Podcast Anchor: https://anchor.fm/the-defichain-podcast Spotify: https://open.spotify.com/show/4Vlp7oR4O9KD6TpSMhcPEr PocketCasts: https://pca.st/weovowl8 RadioPublic: https://radiopublic.com/the-defichain-podcast-8jVzVj Breaker: https://www.breaker.audio/the-defichain-podcast Google Podcasts app: https://www.google.com/podcasts?feed=aHR0cHM6Ly9hbmNob3IuZm0vcy82YWRiZDVjMC9wb2RjYXN0L3Jzcw== Apple Podcast: https://podcasts.apple.com/de/podcast/the-defichain-podcast/id1586147124 ——————— Follow us on Social Media: ► Twitter: https://twitter.com/defichain ► YouTube: https://youtube.com/DeFiChain ► Reddit: https://reddit.com/r/defiblockchain ► Telegram: https://t.me/defiblockchain ► LinkedIn: https://linkedin.com/in/defichain ► Facebook: https://facebook.com/defichain.official ► Instagram: https://instagram.com/defichain.official

Im Review über die DeFiChain (DFI) meint der Blocktrainer, dass non-Turing-Complete für DeFi Anwendungen nicht ausreicht und dass dennoch Vertrauen auf die Entwickler von Julian Hosp nötig ist. Hier lernst du, was ich darüber denke.   ▶ KRYPTO-RABATTE: https://kevinsoell.com/rabatte ❤️ ▶ DISCLAIMER: https://kevinsoell.com/impressum ⚠️

Antonio Juliano is Founder of dYdX, and Uri Kolodny is CEO of StarkWare. State of the Nation is live-streamed on Tuesdays at 11am PT. ------

Assista o vídeo completo aqui. Assine o canal Akitando no YouTube! Originalmente publicado em 27/11/2020

The Elizabethan era. The Saltsrømmen episode. Current ideas around Bostorm’s Simulation hypothesis and using RNA for computation are compared to the Elizabethan religious settlement. The religious settlement is assisted by the Papal mercenaries invading Ireland in inducing Catholics to switch. We talk about Elizabethan concerns for the poor and terror of the poor. Is the podcast too hard on the French, at first we hear denials, but then Harald remembers post modernism. Elizabethan economics are discussed, inflation, unemployment, underemployment and the challenges of getting industries started without free markets. Monopolies are discussed in context. As well as certsin problems with economic analysis of the past. With Camie we hit RNA, the changing social scene, the irony that increasing literacy makes poverty more immediate to us even as poverty is being reduced, Pascal’s Wager in the context of the English justice system, why were judges so reluctant to impose the death penalty for death penalty offenses? Finally, we finish with some wine which we use to discuss the harsh public health reality of city and town water supply.

Fellow choir boy and crypto addict,@ZaneWithSpoon, tells me his story of becoming the CTO of Dispatch Labs. Zane shares how he got into crypto, buying his first bitcoins, differences between Ethereum and Bitcoin, surviving the 2017 ICO Pump and Dump, and the future of crypto. We also get into Zane's new endeavor, Genity, and the importance in understanding the value of your data...honestly this episode is pretty much Turing Complete .   Follow me on Twiiter @MrPseu Check out my article: bitcoin is Dead My Lovelies: @LibertyMugs @PeterRQuinones @DeanOFiles @TheCryptoconomy @SallyMayweather @CrowdFundedGov @BroHistoryPod @BitingBulletPod @jenniferm_q @WKPAnCap @Kyaaale @CarCampIt @birdarchist @TastingAnarchy @EricTheRed79 @SLLPodcast @elaprise @IKCtribe @ChloeAnagnos @Ruflesscat

News: • What Happened: Why the First Physical Bitcoin Futures Haven’t Launched • Bakkt Will Launch Bitcoin Futures In ‘Very Near Future’ • NYAG Argues Against Continued Stay of Demands for Bitfinex • NBA and ‘CryptoKitties’ Creator Team Up to Launch In-Game Collectables Interesting Video of the Day: Pomp vs. Schiff On Bitcoin Coin Talk: Crypto Transparency Main Topic: Ethereum Smart Contracts Sources: Vitalik Buterin, John Gethoefer Music by: Willie Nelson, Paula Nelson, The Offspring Thriller Crypto Subscription: • https://thrillercrypto.substack.com More: • Thriller X: https://www.thrillerx.com • Thriller Crypto: https://www.thrillercrypto.com

Blockstack is releasing their decentralized computing platform next year, and we have Aaron Blankstein on to talk about their whitepaper and what it means for decentralized applications in the future. Using their identity management system, Blockstack ID, their file storage system, Gaia, and their formally verifiable and non-Turing Complete smart contract language, Clarity, Blockstack will make it easier to build dapps on the Bitcoin network. Links: Blockstack.org Blockchain docs Blockstack whitepaper Donate: https://donate.hashingitout.stream

Blockstack is releasing their decentralized computing platform next year, and we have Aaron Blankstein on to talk about their whitepaper and what it means for decentralized applications in the future. Using their identity management system, Blockstack ID, their file storage system, Gaia, and their formally verifiable and non-Turing Complete smart contract language, Clarity, Blockstack will make it easier to build dapps on the Bitcoin network. links: Blockstack.org Blockstack docs Blockstack whitepaper

Elliot Williams and Mike Szczys walk through the past week in hackerdom. There's a new jargon quiz! Do you know what astrictive robotic prehension means? We look at the $50 Ham series, omni-wheeled pen plotting robots, a spectrum of LED hacks, LEGO CNC for chocolate rework, and grinding lenses with a CNC mill. In the "can't miss" category are fingerprinting 3D Printers, and how NASA designs far beyond the stated life of an engineering project. Show notes at hackaday.com/?p=349624

Software will never fix Spectre-type bugs, a proof that sed is Turing complete, managed jails using Bastille, new version of netdata, using grep with /dev/null, using GMail with mutt, and more. ##Headlines ###Google: Software is never going to be able to fix Spectre-type bugs Spectre is here to stay: An analysis of side-channels and speculative execution Researchers from Google investigating the scope and impact of the Spectre attack have published a paper asserting that Spectre-like vulnerabilities are likely to be a continued feature of processors and, further, that software-based techniques for protecting against them will impose a high performance cost. And whatever the cost, the researchers continue, the software will be inadequate—some Spectre flaws don’t appear to have any effective software-based defense. As such, Spectre is going to be a continued feature of the computing landscape, with no straightforward resolution. The discovery and development of the Meltdown and Spectre attacks was undoubtedly the big security story of 2018. First revealed last January, new variants and related discoveries were made throughout the rest of the year. Both attacks rely on discrepancies between the theoretical architectural behavior of a processor—the documented behavior that programmers depend on and write their programs against—and the real behavior of implementations. Specifically, modern processors all perform speculative execution; they make assumptions about, for example, a value being read from memory or whether an if condition is true or false, and they allow their execution to run ahead based on these assumptions. If the assumptions are correct, the speculated results are kept; if it isn’t, the speculated results are discarded and the processor redoes the calculation. Speculative execution is not an architectural feature of the processor; it’s a feature of implementations, and so it’s supposed to be entirely invisible to running programs. When the processor discards the bad speculation, it should be as if the speculation never even happened. ###A proof that Unix utility sed is Turing complete Many people are surprised when they hear that sed is Turing complete. How come a text filtering program is Turing complete, they wonder. Turns out sed is a tiny assembly language that has a comparison operation, a branching operation and a temporary buffer. These operations make sed Turing complete. I first learned about this from Christophe Blaess. His proof is by construction – he wrote a Turing machine in sed (download turing.sed). As any programming language that can implement a Turing machine is Turing complete we must conclude that sed is also Turing complete. Christophe offers his own introduction to Turing machines and a description of how his sed implementation works in his article Implementation of a Turing Machine as a sed Script. Christophe isn’t the first person to realize that sed is almost a general purpose programming language. People have written tetris, sokoban and many other programs in sed. Take a look at these: Tetris Sokoban (game) Calculator ##News Roundup Bastille helps you quickly create and manage FreeBSD Jails. Bastille helps you quickly create and manage FreeBSD Jails. Jails are extremely lightweight containers that provide a full-featured UNIX-like operating system inside. These containers can be used for software development, rapid testing, and secure production Internet services. Bastille provides an interface to create, manage and destroy these secure virtualized environments. Current version: 0.3.20190204-beta. Shell Script Source here: https://github.com/BastilleBSD/bastille/blob/master/usr/local/bin/bastille ###netdata v1.12 released Netdata is distributed, real-time, performance and health monitoring for systems and applications. It is a highly optimized monitoring agent you install on all your systems and containers. Netdata provides unparalleled insights, in real-time, of everything happening on the systems it runs (including web servers, databases, applications), using highly interactive web dashboards. It can run autonomously, without any third party components, or it can be integrated to existing monitoring tool chains (Prometheus, Graphite, OpenTSDB, Kafka, Grafana, etc). Netdata is fast and efficient, designed to permanently run on all systems (physical & virtual servers, containers, IoT devices), without disrupting their core function. Patch release 1.12.1 contains 22 bug fixes and 8 improvements. ###Using grep with /dev/null, an old Unix trick Every so often I will find myself writing a grep invocation like this: find .... -exec grep /dev/null '{}' '+' The peculiar presence of /dev/null here is an old Unix trick that is designed to force grep to always print out file names, even if your find only matches one file, by always insuring that grep has at least two files as arguments. You can wind up wanting to do the same thing with a direct use of grep if you’re not certain how many files your wildcard may match. ###USING GMAIL WITH MUTT I recently switched to using mutt for email and while setting up mutt to use imap is pretty straightforward, this tutorial will also document some advanced concepts such as encrypting your account password and sending emails from a different From address. This tutorial assumes that you have some familiarity with using mutt and have installed it with sidebar support (sudo apt-get install mutt-patched for the ubuntu folks) and are comfortable with editing your muttrc. If you would just like to skip to the end, my mutt configuration file can be found here. ##Beastie Bits An Extensive UNIX Timeline Garbage.fm - OEF brk() to sbrk() Fred models, found again Kafe: Can OS Kernels Forward Packets Fast Enough for Software Routers? ARPANET: Celebrating 50 Years Since “LO” ##Feedback/Questions Pablo - Topic suggestion: FreeBSD on a Laptop as daily driver Ron - ZFS on the fly compression and seek Dave - two zpool, or not two zpool, that is the question Send questions, comments, show ideas/topics, or stories you want mentioned on the show to feedback@bsdnow.tv Your browser does not support the HTML5 video tag.

Software will never fix Spectre-type bugs, a proof that sed is Turing complete, managed jails using Bastille, new version of netdata, using grep with /dev/null, using GMail with mutt, and more.

Software will never fix Spectre-type bugs, a proof that sed is Turing complete, managed jails using Bastille, new version of netdata, using grep with /dev/null, using GMail with mutt, and more.

This is Episode 22 of Season 4 of Sex & Science Hour, with Brian Sovryn and Dr. Stephanie Murphy! Show Notes and Links: Segment 1 --"Ethereum Crypto Kitties” Segment 2 --"Life on the Red Panet” Link: http://bit.ly/2A90vPl --"Outdoor Light Pollution” Link: http://bit.ly/2jjxa18 --“ Gut Microbes Can Protect Against High Blood Pressure” Link: http://bit.ly/2kfRQDH Segment 3 --"Sex Makes You More Productive” Link: http://bit.ly/2AHt1Zo Segment 4 --LISTENER QUESTION: “Dating With A Fetish?” After Show --Your Amazon link purchases, Satanic Bibles, Sex & Science Hour Basics, and more! =================================================== Add the show to your favorite podcast app: http://feeds.soundcloud.com/users/soundcloud:users:77801291/sounds.rss =================================================== Email us feedback, comments, show prep, and relationship questions: show@sexandsciencehour.com =================================================== Love the show? Donate to us with Bitcoin: 1DNFqNvrKNBbFPux8PVFBUjmgwdZErHd9 You can also donate with Zcash: Shielded Address: zcFeYHLbacNmuNXxMijqSgDd1SNWnTVxxfBkKAKpVZApocGuXBCM5KWsSSZD3DFJ7hw8dk4w8imw89RSkiyMw7EbtFEFWMS Transparent Address: t1XR42kSxSfyPHW3tuBXJ7hn3hDwhuasbpR =================================================== Heard about an item on our aftershow and want to get it? Go here: http://stuff.sexandsciencehour.com =================================================== Awesome chiptunes that you heard in the show are by rolemusic! Hit the link: http://rolemusic.sawsquarenoise.com =================================================== Social Media Links: http://sexandsciencehour.com https://twitter.com/sexsciencehour https://soundcloud.com/sexandsciencehour https://www.facebook.com/groups/568029550027764/ =================================================== Thanks for tuning in!

On this episode of "The Crypto Show," we interview Csilla Brimer of Drone Dance Show about her company's performance drones for aerial shows. She explains the technology and the origin of the concept and is proud to announce that they have major orders booked for next year already. We also discuss their upcoming ICO. Our second interview is with Canadian Dr. Russell O' Connor, who has a Ph.d. in mathematics. He discusses the important difference between a Turing complete and Turing incomplete system and how that relates to Bitcoin and Ethereum, and he then explains his current white paper that essentially solves the problem of enabling Bitcoin to do various things that Ethereum can do that Bitcoin previously couldn't. A very exciting prospect and potentially ground-breaking technical solution indeed!

Alex Sexton, Rachel White, and Myles Borins talk about the Web Audio API and how TypeScript is “Turing Complete”.

Alex Sexton, Rachel White, and Myles Borins talk about the Web Audio API and how TypeScript is “Turing Complete”.

Ethereum's blockchain isn't the only game in town when it comes to a programmable, Turing-Complete layer that allows smart contracts to be programmed. RSK.co is in the process of releasing it's latest update, named Turmeric, which allows developers to create smart contracts using bitcoin's blockchain. Watch out Ethereum – you have competition, but as Gabriel from RSK notes, everyone in the blockchain industry is striving for a decentralized, less corrupt, more inclusive world that may allow billions of unbanked people to participate in the world economy and rise out of poverty. This is an uplifting, exciting, and future-looking conversation that transcends blockchain and smart contracts and will get you excited about what's to come. Listen, subscribe and review this podcast.

Join Reuben Covington, Dan Felder and their guest Alex for the forty-eighth episode of Re-Making Magic, the podcast about game design and custom magic cards. In this episode: We interview Alex Churchill, creator of Magic Multiverse Alex talks about his Turing Complete magic project We talk about the Game of Life turing completeness We mention how MtG differs from the concept in the XKCD comic We discuss about the new Ancient Tomb and the new colorless symbol We discuss the costs of Aesthetics vs Gamplay in OGW Be sure to check out the Steam Works, Alex's latest board game You can give us feedback and discuss the episode on the MTGsalvation discussion thread Contact details: Ask us questions on our blog: remakingmagic.tumblr.com Reuben CovingtonTwitter: @reubencovingtonEmail: reubencovington@gmail.comMTGsalvation Account: Doombringer Dan FelderTwitter: @DesignerDanFEmail: minimallyexceptional@gmail.comMTGsalvation Account: Stairc

Strap yourselves in ladies and Gentlemen.  With Mr. Boettcher gone on "vacation" this week, I needed some help with the podcast, and boy did we pick a doozy.  If you're a fan of Turing Complete algorithms, frankly, who isn't ;) , we had Ms. Fabienne Serrière (@fbz) and Ms. Magen Wu (@tottenkoph) who discuss higher order math and psychology on our podcast this week. We also discuss a little project management and even talk about why proper survey sizes and getting a good cross-section is important.   Be sure to pick up one of Ms. Fbz's scarves, especially if you're a math nut, and love fracctals and patterns as I do. Kickstarter: https://www.kickstarter.com/projects/fbz/knityak-custom-mathematical-knit-scarves Elementary Cellular Automaton : http://mathworld.wolfram.com/ElementaryCellularAutomaton.html Turing Complete:  https://en.wikipedia.org/wiki/Turing_completeness Sierpinski Triangle: https://en.wikipedia.org/wiki/Sierpinski_triangle Chomsky Hierarchy: https://en.wikipedia.org/wiki/Chomsky_hierarchy Hammer/LangSec: https://github.com/UpstandingHackers/hammer Sergey Bratis: http://www.cs.dartmouth.edu/~sergey/ Stego Hats: http://www.ravelry.com/projects/fbz/pseudo-random-reversible-hat SeaSec East: http://www.meetup.com/SEASec-East/

Play of the Light returns with a discussion on the fundamental differences between solitaire and multiplayer video games, and interesting recent developments in the multiplayer space. Topics include Jason’s history with MUDs and current obsession with Hero Academy, how Matt’s dislike of Settlers of Catan led to lost job opportunities, that time we played Johann Sebastian Joust on the subway, what Glitch Tank teaches us about how machines play games, and more. Download MP3 (1 hour, 25 minutes) | Subscribe via iTunes | Subscribe via RSS Your browser does not support this audio format. Salient links: Hero Academy homepage Homo Ludens MUDs (Wikipedia) Glitch Tank Jason’s essay on “cocktail”-style arcade games Small World for iPad Funspot Arcade Johann Sebastian Joust homepage Matt and others play J.S. Joust in the Boston subway after PAX East 2012 Part two of the above J.S. Joust game The Blues Brothers scene Matt quotes Mazes & Monsters, a film starring Tom Hanks James Dobson Table of red dragon titles by age in Dungeons and Dragons Brawl homepage

Download Podcast #21 Ben and Merrick take the portable recorder with them on their trip to Vegas!! This trip and podcast was powered by betable.com’s new API. Please check them out: Topics covered: Betable.com has a new API blog and API Login for their awesome gambling platform. Check it out! We cover second dinner and [...]

'A fantastic ambient soundscape through the mind of Alan Turing'

What would you do if you encountered a startup that literally sells you the future? Visit programaudioseries.com/10-my-turing-complete-life/ ( https://programaudioseries.com/10-my-turing-complete-life/ ) for full transcript, credits, and list of references. Make a donation to keep the show running at programaudioseries.com/support/ ( https://programaudioseries.com/support/ ) or buy some merch at store.programaudioseries.com ( https://store.programaudioseries.com/ ) Support this podcast at — https://redcircle.com/the-program-audio-series/exclusive-content