Darius Foo @fariusdoo

PhD student @nus_plse dariusf.github.io Singapore Joined May 2010

Tweets

0
Followers

20
Following

50
Likes

65

No recent Tweets. New Tweets will appear here.

KC Sivaramakrishnan @kc_srk

4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.

Mariano Bertoni @mariano_bertoni

189 Followers 4K Following

Changsheng SUN @changsheng_sun

126 Followers 412 Following PhD Student @NUSComputing ; Trustworthy AI / Explainable Models.

The Search Space Podc... @searchspacepod

445 Followers 391 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.

Alireza Farhadi @AlirezaTCS

53 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی

Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Ilya Sergey @ilyasergey

6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

CTO at https://t.co/iEB5xkH0PC. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.

John Wiegley @jwiegley

5K Followers 2K Following CTO at https://t.co/iEB5xkH0PC. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.

Assistant Prof. @GaTechCyber | CS PhD @NUSComputing | Rigorous Security Analyses for ML Systems. Learnability of Analyses Rules. * Reach out, I am recruiting! *

Teodora Baluta @teobaluta

724 Followers 1K Following Assistant Prof. @GaTechCyber | CS PhD @NUSComputing | Rigorous Security Analyses for ML Systems. Learnability of Analyses Rules. * Reach out, I am recruiting! *

Andreea Costea @andre_costea

132 Followers 181 Following formal verification, languages, and OCaml enthusiast @NUSComputing

George Pîrlea @GeorgePirlea

853 Followers 4K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV

yinyang-project @testsmtsolvers

410 Followers 413 Following Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@cvc5_solver) Tool: https://t.co/yg7OJwFw7y

Yunjeong Lee @lyunjeong

112 Followers 223 Following PhD student at @NUSComputing.

Lecturer (equivalent to assistant professor in the US system) at University of Sydney. Learn more at https://t.co/XsvRkQfH0o!

Hong Jin Kang @kanghj91

175 Followers 484 Following Lecturer (equivalent to assistant professor in the US system) at University of Sydney. Learn more at https://t.co/XsvRkQfH0o!

Joseph @Pufo7836

50 Followers 242 Following Arsenal for life

John Chee Wei Ming @JohnCWM91

5 Followers 7 Following I do retarded things.

🔸 Making intriguing worlds with heart
🔸 Streets of Fortuna, Dwarf Fortress, Caves of Qud, Ostranauts & more!
🔸 Join: https://t.co/1rqbfUGnDL

Kitfox Games 🦊 @KitfoxGames

39K Followers 353 Following 🔸 Making intriguing worlds with heart 🔸 Streets of Fortuna, Dwarf Fortress, Caves of Qud, Ostranauts & more! 🔸 Join: https://t.co/1rqbfUGnDL

Creators of Hades, Pyre, Transistor, and Bastion.
Now making Hades II.

· Merchandise: https://t.co/P1G9taLOSl
· Discord: https://t.co/wA3owJ9Kga

Supergiant Games @SupergiantGames

437K Followers 42 Following Creators of Hades, Pyre, Transistor, and Bastion. Now making Hades II. · Merchandise: https://t.co/P1G9taLOSl · Discord: https://t.co/wA3owJ9Kga

Independent games by @jwaaaap, bringing back arcade since 1933. Made Nuclear Throne, Ridiculous Fishing, Luftrausers, Super Crate Box & more.

Vlambeer @Vlambeer

57K Followers 2K Following Independent games by @jwaaaap, bringing back arcade since 1933. Made Nuclear Throne, Ridiculous Fishing, Luftrausers, Super Crate Box & more.

Subset Games @subsetgames

29K Followers 113 Following Subset Games is a micro game studio lead by J. Ma (@Jarmustard) and Matthew Davis. We made FTL and Into the Breach.

An independent game studio focused on interactive storytelling.

Currently working on Dispatch.

Bluesky: https://t.co/WrB8zA4w80
Instagram: https://t.co/t5XJn4t5B6

AdHoc Studio @theAdHocStudio

8K Followers 18 Following An independent game studio focused on interactive storytelling. Currently working on Dispatch. Bluesky: https://t.co/WrB8zA4w80 Instagram: https://t.co/t5XJn4t5B6

Created Quill, Shadertoy, Pixar's Wondermoss. Math & Art Videos at
* https://t.co/ugnT5WuRWq
* https://t.co/w20vMC2I7d
* https://t.co/SRkBTFQQLP

inigo quilez @iquilezles

50K Followers 44 Following Created Quill, Shadertoy, Pixar's Wondermoss. Math & Art Videos at * https://t.co/ugnT5WuRWq * https://t.co/w20vMC2I7d * https://t.co/SRkBTFQQLP

Frank Force 🌻 @KilledByAPixel

11K Followers 2K Following Generative Artist • Game Dev • Programmer • Size Coder • Musician • Zen Buddhist • Wizard • Friend to Cats 🖖

PLSE@NUS @nus_plse

389 Followers 178 Following Programming Languages, Software Engineering and Formal Methods Research at the @nuscomputing

Anton @antron__

567 Followers 39 Following Maintains some OCaml/Reason repos.

Creators of Sublime Text and Sublime Merge. Need support? Sublime Text: https://t.co/5e1cE1dfub Sublime Merge: https://t.co/JTXom9aVxv

Sublime HQ @sublimehq

54K Followers 70 Following Creators of Sublime Text and Sublime Merge. Need support? Sublime Text: https://t.co/5e1cE1dfub Sublime Merge: https://t.co/JTXom9aVxv

KC Sivaramakrishnan @kc_srk

4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.

Gowtham Kaki @GowthamK

483 Followers 376 Following Assistant Professor @CUCompSci and @cuplv. Programming Languages and Formal Methods. Village idiot.

@[email protected] @lemmster

1K Followers 553 Following Principal Research Software Engineer at Microsoft Research

Yaron (Ron) Minsky @yminsky

15K Followers 334 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2

loltyler1 @loltyler1

637K Followers 252 Following IM THE BEST !!! https://t.co/wnBgp3Du0r

Mike Judge 🤖 @mikelovesrobots

1K Followers 111 Following Software developer. Generative artist. He/him

Teodora Baluta @teobaluta

724 Followers 1K Following Assistant Prof. @GaTechCyber | CS PhD @NUSComputing | Rigorous Security Analyses for ML Systems. Learnability of Analyses Rules. * Reach out, I am recruiting! *

Def @let_def

458 Followers 123 Following Travaille un peu du chameau

Thomas Gazagnaire @eriangazag

1K Followers 213 Following MirageOS and OCaml hacker. CEO of https://t.co/KF5zAU46jr - ex Docker, Unikernel Systems, Citrix

George Pîrlea @GeorgePirlea

853 Followers 4K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV

Tim Pope @tpope

20K Followers 342 Following Retired account. Follow me at https://t.co/aGR8mlP04M and https://t.co/bWb4SWNuWu

Andreea Costea @andre_costea

132 Followers 181 Following formal verification, languages, and OCaml enthusiast @NUSComputing

Yunjeong Lee @lyunjeong

112 Followers 223 Following PhD student at @NUSComputing.

I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean.

he/him

David Thrane Christia... @d_christiansen

3K Followers 624 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him

Nadia Polikarpova @polikarn

4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.

SWI_Prolog @SwiProlog_

628 Followers 151 Following Official account for SWI_Prolog, replacement for @ SWI_Prolog https://t.co/p0nj4vezrr

Kenney @KenneyNL

116K Followers 941 Following Creating (free) game assets: https://t.co/nAXqEcCbVR MakeRoom: https://t.co/wvsSjpDOzL #gamedev #gameassets

Nitroneers @Nitroneers

2K Followers 5 Following RACE + BUILD by @KenneyNL and @KayLousberg • Wishlist on Steam!

potassco @potassco

109 Followers 26 Following I was born on sourceforge and moved to github as an adolescent

John Wiegley @jwiegley

5K Followers 2K Following CTO at https://t.co/iEB5xkH0PC. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.

OCaml @OCamlLang

5K Followers 18 Following OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.

Professor of Planetary Computing @Cambridge_CL 🇮🇪 @avsm@recoil.org and https://t.co/0P3DSgR0Dv

Anil Madhavapeddy @avsm

6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected] and https://t.co/0P3DSgR0Dv

Andrey Mokhov @andreymokhov

2K Followers 180 Following From engineering to abstract mathematics and back

Andrey Popp @andreypopp

3K Followers 930 Following Shifting bits...

Jepsen @jepsen_io

6K Followers 0 Following Distributed systems safety analysis. No longer maintained; see https://t.co/GS4QrEFo8P

Ph.D in Computer Science at @uclm_es.
Researching on Logic Programming. #LogicProgramming #Prolog
Lead maintainer for @tau_prolog.

José A. Riaza @jariazavalverde

247 Followers 105 Following Ph.D in Computer Science at @uclm_es. Researching on Logic Programming. #LogicProgramming #Prolog Lead maintainer for @tau_prolog.

SWI-Prolog official a... @SWI_Prolog

821 Followers 139 Following Official account of the SWI-Prolog project

a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.

Hakan Kjellerstrand @hakankj

984 Followers 645 Following a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.

Ilya Sergey @ilyasergey

6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

I'm a software engineer, author of the book Hands-on Scala Programming https://t.co/jCMgqCKhpN

Bluesky https://t.co/2IJXLiM3YG

Li Haoyi @li_haoyi

10K Followers 0 Following I'm a software engineer, author of the book Hands-on Scala Programming https://t.co/jCMgqCKhpN Bluesky https://t.co/2IJXLiM3YG

Brawl Stars @BrawlStars

2.0M Followers 142 Following Fast-paced 3v3 and Battle Royale matches 🔥 Collect unique Brawlers. Play with your friends. Be the last one standing!

Lindsey Kuper (@linds... @lindsey

9K Followers 797 Following CSE assistant professor at @ucsc (https://t.co/mijWIrhfoU). Made in Iowa. Nearly 100% biodegradable. https://t.co/iAyJDalnrG

chris martens @chrisa... @chrisamaphone

5K Followers 1K Following I'm not here anymore! Go find me where my display name says.

Hong Jin Kang @kanghj91

175 Followers 484 Following Lecturer (equivalent to assistant professor in the US system) at University of Sydney. Learn more at https://t.co/XsvRkQfH0o!

1K Followers 106 Following Creator of https://t.co/SBkQjoagOV and https://t.co/dABj8UJJ23 | Pioneering a new category in AI infrastructure: inference-time compute to dramatically improve LLM reasoning

No recent Favorites. New Favorites will appear here.