George Z

@typeable
44 Followers
149 Following
411 Posts

🇱🇧 expat living in 🇨🇭
PhD Student in Programming languages at the University of St.Gallen.
AUB and EPFL Alumni.
Programmer for more than 10 years.

I have strong opinions about software.

Ask me what a (co-)Monad is

#freesoftware #math #typesystems

Header picture is the green oval with the Fisk and Bliss buildings painted by Tarek Bohsali. It's in this corner where my best memories of AUB are.

Sitehttps://grgz.me
LanguagesEN / FR / عربي
PronounsHe/Him
Bluesky@grgzkhr.bsky.social
George ZJul 3
A definition without a theorem is useless.
George ZJul 2

Can I ask you all to stop for a moment and reflect on this warning message: "theorem Nat.add_right_eq_self is deprecated"?

Like, truly think of the epistemological implications of deprecating mathematical truths.

George ZJun 29
tech? no! man, see...Mar 13, 2018
Golang is unusual because in most languages the type system tells you when you made a mistake, but in Golang the type system tells you when Rob Pike made a mistake.
Show threadGeorge ZJun 27

Has it already been more than a month!

Good news though, my train form Norway to Switzerland offered me ample time to actually finish the mechanization!

George ZJun 26
Daniel SainatiJun 26
syntactic sugar implies the existence of syntactic salt
George ZJun 26
Ron GarciaJun 17
Trying to get kicked out of PL
George ZJun 26
Patrick LamJun 26

I was talking to someone at PLDI and the topic of novelty came up.

Here's a quiz! It randomly picks papers from PLDI 2014 and PLDI 2024. Can you tell which year each paper appeared in?

https://patricklam.ca/pldi-quiz/

Tagging @regehr, who had something to do with the PLDI 2024 program...

PLDI 2014 or 2024?

Personal website of Patrick Lam

Patrick Lam
George ZJun 16
BeyondMachines Jun 16
#VibeCoding your MFA
Show threadGeorge ZJun 8
Some glimpse at the stats and geography of eastern Switzerland
Show threadGeorge ZJun 8
I arrived 30min late, but me and my bike and still learning about effects at #zurihac25