User contributions for There is a T101 in your kitchen
A user with 120 edits. Account created on 15 November 2013.
12 May 2024
- 09:0709:07, 12 May 2024 diff hist −16 Ker-Plop Intro text fixed current
- 09:0709:07, 12 May 2024 diff hist +176 Ker-Plop Added link to ISFDB and to Asimov's Science Fiction Magazine
12 March 2024
- 20:2320:23, 12 March 2024 diff hist +387 Null coalescing operator Added Dart to the list and updated the links to their current pages.
4 March 2024
- 21:2321:23, 4 March 2024 diff hist +281 Promise theory Added reference to the followup paper on Boeing 737 Max MCAS "promise analysis" at the Arxiv
2 March 2024
- 09:2809:28, 2 March 2024 diff hist +640 Elvis operator Introduced the words 'truthy'' and ''falsy'' (with their usual meaning) to distinguish booleans from values likened to booleans.
17 February 2024
- 15:0115:01, 17 February 2024 diff hist −19 The Tunnel under the World Removed the header demanding more references which are not forthcoming and added a reference to the full text at the archive.
- 14:5614:56, 17 February 2024 diff hist +435 Talk:The Tunnel under the World Noted that I removed the template demanding more verification. current
22 January 2024
- 12:2512:25, 22 January 2024 diff hist +1,377 Talk:Linux namespaces It is unclear who the symlink values under /proc/PID/ns should be interpreted
2 January 2024
- 12:1012:10, 2 January 2024 diff hist +5,473 Talk:Everything is a file Added quotes from Brian Kernighan's "UNIX - A History and a Memoir"
- 11:1311:13, 2 January 2024 diff hist +599 Talk:Everything is a file →"simple streams of bytes"
29 December 2023
- 12:1612:16, 29 December 2023 diff hist +2,131 AI winter Added more info on the Speech Understanding Project of the 70s
23 December 2023
- 01:4901:49, 23 December 2023 diff hist +20 m AI winter Changed "LISP as preferred language for AI" to "LISP as preferred language for AI research in the USA" as expert systems may well be written in imperative languages and European research worked (a lot? mostly?) in Prolog
- 01:3901:39, 23 December 2023 diff hist +1,514 AI winter Added a ''Contrary View'' section based on Thomas Haigh's article in CACM 2023/12 titled "There Was No 'First AI Winter'"
8 December 2023
- 22:3222:32, 8 December 2023 diff hist +496 Talk:Telecommunications in the Republic of the Congo →Comments
29 May 2023
- 16:4616:46, 29 May 2023 diff hist +452 Talk:Peter Milner →Presence at the "Dartmouth Summer Research Project on Artificial Intelligence": new section Tag: New topic
2 April 2023
- 09:4709:47, 2 April 2023 diff hist −24 F Sharp (programming language) The URL to "F# Historical Acknowledgements" has changed
3 May 2022
- 14:0614:06, 3 May 2022 diff hist −53 m Belleville Nuclear Power Plant Fixed link to EDF website
23 April 2022
- 09:0109:01, 23 April 2022 diff hist +890 Talk:University of Milano-Bicocca Added a note on Dostoevsky being temporarily cancelled in 2022
4 December 2021
- 14:1814:18, 4 December 2021 diff hist +268 Talk:Baltimore classification Megavirales?
- 14:1314:13, 4 December 2021 diff hist +907 Talk:Pithovirus CLassification of this virus uncertain
17 November 2021
- 16:4216:42, 17 November 2021 diff hist +1,342 Talk:Buran (spacecraft) Added info on proprietorship of the Buran mock in Kazahstan. Tag: use of deprecated (unreliable) source
27 April 2021
- 11:0111:01, 27 April 2021 diff hist +150 Internationalized Resource Identifier Added a parenthesiszed not on "ad-hoc" encoding of characters in URIs
12 March 2021
- 22:4122:41, 12 March 2021 diff hist −51 Signal (IPC) Modified text for SIGHUP to make clear that the signal is repurposed by daemons. Modified text for SIGFPE to make clear that it occurs in not necessarily erroneous conditions. The link to a page for ARM an x86 assembler was unclear, removed. That would need a separate, detailed page for "handling SIGFPE" (including a reference to the Ariane 5 anomaly). Might be interesting.
15 October 2020
- 19:1119:11, 15 October 2020 diff hist −1 m A-normal form Fixed link to "Reasoning about Programs in Continuation-Passing Style" as the old one at rice.edu was dead
19 June 2020
- 14:4314:43, 19 June 2020 diff hist +44 m Negation as failure Changed the links for Sheperdson's Paper's to sciencedirect.com instead of the PDFs directly
17 June 2020
- 11:1511:15, 17 June 2020 diff hist +32 m Occurs check Slight cleanup of citation of "Semantics for Logic Programs without Occur Check"
14 May 2020
- 10:3110:31, 14 May 2020 diff hist −57 Negation as failure Updated links in citation section
- 10:1710:17, 14 May 2020 diff hist +115 Negation as failure Bizarre claim that Planner supports "strong negation" whereas Prolog does not (while you can essentially write mynot(p) to define your own negation and add the theorem-proving that goes with it as you like it) clarified.
2 April 2020
- 16:2616:26, 2 April 2020 diff hist +49 m Dynamic programming The link for the book "Dynamic Economics" (http://www.eco.utexas.edu/~cooper/dynprog/dynprog1.html) points to a linkspam page. Linking to the book at MIT Press and the author's Matlab page instead.
28 March 2020
- 21:0821:08, 28 March 2020 diff hist +389 Snake case Added entry for Prolog and sorted languages by name
15 March 2020
- 05:2205:22, 15 March 2020 diff hist +60 Defeasible reasoning p => q is not necessarily ~p V q
13 March 2020
- 07:2807:28, 13 March 2020 diff hist +856 Talk:OSGi →Needs section on how this is a good example of the Inner-platform effect.
7 March 2020
- 11:4011:40, 7 March 2020 diff hist +1,820 Serialization Added an entry for Prolog
5 February 2020
- 18:5018:50, 5 February 2020 diff hist +26 Scope (computer science) Added a date to the RABBIT paper; typos fixed
28 October 2019
- 16:0516:05, 28 October 2019 diff hist +45 m Kolmogorov–Smirnov test Added the full write-out for "i.i.d."
4 October 2019
- 12:2512:25, 4 October 2019 diff hist −11 John Brockman (literary agent) Removed adjective "paedophile" assigned to Jeffrey Epstein as he has not been dealing with girls under 14 or so.
27 June 2019
- 17:1817:18, 27 June 2019 diff hist +252 Short-circuit evaluation Changed the pseudocode; it was unreadable. Changed the note on EWD grumbling about the presence of CAND/COR; as usual he is unhappy about the wrong things (should be using LISP/Prolog, not Algol++ for formal proofs)
26 June 2019
- 10:4510:45, 26 June 2019 diff hist +1,460 Fuzzy control system Added a note about the form (intention) of the fuzzy rules.
24 May 2019
- 11:2811:28, 24 May 2019 diff hist +150 Template:Lisp Added blocks for Qi, QiII and Shen, which look LISP-y enough
- 10:5410:54, 24 May 2019 diff hist −9 m History of the Scheme programming language Removed stray "systems"
21 May 2019
- 09:0309:03, 21 May 2019 diff hist +348 Combinatory logic Added two remarks which 1) highlight a subtlety in the lambda term -> combinatorial term transformation rules 2) hopefully give a better feel of the combinator evalutation process
17 February 2019
- 15:3015:30, 17 February 2019 diff hist +84 N Talk:Confederation of Independent Trade Unions of Luxembourg There is a T101 in your kitchen moved page Talk:Confederation of Independent Trade Unions of Luxembourg to Talk:Independent Luxembourg Trade Union Confederation: Fix the page name to the official title of the trade union confederation (the english translation is wrong anyway; it is an "independent confederation", not a "confederation of independents") current Tag: New redirect
- 15:3015:30, 17 February 2019 diff hist 0 m Talk:Independent Luxembourg Trade Union Confederation There is a T101 in your kitchen moved page Talk:Confederation of Independent Trade Unions of Luxembourg to Talk:Independent Luxembourg Trade Union Confederation: Fix the page name to the official title of the trade union confederation (the english translation is wrong anyway; it is an "independent confederation", not a "confederation of independents")
- 15:3015:30, 17 February 2019 diff hist +79 N Confederation of Independent Trade Unions of Luxembourg There is a T101 in your kitchen moved page Confederation of Independent Trade Unions of Luxembourg to Independent Luxembourg Trade Union Confederation: Fix the page name to the official title of the trade union confederation (the english translation is wrong anyway; it is an "independent confederation", not a "confederation of independents") current Tag: New redirect
- 15:3015:30, 17 February 2019 diff hist 0 m Independent Luxembourg Trade Union Confederation There is a T101 in your kitchen moved page Confederation of Independent Trade Unions of Luxembourg to Independent Luxembourg Trade Union Confederation: Fix the page name to the official title of the trade union confederation (the english translation is wrong anyway; it is an "independent confederation", not a "confederation of independents")
- 15:2715:27, 17 February 2019 diff hist −224 Independent Luxembourg Trade Union Confederation Removed obsolete links, added link to governmental page and "Aktuell", fixed the english name of the federation to the official name given on the governmental page http://luxembourg.public.lu/en/le-grand-duche-se-presente/systeme-politique/concertation/syndicats/index.html
9 February 2019
- 01:1201:12, 9 February 2019 diff hist +233 A Little Something for Us Tempunauts Corrected the ending: Doug is not the savior, he is the saboteur. (No wonder he is so tired, he is in Purgatory on a Moebius strip)
3 January 2018
- 23:1023:10, 3 January 2018 diff hist −38 JavaFX Removed "JavaFX application could run ... on any browser that could run Java EE" because that makes no sense. No browser ever ran Java EE. At most, it could display Applet output.
23 December 2017
- 13:0113:01, 23 December 2017 diff hist +778 Fractional Orbital Bombardment System Added hearsay about testing of FOBS being smokescreened using faux UFO reports (via Steve Sailer via Jerry Pournelle)
9 December 2017
- 15:0915:09, 9 December 2017 diff hist +415 Basic access authentication Additional notes about encoding added.