« earlier | later » Page 55 of 511
Commentary on the Sixth Edition UNIX Operating System edit / delete
The text of the Lions book, electronically. (Did you know there's also a Lions commentary on the PCC backend?)
to history lions pdp11 retrocomputing unix ... on 16 March 2016
Tax Protester FAQ edit / delete
"This FAQ is not complete, and will never be complete. As you are reading this, some crank with a defective grasp of law, history, economics, and the English language is developing a new reason why the income tax does not apply to him."
to amusements law ... on 03 March 2016
DTACK GROUNDED Archive edit / delete
"The Journal of Simple 68000 Systems".
to 68000 cpu electronics motorola retrocomputing ... on 03 March 2016
Ways to implement computer algebra compactly edit / delete
How to write a very, very small computer algebra system. From the author of "Derive", "muMath", "Calculus Demon" and other pioneering examples of fitting very complicated things into tiny spaces.
to algebra amusements cute-code maths retrocomputing ... on 01 March 2016
Embedded in Academia : Multi-Version Execution Defeats a Compiler-Bug-Based Backdoor edit / delete
Using varan, a tool that compares execution traces of programs built in different ways, to detect a compiler fault. Neat!
to compiler debugging security varan ... on 28 February 2016
The Infocom Cabinet: Binders and Folders of Infocom, Inc. (1981-1987) : Free Software : Download & Streaming : Internet Archive edit / delete
Huge collection of Infocom internal documentation. Fascinating reading.
to games history if infocom retrocomputing ... on 28 February 2016
Git as an Encrypted Distributed Version Control System edit / delete
"This thesis develops and presents a secure Git implementation, Git Virtual Vault (GV2), for users of Git to work on sensitive projects with repositories located in unsecure distributed environments, such as in cloud computing. This scenario is common within the Department of Defense, as much work is of a sensitive nature."
to encryption git scm security ... on 28 February 2016
What's worked in computer science edit / delete
Looking back at Lampson's conclusions.
to cs history research risc security strategy ... on 28 February 2016
Static vs. dynamic languages: a literature review edit / delete
Metastudy of the effectiveness of static typing. Well worth reading. "The summary of the summary is that most studies find very small effects, if any. However, the studies probably don’t cover contexts you’re actually interested in"
to language-design research software-engineering type-systems ... on 28 February 2016
« earlier | later » Page 55 of 511
tasty by Adam Sampson.