from the that-time-of-year dept.
theodp writes "CNN reports that the U.S. government shut down at 12:01 a.m. EDT Tuesday after lawmakers in the House and the Senate could not agree on a spending bill to fund the government. Federal employees who are considered essential will continue working. But employees deemed non-essential — close to 800,000 — will be furloughed, and most of those are supposed to be out of their offices within four hours of the start of business Tuesday."
PL/I -- "the fatal disease" -- belongs more to the problem set than to the
-- Edsger W. Dijkstra, SIGPLAN Notices, Volume 17, Number 5