Your spreadsheet expertise is a secret tech superpower.

Gradual typing has emerged as a compelling approach to reconcile the strengths of static and dynamic type systems. By permitting programmers to incrementally annotate code, it enables early detection ...

Writing code is a terrible way for humans to instruct computers. Lucky for us, new technology is about to render programming languages about as useful as Latin. The headlong global frenzy to teach ...

Researchers have demonstrated that, for a few specific tasks, it's possible to write computer programs using ordinary language rather than special-purpose programming languages. The work may be of ...