News for hackers. Stuff that matters.
Re:Introduction to Formal Verification with Lean Part 1 by botencat on Wednesday July 22, 2026 @01:01PM (#49009881)
Please please please don't hijack scrolling :(
Re:Introduction to Formal Verification with Lean Part 1 by georgespencer on Wednesday July 22, 2026 @01:17PM (#49010116)
…and for no discernible reason, too. Ordinarily, irritating stuttering pages like this at least do some sort of visually fun thing. This is just a diabolical Framer design with a ton of needlessly overlapping nested containers. I deleted more than 20 invisible divs from the DOM and scrolling improved dramatically.

I'd inform the webmaster but the telephone number listed on the site is "(123) 456 789", so I guess AI slop is AI slop.

Re:Introduction to Formal Verification with Lean Part 1 by badcryptobitch on Wednesday July 22, 2026 @05:42PM (#49013858)
I'm the webmaster. Another commenter let me know about the scrolling. I'll get onto it. Thank you for the feedback
Re:Introduction to Formal Verification with Lean Part 1 by badcryptobitch on Wednesday July 22, 2026 @10:24PM (#49016058)
I've fixed it. Again, thank you for the feedback