A talk on formal methods, using the "thing-doer" three-step process as an example, illustrating how to find bugs in systems that don't yet exist. The opening was delayed by 8 minutes due to a hardware failure.
TechCrunch Disrupt 2026 announces a new Real World AI Stage focusing on AI in the physical world, featuring robots, automated factories, and de-extinction, with speakers from Shield AI, Colossal Biosciences, FieldAI, and more, October 13-15 in San Francisco.
LangChain announces that Spring Health's Sr. Director of Engineering Marissa Saunders will speak at Interrupt NYC, a conference on AI agents taking place September 24 in New York City.
Qwen developers held an AMA on Twitter, confirming an upcoming 27B model, sharing details about Qwen 3.8's 2.4T parameters and 95B active, and noting the community's influence on releases.
The vLLM Conference is coming up in San Francisco, Aug 24–26, hosted by Inferact at Ray Summit, featuring speakers from major AI infrastructure companies.
Stability AI is partnering with Music Hackspace and MUTEK to host a 48-hour hackathon in Montreal on August 22–23, bringing developers and sound enthusiasts together.
Modular announces ModCon 2026, its annual developer conference themed 'Compute Unlocked,' featuring keynotes, panels, and workshops on AI infrastructure. The event includes investor panels and hands-on Mojo programming sessions.
China's GOAI Global Open-source AI Challenge is open to developers, researchers, startups, and contributors worldwide, with four tracks and RMB 5 million in total prizes.
NASA invites the public to a Reddit AMA on Wednesday, Aug. 5, to discuss 50 years of Mars exploration with its scientists.
Cognition CEO Scott Wu will deliver a keynote at Runtime, discussing async background agents and the future of agent design.
Announcement of the GLEE Competition at IAB@NeurIPS 2026, where participants build AI agents for bargaining, negotiation, and persuasion in live multi-turn games, with a $6,000 prize pool and optional paper submission.
PyTorch Conference North America (Oct 20-21, San Jose) will feature an Applications Track showcasing how developers use PyTorch across LLMs, multimodal AI, robotics, scientific computing, and production deployments. The event also includes tracks on core PyTorch, inference, kernel engineering, and responsible AI.
Google AI Developers shares a video on building AI-native apps with the Google ecosystem for the Build with Gemini XPrize Hackathon, which runs through August 17.
Hacker News's monthly 'Who wants to be hired?' thread for August 2026, where job seekers post their location, technologies, and resumes for potential employers.
Hacker News monthly 'Ask HN: Who is hiring?' thread for August 2026, where companies post job openings with location and remote availability. Includes a sample post from Snowflake for Forward Deployed Engineer roles.
Google Devs announces a new developer challenge focused on a tricky dependency version conflict scenario involving three packages sharing one dependency.
Free live webinar on building better AI agents in Java, led by James Ward of AWS, covering tools, MCP, and agent design patterns.
The first panel of the Local AI Summit at AIEWF is now live, featuring leaders from NVIDIA, Roboflow, Osmantic, Forward Future, and EXO Labs discussing the state of local AI.
NASA will host a news conference at Kennedy Space Center on Aug. 14 to preview a new event later this year celebrating American leadership in aviation, space exploration, and emerging technologies, coinciding with America's 250th anniversary.
Patrick Collison speaks at Startup School 2026 about Stripe's origins, startup advice, and what Stripe's data says about the AI economy.