About this page

Hit the Goalie / With the Puck / In the Neck – Communications of the ACM

https://cacm.acm.org/blogcacm/hit-the-goalie-with-the-puck-in-the-neck

“The language of formal reasoning is often used in applied computer science to characterize the properties of engineered systems. In a recent post, I described how the Internet’s Transport Control Protocol (TCP) is typically described as “reliable” when in fact it only reduces the occurrence of...” (from the page’s text)

Topic: Computer Science › Software Development
Quality: Quality 84 scored 12 Aug 2025
Language: english
Text on page: 6,772 characters
Page size: 123 kB
Answered: OK (200), HTML
Last read: 7 Jul 2025
In our index since: 7 Jul 2025
Safe search: Not checked yet
Links to it: No other site we've read links here yet

Tools for this page

Other sites that can tell you more. Plain links: we don't track where you go.

About the site

Domain owner ICANN registration lookup
Certificates certificate transparency, subdomains
Safety check Safe Browsing status
Trackers The Markup's Blacklight
Is it down? for everyone, or just you

Discussions

Hacker News stories linking here
Reddit posts from this site
Wikipedia articles mentioning the site

For web makers

PageSpeed Lighthouse report
HTML validator W3C
Accessibility WAVE by WebAIM
Security headers

Who links to it

We haven't seen any links to this page yet. That usually means we haven't crawled the pages that link to it, not that there are none.

“Not rated yet” and similar notes are shown on purpose: we say what we haven't measured, so the page doesn't look emptier or better than it is.