Tau Prolog
Matthew Waddington
MatthewWaddington
Legislative drafter interested in "Rules as Code"
Legislative Drafting Office, States of Jersey Jersey (original, not New)
Younes
younes-io
Julia. Rust. Prolog. Python. Typescript. Node.js. TLA+. LLMs. Distributed systems. Concurrency. Consensus algorithms.
λFT
lambdaft
25 years experience as analyst in financial markets, a PhD aspirant and a perpetual student.
λFT India
