Pinboard (sartak)
https://pinboard.in/u:sartak/public/
recent bookmarks from sartakDear Tony, dearest Jill, and other people, dear or not (EWD 1287)2014-04-29T03:31:23+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1287.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:a7ba8ad817cf/To Cambridge by mistake (EWD 1285)2014-04-29T03:31:16+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1285.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:1d02035c2373/My simplest theorem (EWD 1232)2014-04-29T03:28:23+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1232.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:403fa4299898/"I have a proof that...." (EWD 1219)2014-04-29T03:27:40+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1219.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:de34639032cf/The equation x:[x] (EWD1216)2014-04-29T03:27:31+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1216.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:6b1ace70efa4/A trip to Harvard Law School, 10-11 April 1995 (EWD 1205)2014-04-29T03:26:59+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1205.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:855eee521a48/E.W.Dijkstra Archive: How promiscuous are the French? (EWD 1161)2014-04-29T03:24:33+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1161.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:5aeabf6280dd/E.W.DijksTrip report E.W.Dijkstra, Marktoberdorf 1988 (EWD 1026)2014-04-29T03:16:21+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1026.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:18b8f36dbffa/E.W.Dijkstra Archive: Trip Report E.W.Dijkstra, Stanford/Palo Alto, 26–29 March 1987 (EWD 1006)2014-04-29T03:15:17+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1006.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:eef2763a6550/Trip report E.W.Dijkstra, Marktoberdorf, 29 July - 10 Aug 1986 (EWD 968)2014-04-29T03:08:55+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD968.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:9fcc7021e2e3/The ATAC (= Austin Tuesday Afternoon Club) (EWD927)2014-04-29T03:01:44+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD927.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:2408ffddd447/Trip report E.W.Dijkstra, Helsinki, 1 - 4 March 1983 (EWD 850)2014-04-29T02:54:40+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD850.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:3b4c6034c21e/Trip report E.W. Dijkstra, Amsterdam 26-29 Oct. 1981 (EWD 805)2014-04-29T02:50:33+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD805.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:d06a46bf7b56/Tripreport E.W.Dijkstra, Oxford University, 10 - 15 Jan. 1979 (EWD 698)2014-04-28T23:18:43+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD698.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:72efba9efd7c/Written in anger (EWD 696)2014-04-28T23:18:37+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD696.html
sartakdijkstra english math gumptionhttps://pinboard.in/https://pinboard.in/u:sartak/b:79e9197a55ec/Mathematics in an easy chair (EWD 695)2014-04-28T23:18:34+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD695.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:c4db09cb5449/Tripreport E.W.Dijkstra, Detroit, Austin, Philadelphia, 25 Nov.-9 Dec. 1978 (EWD 694)2014-04-28T23:18:31+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD694.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:6f9a9794c584/A review of the 1977 Turing Award Lecture by John Backus (EWD 692)2014-04-28T23:18:23+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD692.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:2c34fc37b66e/The pragmatic engineer versus the scientific designer (EWD 690)2014-04-28T23:18:17+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD690.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:c7433a445616/Tripreport E. W. Dijkstra, Valley Forge, 28 Oct. - 2 Nov. 1978 (EWD 689)2014-04-28T23:18:00+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD689.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:1b6febb75904/A trifle (EWD 688)2014-04-28T23:17:57+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD688.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:bf933ca57483/The problem of the Swiss football players (EWD 685)2014-04-28T23:17:48+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD685.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:013b42c7cc41/To a new member of The Tuesday Afternoon Club (EWD 683)2014-04-28T23:17:41+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD683.html
sartakdijkstra english inclusivityhttps://pinboard.in/https://pinboard.in/u:sartak/b:93d53f076862/A book review (EWD 680)2014-04-28T23:17:27+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD680.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:1f8f2bda12d2/Trip report E.W.Dijkstra, Newcastle-London-Lancaster, 4 - 13 Sep. 1978 (EWD 679)2014-04-28T23:17:25+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD679.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:171a6bce315c/E. W. Dijkstra Archive: A story that starts with a very good computer. (EWD 678)2014-04-28T23:17:21+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD678.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:0a840cb6d1be/Trip report E.W.Dijkstra, Marktoberdorf 24 July - 6 August 1978 (EWD 676)2014-04-28T23:17:14+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD676.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:7717367f5e89/Tripreport E.W.Dijkstra, Zürich, 2 - 7 July 1978 (EWD 674)2014-04-28T23:17:07+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD674.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:a3ce4c36dade/A political pamphlet from the Middle Ages (EWD 638)2014-04-28T23:13:36+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD638.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:f0158c850d20/Trip report E.W.Dijkstra, Munich 24-26 November 1976 (EWD 601)2014-04-28T23:10:08+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD601.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:9d92a17cb7a9/Tripreport E.W.Dijkstra, Tokyo, 28 Sep. - 3 Oct. 1976 (EWD 585)2014-04-28T23:07:29+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD585.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:43b262ea5b0e/An open letter to Ross Honsberger (EWD 544)2014-04-28T23:03:28+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD544.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:5c17d462a4f6/"Craftsman or Scientist?" (EWD 480)2014-04-28T22:57:46+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD480.html
sartakdijkstra english gumption mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:403b5b6bae7c/A letter to my old friend Jonathan (EWD 475)2014-04-28T22:57:20+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD475.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:db5e9663c368/Letter to the referees of EWD 418 (EWD 470)2014-04-28T22:57:00+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD470.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:2093f3111836/Tripreport E.W.Dijkstra, Meeting IFIP W.G.2.3., Munich, 8 - 14 December 1974 (EWD 466)2014-04-28T22:56:54+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD466.html
sartakdijkstra english unixhttps://pinboard.in/https://pinboard.in/u:sartak/b:ab43f4032b0f/Monotonic replacement algorithms and their implementation (EWD 465)2014-04-28T22:56:50+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD465.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:c1e00a296fd3/A new elephant built from mosquitos humming in harmony (EWD 464)2014-04-28T22:56:47+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD464.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:46cb87e85950/Some questions (EWD 463)2014-04-28T22:56:42+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD463.html
sartakdijkstra english math langhttps://pinboard.in/https://pinboard.in/u:sartak/b:4e8387ac21ce/The pattern matching problem (EWD 459)2014-04-28T22:56:34+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD459.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:38cf6641f039/Letter to Dr. H.Bekic, 8 October 1974 (EWD 454)2014-04-28T22:56:25+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD454.html
sartakdijkstra english langhttps://pinboard.in/https://pinboard.in/u:sartak/b:2714c0d5f1a5/Finding the maximal strong components in a directed graph (EWD 453)2014-04-28T22:56:21+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD453.PDF
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:3cc2f3565102/About robustness and the like (EWD 452)2014-04-28T22:56:17+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD452.html
sartakdijkstra english robustness mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:6a2481de6854/Lord, deliver us from charlatans! (EWD 451)2014-04-28T22:56:13+00:00
http://www.cs.utexas.edu/users/EWD/translations/EWD451-English.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:fca3a099f371/Correctness concerns and, among other things, why they are resented (EWD 450)2014-04-28T22:56:09+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD450.html
sartakdijkstra english performance lang robustnesshttps://pinboard.in/https://pinboard.in/u:sartak/b:103ef3c355e1/Trip report E.W.Dijkstra, Edinburgh and Newcastle, 1 - 6 September 1974. (EWD 448)2014-04-28T22:55:52+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD448.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:ce61043212ac/On the role of scientific thought (EWD 447)2014-04-28T22:55:48+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD447.html
sartakdijkstra english physics math gumption langhttps://pinboard.in/https://pinboard.in/u:sartak/b:4881f9543539/The problem of the most isolated villages (EWD 440)2014-04-28T22:55:35+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD440.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:def1509fc617/Associons continued (EWD 439)2014-04-28T22:55:31+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD439.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:f306195828e9/Associons: an effort towards accommodating potentially ultra-high concurrency (EWD 435)2014-04-28T22:55:25+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD435.PDF
sartakdijkstra english performancehttps://pinboard.in/https://pinboard.in/u:sartak/b:7f82ae0e89bb/A letter to C.A.R. Hoare, 13 July 1974 (EWD 432)2014-04-28T22:55:15+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD432.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:2b8241b91e4b/A generalization of the Sheffer Stroke for n-valued logic (EWD 429)2014-04-28T22:55:11+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD429.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:37949185da24/Array variables (EWD 428)2014-04-28T22:55:06+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD428.PDF
sartakdijkstra english lang mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:7701c6473895/Speech at the Occasion of an Anniversary (EWD 427)2014-04-28T22:55:02+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD427.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:a6fb52431942/Self-stabilizing systems in spite of distributed control (EWD 426)2014-04-28T22:54:56+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD426.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:d4d8b04c34cb/Trip report E.W.Dijkstra, USA and Canada, 5th - 25th May 1974. (EWD 425)2014-04-28T22:54:52+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD425.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:c3866b88acd3/Trip report E.W.Dijkstra, W.G.2.3 Meeting "Boldern" 28th April - 3rd May 1974 (EWD 423)2014-04-28T22:54:48+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD423.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:b3262d7db127/Trip report E.W.Dijkstra, Luxembourg, 7-12 April 1974. (EWD 420)2014-04-28T22:54:43+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD420.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:140129793b86/Guarded commands, non-determinacy and a calculus for the derivation of programs (EWD 418)2014-04-28T22:54:40+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD418.html
sartakdijkstra english robustness langhttps://pinboard.in/https://pinboard.in/u:sartak/b:c524b300b0c6/On the abolishment of the subscripted variable (EWD 417)2014-04-28T22:54:36+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD417.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:bbd46c254d68/On avoiding the infinite (EWD 416)2014-04-28T22:54:32+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD416.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:0ae1275392c4/A beautiful proof of a probably useless theorem (EWD 415)2014-04-28T22:54:16+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD415.html
sartakdijkstra english mathhttps://pinboard.in/https://pinboard.in/u:sartak/b:00a25cc8dd54/The formal treatment of some small examples (EWD 413)2014-04-28T22:54:11+00:00
http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD413.PDF
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:f22f31d99b06/Acceptance Speech for the AFIPS Harry Goode Memorial Award 1974 (EWD 407)2014-04-28T22:54:00+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD407.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:9529249403bc/A trip to the U.S.A., 5th – 25th January 1974 (EWD 406)2014-04-28T22:53:54+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD406.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:3c7c218d567b/A trip to France: 13th - 20th December 1973 (EWD 404)2014-04-28T22:39:51+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD404.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:5852680b6d7a/Trip report E.W.Dijkstra IFIP Working Group W.G.2.3 "On Programing Methodology", 21st - 26th October 1973, Blanchland, England (EWD 395)2014-04-28T22:37:43+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD395.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:9f300148dc05/Trip report I.U.C.C.Colloquium, Canterbury, 18th - 21st Sept.1973 (EWD 389)2014-04-28T22:37:25+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD389.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:d7a83fb1b92e/Trip report IBM Seminar "Communication and Computers", Newcastle, Sept. 1973. (EWD 387)2014-04-28T22:37:21+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD387.html
sartakdijkstra english robustnesshttps://pinboard.in/https://pinboard.in/u:sartak/b:b7399428b560/The solution to a cyclic relaxation problem (EWD 386)2014-04-28T22:37:14+00:00
http://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD386.html
sartakdijkstra englishhttps://pinboard.in/https://pinboard.in/u:sartak/b:0b760d793591/