This is my personal account where I follow and talk about Philly. Venezuelan-American spouse, dad, and software developer. I love film, obscure video games, foodie stuff, Bluecoat gin, La Colombe, salsa and merengue.

DM's open, profile a WIP [url=https://jawns.club/tags/privacy]#privacy[/url] [url=https://jawns.club/tags/gaming]#gaming[/url] [url=https://jawns.club/tags/hiking]#hiking[/url] [url=https://jawns.club/tags/caving]#caving[/url]

Just a guy into tech that's trying to find friends and happiness in the tri-state area.

I am a 45 ish seminarian working on becoming a second career [url=https://jawns.club/tags/pastor]#pastor[/url] in the [url=https://jawns.club/tags/elca]#elca[/url]. [url=https://jawns.club/tags/mom]#mom[/url] of a tween, heaven help me.

Cohomology enthusiast. I've seen rings you wouldn't believe.

Associate Prof at NUS School of Computing.
PL, proofs, systems, pictures of corgi. [url=https://ilyasergey.net]https://ilyasergey.net[/url]

Masters student @ IIT Palakkad [url=https://ju-sh.github.io/]https://ju-sh.github.io/[/url]

Passionate PL and type systems designer. I'd like to infer your types. Assistant Professor at HKUST.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Berkeley CS PhD student @ucberkeley @ucbepic • program synthesis ∩ data engineering w/ some ⟦PL design⟧ • prev. research @msftresearch and engg @deloitte •

Research Fellow in Programming Languages at the University of Kent

Senior researcher at PROSE Microsoft. Working on PL/SE+ML. From Costa Rica, in CT for now.

CS undergrad @ University of São Paulo

Magic the Gathering nerd | SWE at Meta working on static analysis for C++ | interested in PL, Compilers, Logic, and Security | Penn CIS alum | Seattle | he/him

Haskell developer, untyped.

Machine Learning and Functional Programming [url=https://github.com/LaurentMazare/]https://github.com/LaurentMazare/[/url]

Physics student based in Prague, CZ. Interests: FP, neutrons, law

Aspiring researcher

Graduate Student @ Republic of Korea. Interested in PL & SE research.

Final Year CS+Maths UG at Edinburgh . Co-founded TypeSig, a student PL society

gfixme : (▸A → A) → A

PhD student at Oxford. Interested in (probabilistic) programming languages and verification.

programmer programming programs