Posts

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 ͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏     ­͏...
Post a Comment
Read more

960530 is your Substack verification code

Image
  Here's your verification code to sign in to Substack: 960530 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 314  
Post a Comment
Read more