George Zakhour

@gregnavis @antirez I love it, I visit it daily for the last 6yrs, but I've yet to meet anyone with an account who could invite me. If it was up to me I would add an "adoption" page where people like me would write about themselves and benevolent users would send them an invite.

@antirez What do you think about lobste.rs?

In the next months I'll provide you with a Hacker News replacement that I'll run myself and I'll guarantee personally: no benefit for whatsoever individual, a team of 10/20 persons since the start, from different time zones, clear rules, total transparency, and a "karma" system. I really want to fix HN and provide something that is not bound to a specific company.

@ShriramKMurthi Almost all the slop papers have formulas/text that overflow into the margins. A giveaway to being real was also the data-availability section some had that linked to a Zenodo artifact with the same title. I never had to read the content to tell which is which.

Real or slop? Can you tell which PL paper is real and which is slop? This is brilliant. slop.zackg.me

@SandMouth Another place where I use these weights is in type inference: inference variables have smaller weights than types, so when I treat a new constraint `x = int`, int is always the root/canonical, so extracting `x -> x` becomes trivial and gives `int -> int`

[New Blog Post] Weighted Union Find and Ground Knuth Bendix Completion philipzucker.com/weighted_uf/

wild c feature none of you knew about

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 :(

@emnode @Anthony_Bonato I remember getting it as a student when I thought of it as "I'll do X when pigs fly". It's something I'd say if I don't want to say something false (I'll do X) so I don't lie.

@Anthony_Bonato Open question for everyone: What is your best and most intuitively accessible explanation for this?

Me: If P is false, then P → Q is true Students:

/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…

Common Lean pitfalls. ~ Niels Voss. github.com/nielsvoss/lean… #ITP #LeanProver

The SIGBOVIK 2025 proceedings are out! Make sure to check paper 17 out 👀 sigbovik.org/2025/proceedin…

There are three kinds of people!

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%!

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. So I think it's still pretty important." Chris Lattner on why coding by humans is still important. pldb.io/blog/chrisLatt…

For those who missed it, here's the link to my talk. It starts at 3:43:45 youtube.com/watch?v=ZKwpY0…

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.

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 🧵⬇️