age COMIC: CHAPTER 5 - PAGE 104 By starfightercomic.com Published On :: Tue, 23 Jul 2019 17:24:00 GMT Page 104 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 105 By starfightercomic.com Published On :: Tue, 30 Jul 2019 17:45:00 GMT Page 105 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 106 By starfightercomic.com Published On :: Tue, 06 Aug 2019 22:48:00 GMT Page 106 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 107 By starfightercomic.com Published On :: Tue, 13 Aug 2019 22:00:00 GMT Page 107 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 108 By starfightercomic.com Published On :: Wed, 21 Aug 2019 16:26:00 GMT Page 108 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 109 By starfightercomic.com Published On :: Tue, 27 Aug 2019 15:40:00 GMT Page 109 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 110 By starfightercomic.com Published On :: Tue, 03 Sep 2019 20:42:00 GMT Page 110 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 111 By starfightercomic.com Published On :: Tue, 10 Sep 2019 21:02:00 GMT Page 111 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 112 By starfightercomic.com Published On :: Tue, 17 Sep 2019 17:53:00 GMT Page 112 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 113 By starfightercomic.com Published On :: Tue, 24 Sep 2019 18:17:00 GMT Page 113 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 114 By starfightercomic.com Published On :: Tue, 01 Oct 2019 21:46:00 GMT Page 114 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 115 By starfightercomic.com Published On :: Tue, 08 Oct 2019 22:07:00 GMT Page 115 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 116 By starfightercomic.com Published On :: Tue, 15 Oct 2019 19:15:00 GMT Page 116 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 117 By starfightercomic.com Published On :: Tue, 22 Oct 2019 17:49:00 GMT Page 117 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 118 By starfightercomic.com Published On :: Tue, 29 Oct 2019 18:11:00 GMT Page 118 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 119 By starfightercomic.com Published On :: Tue, 05 Nov 2019 16:15:00 GMT Page 119 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 120 By starfightercomic.com Published On :: Tue, 12 Nov 2019 17:25:00 GMT Page 120 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 121 By starfightercomic.com Published On :: Tue, 19 Nov 2019 17:30:00 GMT Page 121 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 122 By starfightercomic.com Published On :: Tue, 26 Nov 2019 18:29:00 GMT Page 122 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 123 By starfightercomic.com Published On :: Tue, 03 Dec 2019 18:01:00 GMT Page 123 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 124 By starfightercomic.com Published On :: Tue, 10 Dec 2019 19:45:00 GMT Page 124 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 125 By starfightercomic.com Published On :: Tue, 17 Dec 2019 18:45:00 GMT Page 125 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 126 By starfightercomic.com Published On :: Tue, 31 Dec 2019 14:16:00 GMT Page 126 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 127 By starfightercomic.com Published On :: Tue, 31 Dec 2019 14:16:00 GMT Page 127 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 128 By starfightercomic.com Published On :: Tue, 07 Jan 2020 23:45:00 GMT Page 128 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 129 By starfightercomic.com Published On :: Tue, 14 Jan 2020 14:33:00 GMT Page 129 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 130 By starfightercomic.com Published On :: Tue, 21 Jan 2020 14:41:00 GMT Page 130 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 131 By starfightercomic.com Published On :: Tue, 28 Jan 2020 14:45:00 GMT Page 131 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 132 By starfightercomic.com Published On :: Tue, 04 Feb 2020 18:08:00 GMT Page 132 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 133 By starfightercomic.com Published On :: Tue, 11 Feb 2020 19:27:00 GMT Page 133 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 134 By starfightercomic.com Published On :: Tue, 18 Feb 2020 23:48:00 GMT Page 134 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 135 By starfightercomic.com Published On :: Tue, 25 Feb 2020 17:13:00 GMT Page 135 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 136 By starfightercomic.com Published On :: Tue, 03 Mar 2020 17:20:00 GMT Page 136 of the fifth chapter of Starfighter. Full Article
age COMIC: CHAPTER 5 - PAGE 139 By starfightercomic.com Published On :: Tue, 10 Mar 2020 20:00:00 GMT Page 137 of the fifth chapter of Starfighter. Full Article
age Congress Sets Up Taxpayers to Eat $454 Billion of Wall Street’s Losses. Where Is the Outrage? By wallstreetonparade.com Published On :: Thu, 07 May 2020 13:45:03 +0000 Congress Sets Up Taxpayers to Eat $454 Billion of Wall Street’s Losses. Where Is the Outrage? By Pam Martens and Russ Martens: May 7, 2020 ~ Beginning on March 24 of this year, Larry Kudlow, the White House Economic Advisor, began to roll out the most deviously designed bailout of Wall Street in the history of America. After the Federal Reserve’s secret $29 trillion bailout of Wall Street from 2007 to 2010, and the exposure of that by a government audit and in-depth report by the Levy Economics Institute in 2011, Kudlow was going to have to come up with a brilliant strategy to sell another multi-trillion-dollar Wall Street bailout to the American people. The scheme was brilliant (in an evil genius sort of way) and audacious in employing an Orwellian form of reverse-speak. The plan to bail out Wall Street would be sold to the American people as a rescue of “Main Street.” It was critical, however, that all of the officials speaking to the … Continue reading → - Full Article Uncategorized
age Washer Collage By radar.spacebar.org Published On :: Tue, 31 Mar 2020 23:55:58 -0400 Hi! I've been stuck inside for weeks, probably just like you. I go out running every day, dodging people, but otherwise it's lockdown-mode. Our washing machine promptly broke, so I had to replace that thing. It became a project, because (aside from the difficult but mostly uninteresting process of getting it onto the second floor) one of the things that contributed to the last one's failure was its not-very-stable footing, and I wanted to do this one well. The thing resides inside a nice (but probably unnecessary) tile basin, which poses a few problems: It would make it impossible to get to the bottom doors on the machine, and it makes it impossible to adjust the feet in situ for leveling purposes, and the basin is not at all flat. The weirdly-shaped surface meant that my CAD prospectus was not very useful, which is annoying because I like to measure like 200 times in CAD and then cut once. Figure 1. Click to zoom The other problem is that I didn't have the right wood for this, and although Home Depot claimed to be able to do a same-day shipment, they gave me the runaround for over a week (I still don't have it). It's understandable, but our piles of laundry were getting a bit dire, so I just had to make do with what I had. In figure 1(a) I sawed through these 6x6 timbers with a 3.5" saw, which took like an hour. Then I used the also-too-small table saw to mill that into the smaller size I actually wanted (figure 1(b)). Then, I painstakingly test fit the logs in the basin, and sawed/planed/chiseled/sanded them until they were sitting stably on that curved surface without wobble. This was a real pain. The best advice I have for doing this was to get the tile sopping wet, then place the wood there for a moment, and then see where the high spots are based on where the wood is wet. (It would work better with some dye or something, but I didn't want to ruin the tile, ugh.) At that point we have some logs that were nice and sturdy, but not necessarily level gravity-wise. My solution here was router-out cups for each of the washer's feet, which I could set the depth of so that the washer would be level without any adjustment. (This also has the nice advantage that the washer can't jump around more than a few millimeters!) This was accomplished by using a laser level for an accurate level, and then putting some objects of fixed height (here the feet from the old washer, which will be disassembled for its more exciting pieces) into each cup, and iteratively routing the depth until they all touch the laser line exactly (Figure 1(c)). All that work paid off, though, because when we finally dropped the washer into place, it was as level as a spirit level can possibly indicate (Figure 1(d)). No pictures of the install here because this is like in my bathroom and that seems weirdly intimate to put on the internet for some reason. SIGBOVIK is tomorrow, but this year there is no in-person event due to the shelter-in-place order! The proceedings is shaping up nicely though, and there is some "podcast" expected. I have a few silly papers in there, but I'll save those for tomorrow. No talks from me this year; the whole situation in the world has been sort of draining my creative energy, but hopefully I will start feeling good again soon. Full Article
age My SIGBOVIK 2020 papers, lovingly aged one month By radar.spacebar.org Published On :: Thu, 30 Apr 2020 23:25:15 -0400 Well, April felt simultaneously short and long! I should have just posted these at the beginning of the month, my SIGBOVIK papers from 2020: Is this the longest chess game? is another needless chess paper, here trying to figure out the longest possible legal game. There are several rules that make sure games can't go on forever, and some surprisingly subtle details/ambiguity to those rules. The whole game is of course included in the paper (17697 moves), but I was far from being the largest waste of space in this year's proceedings, as one provocateur had a paper with 150 pages of citations. Mathieu made a 5-hour video of the chess game I computed for his companion blog post. What is the best game console? A market-based approach is a silly idea taken too far. It was a year in the making (mostly waiting) and didn't quite turn out the way I was expecting due to world events, but that's part of the "fun" I guess! Conditional Move For Shell Script Acceleration was another collaboration with Jim (mostly his doing, but I like to lather on an additional patina of absurdity). This month I have mostly been trying to keep sane and healthy during the shelter-in-place order. It's been harder than usual to find the energy to be creative, but I have had some spurts. I basically only leave the house to run (not going anywhere near other people). But I have been doing that pretty regularly, so between that and the prohibition against going out to bars and ice cream, I'd say I'm currently in the best I have been in ~6 years. Yesterday I claimed some course records for some Strava segments in my neighborhood! I also finished up Doom: Eternal, which was good but you pretty much already know what it's like and I'm playing Animal Crossing and haven't yet gotten sick of that. The timing for the release of that latter game couldn't have been more perfect, huh? Sometimes I need something with a little challenge, so I just started Nuclear Throne. I'm liking it but not sure if I have decided whether it's good enough to invest the time in to win (I almost always play games to the end but these randomized roguelikes demand a certain kind of potentially infinite investment. Like I never did beat the last boss in Wizard of Legend, and even in Dead Cells, which I loved, I had to settle for some modest personal criteria for "winning.") Any other recs? Could use a good Metroidvania perhaps? Full Article
age Timofei Shatrov: Previewing images in and out of SLIME REPL By readevalprint.tumblr.com Published On :: Sun, 03 May 2020 10:40:15 GMT As any Common Lisp coder knows, a REPL is an incredibly useful tool. It can be used not just for development, but for running all sorts of tasks. Personally, I don't bother making my Lisp tools into executable scripts and just run them directly from SLIME. As such, any operation that requires leaving the REPL is quite inconvenient. For me, one such operation was viewing image files, for example in conjunction with my match-client:match tool. So lately I've been researching various methods to incorporate this functionality into the normal REPL workflow. Below, I present 3 methods that can be used to achieve this. Open in external program This one's easy. When you want to view a file, launch an external process with your favorite image viewer. On Windows a shell command consisting of the image filename would launch the associated application, on Linux it's necessary to provide the name of the image viewer. (defvar *image-app* nil) ;; set it to '("eog") or something (defun view-file-native (file) (let ((ns (uiop:native-namestring file))) (uiop:launch-program (if *image-app* (append *image-app* (list ns)) (uiop:escape-shell-token ns))))) Note that uiop:launch-program is used instead of uiop:run-program. The difference is that launch- is non-blocking - you can continue to work in your REPL while the image is displayed, whereas run- will not return until you close the image viewer. Also note that when the first argument to run/launch-program is a string, it is not escaped, so I have to do it manually. And if the first argument is a list, it must be a program and a list of its arguments, so merely using (list ns) wouldn’t work on Windows. Inline image in REPL The disadvantage of the previous method is that the external program might steal focus, appear on top of your REPL and disrupt your workflow. And it's well known that Emacs can do everything, including viewing images, so why not use that? In fact, SLIME has a plugin specifically for displaying images in REPL, slime-media. However it’s difficult to find any information on how to use it. Eventually I figured out that SWANK (SLIME’s CL backend) needs to send an event :write-image with appropriate arguments and slime-media's handler will display it right in the REPL. The easiest way is to just send the file path. The second argument is the resulting image's string value. If you copy-paste (sorry, "kill-yank") it in the repl, it would act just like if you typed this string. (swank::send-to-emacs '(:write-image "/path/to/test.png" "test")) You can even send raw image data using this method. I don't have anything on hand to generate raw image data so here's some code that reads from a file, converts it to a base64 string and sends it over SWANK. (with-open-file (in "/path/to/test.png" :direction :input :element-type '(unsigned-byte 8)) (let* ((arr (make-array (file-length in) :element-type '(unsigned-byte 8))) (b64 (progn (read-sequence arr in) (cl-base64:usb8-array-to-base64-string arr)))) (swank::send-to-emacs `(:write-image ((:data ,b64 :type swank-io-package::png)) "12345")))) Note that the first argument to :write-image must be a list with a single element, which is itself a plist containing :data and :type keys. :data must be a base64-encoded raw image data. :type must be a symbol in swank-io-package. It’s not exactly convenient, so if you’re going to use this functionality a helper function/macro might be necessary. Image in a SLIME popup buffer Inline images are not always convenient. They can’t be resized, and will take up as much space as is necessary to display them. Meanwhile EMACS itself has a built-in image viewer (image-mode) which can fit images to width or height of a buffer. And SLIME has a concept of a “popup buffer” which is for example used by macroexpander (C-c C-m) to display the result of a macro expansion in a separate window. Interestingly, slime-media.el defines an event :popup-buffer but it seems impossible to trigger it from SWANK. It is however a useful code reference for how to create the popup buffer in ELisp. This time we won’t bother with “events” and just straight up execute some ELisp code using swank::eval-in-emacs. However by default, this feature is disabled on Emacs-side, so you’ll have to set Emacs variable slime-enable-evaluate-in-emacs to t in order for this method to work. Also Emacs must be compiled with ImageMagick for the resizing functionality to work. Anyway, the code to view file in the popup buffer looks like this: (defun view-file-slime (file &key (bufname "*image-viewer*")) (let ((ns (namestring file))) (swank::eval-in-emacs `(progn (slime-with-popup-buffer (,bufname :connection t :package t) (insert-image (create-image ,ns)) (image-mode) (setf buffer-file-name ,ns) (not-modified) (image-toggle-display-image)) ;; try to resize the image after the buffer is displayed (with-current-buffer ,bufname (image-toggle-display-image)))))) )) Arriving to this solution has required reading image-mode’s source code to understand what exactly makes image-mode behave just like if the image file was opened in Emacs via C-x C-f. First off, image-mode can be a major and a minor mode - and the minor mode is not nearly as useful. slime-with-popup-buffer has a :mode keyword argument but it would cause image-mode to be set before the image is inserted, and it will be a minor mode in this case! Therefore (image-mode) must be called after insert-image. Next, the buffer must satisfy several conditions in order to get image data from the filename and not from the buffer itself. Technically it shouldn’t be necessary, but I couldn’t get auto resizing to work when data-p is true. So I set buffer-file-name to image’s filename and set not-modified flag on. Next, image-toggle-display-image is called to possibly resize the image according to image-mode settings. It's called outside of slime-with-popup-buffer for the following reason: the buffer might not yet be visible and have any specific dimensions assigned to it, and therefore resizing will do nothing. Here’s an example of how calling this function looks in Emacs. The position of the popup buffer depends on whether the original Emacs window is wide enough or not. I think it looks better when it’s divided vertically. Use M-x image-transform-fit-to-height or M-x image-transform-fit-to-width to set up the auto-resizing method (it gets remembered for future images). Unfortunately there’s no way to fit both height and width, at least with vanilla Emacs. I prefer fit-to-width because in case the image is too tall, it is possible to scroll the image vertically with M-PgDn and M-PgUp from the other buffer. Unlike other image-mode buffers, this buffer supports a shortcut q to close itself, as well as various SLIME shortcuts, for example C-c C-z to return to the REPL. That's it for now, hope you enjoyed this overview and if you happen to know a better way to display images in Emacs, I would be interested to hear about it. Full Article
age Lotus Elise Classic Heritage Edition By uncrate.com Published On :: Fri, 08 May 2020 11:00:00 -0500 Full Article Sports Cars
age Mr. Cupps x Uncrate Vintage Keychain Collection By uncrate.com Published On :: Fri, 08 May 2020 13:00:49 -0500 Full Article Everyday Carry
age Location manager By fun-movie-trivia.blogspot.com Published On :: Fri, 14 Sep 2012 01:44:00 +0000 Full Article Filmmaking Terms
age A message from the Grand Master on pandemic response By oto-usa.org Published On :: Mon, 16 Mar 2020 17:46:11 +0000 The Grand Master Sabazius has provided some useful information and advice to O.T.O. members about how to respond to the COVID-19 pandemic. Full Article Policy
age minimum wage By www.marriedtothesea.com Published On :: Tue, 15 Oct 2019 04:00:00 EDT Today on Married To The Sea: minimum wageThe Worst Things For Sale is Drew's blog. It updates every day. Subscribe to the Worst Things For Sale RSS! Full Article autogen_comic
age Passages By radioactiveart.blog Published On :: Sat, 09 May 2020 15:44:00 +0000 When the architect passes you still have the building. When the musician passes you still have the music. When the person passes you have what you remember — when Fats Domino passed, when Little Richard passed, I remember how their hands looked on the keys. I remember how I knew from watching them that the […] Full Article poetry meditations music poems
age High rate of teenage pregnancies in Malta By maltaobserver.blogspot.com Published On :: Wed, 14 Mar 2012 12:42:00 +0000 Malta has the highest number of teenage mothers in Europe relative to population. There is also a very high rate of sexually transmitted diseases in Malta among teenagers. One need not wonder why this is the case. Malta's schools provide no sex education at all. The church opposes any form of sex education and any form of use of contraceptives. Abortion does not exist as such except as a clause regulating the penalty for an abortion. There is a tendencyAlpha that teenagers debut earlier with sex than before. One may ask whether Malta’s approach to sex education and contraceptives benefits to society. In today's Malta Times one can read that 32 children have been born in 2011 having mothers that are 16 years old or younger. Sure you can understand those who believe that sex is something for adults and preferably within marriage although it is a little bit old fashioned in today’s society. But that does not change the fact that unwanted children are born because of the attitude towards sex education, contraception and abortion and there is probably no method to prevent this from happen if you do not give teenagers sex education and thus tell them how to avoid pregnancy and sexually transmitted diseases. See also Teenage births once more of March 20 Full Article
age Teenage births once more By maltaobserver.blogspot.com Published On :: Tue, 20 Mar 2012 08:49:00 +0000 In todays The Times the problem with teenage pregnancies is addressed again. In the article it is said that Angela Abela, a clinical psychologist and the director of the University’s Centre for Family Studies, not only is asking questions but also has the key which is education and early intervention. With early intervention she does not mean intervention as early as before conception; no, she means by early intervention the time when the teenager still is pregnant. In a more modern society that would be the right approach, because then it might still be time for abortion. That is, of course, not what Ms Abela had in mind. No, she wants to involve the young father. One can wonder if she really believes that a teenage father can mature in such a short time and be a responsible father. Of course he cannot. Ms Abela seems to mean that one of the keys to solve the problem is to give instructions on how best to deal with a situation where a teenager is still pregnant or have given birth. It is of course commendable, but it does not solve the problem that Malta has the highest rate of teenage mothers in the EU related to the population. The solution must be to strive to prevent teen pregnancy. This can only happen through sex education ( in which one might even strongly discourage adolescents to have sex outside marriage, this is, after all, Malta), contraception counseling, access to contraceptives and, something that is not the case for Malta in perhaps 20-30 years, free abortions. The problem with teenage mothers will persist as long as you do not introduce sex education and teaching about contraception and its use. It is as simple as that. Malta is, however, in many ways far behind the more modern EU states and the Catholic Church is in many ways responsible for this. See also The Observers article in this subject of March 14 Full Article
age Strategic oil storage to be full by mid-May: Dharmendra Pradhan - Livemint By news.google.com Published On :: Fri, 08 May 2020 17:24:07 GMT Strategic oil storage to be full by mid-May: Dharmendra Pradhan LivemintIndia's fuel demand nearly halves in April amid national lockdown Hindustan TimesDharmendra Pradhan hints at new gas policy, says low oil prices no answer Zee NewsIndia has ample crude oil reserves: Pradhan The Tribune IndiaIndia's Fuel Consumption Falls 46% To Lowest Since 2007 NDTV ProfitView Full coverage on Google News Full Article
age Safe Dynamic Memory Management in Ada and SPARK By lambda-the-ultimate.org Published On :: Thu, 26 Jul 2018 19:42:01 +0000 Safe Dynamic Memory Management in Ada and SPARK by Maroua Maalej, Tucker Taft, Yannick Moy: Handling memory in a correct and efficient way is a step toward safer, less complex, and higher performing software-intensive systems. However, languages used for critical software development such as Ada, which supports formal verification with its SPARK subset, face challenges regarding any use of pointers due to potential pointer aliasing. In this work, we introduce an extension to the Ada language, and to its SPARK subset, to provide pointer types (“access types” in Ada) that provide provably safe, automatic storage management without any asynchronous garbage collection, and without explicit deallocation by the user. Because the mechanism for these safe pointers relies on strict control of aliasing, it can be used in the SPARK subset for formal verification, including both information flow analysis and proof of safety and correctness properties. In this paper, we present this proposal (which has been submitted for inclusion in the next version of Ada), and explain how we are able to incorporate these pointers into formal analyses For the systems programmers among you, you might be interested in some new developments in Ada where they propose to add ownership types to Ada's pointer/access types, to improve the flexibility of the programs that can be written and whose safety can be automatically verified. The automated satisfiability of these safety properties is a key goal of the SPARK Ada subset. Full Article Implementation Type Theory
age "Three Things I Wish I Knew When I Started Designing Languages" By lambda-the-ultimate.org Published On :: Tue, 19 Mar 2019 00:20:53 +0000 The transcript of Three Things I Wish I Knew When I Started Designing Languages, a talk given by Peter Alvaro somewhere or other, is up at Info Q. Peter Alavaro's main research interest is in taming distributed systems. He starts his talk with the provocative thesis, "In the future, all radical new languages will be domain-specific languages." He talks of the evolution of his ideas about dealing with distributed systems: Little interest by designers of programming-language designers in filling huge difficulty of debugging in context of distributed systems; PLs often make handling of data somewhat implicit, even with functional programming, which he says is dangerous in distributed programming; To talk about the flow of data properly, we need to talk about time; Two things that influenced him as a grad student: Jeff Ullman's claim that encapsulation and declarativity are in tension, and Fagin's theorem (the existential fragment of second-order logic characterises NP); Idea that distributed systems can be considered as protocols specified a bit like SQL or Datalog queries; Triviality with query languages of characterising the idea of place in distributive systems: they are just another relation parameter; Describing evolution of a system in time can be done with two other things: counters and negation, leading to Bertram Ludäscher's language Statelog. But this way of doing things leads to the kind of low-level overexpressive modelling he was trying to avoid; "What is it about...protocols that they seem to require negation to express?” Turns out that if you drop negation, you characterise the protocols that deliver messages deterministically. He summarises by saying the only good reason to design a programming language (I assume he means a radically novel language) is to shape your understanding of the problem. No regrets of being the only user of his first language, Datalist, because the point is that it shaped all his later thought in his research. Full Article Parallel/Distributed
age Applications of Blockchain to Programming Language Theory By lambda-the-ultimate.org Published On :: Mon, 13 Apr 2020 14:38:12 +0000 Let's talk about Blockchain. Goal is to use this forum topic to highlight its usefulness to programming language theory and practice. If you're familiar with existing research efforts, please share them here. In addition, feel free to generate ideas for how Blockchain could improve languages and developer productivity. As one tasty example: Blockchain helps to formalize thinking about mutual knowledge and common knowledge, and potentially think about sharing intergalactic computing power through vast distributed computing fabrics. If we can design contracts in such a way that maximizes the usage of mutual knowledge while minimizing common knowledge to situations where you have to "prove your collateral", third-party transactions could eliminate a lot of back office burden. But, there might be benefits in other areas of computer science from such research, as well. Some language researchers, like Mark S. Miller, have always dreamed of Agoric and the Decades-Long Quest for Secure Smart Contracts. Some may also be aware that verification of smart contracts is an important research area, because of the notorious theft of purse via logic bug in an Ethereum smart contract. Full Article Fun Implementation Semantics