“In Canada, U.S., you also have like these electronic data devices, electronic for logging hours. You're able to push messages through there for anything.”

“We had a hypothesis about where to look for bugs… focused on device drivers… then differential fuzzing… ported to Rust using an LLM… formal verification.”

“Hanson wrote up the academic case for prediction markets generally, invented policy prediction markets, pointed out prediction markets' potential uses in science and governance and corporate governance and pushed for early prediction markets to get started.”

“Pharmacists have a clear and convenient place to send their patients… simply log into the outcomes platform… refer your patient by sending a text message, an email, or even accessing like a printout”

“We would just tell our drivers, hey, we need more drivers. So we never actually put out like media ads for hiring drivers at the time.”