GoKawiil
Tech News
Jane Street says it is trialing new software engineering interview formats for campus candidates, starting this summer. These rounds involve less hands-on code writing and more focus on software design, code quality verification, and using LLMs to produce code, while most rounds remain traditional coding interviews done without AI assistance.
OpenShell published research on using formal methods, including the Z3 solver, to verify that permission changes proposed by autonomous AI agents remain within the bounds originally approved by a human operator. The team argues that as organizations scale from a handful of coding agents to hundreds or thousands running long, open-ended tasks, manual permission review becomes impossible to sustain. Their approach aims to mathematically prove that scoped agent policies never exceed the intent of the overall system's charter.
Verus is an open-source tool that mathematically verifies Rust programs against formal specifications, checking correctness across all possible inputs rather than sampling test cases. It builds on Rust's existing memory-safety guarantees to also confirm that code produces expected results and doesn't leak sensitive data.