up2020/up2020.bib

1882 lines
52 KiB
BibTeX
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

@incollection{abelson2008,
author = {Hal Abelson},
title = {Foreword},
bookauthor = {Daniel P. Friedman and Mitchell Wand},
booktitle = {Essentials of Programming Languages},
edition = {3},
publisher = {MIT Press},
date = {2008},
pages = {ix-xiii},
language = {english},
}
@online{akcaagac2013,
author = {Ali Akcaagac},
title = {Fedora 20: How to turn off and uninstall journald?},
publisher = {Red Hat Bugzilla},
date = {2013-12-22},
url = {https://bugzilla.redhat.com/show_bug.cgi?id=1045836},
urldate = {2019-08-17},
language = {english},
}
@book{alekseev2004,
author = {V. B. Alekseev},
title = {Abel's Theorem in Problems and Solutions},
publisher = {Springer},
date = {2004},
language = {english},
}
@online{andersen2016,
author = {Leif Andersen and Andy Keep},
title = {Nanopass Framework},
publisher = {nanopass.org},
date = {2016},
url = {https://nanopass.org/},
urldate = {2019-09-18},
language = {english},
}
@online{angelbeats2018,
author = {angelbeats},
title = {遇到一个极其不模块化的 \texttt{makefile.in}},
publisher = {北大未名 BBS},
date = {2017-04-12},
url = {https://bbs.pku.edu.cn/v2/post-read-single.php?bid=13&postid=16279708},
urldate = {2019-08-01},
language = {chinese},
}
@online{armstrong2014,
author = {Joe Armstrong},
title = {Minimal Viable Programs},
publisher = {Joe Armstrong: Erlang and other stuff},
date = {2014-06-25},
url = {https://joearms.github.io/published/2014-06-25-minimal-viable-program.html},
urldate = {2019-09-21},
language = {english},
}
@article{arnold1998,
author = {V. I. Arnold},
translator = {A. V. Goryunov},
title = {On teaching mathematics},
journal = {Russ. Math. Surv.},
year = {1998},
volume = {53},
number = {1},
pages = {229-236},
url = {https://dsweb.siam.org/The-Magazine/All-Issues/vi-arnold-on-teaching-mathematics},
urldate = {2019-09-02},
language = {english},
}
@online{ayer2016,
author = {Andrew Ayer},
title = {How to Crash Systemd in One Tweet},
publisher = {Andrew Ayer's Blog},
date = {2016-09-28},
url = {https://www.agwa.name/blog/post/how_to_crash_systemd_in_one_tweet},
urldate = {2019-08-14},
language = {english},
}
@online{beauhd2019,
editor = {BeauHD},
title = {Google Proposes Changes To Chromium Browser That Will Break Content-Blocking Extensions, Including Various Ad Blockers},
publisher = {Slashdot},
date = {2019-01-22},
url = {https://tech.slashdot.org/story/19/01/23/0048202},
urldate = {2019-08-17},
language = {english},
}
@book{bentley1999,
author = {Jon Bentley},
title = {Programming Pearls},
edition = {2},
publisher = {Addison-Wesley},
date = {1999},
pages = {6},
language = {english},
}
@online{bercot2015a,
author = {Laurent Bercot},
title = {Re: I need your advice on this web page},
publisher = {The supervision mailing list},
date = {2015-01-16},
url = {https://skarnet.org/cgi-bin/archive.cgi?2:mss:423},
urldate = {2019-08-18},
language = {english},
}
@online{bercot2015b,
author = {Laurent Bercot},
title = {Re: Readiness notification},
publisher = {Debian is not GNOME first discussion list},
date = {2015-06-12},
url = {https://lists.dyne.org/lurker/message/20150612.211533.ec803d4b.en.html},
urldate = {2019-08-18},
language = {english},
}
@online{bercot2015c,
author = {Laurent Bercot},
title = {Re: s6: compatibility with make<3.82},
publisher = {The supervision mailing list},
date = {2015-07-21},
url = {https://skarnet.org/cgi-bin/archive.cgi?2:mss:876},
urldate = {2019-08-20},
language = {english},
}
@online{bercot2015d,
author = {Laurent Bercot},
title = {\texttt{/dev/log}: datagram, stream, both?},
publisher = {The musl mailing list},
date = {2015-08-10},
url = {https://www.openwall.com/lists/musl/2015/08/10/1},
urldate = {2019-08-13},
language = {english},
}
@online{bercot2016,
author = {Laurent Bercot},
title = {Re: udev replacement on Alpine Linux},
publisher = {The alpine-devel mailing list},
date = {2016-01-13},
url = {https://narkive.com/Tto4DqlQ.17},
urldate = {2019-08-20},
language = {english},
}
@online{bercot2017,
author = {Laurent Bercot},
title = {Re: Skalibs on OpenBSD},
publisher = {The skaware mailing list},
date = {2017-02-18},
url = {https://skarnet.org/cgi-bin/archive.cgi?1:mss:879},
urldate = {2019-08-20},
language = {english},
}
@report{bernstein1996,
author = {Daniel J. Bernstein},
title = {UNIX Client-Server Program Interface, UCSPI-1996},
date = {1996},
url = {https://cr.yp.to/proto/ucspi.txt},
urldate = {2019-08-20},
language = {english},
}
@report{bernstein2007,
author = {Daniel J. Bernstein},
title = {Some thoughts on security after ten years of qmail 1.0},
date = {2007-11-01},
url = {https://cr.yp.to/qmail/qmailsec-20071101.pdf},
urldate = {2019-08-20},
language = {english},
}
@online{bernstein2013,
author = {Michael R. Bernstein},
title = {Real-Time Garbage Collection Is Real},
date = {2013-06-03},
url = {http://michaelrbernste.in/2013/06/03/real-time-garbage-collection-is-real.html},
urldate = {2019-10-15},
language = {english},
}
@article{brooks1987,
author = {Brooks, Jr., Frederick P.},
title = {No Silver Bullet: Essence and Accidents of Software Engineering},
journal = {Computer},
year = {1987},
volume = {20},
number = {4},
pages = {10-19},
url = {http://worrydream.com/refs/Brooks-NoSilverBullet.pdf},
urldate = {2019-09-02},
language = {english},
}
@online{bugaev2016,
author = {Sergey Bugaev},
title = {Answer to ``Why does GNOME~3 require systemd?''},
publisher = {Quora},
date = {2016-06-25},
url = {https://www.quora.com/Why-does-GNOME-3-require-systemd},
urldate = {2019-08-18},
language = {english},
}
@online{casper2018,
author = {Casper},
title = {LCPU 本学期第 5 次活动Unix 哲学和当今},
publisher = {北大未名 BBS},
date = {2018-11-08},
url = {https://bbs.pku.edu.cn/v2/post-read-single.php?bid=13&postid=18888564},
urldate = {2019-08-01},
language = {chinese},
}
@online{chenhao2013,
author = {陈皓},
title = {从面向对象的设计模式看软件设计},
publisher = {酷壳},
date = {2013-02-01},
url = {https://coolshell.cn/articles/8961.html},
urldate = {2019-08-11},
language = {chinese},
}
@online{chiusano2014,
author = {Paul Chiusano},
title = {The problematic culture of ``Worse is Better''},
publisher = {Paul Chiusano's Blog},
date = {2014-10-13},
url = {https://pchiusano.github.io/2014-10-13/worseisworse.html},
urldate = {2019-09-19},
language = {english},
}
@online{coward2017,
author = {{Anonymous Coward}},
title = {Comment on ``Systemd Named `Lamest Vendor' At Pwnie Security Awards''},
publisher = {Slashdot},
date = {2017-07-29},
url = {https://linux.slashdot.org/comments.pl?sid=10927261&cid=54904939},
urldate = {2019-08-18},
language = {english},
}
@online{cox2012,
author = {Alan Cox},
title = {Re: [PATCH 0/10] \texttt{af\_unix}: add multicast and filtering features to \texttt{AF\_UNIX}},
publisher = {Linux Kernel Mailing List},
date = {2012-03-02},
url = {https://lkml.org/lkml/2012/3/2/292},
urldate = {2019-08-18},
language = {english},
}
@online{dantrell2019,
author = {dantrell},
title = {Dantrell's GNOME Without Systemd Project (Part 3)},
publisher = {Gentoo Forums},
date = {2019-04-08},
url = {https://forums.gentoo.org/viewtopic-t-1095396.html},
urldate = {2019-08-22},
language = {english},
}
@online{dasein2015,
author = {dasein},
title = {Combatting revisionist history},
publisher = {Debian User Forums},
date = {2015-02-25},
url = {http://forums.debian.net/viewtopic.php?f=20&t=120652&p=570371},
urldate = {2019-08-14},
language = {english},
}
@online{david2018,
editor = {EditorDavid},
title = {New SystemD Vulnerability Discovered},
publisher = {Slashdot},
date = {2018-10-27},
url = {https://news.slashdot.org/story/18/10/27/196227},
urldate = {2019-08-19},
language = {english},
}
@online{dbiii2016,
author = {dbIII},
title = {Re: Init alternatives (comment on ``Devuan's Systemd-Free Linux Hits Beta 2'')},
publisher = {Slashdot},
date = {2016-12-04},
url = {https://linux.slashdot.org/comments.pl?sid=9952639&cid=53419931},
urldate = {2019-08-14},
language = {english},
}
@book{dodson1991,
author = {C. T. J. Dodson and T. Poston},
title = {Graduate Texts in Mathematics, Volume 130: Tensor Geometry, the Geometric Viewpoint and Its Uses},
publisher = {Springer},
date = {1991},
pages = {81},
language = {english},
}
@incollection{dongqiao1999,
author = {董桥},
title = {老教授那本小册子},
booktitle = {语文小品录 6新闻是历史的初稿},
publisher = {辽宁教育出版社},
date = {1999},
pages = {72-75},
language = {chinese},
}
@online{edge2017,
author = {Jake Edge},
title = {\texttt{User=0day} considered harmful in systemd},
publisher = {LWN},
date = {2017-07-12},
url = {https://lwn.net/Articles/727490/},
urldate = {2019-08-11},
language = {english},
}
@article{feldman2004,
author = {Stuart Feldman},
title = {A Conversation with Alan Kay},
journal = {ACM Queue},
year = {2004},
volume = {2},
number = {9},
pages = {20-30},
url = {https://queue.acm.org/detail.cfm?id=1039523},
urldate = {2019-09-15},
language = {english},
}
@report{ferguson2003,
author = {Niels Ferguson and Bruce Schneier},
title = {A Cryptographic Evaluation of IPsec},
publisher = {Counterpane Internet Security, Inc.},
date = {2003-12},
url = {https://www.schneier.com/academic/archives/2003/12/a_cryptographic_eval.html},
urldate = {2019-08-15},
language = {english},
}
@online{fitzcarraldo2018,
author = {Fitzcarraldo},
title = {Running a shell script at shutdown only (not at reboot): a comparison between OpenRC and systemd},
publisher = {Fitzcarraldo's Blog},
date = {2018-01-13},
url = {https://fitzcarraldoblog.wordpress.com/2018/01/13/running-a-shell-script-at-shutdown-only-not-at-reboot-a-comparison-between-openrc-and-systemd/},
urldate = {2019-08-14},
language = {english},
}
@online{gaillard2010,
author = {Pierre-Yves Gaillard},
title = {What if Current Foundations of Mathematics are Inconsistent?},
publisher = {MathOverflow},
date = {2010-10-03},
url = {https://mathoverflow.net/questions/40920/},
urldate = {2019-09-02},
language = {english},
}
@online{gollatoka2011,
author = {Praveen Gollakota},
title = {Answer to ``What is the reason for performing a double fork when creating a daemon?''},
publisher = {Stack Overflow},
date = {2011-03-22},
url = {https://stackoverflow.com/questions/881388/5386753},
urldate = {2019-08-13},
language = {english},
}
@incollection{graham1993,
author = {Paul Graham},
title = {Programming Bottom-Up},
booktitle = {On Lisp},
publisher = {Prentice Hall},
date = {1993},
pages = {3-5},
url = {http://www.paulgraham.com/onlisp.html},
urldate = {2019-09-16},
language = {english},
}
@online{graham2002,
author = {Paul Graham},
title = {Succinctness is Power},
publisher = {paulgraham.com},
date = {2002-05},
url = {http://paulgraham.com/power.html},
urldate = {2019-09-18},
language = {english},
}
@online{graham2007,
author = {Paul Graham},
title = {Holding a Program in One's Head},
publisher = {paulgraham.com},
date = {2007-08},
url = {http://paulgraham.com/head.html},
urldate = {2019-09-07},
language = {english},
}
@online{hartman2014,
author = {Greg Kroah-Hartman},
title = {Re: [PATCH 00/12] Add kdbus implementation},
publisher = {Linux Kernel Mailing List},
date = {2014-11-01},
url = {https://lkml.org/lkml/2014/11/1/269},
urldate = {2019-08-18},
language = {english},
}
@article{hoare1981,
author = {C. A. R. Hoare},
title = {The Emperor's Old Clothes},
journal = {Commun. ACM},
year = {1981},
volume = {24},
number = {2},
pages = {75-83},
url = {https://www.cs.fsu.edu/~engelen/courses/COP4610/hoare.pdf},
urldate = {2019-08-13},
language = {english},
}
@online{hoffman2018,
author = {Chris Hoffman},
title = {Why You Shouldn't Use Firefox Forks Like Waterfox, Pale Moon, or Basilisk},
publisher = {How-To Geek},
date = {2018-02-22},
url = {https://www.howtogeek.com/335712/},
urldate = {2019-08-17},
language = {english},
}
@online{hyperion.2019,
author = {hyperion2011},
title = {Comment on ``Debian systemd maintainer steps down over developers not fixing breakage''},
publisher = {Reddit r/linux},
date = {2019-01-17},
url = {https://www.reddit.com/r/linux/comments/agna5n/_/ee7p9a8/},
urldate = {2019-08-14},
language = {english},
}
@online{jdebp2015,
author = {JdeBP},
title = {Answer to ``What exactly does init do?''},
publisher = {Unix \& Linux Stack Exchange},
date = {2015-04-20},
url = {https://unix.stackexchange.com/questions/197437/197472},
urldate = {2019-08-09},
language = {english},
}
@online{junta2017,
author = {Junta},
title = {Re: Ah yes the secret to simplicity (comment on ``Does Systemd Make Linux Complex, Error-Prone, and Unstable?'')},
publisher = {Slashdot},
date = {2017-12-11},
url = {https://linux.slashdot.org/comments.pl?sid=11463149&cid=55715423},
urldate = {2019-08-17},
language = {english},
}
@incollection{kadavy2019,
author = {David Kadavy},
title = {Why You Hate Comic Sans},
booktitle = {Design for Hackers},
date = {2019},
url = {https://designforhackers.com/blog/comic-sans-hate/},
urldate = {2019-08-22},
language = {english},
}
@online{landley2017,
author = {Rob Landley},
title = {Aboriginal Linux},
publisher = {landley.net},
date = {2017-04-30},
url = {https://landley.net/aboriginal/},
urldate = {2019-09-07},
language = {english},
}
@online{litt2014a,
author = {Steve Litt},
title = {Repairability and Use Case Independence -- Interaction Promiscuity and Repairability},
publisher = {Steve Litt's Systemd Subsite},
date = {2014},
url = {http://troubleshooters.com/linux/systemd/repairability.htm#interaction_promiscuity_and_repairability},
urldate = {2019-08-07},
language = {english},
}
@online{litt2014b,
author = {Steve Litt},
title = {LOL systemd},
publisher = {Steve Litt's Systemd Subsite},
date = {2014},
url = {http://troubleshooters.com/linux/systemd/lol_systemd.htm},
urldate = {2019-08-07},
language = {english},
}
@incollection{lucent2002,
author = {{Lucent Technologies Inc.}},
title = {thread(2)},
booktitle = {Plan~9 Programmer's Manual -- Volume 1},
edition = {4},
date = {2002},
pages = {545-548},
url = {https://plan9.io/sys/man/},
urldate = {2019-09-17},
language = {english},
}
@online{lutomirski2015,
author = {Andy Lutomirski},
title = {kdbus: to merge or not to merge?},
publisher = {Linux Kernel Mailing List},
date = {2015-06-22},
url = {https://lkml.org/lkml/2015/6/23/22},
urldate = {2019-08-18},
language = {english},
}
@report{marson2013,
author = {Giorgia Azzurra Marson and Bertram Poettering},
title = {Practical Secure Logging: Seekable Sequential Key Generators},
edition = {Report 2013/397},
publisher = {Cryptology ePrint Archive},
date = {2013-06-17},
url = {https://eprint.iacr.org/2013/397},
urldate = {2019-08-13},
language = {english},
}
@article{mccarthy1960,
author = {John McCarthy},
title = {Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I},
journal = {Commun. ACM},
year = {1960},
volume = {3},
number = {4},
pages = {184-195},
url = {http://www-formal.stanford.edu/jmc/recursive.html},
urldate = {2019-09-15},
language = {english},
}
@book{mccarthy1962,
author = {John McCarthy and Paul W. Abrahams and Daniel J. Edwards and Timothy P. Hart and Michael I. Levin},
title = {LISP 1.5 Programmer's Manual},
publisher = {MIT Press},
date = {1962},
url = {http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf},
urldate = {2019-09-15},
language = {english},
}
@report{mcilroy1987,
author = {M. Douglas McIlroy},
title = {A Research UNIX Reader: Annotated Excerpts from the Programmer's Manual, 1971-1986},
edition = {Computer Science Technical Reports},
publisher = {Bell Labs},
date = {1987},
url = {https://www.cs.dartmouth.edu/~doug/reader.pdf},
urldate = {2019-08-11},
language = {english},
}
@incollection{moushijin1995,
author = {牟世金},
title = {《文心雕龙》的总论及其理论体系},
bookauthor = {刘勰},
editor = {陆侃如 and 牟世金},
editortype = {译注},
booktitle = {文心雕龙译注},
publisher = {齐鲁书社},
date = {1995},
pages = {28-38},
language = {chinese},
}
@online{namelessvoice2018,
author = {NamelessVoice},
title = {Comment on ``How-To Geek recommends against using Waterfox, Pale Moon, and Basilisk''},
publisher = {Reddit r/firefox},
date = {2019-02-23},
url = {https://www.reddit.com/r/firefox/comments/7zfopp/_/duogoqc/},
urldate = {2019-08-17},
language = {english},
}
@online{nieuwenhuizen2018,
author = {Jan Nieuwenhuizen},
title = {GNU Mes 0.17 released},
publisher = {The info-gnu mailing list},
date = {2018-08-26},
url = {https://lists.gnu.org/archive/html/info-gnu/2018-08/msg00006.html},
urldate = {2019-08-15},
language = {english},
}
@online{paski2014,
author = {paski},
title = {Debian Votes Against Mandating Non-systemd Compatibility},
publisher = {Slashdot},
date = {2014-11-19},
url = {https://linux.slashdot.org/story/14/11/19/043259},
urldate = {2019-08-18},
language = {english},
}
@report{pike1995,
author = {Rob Pike and Dave Presotto and Sean Dorward and Bob Flandrena and Ken Thompson and Howard Trickey and Phil Winterbottom},
title = {Plan~9 from Bell Labs},
publisher = {Bell Labs},
date = {1995},
url = {https://plan9.io/sys/doc/9.pdf},
urldate = {2019-08-12},
language = {english},
}
@report{pike2000,
author = {Rob Pike},
title = {Systems Software Research is Irrelevant},
publisher = {Bell Labs},
date = {2000-02-21},
url = {http://www.herpolhode.com/rob/utah2000.pdf},
urldate = {2019-09-21},
language = {english},
}
@report{pike2001,
author = {Rob Pike},
title = {The Good, the Bad, and the Ugly: The Unix Legacy},
publisher = {Bell Labs},
date = {2001-09-08/2001-09-09},
url = {http://herpolhode.com/rob/ugly.pdf},
urldate = {2019-08-11},
language = {english},
}
@online{poettering2011a,
author = {Lennart Poettering},
title = {systemd as external dependency},
publisher = {GNOME Desktop Development List},
date = {2011-05-18},
url = {https://mail.gnome.org/archives/desktop-devel-list/2011-May/msg00427.html},
urldate = {2019-08-01},
language = {english},
}
@online{poettering2011b,
author = {Lennart Poettering},
title = {Re: systemd: please stop trying to take over the world :)},
publisher = {The Fedora Development Mailing List},
date = {2011-06-14},
url = {https://lists.fedoraproject.org/pipermail/devel/2011-June/152669.html},
urldate = {2019-08-19},
language = {english},
}
@online{poettering2012,
author = {Lennart Poettering},
title = {[PATCH] man: ship \texttt{systemd-udevd} as the real manpage},
publisher = {systemd Development Mailing List},
date = {2012-08-01},
url = {https://lists.freedesktop.org/archives/systemd-devel/2012-August/006066.html},
urldate = {2019-08-18},
language = {english},
}
@online{poettering2013,
author = {Lennart Poettering},
title = {I have skimmed through the debian-devel threads regarding systemd a bit. [...]},
publisher = {Google Plus (archive at Wayback Machine)},
date = {2013-10-28},
url = {https://web.archive.org/web/20180217125217/https://plus.google.com/+LennartPoetteringTheOneAndOnly/posts/8RmiAQsW9qf},
urldate = {2019-08-18},
language = {english},
}
@online{poettering2014,
author = {Lennart Poettering},
title = {[PATCH] Drop the udev firmware loader},
publisher = {systemd Development Mailing List},
date = {2014-05-31},
url = {https://lists.freedesktop.org/archives/systemd-devel/2014-May/019657.html},
urldate = {2019-08-18},
language = {english},
}
@online{pollard2014,
author = {Jonathan de Boyne Pollard},
title = {A side-by-side look at \texttt{run} scripts and service units},
publisher = {Frequently Given Answers written by JdeBP},
date = {2014},
url = {https://jdebp.eu/FGA/run-scripts-and-service-units-side-by-side.html},
urldate = {2019-08-11},
language = {english},
}
@online{pollard2017,
author = {Jonathan de Boyne Pollard},
title = {MariaDB, MySQL, and Percona with nosh},
publisher = {The nosh package},
date = {2017},
url = {https://jdebp.eu/Softwares/nosh/mariadb-and-mysql.html},
urldate = {2019-08-13},
language = {english},
}
@online{pollard2019,
author = {Jonathan de Boyne Pollard},
title = {\texttt{move-to-control-group}: move process to another control group then chain},
publisher = {nosh Guide (v1.40)},
date = {2019},
url = {https://jdebp.eu/Softwares/nosh/guide/commands/create-control-group.xml},
urldate = {2019-08-11},
language = {english},
}
@online{ratagupt2017,
author = {ratagupt},
title = {RFE: ability to reload networkd configuration without restarting it},
publisher = {GitHub issues for \texttt{systemd/\linebreak[0]systemd}},
date = {2017-08-22},
url = {https://github.com/systemd/systemd/issues/6654},
urldate = {2019-08-17},
language = {english},
}
@incollection{raymond2003a,
author = {Eric S. Raymond},
title = {Origins and History of Unix, 1969-1995},
booktitle = {The Art of Unix Programming},
date = {2003},
url = {http://catb.org/~esr/writings/taoup/html/ch02s01.html},
urldate = {2019-08-05},
language = {english},
}
@incollection{raymond2003b,
author = {Eric S. Raymond},
title = {Plan~9: The Way the Future Was},
booktitle = {The Art of Unix Programming},
date = {2003},
url = {http://catb.org/~esr/writings/taoup/html/plan9.html},
urldate = {2019-08-12},
language = {english},
}
@online{rbrander2017,
author = {rbrander},
title = {Lack of understanding inflates code (comment on ``Code is Too Hard To Think About'')},
publisher = {Slashdot},
date = {2017-10-02},
url = {https://developers.slashdot.org/comments.pl?sid=11182621&cid=55293877},
urldate = {2019-08-14},
language = {english},
}
@article{ritchie1974,
author = {Dennis M. Ritchie and Ken Thompson},
title = {The UNIX Time-Sharing System},
journal = {Commun. ACM},
year = {1974},
volume = {17},
number = {7},
pages = {365-375},
url = {https://people.eecs.berkeley.edu/~brewer/cs262/unix.pdf},
urldate = {2019-08-05},
language = {english},
}
@incollection{ritchie1980,
author = {Dennis M. Ritchie},
editor = {Jeffrey M. Tobias},
title = {The Evolution of the Unix Time-sharing System},
booktitle = {Symposium on Language Design and Programming Methodology (LDPM 1979)},
date = {1980},
pages = {25-35},
url = {https://www.bell-labs.com/usr/dmr/www/hist.html},
urldate = {2019-08-11},
language = {english},
}
@incollection{robbins2005,
author = {Arnold Robbins and Nelson H. F. Beebe},
title = {Word Lists},
booktitle = {Classic Shell Scripting},
publisher = {O'Reilly},
date = {2005},
pages = {102-104},
language = {english},
}
@online{saellaven2013,
author = {saellaven},
title = {Re: Are we losing freedom of choice?},
publisher = {Gentoo Forums},
date = {2013-10-29},
url = {https://forums.gentoo.org/viewtopic-p-7428864.html#7428864},
urldate = {2019-08-22},
language = {english},
}
@online{saellaven2019a,
author = {saellaven},
title = {Re: Gentoo seems to be chasing nu Linux design (\texttt{/usr} merge)},
publisher = {Gentoo Forums},
date = {2019-07-22},
url = {https://forums.gentoo.org/viewtopic-p-8354032.html#8354032},
urldate = {2019-08-18},
language = {english},
}
@online{saellaven2019b,
author = {saellaven},
title = {Re: Is Profile 17.1 a move toward a Linux monoculture?},
publisher = {Gentoo Forums},
date = {2019-07-25},
url = {https://forums.gentoo.org/viewtopic-p-8355134.html#8355134},
urldate = {2019-08-21},
language = {english},
}
@book{salus1994,
author = {Peter H. Salus},
title = {A Quarter Century of UNIX},
publisher = {Addison-Wesley},
date = {1994},
pages = {50-53},
language = {english},
}
@incollection{salus2005,
author = {Peter H. Salus},
title = {UNIX},
booktitle = {The Daemon, the Gnu and the Penguin},
publisher = {Groklaw},
date = {2005-04-14},
url = {http://www.groklaw.net/article.php?story=20050414215646742},
urldate = {2019-09-26},
language = {english},
}
@online{schneier2015,
author = {Bruce Schneier},
title = {Amateurs Produce Amateur Cryptography},
publisher = {Schneier on Security},
date = {2015-05-12},
url = {https://www.schneier.com/blog/archives/2015/05/amateurs_produc.html},
urldate = {2019-08-15},
language = {english},
}
@book{seibel2009,
author = {Peter Seibel},
title = {Coders at Work: Reflections on the Craft of Programming},
publisher = {Apress},
date = {2009},
pages = {463-464},
language = {english},
}
@online{sfcrazy2014,
author = {sfcrazy},
title = {Debian Technical Committee Votes For Systemd Over Upstart},
publisher = {Slashdot},
date = {2014-02-09},
url = {https://linux.slashdot.org/story/14/02/09/1725229},
urldate = {2019-08-18},
language = {english},
}
@online{shirley2009,
author = {Philip Shirey and David Svoboda and Justin Pincar and others},
title = {MEM12-C. Consider using a \texttt{goto} chain when leaving a function on error when using and releasing resources},
publisher = {SEI CERT C Coding Standard},
date = {2009},
url = {https://wiki.sei.cmu.edu/confluence/display/c/MEM12-C.+Consider+using+a+goto+chain+when+leaving+a+function+on+error+when+using+and+releasing+resources},
urldate = {2019-08-20},
language = {english},
}
@online{sievers2012,
author = {Kay Sievers},
title = {The future of the udev source tree},
publisher = {The linux-hotplug mailing list},
date = {2012-04-03},
url = {https://www.spinics.net/lists/hotplug/msg05417.html},
urldate = {2019-08-01},
language = {english},
}
@online{simpson2008,
author = {John M. Simpson},
title = {The ``silly qmail syndrome''},
publisher = {Simpson's qmail Information Page},
date = {2008},
url = {https://qmail.jms1.net/silly-qmail.shtml},
urldate = {2019-08-20},
language = {english},
}
@online{stevel2011,
author = {steveL},
title = {HOWTO: udev, sep \texttt{/usr}, no initramfs. eudev:3.1.5 rc:0.23.2},
publisher = {Gentoo Forums},
date = {2011-11-08},
url = {https://forums.gentoo.org/viewtopic-p-6866484.html},
urldate = {2019-08-22},
language = {english},
}
@online{stevel2018,
author = {steveL},
title = {UNIX way, C, LISP et al.},
publisher = {Gentoo Forums},
date = {2018-06-22},
url = {https://forums.gentoo.org/viewtopic-t-1082950.html},
urldate = {2019-08-01},
language = {english},
}
@online{suiseiseki2011,
author = {Suiseiseki},
title = {Image \#209,097},
publisher = {Know Your Meme},
date = {2011-11-28},
url = {https://knowyourmeme.com/photos/209097-rage-comics},
urldate = {2019-09-22},
language = {english},
}
@article{sussman1998,
author = {Gerald Jay Sussman and Steele, Jr., Guy L.},
title = {The First Report on Scheme Revisited},
journal = {Higher-Order and Symbolic Computation},
year = {1998},
volume = {11},
number = {4},
pages = {399-404},
url = {https://www.semanticscholar.org/paper/The-First-Report-on-Scheme-Revisited-Sussman-Steele/2b8068ff354d32370009619e6419ab1ef3e3726d},
urldate = {2019-09-16},
language = {english},
}
@article{thompson1984,
author = {Ken Thompson},
title = {Reflections on Trusting Trust},
journal = {Commun. ACM},
year = {1984},
volume = {27},
number = {8},
pages = {761-763},
url = {https://www.archive.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf},
urldate = {2019-08-15},
language = {english},
}
@online{torvalds2014,
author = {Linus Torvalds},
title = {Re: [RFC PATCH] cmdline: Hide ``debug'' from \texttt{/proc/cmdline}},
publisher = {Linux Kernel Mailing List},
date = {2014-04-02},
url = {https://lkml.org/lkml/2014/4/2/420},
urldate = {2019-08-19},
language = {english},
}
@online{troelskn2009,
author = {troelskn},
title = {Are continuations monads?},
publisher = {Stack Overflow},
date = {2009-03-20},
url = {https://stackoverflow.com/questions/666121/},
urldate = {2019-09-18},
language = {english},
}
@online{vector2016a,
author = {Casper Ti. Vector},
title = {Re: Holidays Brainstorming: instanced supervision},
publisher = {The supervision mailing list},
date = {2016-01-18},
url = {https://skarnet.org/cgi-bin/archive.cgi?2:mss:1130},
urldate = {2019-08-01},
language = {english},
}
@online{vector2016b,
author = {Casper Ti. Vector},
title = {On the feasibility of a shell that includes execline features},
publisher = {The supervision mailing list},
date = {2016-08-21},
url = {https://skarnet.org/cgi-bin/archive.cgi?2:mss:1374},
urldate = {2019-08-20},
language = {english},
}
@online{vector2018a,
author = {Casper Ti. Vector},
title = {[Announce] s6.rc: a distribution-friendly init/rc framework},
publisher = {The supervision mailing list},
date = {2018-03-22},
url = {https://skarnet.org/cgi-bin/archive.cgi?2:mss:1945},
urldate = {2019-08-22},
language = {english},
}
@online{vector2018b,
author = {Casper Ti. Vector},
title = {Re: [Announce] s6.rc: a distribution-friendly init/rc framework},
publisher = {The supervision mailing list},
date = {2018-03-23},
url = {https://skarnet.org/cgi-bin/archive.cgi?2:mss:1948},
urldate = {2019-08-01},
language = {english},
}
@online{vector2018c,
author = {Casper Ti. Vector},
title = {Re: execline},
publisher = {The skaware mailing list},
date = {2018-04-10},
url = {https://skarnet.org/cgi-bin/archive.cgi?1:mss:1169},
urldate = {2019-08-01},
language = {english},
}
@online{vector2019a,
author = {Casper Ti. Vector},
title = {Update on the progress of slew development},
publisher = {The supervision mailing list},
date = {2019-03-17},
url = {https://skarnet.org/cgi-bin/archive.cgi?2:mss:2107},
urldate = {2019-08-22},
language = {english},
}
@online{vector2019b,
author = {Casper Ti. Vector},
title = {Re: [Announce] s6.rc: a distribution-friendly init/rc framework},
publisher = {The supervision mailing list},
date = {2019-06-03},
url = {https://skarnet.org/cgi-bin/archive.cgi?2:mss:2219},
urldate = {2019-08-13},
language = {english},
}
@online{vitters2013,
author = {Olav Vitters},
title = {GNOME and logind+systemd thoughts},
publisher = {GNOME Blogs},
date = {2013-09-25},
url = {https://blogs.gnome.org/ovitters/2013/09/25/gnome-and-logindsystemd-thoughts/},
urldate = {2019-08-18},
language = {english},
}
@online{vlasenko2011,
author = {Denys Vlasenko},
title = {systemd: please stop trying to take over the world :)},
publisher = {The Fedora Development Mailing List},
date = {2011-06-10},
url = {https://lists.fedoraproject.org/pipermail/devel/2011-June/152323.html},
urldate = {2019-08-22},
language = {english},
}
@online{vr2015,
author = {{V.R.}},
title = {Structural and semantic deficiencies in the systemd architecture for real-world service management, a technical treatise},
publisher = {DnE Blog},
date = {2015-10-11},
url = {https://blog.darknedgy.net/technology/2015/10/11/0/},
urldate = {2019-08-18},
language = {english},
}
@online{wangyin2013a,
author = {王垠},
title = {“One 语言”的设计理念},
publisher = {当然我在扯淡archive at Wayback Machine},
date = {2013-06-22},
url = {https://web.archive.org/web/20130627151332/https://www.yinwang.org/blog-cn/2013/06/22/one-lang},
urldate = {2019-09-21},
language = {chinese},
}
@online{wangyin2013b,
author = {王垠},
title = {为什么一种程序语言是不够用的},
publisher = {当然我在扯淡archive at Wayback Machine},
date = {2013-06-23},
url = {https://web.archive.org/web/20131209231850/https://www.yinwang.org/blog-cn/2013/06/23/one-lang-not-enough},
urldate = {2019-09-21},
language = {chinese},
}
@online{weinholt2019,
author = {Göran Weinholt},
title = {R$^7\!$RS versus R$^6\!$RS},
publisher = {Göran Weinholt's Blog},
date = {2019},
url = {https://weinholt.se/articles/r7rs-vs-r6rs/},
urldate = {2019-09-16},
language = {english},
}
@thesis{wheeler2009,
author = {David A. Wheeler},
title = {Fully Countering Trusting Trust through Diverse Double-Compiling},
edition = {PhD Thesis},
publisher = {George Mason University},
date = {2009},
url = {https://dwheeler.com/trusting-trust/dissertation/html/wheeler-trusting-trust-ddc.html},
urldate = {2019-08-15},
language = {english},
}
@report{wheeler2014,
author = {David A. Wheeler},
title = {How to Prevent the next Heartbleed},
publisher = {David A. Wheeler's Personal Home Page},
date = {2014-04-29},
url = {https://dwheeler.com/essays/heartbleed.html},
urldate = {2019-08-15},
language = {english},
}
@online{wouters2016,
author = {Paul Wouters},
title = {Re: Sad news today: \texttt{systemd-resolved} to be deployed in Ubuntu 16.10},
publisher = {The DNS Operations Mailing List},
date = {2016-06-05},
url = {https://lists.dns-oarc.net/pipermail/dns-operations/2016-June/014966.html},
urldate = {2019-08-19},
language = {english},
}
@online{zlogic2019,
author = {zlogic},
title = {Configure time consuming Shell script execution before shutdown linux instance},
publisher = {Super User},
date = {2019-05-13},
url = {https://superuser.com/questions/1436060/},
urldate = {2019-10-01},
language = {english},
}
@online{zxhxy2018,
author = {中学化学园},
title = {呆萌到无法直视的化学吐槽图放送},
publisher = {搜狐},
date = {2018-08-23},
url = {https://www.sohu.com/a/249567724_537996},
urldate = {2019-09-14},
language = {chinese},
}
@online{aiju:9syscalls,
author = {Julius Schmidt},
title = {Plan~9 System Calls},
publisher = {aiju.de},
url = {http://aiju.de/plan_9/plan9-syscalls},
urldate = {2019-08-13},
language = {english},
}
@online{catv:dynlink,
author = {{cat-v.org}},
title = {Dynamic Linking},
url = {http://harmful.cat-v.org/software/dynamic-linking/},
urldate = {2019-08-20},
language = {english},
}
@online{catv:hsoft,
author = {{cat-v.org}},
title = {All software sucks},
url = {http://harmful.cat-v.org/software/},
urldate = {2019-08-19},
language = {english},
}
@online{djb:qmailsec,
author = {Daniel J. Bernstein},
title = {The qmail security guarantee},
url = {https://cr.yp.to/qmail/guarantee.html},
urldate = {2019-09-10},
language = {english},
}
@online{dreamsongs:wib,
author = {Richard P. Gabriel},
title = {Worse Is Better},
publisher = {dreamsongs.com},
url = {https://dreamsongs.com/WorseIsBetter.html},
urldate = {2019-09-19},
language = {english},
}
@online{freedesktop:sepusr,
author = {{systemd developers}},
title = {Booting Without \texttt{/usr} is Broken},
publisher = {systemd at freedesktop.org},
url = {https://freedesktop.org/wiki/Software/systemd/separate-usr-is-broken/},
urldate = {2019-08-18},
language = {english},
}
@online{github:acmetiny,
author = {diafygi},
title = {\texttt{acme\_tiny.py} from \texttt{acme-tiny}},
publisher = {GitHub},
date = {2019-07-09},
url = {https://github.com/diafygi/acme-tiny/blob/cb094cf3/acme_tiny.py},
urldate = {2019-08-14},
language = {english},
}
@online{github:dale,
author = {tomhrr},
title = {dale},
publisher = {GitHub},
url = {https://github.com/tomhrr/dale},
urldate = {2019-09-20},
language = {english},
}
@online{github:rc,
author = {rakitzis},
title = {rc},
publisher = {GitHub},
url = {https://github.com/rakitzis/rc},
urldate = {2019-08-21},
language = {english},
}
@online{github:sdreadme,
author = {{systemd developers}},
title = {\texttt{README} from \texttt{systemd}},
publisher = {GitHub},
date = {2019-04-29},
url = {https://github.com/systemd/systemd/blob/5238e957/README},
urldate = {2019-08-19},
language = {english},
}
@online{gitea:emca,
author = {CasperVector},
title = {\texttt{emca.py} from \texttt{emca}},
publisher = {Gitea},
date = {2017-05-17},
url = {https://gitea.com/CasperVector/emca/src/commit/5804848c3ea9616abdfd73c11ac9d75c1fcdaf73/emca.py},
urldate = {2019-11-06},
language = {english},
}
@online{gitea:slewman,
author = {CasperVector},
title = {\texttt{Manual} from \texttt{slew}},
publisher = {Gitea},
date = {2019-06-05},
url = {https://gitea.com/CasperVector/slew/src/commit/bd3709d5387313c7287778b59c21b68d81b1ea18/Manual},
urldate = {2019-11-06},
language = {english},
}
@online{gitea:srvrc,
author = {CasperVector},
title = {\texttt{lib/srv.rc} from \texttt{slew}},
publisher = {Gitea},
date = {2018-03-21},
url = {https://gitea.com/CasperVector/slew/src/commit/a6b547ddb82cfbc7e50f6e90cb50dafdcf06b2d9/lib/srv.rc},
urldate = {2019-11-06},
language = {english},
}
@online{instgentoo:interj,
author = {{InstallGentoo Wiki}},
title = {Interjection},
url = {https://wiki.installgentoo.com/index.php/Interjection},
urldate = {2019-08-21},
language = {english},
}
@online{kernel:syscalls,
author = {{Linux kernel developers}},
title = {\texttt{include/uapi/asm-generic/unistd.h} from \texttt{kernel/git/torvalds/linux.git}},
publisher = {Linux kernel source tree},
date = {2019-07-15},
url = {https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/include/uapi/asm-generic/unistd.h?id=78e05972},
urldate = {2019-09-26},
language = {english},
}
@online{multicians:history,
editor = {Tom Van Vleck},
title = {Multics History -- Use at MIT},
publisher = {The Multicians Website},
url = {https://www.multicians.org/history.html#tag23},
urldate = {2019-09-14},
language = {english},
}
@online{multicians:myths,
author = {Tom Van Vleck and John Gintell and Joachim Pense and Monte Davidoff and Andi Kleen and Doug Quebbeman and Jerry Saltzer},
title = {Myths about Multics},
publisher = {The Multicians Website},
url = {https://www.multicians.org/myths.html},
urldate = {2019-08-04},
language = {english},
}
@online{scmreports:home,
author = {{scheme-reports.org}},
title = {Scheme Reports Process},
url = {http://scheme-reports.org/},
date = {2019},
urldate = {2019-09-16},
language = {english},
}
@online{scmreports:position,
author = {{scheme-reports.org}},
title = {Scheme Steering Committee Position Statement},
url = {http://scheme-reports.org/2009/position-statement.html},
date = {2009},
urldate = {2019-09-16},
language = {english},
}
@online{scsh:home,
author = {{scsh.org}},
title = {Scsh: The Scheme Schell},
url = {https://scsh.net/},
urldate = {2019-09-20},
language = {english},
}
@online{ska:diesh,
author = {Laurent Bercot},
title = {Why not just use \texttt{/bin/sh}?},
publisher = {skarnet.org},
url = {https://skarnet.org/software/execline/dieshdiedie.html},
urldate = {2019-08-20},
language = {english},
}
@online{ska:djblegacy,
author = {Laurent Bercot},
title = {The DJB legacy},
publisher = {skarnet.org},
url = {https://skarnet.org/software/skalibs/djblegacy.html},
urldate = {2019-08-20},
language = {english},
}
@online{ska:elblocks,
author = {Laurent Bercot},
title = {execline: block management},
publisher = {skarnet.org},
url = {https://skarnet.org/software/execline/el_semicolon.html},
urldate = {2019-09-20},
language = {english},
}
@online{ska:execline,
author = {Laurent Bercot},
title = {execline: a small scripting language},
publisher = {skarnet.org},
url = {https://skarnet.org/software/execline/},
urldate = {2019-08-11},
language = {english},
}
@online{ska:fdhold,
author = {Laurent Bercot},
title = {How do I perform socket activation with s6?},
publisher = {skarnet.org},
url = {https://skarnet.org/software/s6/socket-activation.html},
urldate = {2019-08-13},
language = {english},
}
@online{ska:libskarnet,
author = {Laurent Bercot},
title = {The \texttt{skarnet} library interface},
publisher = {skarnet.org},
url = {https://skarnet.org/software/skalibs/libskarnet.html},
urldate = {2019-08-20},
language = {english},
}
@online{ska:notify,
author = {Laurent Bercot},
title = {Service startup notifications},
publisher = {skarnet.org},
url = {https://skarnet.org/software/s6/notifywhenup.html},
urldate = {2019-08-14},
language = {english},
}
@online{ska:pid1,
author = {Laurent Bercot},
title = {How to run \texttt{s6-svscan} as process 1},
publisher = {skarnet.org},
url = {https://skarnet.org/software/s6/s6-svscan-1.html},
urldate = {2019-08-14},
language = {english},
}
@online{ska:s6log,
author = {Laurent Bercot},
title = {The \texttt{s6-log} program},
publisher = {skarnet.org},
url = {https://skarnet.org/software/s6/s6-log.html},
urldate = {2019-08-13},
language = {english},
}
@online{ska:sdnwrap,
author = {Laurent Bercot},
title = {\texttt{sdnotify-wrapper.c}},
publisher = {skarnet.org},
date = {2017},
url = {https://skarnet.org/software/misc/sdnotify-wrapper.c},
urldate = {2019-08-14},
language = {english},
}
@online{ska:software,
author = {Laurent Bercot},
title = {Software},
publisher = {skarnet.org},
url = {https://skarnet.org/software/},
urldate = {2019-08-19},
language = {english},
}
@online{ska:syslogd,
author = {Laurent Bercot},
title = {\texttt{examples/syslogd-linux} from \texttt{s6}},
publisher = {skarnet.org},
url = {https://git.skarnet.org/cgi-bin/cgit.cgi/s6/tree/examples/syslogd-linux?id=4257dbc0},
urldate = {2019-08-13},
language = {english},
}
@online{ska:systemd,
author = {Laurent Bercot},
title = {A word about systemd},
publisher = {skarnet.org},
url = {https://skarnet.org/software/systemd.html},
urldate = {2019-08-14},
language = {english},
}
@online{slashdot:systemd,
author = {Slashdot},
title = {Slashdot Items Tagged ``systemd''},
url = {https://slashdot.org/tag/systemd},
urldate = {2019-08-14},
language = {english},
}
@online{suckless:home,
author = {{suckless.org}},
title = {Software that sucks less},
url = {https://suckless.org/},
urldate = {2019-08-19},
language = {english},
}
@online{swtch:libtask,
author = {Russ Cox},
title = {Libtask: a Coroutine Library for C and Unix},
url = {https://swtch.com/libtask/},
urldate = {2019-09-17},
language = {english},
}
@online{waw:systemd,
author = {{in.waw.pl}},
title = {Growth of systemd issues by time},
url = {https://in.waw.pl/systemd-github-state/systemd-issues.svg},
urldate = {2019-08-14},
language = {english},
}
@online{wiki:386bsd,
author = {Wikipedia},
title = {386BSD},
url = {https://en.wikipedia.org/wiki/386BSD},
verba = {https://en.wikipedia.org/w/index.php?title=386BSD&oldid=914707549},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:ast,
author = {Wikipedia},
title = {Abstract syntax tree},
url = {https://en.wikipedia.org/wiki/Abstract_syntax_tree},
verba = {https://en.wikipedia.org/w/index.php?title=Abstract_syntax_tree&oldid=914829838},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:chez,
author = {Wikipedia},
title = {Chez Scheme},
url = {https://en.wikipedia.org/wiki/Chez_Scheme},
verba = {https://en.wikipedia.org/w/index.php?title=Chez_Scheme&oldid=913303265},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:cps,
author = {Wikipedia},
title = {Continuation-passing style},
url = {https://en.wikipedia.org/wiki/Continuation-passing_style},
verba = {https://en.wikipedia.org/w/index.php?title=Continuation-passing_style&oldid=914306940},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:ctss,
author = {Wikipedia},
title = {Compatible Time-Sharing System},
url = {https://en.wikipedia.org/wiki/Compatible_Time-Sharing_System},
verba = {https://en.wikipedia.org/w/index.php?title=Compatible_Time-Sharing_System&oldid=911415668},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:eee,
author = {Wikipedia},
title = {Embrace, extend, and extinguish},
url = {https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguish},
verba = {https://en.wikipedia.org/w/index.php?title=Embrace,_extend,_and_extinguish&oldid=916618304},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:employ,
author = {Wikipedia},
title = {Full employment theorem},
url = {https://en.wikipedia.org/wiki/Full_employment_theorem},
verba = {https://en.wikipedia.org/w/index.php?title=Full_employment_theorem&oldid=789003942},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:eyeball,
author = {Wikipedia},
title = {Linus's Law},
url = {https://en.wikipedia.org/wiki/Linus%27s_Law},
verba = {https://en.wikipedia.org/w/index.php?title=Linus%27s_Law&oldid=917079860},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:free,
author = {Wikipedia},
title = {Free software},
url = {https://en.wikipedia.org/wiki/Free_software},
verba = {https://en.wikipedia.org/w/index.php?title=Free_software&oldid=917999205},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:godelnum,
author = {Wikipedia},
title = {Gödel numbering},
url = {https://en.wikipedia.org/wiki/G%C3%B6del_numbering},
verba = {https://en.wikipedia.org/w/index.php?title=G%C3%B6del_numbering&oldid=908121127},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:godelthm,
author = {Wikipedia},
title = {Gödel's incompleteness theorems},
url = {https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems},
verba = {https://en.wikipedia.org/w/index.php?title=G%C3%B6del%27s_incompleteness_theorems&oldid=916416786},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:halt,
author = {Wikipedia},
title = {Halting problem},
url = {https://en.wikipedia.org/wiki/Halting_problem},
verba = {https://en.wikipedia.org/w/index.php?title=Halting_problem&oldid=914626580},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:hilbert,
author = {Wikipedia},
title = {Hilbert's twenty-fourth problem},
url = {https://en.wikipedia.org/wiki/Hilbert%27s_twenty-fourth_problem},
verba = {https://en.wikipedia.org/w/index.php?title=Hilbert%27s_twenty-fourth_problem&oldid=877450863},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:homoiconic,
author = {Wikipedia},
title = {Homoiconicity},
url = {https://en.wikipedia.org/wiki/Homoiconicity},
verba = {https://en.wikipedia.org/w/index.php?title=Homoiconicity&oldid=914632349},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:hutter,
author = {Wikipedia},
title = {Hutter Prize},
url = {https://en.wikipedia.org/wiki/Hutter_Prize},
verba = {https://en.wikipedia.org/w/index.php?title=Hutter_Prize&oldid=982585144},
urldate = {2020-11-06},
language = {english},
}
@online{wiki:kolmogorov,
author = {Wikipedia},
title = {Kolmogorov complexity},
url = {https://en.wikipedia.org/wiki/Kolmogorov_complexity},
verba = {https://en.wikipedia.org/w/index.php?title=Kolmogorov_complexity&oldid=917043718},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:lions,
author = {Wikipedia},
title = {Lions' Commentary on UNIX 6th Edition, with Source Code},
url = {https://en.wikipedia.org/wiki/Lions%27_Commentary_on_UNIX_6th_Edition,_with_Source_Code},
verba = {https://en.wikipedia.org/w/index.php?title=Lions%27_Commentary_on_UNIX_6th_Edition,_with_Source_Code&oldid=910215722},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:lisp,
author = {Wikipedia},
title = {Lisp (programming language)},
url = {https://en.wikipedia.org/wiki/Lisp_(programming_language)},
verba = {https://en.wikipedia.org/w/index.php?title=Lisp_(programming_language)&oldid=917080784},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:lmdb,
author = {Wikipedia},
title = {Lightning Memory-Mapped Database},
url = {https://en.wikipedia.org/wiki/Lightning_Memory-Mapped_Database},
verba = {https://en.wikipedia.org/w/index.php?title=Lightning_Memory-Mapped_Database&oldid=917681966},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:mdl,
author = {Wikipedia},
title = {Minimum description length},
url = {https://en.wikipedia.org/wiki/Minimum_description_length},
verba = {https://en.wikipedia.org/w/index.php?title=Minimum_description_length&oldid=917984292},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:mml,
author = {Wikipedia},
title = {Minimum message length},
url = {https://en.wikipedia.org/wiki/Minimum_message_length},
verba = {https://en.wikipedia.org/w/index.php?title=Minimum_message_length&oldid=917984315},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:multics,
author = {Wikipedia},
title = {Multics},
url = {https://en.wikipedia.org/wiki/Multics},
verba = {https://en.wikipedia.org/w/index.php?title=Multics&oldid=912788675},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:negcode,
author = {Wikipedia},
title = {Douglas McIlroy -- Views on computing},
url = {https://en.wikipedia.org/wiki/Douglas_McIlroy#Views_on_computing},
verba = {https://en.wikipedia.org/w/index.php?title=Douglas_McIlroy&oldid=904439893#Views_on_computing},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:neumann,
author = {Wikipedia},
title = {Von Neumann Architecture},
url = {https://en.wikipedia.org/wiki/Von_Neumann_architecture},
verba = {https://en.wikipedia.org/w/index.php?title=Von_Neumann_architecture&oldid=916574254},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:ockham,
author = {Wikipedia},
title = {Occam's razor},
url = {https://en.wikipedia.org/wiki/Occam's_razor},
verba = {https://en.wikipedia.org/w/index.php?title=Occam%27s_razor&oldid=917280269},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:oss,
author = {Wikipedia},
title = {Open-source software},
url = {https://en.wikipedia.org/wiki/Open-source_software},
verba = {https://en.wikipedia.org/w/index.php?title=Open-source_software&oldid=917297233},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:parteval,
author = {Wikipedia},
title = {Partial evaluation},
url = {https://en.wikipedia.org/wiki/Partial_evaluation},
verba = {https://en.wikipedia.org/w/index.php?title=Partial_evaluation&oldid=883908276},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:plan9,
author = {Wikipedia},
title = {Plan~9 from Bell Labs},
url = {https://en.wikipedia.org/wiki/Plan_9_from_Bell_Labs},
verba = {https://en.wikipedia.org/w/index.php?title=Plan_9_from_Bell_Labs&oldid=917379438},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:quality,
author = {Wikipedia},
title = {Software quality -- CISQ's quality model},
url = {https://en.wikipedia.org/wiki/Software_quality#CISQ%27s_quality_model},
verba = {https://en.wikipedia.org/w/index.php?title=Software_quality&oldid=917694751#CISQ%27s_quality_model},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:sel4,
author = {Wikipedia},
title = {L4 microkernel family -- High assurance: seL4},
url = {https://en.wikipedia.org/wiki/L4_microkernel_family#High_assurance:_seL4},
verba = {https://en.wikipedia.org/w/index.php?title=L4_microkernel_family&oldid=917138083#High_assurance:_seL4},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:sockets,
author = {Wikipedia},
title = {Berkeley sockets},
url = {https://en.wikipedia.org/wiki/Berkeley_sockets},
verba = {https://en.wikipedia.org/w/index.php?title=Berkeley_sockets&oldid=916173619},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:thebook,
author = {Wikipedia},
title = {Proofs from THE BOOK},
url = {https://en.wikipedia.org/wiki/Proofs_from_THE_BOOK},
verba = {https://en.wikipedia.org/w/index.php?title=Proofs_from_THE_BOOK&oldid=910349713},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:thompson,
author = {Wikipedia},
title = {Thompson shell},
url = {https://en.wikipedia.org/wiki/Thompson_shell},
verba = {https://en.wikipedia.org/w/index.php?title=Thompson_shell&oldid=905703713},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:tivo,
author = {Wikipedia},
title = {Tivoization},
url = {https://en.wikipedia.org/wiki/Tivoization},
verba = {https://en.wikipedia.org/w/index.php?title=Tivoization&oldid=901837414},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:unixhist,
author = {Wikipedia},
title = {History of Unix},
url = {https://en.wikipedia.org/wiki/History_of_Unix},
verba = {https://en.wikipedia.org/w/index.php?title=History_of_Unix&oldid=917089196},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:unixphilo,
author = {Wikipedia},
title = {Unix philosophy},
url = {https://en.wikipedia.org/wiki/Unix_philosophy},
verba = {https://en.wikipedia.org/w/index.php?title=Unix_philosophy&oldid=903656105},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:unixv7,
author = {Wikipedia},
title = {Version 7 Unix -- Reception},
url = {https://en.wikipedia.org/wiki/Version_7_Unix#Reception},
verba = {https://en.wikipedia.org/w/index.php?title=Version_7_Unix&oldid=910860588#Reception},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:wirth,
author = {Wikipedia},
title = {Wirth's Law},
url = {https://en.wikipedia.org/wiki/Wirth%27s_law},
verba = {https://en.wikipedia.org/w/index.php?title=Wirth%27s_law&oldid=916536615},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:xv6,
author = {Wikipedia},
title = {Xv6},
url = {https://en.wikipedia.org/wiki/Xv6},
verba = {https://en.wikipedia.org/w/index.php?title=Xv6&oldid=917737952},
urldate = {2019-09-26},
language = {english},
}
@online{wiki:xwindow,
author = {Wikipedia},
title = {X Window System},
url = {https://en.wikipedia.org/wiki/X_Window_System},
verba = {https://en.wikipedia.org/w/index.php?title=X_Window_System&oldid=916577347},
urldate = {2019-09-26},
language = {english},
}
@online{wosd:arguments,
author = {{without-systemd.org}},
title = {Arguments against systemd -- Scope creep (archive at Wayback Machine)},
url = {https://web.archive.org/web/20190711085730/http://without-systemd.org/wiki/index.php/Arguments_against_systemd#Scope_creep},
urldate = {2019-08-19},
language = {english},
}