Podcasts about darpa challenge

Guests: Varun Mohan, CEO & Co-Founder of Codeium; and Leigh Marie Braswell, partner at Kleiner Perkins“A lot of people are really bad at knowing what good is,” says Codeium CEO Varun Mohan. Specifically, he's thinking of startups that hire based on a “logo” — a well-known company on the résumé — rather than exceptional talent. Codeium is based in Mountain View, CA, and Varun believes that it's incumbent on any new startup to hire in the San Francisco Bay Area, because of how exceptional talent is concentrated there. “When you hire someone that's 10x better,” he says, “you can't replace them with 10 1x people. Because the the 10x person is going to be thinking of ideas that none of these 1x people are ever going to think of.”Chapters:(01:05) - Ludicrous growth (03:54) - Seizing opportunity (07:29) - Product-market fit (13:05) - Scale AI & MIT (17:42) - Coding efficiency (22:58) - Larger companies (25:20) - Varun and Leigh Marie's working relationship (29:51) - Pivoting to Codeium (34:00) - Giving away the product (37:01) - The code-gen landscape (42:20) - Annual reinvention (45:00) - Picking a problem (47:07) - Bipul Sinha's help (50:43) - Ambition (53:13) - Building in Silicon Valley (55:11) - Spotting talent (59:11) - Who Codeium is hiring (59:43) - What “grit” means to Varun Mentioned in this episode: Graham Moreno, Wiz, ChatGPT, Google, Nuro, Goldman Sachs, Waymo, the DARPA Challenge, Alex Wang, Douglas Chen, Safeway, Equinox, Carlos Delatorre and MongoDB, The Qualified Sales Leader by John McMahon, GitHub Copilot, Microsoft, Exafunction, Mamoon Hamid, Figma, JPMorgan Chase, Starlink, SpaceX, Rubrik, Michael Dell, Stripe, and John Doerr.Links:Connect with VarunLinkedInTwitterConnect with Leigh MarieLinkedInTwitterConnect with JoubinTwitterLinkedInEmail: grit@kleinerperkins.com Learn more about Kleiner PerkinsThis episode was edited by Eric Johnson from LightningPod.fm

March 11, 2024 | AutoNation expected to buy more stores; DARPA challenge 20th anniversary by Automotive News

PAVE member, SafeAI, is bringing driving automation to some of the hardest-working vehicles on earth. We sat down with founder Bibhrajit Halder to learn more about his background in the DARPA Challenge, his early work for Caterpillar developing autonomous mining trucks, his work in on-road autonomy and his return to off-road mining and construction vehicle automation with SafeAI. As we explore Halder's diverse background, we learn about the differences between different use cases for driving automation, what makes them more and less viable, and where the technology is headed.GuestBibhrajit Halder - CEO and Found, SafeAIModeratorEd Niedermeyer - Communications Director, PAVE

Live from the 2020 ASCEND Space Conference, Acquired covers the full story behind the most "out there" technology story of the past few years: Virgin Galactic. How did this space tourism company grow out of the winning X Prize team, and catch the eyes and fancy of billionaires like Paul Allen, Sir Richard Branson, and, most recently, company chairman Chamath Palihapitiya who took it public via the first "modern" technology SPAC transaction in history? Tune in to find out!! If you want more more Acquired and the tools + resources to become the best founder, operator or investor you can be, join our LP Program for access to our LP Show, the LP community on Slack and Zoom, and our live Book Club discussions with top authors. Join here at: https://acquired.fm/lp/   Sponsors:  Thanks to Tiny for being our presenting sponsor for all of Acquired Season 7. Tiny is building the "Berkshire Hathaway of the internet" — if you own a wonderful internet business that you want to sell, or know someone who does, you should get in touch with them. Unlike traditional buyers, they commit to quick, simple diligence, a 30-day or less process, and will leave your business to do its thing for the long term. You can learn more about Tiny here: http://tinycapital.com Thank you as well to Bamboo Growth and to Perkins Coie. You can learn more about them at: https://growwithbamboo.com https://www.perkinscoie.com/   Playbook Themes from this Episode: (also available on our website at https://www.acquired.fm/episodes/virgin-galactic ) 1. Prizes can be a great way to generate leverage on innovation. If done right, the X Prize and other industry prizes like it (e.g., Netflix Prize, DARPA Challenge, etc) can bring an order of magnitude more talent to bear on a challenge than what the same dollars alone could hire. The challenge is to create a prize that inspires and draws in a large enough pool of contributors. The aerospace industry’s “cool” factor may be what allowed the X Prize to succeed and explain why prizes aren't employed as often in other sectors. 2. When trying new things, most people want to go second — but those willing to go first get the best returns.Being first into new markets carries high risk (including/especially reputational), but often also offers asymmetric upside. Investing in a new frontier when others think it’s crazy is a recipe for success — if you’re both contrarian and right. Chamath took a huge turn from the traditional VC playbook when he created his first SPAC in 2017, years before they went mainstream. He and his investors have generated over $1B in profits from that vehicle (which is now merged with Virgin Galactic), and have since used those proceeds to launch five more. 3. The best time to invest was yesterday, the next best time is today. Great investors don’t miss the chance to invest in big markets because they’ve passed on it before. Sir Richard Branson passed on investing in the X Prize twice before partnering with Burt Rutan's winning team to build Virgin Galactic. 4. Whenever a market's prices aren't being set by supply and demand, there's probably an opportunity to disrupt that market. The traditional IPO pricing process is managed by third parties (investment banks) that represent both sides of the transaction, and also have their own economic interests at play. It's the equivalent of a real estate agent representing both the buyer and seller. As a result, many technology IPOs have left hundreds of millions or billions of dollars on the table. SPACs and direct listings are now solving that problem. Any other market with this dynamic should represent fertile ground for entrepreneurs.   Links: Virgin Galactic's "One Small Step" reservation program: https://www.virgingalactic.com/smallstep/ The November 2020 launch delay: https://www.virgingalactic.com/articles/virgin-galactic-adjusts-test-flight-schedule-in-response-to-new-state-government-covid-19-restrictions/   Sources: Black Sky Documentary: https://www.youtube.com/watch?v=cikmdTVFPig How to Make a Spaceship: https://www.amazon.com/How-Make-Spaceship-Renegades-Spaceflight/dp/1101980494/ref=tmm_pap_swatch_0?_encoding=UTF8&qid=&sr= http://d18rn0p25nwr6d.cloudfront.net/CIK-0001706946/362d3eae-199a-4995-ab78-232a09ced07d.pdf http://www.agent4stars.com/virgin-galactic-passenger-list/ https://abcnews.go.com/Business/story?id=8191703 https://abcnews.go.com/Business/virgin-galactic-resume-selling-tickets-space-reports-skyrocketing/story?id=69229936 https://en.m.wikipedia.org/wiki/Virgin_Galactic https://en.wikipedia.org/wiki/Burt_Rutan https://en.wikipedia.org/wiki/Richard_Branson https://en.wikipedia.org/wiki/Scaled_Composites https://en.wikipedia.org/wiki/The_Spaceship_Company https://en.wikipedia.org/wiki/Virgin_Galactic https://investors.virgingalactic.com/news/news-details/2020/Virgin-Galactic-Adjusts-Test-Flight-Schedule-in-Response-to-New-State-Government-COVID-19-Restrictions/default.aspx https://investors.virgingalactic.com/news/news-details/2020/Virgin-Galactic-Announces-Third-Quarter-2020-Financial-Results/default.aspx https://open.spotify.com/episode/63gIP0UcvBUyhuf0qz1Rza https://podcasts.google.com/feed/aHR0cHM6Ly9mZWVkcy5mZWVkYnVybmVyLmNvbS9wcm8tcmF0YQ/episode/OTc4MDliM2MtYTI1NS0xMWU5LWJhZjMtMmYxYWQyZTM2ZmM0 https://sifted.eu/articles/fund-fintech-secret-ian-osborne/ https://techcrunch.com/2020/09/16/cant-stop-wont-stop-social-capital-hedosophia-just-filed-for-its-fourth-spac-says-new-report/ https://www.ainonline.com/aviation-news/aerospace/2007-08-28/northrop-grumman-seals-scaled-composites-deal https://www.bloomberg.com/news/articles/2020-11-05/virgin-galactic-sees-new-ticket-sales-after-branson-s-space-trip https://www.businesswire.com/news/home/20121005005907/en/Virgin-Galactic-Acquires-Full-Ownership-Spaceship-Company#.VFvXsPnF98E https://www.forbes.com/sites/daviddawkins/2020/09/06/inside-virgin-orbit-richard-bransons-small-satellite-bid-to-match-musk-and-bezos-in-the-billionaire-space-race/?sh=1d880f577ab9 https://www.listennotes.com/podcasts/industry-focus/cg-virgin-galactic-prepares-wOHokI4mM06/ https://www.marketwatch.com/story/abu-dhabis-aabar-boosts-virgin-galactic-stake-2011-10-19 https://www.renaissancecapital.com/IPO-Center/News/65718/The-Space-SPAC-Everything-You-Need-to-Know-about-Virgin-Galactic https://www.renaissancecapital.com/IPO-Center/News/72123/Palihapitiya-and-Osbornes-fifth-SPAC-Social-Capital-Hedosophia-Holdings-V-p https://www.sec.gov/Archives/edgar/data/1706946/000114420417044783/v473766_s1.htm https://www.sec.gov/Archives/edgar/data/1706946/000119312519215509/d785777ds4.htm https://www.space.com/31993-stephen-hawking-virgin-galactic-spaceshiptwo-unity.html https://www.spacedaily.com/upi/2004/0831-091100-us-spacerace2-cashprize.html https://www.theguardian.com/business/2014/oct/09/virgin-galactic-space-tourism-richard-branson-george-whitesides https://www.theverge.com/2018/10/13/17967954/virgin-galactic-richard-branson-saudi-arabia-jamal-khashoggi https://www.usatoday.com/story/tech/talkingtech/2018/05/29/amazons-jeff-bezos-says-we-need-leave-earth-survive/651715002/?fbclid=IwAR0E2z5cBtry3Zy0sNRs9jRFKjE_b-T7N-kN0TQO7MDbWJO-baZKw4ZMZGU https://www.wsj.com/articles/richard-bransons-virgin-orbit-seeks-1-billion-valuation-in-fundraising-11602403201?cx_testId=3&cx_testVariant=cx_2&cx_artPos=1#cxrecs_s https://www.wsj.com/articles/richard-bransons-virgin-raises-480-million-with-spac-11601642288

Spaceflight news— Starliner update (spacenews.com) (youtube.com)Short & Sweet— Last minute scrub costs Astra the DARPA Challenge (spaceflightnow.com)— DSCOVR resumes operations. (spaceflightnow.com)— SLS scheduling update (spacenews.com)Questions, comments, corrections— Winning entry for the Mars 2020 naming contest (mars.nasa.gov)— Destin’s ULA tour (youtube.com) (youtube.com)This week in SF history— 14 March, 1934. Birth of Eugene Cernan (wikipedia.org)— Next week in 1965: No vacuum in a vacuum.

5G is coming soon and will fundamentally change many aspects of our lives. It will enable a level of connectivity that we have never experienced before. This imposes a challenge to the many frequency spectrums. This DARPA (Defense Advanced Research Projects Agency) challenge that was successfully answered by a team in Florida with simple yet powerful breakthrough thinking.

Zur GPN17 des Entropia e.V. im ZKM - Zentrum für Kunst und Medien und der Hochschule für Gestaltung (HfG) hat Florian Magin (@0x464d) einen Vortrag zu Automated Binary Analysis gehalten und war bereit uns auch im Podcast zu erzählen, wie er mit mathematischen Verfahren Software auf Schwachstellen analysiert. Florian studiert Informatik an der TU Darmstadt und engagiert sich im CTF-Team Wizards of Dos seiner Universität. Sein Interesse an der Computersicherheit hat ihn auch zur Firma ERNW Research geführt, wo er als Werkstudent in der IT-Sicherheitsforschung tätig ist. Wie wichtig die Suche nach Schwachstellen und deren Absicherung ist, wurde kürzlich bei der weltweiten Verbreitung der WannaCry/WannaCrypt-Schadsoftware bewusst, die die Aufmerksamkeit von einer anderen und lukrativeren Schadsoftware Adylkuzz ablenkte. Unter der Binary Analysis versteht man die quellenlose Analyse eines Programms alleine auf den Daten im Maschinencode auf einem Speichermedium. Ein erster Schritt der Analysis ist die Wandlung der Maschinensprache in Mnemonic durch einen Disassembler. Dieser Programmcode kann sich deutlich von einer ursprünglichen Quelltext des Programms unterscheiden, da der Maschinencode erzeugende Compiler eine Vielzahl von Optimierungsmöglichkeiten umsetzt, die den Ablauf und das Abbild des Programms im Maschinencode deutlich verändern können. Eine Herausforderung stellt sich inzwischen in der Größe der Programme: Während es inzwischen zahlreiche Wettbewerbe gibt, Programme unter extremen Platzbeschränkungen umzusetzen, wächst die Größe klassischer Programme stark an. Ein Maschinensprache-Befehl kann in einem Byte kodiert sein, wie früher etwa hexadezimal C9 auf dem Z80 eine Unterroutine beendet, so können in 4 Bytes Operationen wie eine Addition samt Parameter definiert sein. Die automatisierte Binäranalyse hat besonders durch die Darpa Cyber Grand Challenge im Jahr 2016 großes Interesse geweckt, wo die Teams autonome Software entwickeln sollten, die für sich alleine den CTF-Wettbewerb bestreitet. Eine Anwendung solcher automatisierten Programme ist die schnelle Überprüfung von neuer Software auf bekannte oder typische Schwachstellen oder Implementierungsfehler. Eine sehr allgemeine Methode zur Detektion von Sicherheitslücken ist das Fuzzing: Das Open Source Tool AFL modifiziert beispielsweise korrekte Eingabewerte und prüft bei welcher Modifikation das Programm vom zuvor aufgezeichneten Programmablauf abweicht und damit einen Hinweis auf eine mögliche Schwachstelle gibt. Es kann dabei idealerweise auf dem Sourcecode operieren oder auch das Programm in einem Emulator wie QEMU ausführen und analysieren. Wie schwer aber selbst Source Code zu verstehen sein kann, zeigen die Wettbewerbe International Obfuscated C Code Contest (IOCCC), zu möglichst schwer verständlichen sinnvollen Code, und der Underhanded C Contest, wo ein scheinbar sinnvoller Code für Menschen möglichst unvorhersehbare Zusatzfunktionen aufweist. Ebenso können sehr beliebte Programmiersprachen wie Python sehr unvorhersehbar reagieren, wenn man versehentlich Tabulatoren und Space vermischt, oder gleich die Programmiersprache Whitespace benutzt. Ein weiteres Beispiel ist, dass das Breitenlose Leerzeichen in neuen C++-Standards erlaubt ist, und für den Menschen ununterscheidbaren Code ermöglicht, der unterschiedliche Dinge tut. Aber auch Computer können getäuscht werden, wenn zum Vergleich unsichere Hash-Funktionen genutzt werden, wie jüngst die Shattered-Attacke auf die SHA-1 Hash zeigte. Eine automatisierte Analysemöglichkeit ist die Control Flow Graph Recovery, die beispielsweise mit IDA , radare2, binary ninja durchgeführt werden kann, um aus einer eindimensionalen Speicherdarstellung zu einem Programmnetz, wo zusammengehörige Programmblöcke miteinander vernetzt werden. Hier kann auch schon sichtbar werden, ob beschränkte Bereiche ohne Authentifikation erreicht werden können. Ein weiteres automatisierbares Verfahren ist die Datenflussanalyse, wo die Verarbeitung und Auswirkungen von Variablen und Daten im Verlauf des Programms analysiert wird. Hier kann der Verlauf von beispielsweise vertraulichen Daten kontrolliert werden. Bei einer Symbolischen Auswertung wird das Programm abstrakt mit einem Interpreter auf beliebigen variablen Daten bzw. symbolischen Ausdrücken auf allen Pfaden gleichzeitig ausgeführt. Für die Pfaderkundung benötigt man hier eine Strategie zwischen der Breitensuche und Tiefensuche, um die relevanten Teile des Ausführungsgraphen möglichst schnell abzudecken. In der automatisierten Analyse werden dabei offene Sprungmöglichkeiten zu nahezu beliebigen Adressen sehr interessant, da dies einen starken Indikator für einen Angriffsvektor liefern. Mit Return-oriented Programming kann man so bestehenden Code gezielt anspringen und für eigene Zwecke missbrauchen. Das Open-Source Framework Angr wurde von Forschern des Computer Security Lab at UC Santa Barbara entwickelt und belegte mit Shellphish auf der Darpa-Challenge den dritten Platz. Ein weiteres Open-Source Analyseframework ist Triton, welches man leicht in eigene Projekte einbinden kann. Sehr verbreitet ist auch das Framework S2E der École Polytechnique Fédérale de Lausanne. Ein weiterer Finalist der Cyber Grand Challenge ist das Team CodeJitsu von der University of California at Berkeley, Cyberhaven, and Syracuse. Die Binary Analysis Platform wurde vom Team um Professor David Brumley am Cylab der Carnegie Mellon University entwickelt. Funktionale Programmiersprachen wie OCAML oder Haskell haben für den Anwendungsfall der symbolischen Auswertung ganz besondere Vorteile. Ebenso werden Programmiersprachen auch auf ihre inherente Unsicherheit im Sinne der Language based security untersucht, sowie fertige Programme versucht auch auf ihre Korrektheit zu verifizieren. Ein Tool, das dies vereinfachen soll ist der Z3 Prover. Hier kommt die Suche nach Sicherheitslücke zur Mathematik: In der formalen Darstellung einer Routine kann das Verhalten als Abbildung aus symbolischen Variablen beschrieben werden, und die Suche nach einer Lösung führt auf die entsprechenden Logik oder Optimierungsverfahren. Literatur und weiterführende Informationen Florian Magin: Introduction to Automated Binary Analysis, Vortrag auf der GPN17, 2017. Program Analysis reading list D. Brumley: Analysis and Defense of Vulnerabilities in Binary Code, PhD thesis, School of Computer Science Carnegie Mellon University, 2008. Podcasts M. Musch: Steganographie, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 57, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. J. Breitner: Incredible Proof Machine, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 78, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. GPN17 Special Sibyllinische Neuigkeiten: GPN17, Folge 4 im Podcast des CCC Essen, 2017. M. Lösch: Smart Meter Gateway, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 135, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. F. Magin: Automated Binary Analysis, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 137, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017.

Welcome back to Ping! We talk about the return of robot combat return to television, we chat about a one-way ticket to Mars on the space desk, and more stories that 'softies are pinging each other about...[01:17] Last Show (3D Printed Clothing)... [03:54] Ping Live (kind of ;)[04:41] Major Nelson E3 Day One Recap, Day Two, Day Three [05:00] Xbox Elite Wireless Controller, New Customizable Xbox Elite Wireless Controller Built for Competitive-Level Gamers [06:06] Xbox One dashboard update includes a huge new design and Cortana, Cortana Expands the Role of the Digital Personal Assistant by Coming to Xbox One [06:26] Trade in your Xbox 360 or PS3 for $175 off towards an Xbox One at Best Buy (It's for PS3 not PS4 like Rick said... as you saw, it was an "interesting" show ;) [06:56] Microsoft officially unveils new Xbox One with 1TB HDD, controller with headset jack [07:25] Backward Compatibility [08:04] http://xbox.uservoice.com/ [08:20] HoloLens Demo (Minecraft) (Xbox One) - E3 2015 (Microsoft HoloLens), Microsoft created a Halo 5 HoloLens demo for E3 guests, HoloLens' Project X-Ray delivers a first-person augmented reality shooter[09:38] Microsoft Announces Surface Hub Availability and Pricing [11:38] Transforming robot crowned the winner of DARPA's Robotics Challenge [13:05] You can now Skype from your browser in the US and UK [14:04] Microsoft Disability Answer Desk now has American Sign Language support [15:37] Microsoft shows off two tiny Windows 10 PCs, including one that's inside a power adapterQuestion of the week: [19:25] If you had the ability to inject a new test for robots into the DARPA Challenge, what would it be?Chat with us throughout the week using #PingShow on TwitterLike us on Facebook http://facebook.com/ThePingShowMail us:The Ping Show c/o Channel 9, Bldg 20 One Microsoft Way Redmond, WA 98052@MarkDeFalco @RicksterCDN

Welcome back to Ping! We talk about the return of robot combat return to television, we chat about a one-way ticket to Mars on the space desk, and more stories that 'softies are pinging each other about...[01:17] Last Show (3D Printed Clothing)... [03:54] Ping Live (kind of ;)[04:41] Major Nelson E3 Day One Recap, Day Two, Day Three [05:00] Xbox Elite Wireless Controller, New Customizable Xbox Elite Wireless Controller Built for Competitive-Level Gamers [06:06] Xbox One dashboard update includes a huge new design and Cortana, Cortana Expands the Role of the Digital Personal Assistant by Coming to Xbox One [06:26] Trade in your Xbox 360 or PS3 for $175 off towards an Xbox One at Best Buy (It's for PS3 not PS4 like Rick said... as you saw, it was an "interesting" show ;) [06:56] Microsoft officially unveils new Xbox One with 1TB HDD, controller with headset jack [07:25] Backward Compatibility [08:04] http://xbox.uservoice.com/ [08:20] HoloLens Demo (Minecraft) (Xbox One) - E3 2015 (Microsoft HoloLens), Microsoft created a Halo 5 HoloLens demo for E3 guests, HoloLens' Project X-Ray delivers a first-person augmented reality shooter[09:38] Microsoft Announces Surface Hub Availability and Pricing [11:38] Transforming robot crowned the winner of DARPA's Robotics Challenge [13:05] You can now Skype from your browser in the US and UK [14:04] Microsoft Disability Answer Desk now has American Sign Language support [15:37] Microsoft shows off two tiny Windows 10 PCs, including one that's inside a power adapterQuestion of the week: [19:25] If you had the ability to inject a new test for robots into the DARPA Challenge, what would it be?Chat with us throughout the week using #PingShow on TwitterLike us on Facebook http://facebook.com/ThePingShowMail us:The Ping Show c/o Channel 9, Bldg 20 One Microsoft Way Redmond, WA 98052@MarkDeFalco @RicksterCDN

Prime collisioni al'Acceleratore del CERN di Ginevra; un robot tutto italiano al Darpa Challenge; un'isituto tecnico di Prato lancia un pallone a 36 km di altezza. A Trieste un pomeriggio in giro in carrozzina, così si capiscono le difficoltà dei disabili. Flavia visita per noi l'EXPO dei Popoli di Milano

Regular viewers of Autoline know that few topics get host John McElroy’s attention like autonomous cars. He can’t wait for a Star Wars world here on earth. To get the latest lowdown on what’s going on with the self-driving set, John is joined by three special guests on Autoline This Week. Christian Schumacher runs Continental’s Advanced Driver Assistance Systems while Annie Lien - a veteran of the DARPA Challenge - now works for VW’s Electronic Research Lab in California and Gary Silberg from KPMG wrote the definitive white paper on the topic.

Regular viewers of Autoline know that few topics get host John McElroy’s attention like autonomous cars. He can’t wait for a Star Wars world here on earth. To get the latest lowdown on what’s going on with the self-driving set, John is joined by three special guests on Autoline This Week. Christian Schumacher runs Continental’s Advanced Driver Assistance Systems while Annie Lien - a veteran of the DARPA Challenge - now works for VW’s Electronic Research Lab in California and Gary Silberg from KPMG wrote the definitive white paper on the topic.

Regular viewers of Autoline know that few topics get host John McElroy’s attention like autonomous cars. He can’t wait for a Star Wars world here on earth. To get the latest lowdown on what’s going on with the self-driving set, John is joined by three special guests on Autoline This Week. Christian Schumacher runs Continental’s Advanced Driver Assistance Systems while Annie Lien - a veteran of the DARPA Challenge - now works for VW’s Electronic Research Lab in California and Gary Silberg from KPMG wrote the definitive white paper on the topic.