Friday Hacks #201, March 12

Posted on by Mayank Keoliya

Date/Time: Friday, March 12 at 7:00pm
Venue: Online on Zoom
Zoom Link:

A Sneak Peek at a DSL for Computational Law

Talk Description:

Singapore recently approved a $15M grant to fund development of opensource languages and libraries for computational law – a software stack which seeks to do for legal and qualitative reasoning what the spreadsheet has done for quantitative reasoning. This talk considers laws and contracts as a problem in computer science, and proposes a domain-specific language amenable to formal verification and other old-fashioned AI methods like constraint logic programming, answer set programming, model checking, LTL/CTL, and type theory.

Speaker Profile:

As a programming language enthusiast, Meng programs in TypeScript, Haskell, Prolog, Python, and Perl, with Emacs and VS Code. He studied computer science at, co-authored RFC4408, and co-founded a handful of startups including,, and, and His research in computational law has taken him to Stanford’s CodeX Center for Legal Informatics, Harvard’s Berkman–Klein center for Internet & Society, and Ca’Foscari University of Venice. He is presently principal investigator at SMU’s Centre for Computational Law. He lives in Joo Chiat with his partner Alexis Chun and two dogs, @iodoodle and @lyragroodle on Instagram.

ML & ML Ops @ Google

Talk Description:

In this talk, Vincent, who works in the Trust & Safety team @ Google, will be discussing about life, universe and everything Google - and a typical day working there. He’ll also be talking about how Google uses machine learning to detect spam, and deploys this at a massive scale of over a billion devices. Don’t worry if you’re not an expert at machine learning though - the talk is accessible to the typical CS undergraduate!

Speaker Profile:

Vincent Tatan fights phishing with ML @ Google, using advanced ML algorithms and MLOps to protect Chrome, Gmail and Android users against phishing attacks on vulnerable populations. Vincent is also a writer for Towards Data Science.

In his free time, Vincent hacks on Kaggle and trains for triathlons or cycling trips.

See you there!

comments powered by Disqus