Hosted on Acast. See acast.com/privacy for more information.
Audio Poem of the Day - The Real Prayers Are Not the Words, But the Attention that Comes First
By Mary Oliver (read by Eliza Foss)
Lex Fridman Podcast - #221 – Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI
Douglas Lenat is the founder of Cyc, a 37 year project aiming to solve common-sense knowledge and reasoning in AI. Please support this podcast by checking out our sponsors:
– Squarespace: https://lexfridman.com/squarespace and use code LEX to get 10% off
– BiOptimizers: http://www.magbreakthrough.com/lex to get 10% off
– Stamps.com: https://stamps.com and use code LEX to get free postage & scale
– LMNT: https://drinkLMNT.com/lex to get free sample pack
– ExpressVPN: https://expressvpn.com/lexpod and use code LexPod to get 3 months free
EPISODE LINKS:
Douglas’s Twitter: https://twitter.com/cycorpai
Cyc’s Website: https://cyc.com
PODCAST INFO:
Podcast website: https://lexfridman.com/podcast
Apple Podcasts: https://apple.co/2lwqZIr
Spotify: https://spoti.fi/2nEwCF8
RSS: https://lexfridman.com/feed/podcast/
YouTube Full Episodes: https://youtube.com/lexfridman
YouTube Clips: https://youtube.com/lexclips
SUPPORT & CONNECT:
– Check out the sponsors above, it’s the best way to support this podcast
– Support on Patreon: https://www.patreon.com/lexfridman
– Twitter: https://twitter.com/lexfridman
– Instagram: https://www.instagram.com/lexfridman
– LinkedIn: https://www.linkedin.com/in/lexfridman
– Facebook: https://www.facebook.com/lexfridman
– Medium: https://medium.com/@lexfridman
OUTLINE:
Here’s the timestamps for the episode. On some podcast players you should be able to click the timestamp to jump to that time.
(00:00) – Introduction
(07:39) – What is Cyc?
(15:45) – How to form a knowledge base of the universe
(26:11) – How to train an AI knowledge base
(30:32) – Global consistency versus local consistency
(54:53) – Automated reasoning
(1:00:33) – Direct uses of AI and machine learning
(1:13:11) – The semantic web
(1:23:44) – Tools to help Cyc interpret data
(1:32:54) – The most beautiful idea about Cyc
(1:38:53) – Love and consciousness in AI
(1:45:52) – The greatness of Marvin Minsky
(1:50:46) – Is Cyc just a beautiful dream?
(1:55:31) – What is OpenCyc and how was it born?
(2:01:21) – The open source community and OpenCyc
(2:11:48) – The inference problem
(2:13:31) – Cyc’s programming language
(2:21:05) – Ontological engineering
(2:28:30) – Do machines think?
(2:37:15) – Death and consciousness
(2:47:16) – What would you say to AI?
(2:51:52) – Advice to young people
(2:53:48) – Mortality
The Stack Overflow Podcast - This AI-assisted bug bash is offering serious prizes for squashing nasty code
While every developer loves a good story about discovering and fixing a gnarly bug, not everyone enjoys the work of finding those bugs. Most folks would prefer to be writing business logic and solving new problems. But those input validation errors and resource leaks won’t solve themselves.
Or will they?
AWS Bug Bust is a global competition launched with the goal of finding and fixing one million bugs in codebases around the world. It takes the traditional bug bash and turns it into a competition that anyone can enter. Got a repo or two that you’ve been meaning to clean up? Enter the Bug Bust and start squashing.
This competition awards points to organizations, as well as individuals within an organization, for every bug that they fix in their own repos. A little friendly competition can motivate developers to fix more bugs in order to move up the leaderboards. How do you think we built Stack Overflow? Fake internet points are very important around here. With the Bug Bust competition, it’s not just fake internet points and personal glory; top bug squashers—overall and within top organizations—can win all expense paid trips to re:Invent 2021.
In a traditional bug bust, someone has to find the bugs, file tickets on all of them, then collect them for squashing. In the Bug Bust, Amazon has managed to automate that part of the process. That’s because the Bug Bust is built on their AI-powered code review and profiling tool, CodeGuru.
CodeGuru uses static analysis and machine learning with some additional automated reasoning to find bugs in code; everything from best practices to concurrency issues, resource leaks, security problems, and more. AI isn’t here to take your jobs, it’s here to automated away the tedious stuff. Developers get to harness the power of artificial intelligence in their everyday lives.
Concurrency and resource leak issues tend to drain the soul out of the developers. You could spend all day trying to optimize and close those. CodeGuru includes a function profiler that looks for a codebase’s most expensive calls. It’s a lightweight agent actively running and looking for ways to reduce the cost of the running application.
These bugs, along with security issues and AWS API calls, are the ones that earn the most points. But all bugs earn their bashers points; CodeGuru spots code inefficiencies, duplications, and general code quality detectors, and performs input validation. The model behind this is pretrained on years of Amazon bug hunting experience. The system does learn from you as to what is a good bug in your codebase, but it’s not training on your code. It’s your feedback that makes CodeGuru a better bug hunter.
If you have Java and Python code in a GitHub, GitHub Enterprise, Bitbucket, or AWS CodeCommit repository, you can jump into the competition. Sign up with your email and you get 30 days to run as many Bug Busts as you want for free. The top ten individual bug busters get VIP treatment at the 2021 re:Invent conference (and an all-expense-paid trip there), which is being held in person this year. Top participating organizations get a ticket to give to one of their developers as well. For those bashers outside of the top ten, you can still earn some sweet swag by passing some point milestones.
The contest to win the trip to re:Invent 2021 runs through September, but you can still automate your bug bashes and get swag anytime. Want to get started? Head over to the AWS Bug Bust site now.
Stuff They Don't Want You To Know - A Cartel Runs the Maple Syrup Game
Most people are aware of maple syrup -- it's a welcome addition to pancakes and waffles on breakfast tables across the planet. Other than that, you might not think of maple syrup often, unless you're in the industry, or live in a region that produces it. But it turns out there's something brewing out there in the world of Sugar Maples and syrup... and it may be something Big Maple doesn't want you to know.
Learn more about your ad-choices at https://www.iheartpodcastnetwork.com
See omnystudio.com/listener for privacy information.
array(3) { [0]=> string(150) "https://www.omnycontent.com/d/programs/e73c998e-6e60-432f-8610-ae210140c5b1/2e824128-fbd5-4c9e-9a57-ae2f0056b0c4/image.jpg?t=1749831085&size=Large" [1]=> string(10) "image/jpeg" [2]=> int(0) }Big Technology Podcast - Inside The Theranos Trial — With Erin Griffith of The New York Times
Erin Griffith is the New York Times reporter at the trial for Theranos founder Elizabeth Holmes. She joins Big Technology Podcast to bring us inside the courtroom, explaining why Holmes is on trial and whether she'll be a rare founder to face consequences for misleading investors. We also discuss whether Holmes is emblematic of the venture capital world's downsides, or an outlier.
You can find Erin on Twitter, @eringriffith
The Commentary Magazine Podcast - The Other Insurrection
Learn more about your ad choices. Visit megaphone.fm/adchoices
Headlines From The Times - California recall election winners and losers
The polls have closed, and even though the votes are still being counted, but the California gubernatorial recall election results seem decisive: Voters said no to recalling Gov. Gavin Newsom.
If the results hold — and it sure looks like they will — Gov. Gavin Newsom will remain in office. Voters rejected the idea that his progressive policies on COVID-19, on climate change, on everything, were ruining the California dream and that someone else on the ballot could do a better job. So ... what’s next for the Golden State? L.A. Times politics reporter Seema Mehta and Sacramento bureau chief John Meyers fill us in.
More reading:
Newsom soundly defeats California recall attempt
5 takeaways from Newsom’s big win in California’s recall election
Column: The recall was a colossal waste. But don’t expect California’s GOP to learn from it
CBS News Roundup - World News Roundup: 09/15
California's governor keeps his job as recall effort fails. The FBI director questioned over handling of the Larry Nassar case. Research shows Instagram harms body image for one in three teen girls. CBS News Correspondent Steve Kathan has today's World News Roundup.
To learn more about listener data and our privacy practices visit: https://www.audacyinc.com/privacy-policy
Learn more about your ad choices. Visit https://podcastchoices.com/adchoices
The Intelligence from The Economist - Hunger gains: Afghanistan’s humanitarian crisis
Economic collapse and halting international aid following the Taliban’s takeover have compounded shortages that were already deepening; we examine the unfolding disaster. The verdict in a blockbuster case against Apple might look like a win for the tech giant; a closer read reveals new battle lines. And the data that reveal how polluters behave when regulators are not watching.
For full access to print, digital and audio editions of The Economist, subscribe here www.economist.com/intelligenceoffer