Duc-Than Nguyen

Compiler folks 👀 My team at Quantinuum is hiring a Lead / Principal Quantum Compiler Engineer (LLVM) to build the compiler stack translating quantum programs to trapped-ion hardware. 📍 Broomfield, CO jobs.eu.lever.co/quantinuum/426…

New blog post: Formal Verification in the Age of AI verse.systems/blog/post/2026…

First CVE in Rust code. it.slashdot.org/story/25/12/17…

C++23:

@TzuHanH congratulations!

‼️New Papers‼️ Very excited to share that we got 2 ✌🏻 papers accepted to TACAS’23!!!🫣🥹😍🥳 Big thank you to all my collaborators. Submitted 2 and get both accepted feels truly magical🪄(titles in the reply.) Going to be in Paris in April the very first time in my life!🤩

@calebstanford4 same to me LOL

@mukesh_tiwari congrats

@mathur_umang @poplconf Congratulations!!!

Honored to receive this recognition and happy that the @poplconf community is accepting of diverse ideas 😊

Looking for a PhD position? Like hacking in OCaml, Haskell, Scala, Rust? Want to do research on the intersection of PL, mechanised proofs, synthesis, and systems? Then don't miss the application deadline on Dec 15 for the PhD program at @NUSComputing! comp.nus.edu.sg/programmes/pg/…

@anhndm88 hello anh, anh khoẻ không? em ko nhắn tin được cho anh, vì hình như anh để chế độ follow mới nhắn được.

Very happy to contribute to "Fiscal Monitor Oct 2022 - Helping People Bounce Back" which has been just released: Countries should prioritize protecting the vulnerable through targeted support while keeping a tight fiscal stance to help fight inflation. imf.org/en/Publication…

Philippa Gardner, @AzaleaRaad, @AndreasLoow, and I are organising another "UK concurrency workshop" on 11-12 August at the @NewtonInstitute in Cambridge. All welcome; registration is free! And please email me to offer talks; schedule is not full yet. johnwickerson.github.io/cw2022.html

@calebstanford4 @UCDavisCOE Congratulations!!!

"notable" (from "Effective C")

@lastland0 Congrats Yao Li!

@anhndm88 Happy new year anh Minh Anh!

Indeed very good news!!

@lastland0 Happy new year!

@lastland0 It was tough Wordle 225 5/6 ⬛🟨⬛⬛⬛ ⬛⬛⬛⬛⬛ ⬛⬛🟨🟩⬛ ⬛🟩🟩🟩⬛ 🟩🟩🟩🟩🟩

@wicko3 I wonder why your wordle score often has * at last?

@_thannd Wordle 223 5/6* ⬜🟨⬜🟨⬜ ⬜⬜🟨⬜🟨 🟨⬜⬜⬜🟨 ⬜🟩🟩⬜🟩 🟩🟩🟩🟩🟩

@wicko3 Wordle 222 3/6 ⬛🟨⬛⬛🟨 ⬛⬛🟨⬛🟩 🟩🟩🟩🟩🟩

Wordle 221 4/6* ⬜⬜⬜⬜⬜ 🟨⬜⬜⬜⬜ ⬜🟨⬜🟩⬜ 🟩🟩🟩🟩🟩

Wordle 207 6/6 ⬜⬜🟨🟨⬜ 🟨⬜🟨🟩⬜ ⬜🟩⬜🟩🟩 ⬜🟩⬜🟩🟩 🟨🟩⬜🟩🟩 🟩🟩🟩🟩🟩

@lastland0 better than me 😅 Wordle 218 5/6 ⬛⬛⬛🟨⬛ ⬛⬛🟨🟩⬛ ⬛🟩🟩🟩⬛ ⬛🟩🟩🟩🟩 🟩🟩🟩🟩🟩