🦞🌯 Lobster Roll

Thread

100 years of Bell Labs [pdf] (novitoll.com)

Stories related to "100 years of Bell Labs [pdf]" across the full archive.

100 years of Bell Labs [pdf] (novitoll.com)
Bell Labs: Celebrating 50 Years of Unix (bell-labs.com)
Bell Labs Turns 100, Plans to Leave Its Old Headquarters (spectrum.ieee.org)
Bell Labs: 23 Years in the Last Great American R&D Lab (deyusxmachina.substack.com)
100 Years of Markov Chains (crummy.com)
100 years after 1914 (economist.com)
World War I is “the calamity from which all other calamities sprang,” says Fritz Stern. It shaped the modern world and gave rise to 25,000 books and scholarly articles. And counting… more »
What Have We Learnt in 20 Years of L4 Microkernels? (nicta.com.au)
Every Bell System Technical Journal issue between 1922-1983 (alcatel-lucent.com)
9legacy - an alternative distribution of Plan 9 from Bell Labs. (9legacy.org)
100 years 100 thinkers (newrepublic.com)
From Hugh Hefner to Gloria Steinem, Reinhold Niebuhr to Groucho Marx: These 100 people defined the 20th century – at least according to The New Republic … more »
NSA's MORECOWBELL: Knell for DNS (gnunet.org)
Some thoughts on security after ten years of qmail 1.0 (2007) (cr.yp.to)
Web Design - The First 100 Years (idlewords.com)
The first 10 years of Curve25519 (cr.yp.to)
Some thoughts on security after ten years of qmail 1.0 (2007) (cr.yp.to)
There's a paper with [the same title](https://cr.yp.to/qmail/qmailsec-20071101.pdf), if you prefer consuming in that way.
FORTRAN turned sixty years old this weekend (bitsavers.informatik.uni-stuttgart.de)
C Programming in Plan 9 from Bell Labs (doc.cat-v.org)
Are we there yet? 20 years of industrial, theorem proving with SPARK (2014) (spark-2014.org)
10 years with DragonFlyBSD network stack (leaf.dragonflybsd.org)
Zero Runtime Exceptions in Two Years of Production with 100kloc of Elm (infoq.com)
The Ghost of Invention: A Visit to Bell Labs (wired.com)
"Thirty Years Later: Lessons from the Multics Security Evaluation", Paul Karger, Roger Schell (2002) (acsac.org)
Key quotes: * `Multics offered considerably stronger security than most systems commercially available today.` ` ` * `The unpleasant conclusion is that although few, if any, fundamentally new vulnerabilities are evident today, today’s products generally do not even include many ...
Algebraic Principles for Program Correctness Tools in Isabelle HOL (2016) (cl.cam.ac.uk)
"Abstract:" "This thesis puts forward a flexible and principled approach to the development of construction and verification tools for imperative programs, in which the control flow and the data level are cleanly separated. The approach is inspired by algebraic principles and benefits from an algebr...
100 years before drones, in search of better aerial photography, Dr Julius Neubronner patented a miniature pigeon camera activated by a timing mechanism and created a remarkable body of images. (publicdomainreview.org)
Over 100 Years Ago this Telephone Tower in Stockholm Connected 5500 Telephone Lines (themindcircle.com)
American woman pedals 184 mph, smashing record held by men for more than 100 years (washingtonpost.com)
SATE V Report: Ten Years of Static Analysis Tool Expositions (samate.nist.gov)
Formal Proofs of Tarjan’s Algorithm in Why3, Coq, Isabelle/HOL (arxiv.org)
Computing History at Bell Labs (research.swtch.com)
Memories: A Personal History of Bell Telephone Laboratories (2015) (worrydream.com)