Duc-Than Nguyen

Interested in Programming Languages & Formal Verification (he/him)

[Duc-Than Nguyen @_thannd]

@Das8Ankush I wish I could be there; ETAPS in Turin sounds wonderful. Wishing you a great first conference back, and many meaningful (and hopefully easy!) conversations.

[Kartik @k4rtik]

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
https://t.co/IRcViouNTc

[Toby Murray @tobycmurray]

New blog post: Formal Verification in the Age of AI https://t.co/IfvCAYUwkA

[Duc-Than Nguyen @_thannd]

First CVE in Rust code.

https://t.co/5cTfyAAMhE

[Daniel Lemire @lemire]

C++23:

[Duc-Than Nguyen @_thannd]

@TzuHanH congratulations!

[Duc-Than Nguyen @_thannd]

@calebstanford4 same to me LOL

[Duc-Than Nguyen @_thannd]

@mukesh_tiwari congrats

[Duc-Than Nguyen @_thannd]

@mathur_umang @poplconf Congratulations!!!

[Ilya Sergey @ilyasergey]

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!

https://t.co/1RWB37DyhC

[Duc-Than Nguyen @_thannd]

@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.

[John Wickerson @wicko3]

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. https://t.co/mWoVX3d95q

[Duc-Than Nguyen @_thannd]

@calebstanford4 @UCDavisCOE Congratulations!!!

[Ron Garcia @rg9119]

"notable"
(from "Effective C")

[Duc-Than Nguyen @_thannd]

@lastland0 Congrats Yao Li!

[Duc-Than Nguyen @_thannd]

@anhndm88 Happy new year anh Minh Anh!

[Duc-Than Nguyen @_thannd]

@lastland0 Happy new year!

[Duc-Than Nguyen @_thannd]

@lastland0 It was tough
Wordle 225 5/6

⬛🟨⬛⬛⬛
⬛⬛⬛⬛⬛
⬛⬛🟨🟩⬛
⬛🟩🟩🟩⬛
🟩🟩🟩🟩🟩

[Duc-Than Nguyen @_thannd]

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

[Duc-Than Nguyen @_thannd]

@wicko3 Wordle 222 3/6

⬛🟨⬛⬛🟨
⬛⬛🟨⬛🟩
🟩🟩🟩🟩🟩