News for hackers. Stuff that matters.
Re:ΛProlog: Logic programming in higher-order logic by polairscience on Tuesday February 24, 2026 @08:38AM (#47137011)
I think that might be my favorite department/lab website I've ever come across. Really fun. Doesn't at all align with the contemporary design status quo and it shows just how good a rich website can be on a large screen. Big fan.

https://www.lix.polytechnique.fr/

There are no comments on this comment yet.