News for hackers. Stuff that matters.

A comment on A Hoare Logic for Rust.

Re:A Hoare Logic for Rust by tudelo on Friday September 30, 2016 @11:51AM (#12613183)
Very broken for me on Chrome. All the equations are randomly overlapping words.

(Version 53.0.2785.116 m (64-bit))

[ Parent | on HN ]
Re:A Hoare Logic for Rust by lifthrasiir on Friday September 30, 2016 @12:01PM (#12613261)
Probably your connection to cdn.mathjax.org is somehow disabled or blocked.
[ Parent | on HN ]
Re:A Hoare Logic for Rust by ceor4 on Friday September 30, 2016 @09:04PM (#12616107)
Adblock Pro did that for me, disabling it on the website fixes things
[ Parent | on HN ]