BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.northbaypython.org//nbpy-2026//V37K3L
BEGIN:VTIMEZONE
TZID:PST
BEGIN:STANDARD
DTSTART:20001029T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10;UNTIL=20061029T100000Z
TZNAME:PST
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
END:STANDARD
BEGIN:STANDARD
DTSTART:20071104T030000
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:PST
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000402T030000
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=4;UNTIL=20060402T110000Z
TZNAME:PDT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20070311T030000
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:PDT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-nbpy-2026-GQLNDC@pretalx.northbaypython.org
DTSTART;TZID=PST:20260425T101500
DTEND;TZID=PST:20260425T104000
DESCRIPTION:For the first time in the history of computer science\, actual 
 practicioners of software engineering appear to be having a serious go at 
 using automated code generation tools to produce entire programs. The indu
 stry has not yet agreed that this is an unqualified disaster.\n\nOn the ot
 her hand\, we have known for quite a long time that there are a number of 
 things that computers cannot do: not things that are merely difficult to s
 olve\, but things that are actually impossible. One particularly salient e
 xample is asking a computer program to figure out what a (possibly differe
 nt) computer program even does. This raises a number of fascinating questi
 ons about the act of asking computers to write our code for us\, and the r
 oles of us as software engineers\, now\, and in the not-too-distant future
 .\n\nWe're going to focus on the act of specifying a problem\, and verifyi
 ng whether whether our solution to a problem meets that specification. How
  do we judge whether something is "correct"? How much of a problem can we 
 ask a computer to solve? Is there still a place for not doing everything c
 ompletely automatically?\n\nThis talk combines observations from foundatio
 nal computer science\, from the emergence of automated software testing\, 
 and some recent observations about the performance of recent-generation LL
 Ms acting autonomously. We will raise some questions. We might answer 1-2 
 of them.
DTSTAMP:20260404T041743Z
LOCATION:Barn
SUMMARY:"What is Correct?" and is that even the right question any more? - 
 Christopher Neugebauer
URL:https://pretalx.northbaypython.org/nbpy-2026/talk/GQLNDC/
END:VEVENT
END:VCALENDAR