Joined August 2021
- Tweets 113
- Following 209
- Followers 55
- Likes 274
16 Photos and videos
George Zakhour retweeted
Mar 7
I think physics and math are gonna be solved in the next few years
1
5
29
1,367
George Zakhour retweeted
25 Sep 2025
Anyone whose explanations are more technical than mine is obfuscating with formalism to hide their underlying lack of conceptual clarity.
Anyone whose explanations are less technical than mine is a poseur who has failed to engage with the substantive content of the theory.
45
144
1,218
52,908
9 Sep 2025
I caught an undefined bug in the @ACMDL citation export tool.
Sadly if you search for "Kundefinedhler" on google scholar (with quotes) you'll find many papers citing Kœhler incorrectly :(
16
92
George Zakhour retweeted
16 Jul 2025
/someone/ filled a bug report just because hazel let them write this perfectly unobjectionable syntax
18
45
1,859
80,073
George Zakhour retweeted
30 Jun 2025
The Best New Programming Language is a Proof Assistant youtube.com/watch?v=c5LOYzZx…
9
67
7,204
George Zakhour retweeted
11 Jun 2025
4
20
607
23 Apr 2025
The SIGBOVIK 2025 proceedings are out!
Make sure to check paper 17 out 👀
sigbovik.org/2025/proceeding…
17
83
George Zakhour retweeted
10 Apr 2025
There are three kinds of people!
63
48
967
223,850
George Zakhour retweeted
25 Mar 2025
Can LLMs actually solve hard math problems? Given the strong performance at AIME, we now go to the next tier: our MathArena team has conducted a detailed evaluation using the recent 2025 USA Math Olympiad. The results are… bad: all models scored less than 5%!
18
82
483
95,600
George Zakhour retweeted
4 Feb 2025
Idea to create a rival podcast to @ttforall that focuses on untyped programming languages like lisp and prolog
It would be called "Judgment Free Zone" and the logo would obviously be (⊬)
1
2
17
869
George Zakhour retweeted
29 Jan 2025
"The way I see code, and programming language therefore, is code is about allowing the humans on a team to understand what the product is and what it does. ... I think for the foreseeable future programming is a team sport and code is the interchange format between the players. So I think it's still pretty important." Chris Lattner on why coding by humans is still important.
pldb.io/blog/chrisLattner.ht…
5
2
49
4,290
21 Jan 2025
I'm presenting in #POPL our paper on dis/equality graphs on Thursday, 14h MST in Marco Polo.
If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper 🧵⬇️
1
4
36
1,284
21 Jan 2025
In the paper you'll also find an abstract and extensible theoretic framework of e-graphs designed for two goals:
1) making it easier to formalize and prove theorems about extensions,
2) covering as many implementation (tricks) as we are aware of.
1
2
71
25 Jan 2025
For those who missed it, here's the link to my talk. It starts at 3:43:45
youtube.com/watch?v=ZKwpY0g9…
31
19 Jan 2025
I'm at #POPL in Denver all week. On Thursday I'm presenting my paper in the main track.
I'm really looking forward to meet all of you. Hit me up if you want to meet or chat.
20
132
13 Dec 2024
I'm grgzkhr on Blusky social!
Rumor's that academics are on there now, so I made myself an account.
I'm staying here too, but diversity (of anything, platforms included) is good.
While you're on it, follow my group's account, prg-grp. We're slowly migrating there.
35