George Zakhour
@_typeable
PhD student at @prg_grp interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 he/him
You might like
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.
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 :(
/someone/ filled a bug report just because hazel let them write this perfectly unobjectionable syntax
The Best New Programming Language is a Proof Assistant youtube.com/watch?v=c5LOYz…
youtube.com
YouTube
The Best New Programming Language is a Proof Assistant by Harry...
Common Lean pitfalls. ~ Niels Voss. github.com/nielsvoss/lean… #ITP #LeanProver
github.com
GitHub - nielsvoss/lean-pitfalls: Documenting common pitfalls and footguns in Lean
Documenting common pitfalls and footguns in Lean. Contribute to nielsvoss/lean-pitfalls development by creating an account on GitHub.
The SIGBOVIK 2025 proceedings are out! Make sure to check paper 17 out 👀 sigbovik.org/2025/proceedin…
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%!
Francesca Albanese’s trip to Germany descended into chaos as pro-Israel groups and Israeli and German officials targeted her with harassment and even threats of arrest over her comments. Read @FranceskAlbs's full article: zeteo.com/p/germany-trie…
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 (⊬)
"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.…
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.
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.
United States Trends
- 1. Pond 241K posts
- 2. Daboll 36.6K posts
- 3. Veterans Day 22.1K posts
- 4. Jimmy Olsen 2,916 posts
- 5. Go Birds 12.9K posts
- 6. Schoen 19.2K posts
- 7. Downshift N/A
- 8. #OTGala8 103K posts
- 9. Zendaya 10.1K posts
- 10. McRib 1,344 posts
- 11. Biker 3,973 posts
- 12. American Vandal 1,607 posts
- 13. Gorilla Grodd 1,535 posts
- 14. Hanoi Jane 1,416 posts
- 15. #jimromeonx N/A
- 16. #FlyEaglesFly 5,745 posts
- 17. Johnny Carson N/A
- 18. The Super Mario Galaxy Movie 7,295 posts
- 19. $UNI 2,237 posts
- 20. #EmmettJohnson N/A
Something went wrong.
Something went wrong.