**Correctness and precision in AI-augmented engineering featuring Jonny Press (CTO, Data Intellect) and Tom Dellmann (Director of Engineering, Chronicle).** Doors at 6pm for a 6:30 start, two talks with time for questions, then food, drinks and networking. **Jonny Press, Data Intellect** Data Intellect is a consultancy built around KDB+ and Q, the high-performance database and language behind real-time analytics. Jonny is its CTO and has worked in the language his whole career, coming up through First Derivative and KX. He'll make the case for Q in the age of AI. Coding models tend to churn out pages of code, but Q's terse primitives do more with less: less to read, review and explain to a regulator. Expect a live demo of analytics that are trivial in Q and awkward in SQL. **Tom Dellmann, Chronicle Software** Chronicle makes low-latency software for capital markets: messaging, FIX engines and the trading systems built on them. Tom is Director of Engineering and has stayed hands-on, leveraging AI to stay in contact with the code. He'll resurrect Maude, an academic model checker he last grappled with at university, now made approachable with Claude. He'll live-demo using it to find real issues, including in Chronicle's own open source projects.

Description supplied by the event organiser.