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 :(
[ Parent
| on HN ]
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