Posts

440151 is your Substack verification code

Image
  Here's your verification code to sign in to Substack: 440151 This code will only be valid for the next 10 minutes. If the code does not work, you can use this login verification link: Verify email Do not share this code with anyone. Do not forward this email. Substack employees will never ask for this code. © 2026 Gergely Orosz 548 Market Street PMB 72296, San Francisco, CA 94104 669  

818916 is your Substack verification code

Image
  Here's your verification code to sign in to Substack: 818916 This code will only be valid for the next 10 minutes. If the code does not work, you can use this login verification link: Verify email Do not share this code with anyone. Do not forward this email. Substack employees will never ask for this code. © 2026 Gergely Orosz 548 Market Street PMB 72296, San Francisco, CA 94104 261  

707155 is your Substack verification code

Image
  Here's your verification code to sign in to Substack: 707155 This code will only be valid for the next 10 minutes. If the code does not work, you can use this login verification link: Verify email Do not share this code with anyone. Do not forward this email. Substack employees will never ask for this code. © 2026 Gergely Orosz 548 Market Street PMB 72296, San Francisco, CA 94104 156  

Software correctness & supply chain security, with Sean Allen

Image
A deep conversation on the biggest challenges of developing with AI – while trying not to mention the phrase “AI” once. Why? To dig up the fundamentals that are as important as ever ͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏...