an

Transfer of pywer

Guido van Rossum is "resigning" from being the Python BDFL: "I'm basically giving myself a permanent vacation from being BDFL, and you all will be on
your own." Apparently running a language can be tiring... It will be interesting to see what happens next.




an

Safe Dynamic Memory Management in Ada and SPARK

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.




an

Notes on notation and thought

(via HN)

A nice collection of quotes on notation as a tool of thought. Mostly not programming related, which actually makes them more interesting, offering a richer diversity of examples. We used to have quite a few discussions of notation in the early days (at least in part because I never accepted the prevailing dogma that syntax is not that interesting or important), which is a good reminder for folks to check the archives.




an

"Three Things I Wish I Knew When I Started Designing Languages"

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:

  1. Little interest by designers of programming-language designers in filling huge difficulty of debugging in context of distributed systems;
  2. PLs often make handling of data somewhat implicit, even with functional programming, which he says is dangerous in distributed programming;
  3. To talk about the flow of data properly, we need to talk about time;
  4. 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);
  5. Idea that distributed systems can be considered as protocols specified a bit like SQL or Datalog queries;
  6. Triviality with query languages of characterising the idea of place in distributive systems: they are just another relation parameter;
  7. 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;
  8. "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.




an

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

2018 by Brendan Fong and David I. Spivak

Category theory is becoming a central hub for all of pure mathematics. It is unmatched in its ability to organize and layer abstractions, to find commonalities between structures of all sorts, and to facilitate communication between different mathematical communities. But it has also been branching out into science, informatics, and industry. We believe that it has the potential to be a major cohesive force in the world, building rigorous bridges between disparate worlds, both theoretical and practical. The motto at MIT is mens et manus, Latin for mind and hand. We believe that category theory—and pure math in general—has stayed in the realm of mind for too long; it is ripe to be brought to hand.
A very approachable but useful introduction to category theory. It avoids the Scylla and Charybdis of becoming incomprehensible after page 2 (as many academic texts do), and barely scratching the surface (as many popular texts do).




an

Histogram: You have to know the past to understand the present by Tomas Petricek

Histogram: You have to know the past to understand the present by Tomas Petricek, University of Kent

Programs are created through a variety of interactions. A programmer might write some code, run it interactively to check whether it works, use copy and paste, apply a refactoring or choose an item from an auto-complete list. Programming research often forgets about these and represents programs as the resulting text. Consequently, thinking about such interactions is often out of scope. This essay shifts focus from programs to a more interesting question of programming.

We represent programs as lists of interactions such as triggering an auto-complete and choosing an option, declaring a value, introducing a variable or evaluating a piece of code. We explore a number of consequences of this way of thinking about programs. First, if we create functions by writing concrete code using a sample input and applying a refactoring, we do not lose the sample input and can use it later for debugging. Second, if we treat executing code interactively as an interaction and store the results, we can later use this information to give more precise suggestions in auto-complete. Third, by moving away from a textual representation, we can display the same program as text, but also in a view inspired by spreadsheets. Fourth, we can let programmers create programs by directly interacting with live previews as those interactions can be recorded and as a part of program history.

We discuss the key ideas through examples in a simple programming environment for data exploration. Our focus in this essay is more on principles than on providing fine tuned user experience. We keep our environment more explicit, especially when this reveals what is happening behind the scenes. We aim to show that seeing programs as lists of interactions is a powerful change of perspective that can help us build better programming systems with novel features that make programming easier and more accessible. The data exploration environment in this interactive essay may not yet be that, but it gives a glimpse of the future.




an

Applications of Blockchain to Programming Language Theory

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.




an

I’m Coming Back To Lindsay Lohan

I’m Coming Back To Lindsay Lohan

Welcome back, Lindsay Lohan. And what better time than when we are all trapped in our homes desperate for something/anything to talk about. Linsday just dripped her first single, "Back To Me", since the year of the flood.

I Mean…What?!?




an

Hollywood and Brine

Hollywood and Brine

One thing is getting to Hollywood; the other is staying here. You can’t just stay here in the hopes of becoming a celebrity and take a job at a bank or some other menial office job in the Valley. Heaven forbid.

I Mean…What?!?






an

Kans op 2e golf, maar contactopsporing moet 2e lockdown vermijden: bekijk de beste fragmenten uit "Het coronadebat" - VRT NWS

  1. Kans op 2e golf, maar contactopsporing moet 2e lockdown vermijden: bekijk de beste fragmenten uit "Het coronadebat"  VRT NWS
  2. Het Corona Debat met Marc Van Ranst, Erika Vlieghe, Maggie De Block (Open Vld), Bart De Wever (N-VA) en anderen  De Morgen
  3. 'We moeten tijd winnen tot vaccin er is'  De Standaard
  4. Het grote coronadebat: “We moeten tijd winnen tot vaccin er is”  Het Belang van Limburg
  5. Hele verhaal bekijken via Google Nieuws














an

173 gestrande Belgen eindelijk thuis na quarantaine in Tenerife: “Regering liet ons aan ons lot over. We hebben twee maanden op ons terras moeten doorbrengen” - Het Laatste Nieuws

  1. 173 gestrande Belgen eindelijk thuis na quarantaine in Tenerife: “Regering liet ons aan ons lot over. We hebben twee maanden op ons terras moeten doorbrengen”  Het Laatste Nieuws
  2. 173 gestrande Belgen eindelijk thuis na quarantaine in Tenerife: “Regering heeft te weinig gedaan!”  Het Laatste Nieuws
  3. Na quarantaine in Tenerife: 173 Belgen eindelijk weer thuis  De Morgen
  4. Belgen die vastzaten op Tenerife charterden zelf vliegtuig naar huis  De Standaard
  5. West-Vlaming regelt repatriëring gestrande Belgen  Focus en WTV
  6. Hele verhaal bekijken via Google Nieuws

















an

Book Review: STRANGER STILL

Stranger Still Michaelbrent Collings Written Insomnia Press, 2020 Reviewed by Andrew Byers Stranger Still is a stand-alone sequel to Michaelbrent Collings’ horror thriller Strangers, which I reviewed way back in 2013. I enjoyed Strangers a lot, so was very pleasantly surprised to find that after this long hiatus, Collings had returned to that world. In […]




an

Free National Theatre: FRANKENSTEIN (Cumberbatch Version)

A new play by Nick Dear, based on the novel by Mary Shelley. Watch Danny Boyle’s monster hit Frankenstein with Benedict Cumberbatch as the creature and Jonny Lee Miller as Victor Frankenstein. Frankenstein with Benedict Cumberbatch as the creature is streaming for free from 7pm UK time on Thursday 30 April. Available on demand until […]




an

The Best (and Simplest!) Writing Advice You Will Ever Receive

.



Over on Facebook, Samuel R. Delany, answering a question in a post, offered the best and most succinct writing advice anyone has ever codified. Here, in its entirety, it is:

Writing advice: Read and reread. Think of a story you have never read but wish you had; then write it as carefully as you can. Finish it, and send it around till it's published.

The third sentence, as Chip noted at the time, was a condensation of advice that Robert A. Heinlein offered. So what you have above is the combined wisdom of two of the greatest careers science fiction has ever seen.

I could unpack that brief paragraph at enormous length. But, honestly, there's no need. You read it and you understood it. Now you only have to live it.


Above: The photo by James Hamilton was lifted from The Nation, where it illustrated a typically thoughtful and enlightened interview with Chip. You can find it here.


*




an

A Glorious Review of The Postmodern Adventures of Darger and Surplus

.



My Subterranean Press collection, The Postmodern Adventuers of Darger and Surplus,  has received quite a splendid review for Locus by Gary K. Wolfe, which has now been posted on Locus Online. Darger and Surplus are, as you probably know, gentlemen grifters in the future civilization that rises from the ashes of our own, after a failed revolution by the Artificial Intelligences we are currently hard at work creating. Humanity mostly won that war and the demons and mad gods were banished to a subterranean infrastructure too widespread and well-defended to be rooted out. But, as a result, the mechanical sciences have languished while the biological ones thrive.

All this is spelled out in the review more entertainingly than I have put it here. I encourage you to read it.

Meanwhile, here's the pull-quote I'd grab from the review if I were the sort of person who did that sort of thing:

As those Hugo voters apparently recognized nearly 20 years ago, Darger and Surplus not only join the small company of SF’s classic rogues, but the world they occupy is as complex, detailed, and morally chaotic as we’ve come to expect from the best of Swanwick’s fiction.

You can find the review in its glorious entirety here. Or you can just go to locusmag.com and poke around. Bot Locus and Locus Online make for informative, enjoyable reading


And as long as you're there . . .

Like everything else, Locus is feeling the financial stress of the lockdown. If you can afford it, and if you, like me, value the publication, consider contributing a little toward its survival.


*




an

E-Book Sales Sunday and Monday!

.


Open Road Media, my main e-book publisher, appears to be on a tear these days. Maybe because a lot of self-isolated people need books these days and aren't willing to wait for them to be delivered through the mails? I don't know and I haven't asked. I just pass along their promotions to you.

On Sunday, April 19th for one day only, my classic Grand Tour of the Solar System novel, Vacuum Flowers, will be on sale for $1.99 in Canada and the US.

Rebel Elizabeth Mudlark has a headful of stolen wetware, enemies that want her dead, and a Solar System full of colorful human and posthuman cultures that is far too small for her to hide in. She doesn't want to change everything. But she has no choice...

(Vacuum Flowers was written at the height of the Cyberpunk/Humanist wars and was meant to belong to neither camp. But I did throw in a short nod to each camp in the novel. Widely separated, of course.)

Here's their chart:


ISBN13 Title Author Promo Type Country Start Date End Date Promo Price
9781504036504 Vacuum Flowers Swanwick, Michael ORM - Portalist NL US 2020-04-19 2020-04-19 $1.99
9781504036504 Vacuum Flowers Swanwick, Michael ORM - Portalist NL CA 2020-04-19 2020-04-19 $1.99


Immediately after, on Monday, April 20th, my short story collection, ,Tales of Old Earth, goes on sale in the US and Canada for $2.99.

Tales of Old Earth contains nineteen of my best and strangest stories, including two Hugo Award winners and I forget how many also-rans. Featuring a planet-sized grasshopper, the train to Hell, an amorous sphinx, the last elves in the world, a civilization inside an International Harvester refrigerator, and much, much more!

Here's the second chart:



ISBN13 Title Author Promo Type Country Start Date End Date Promo Price
9781504036511 Tales of Old Earth Swanwick, Michael ORM - Early Bird Books NL US 2020-04-20 2020-04-20 $2.99
9781504036511 Tales of Old Earth Swanwick, Michael ORM - Early Bird Books NL CA 2020-04-20 2020-04-20 $2.99


Enjoy!

*




an

The Postutopian Adventures of Michael Swanwick

.


Look what came in the mail! My contributor's copies of The Postmodern Adventures of Darger and Surplus. Which I can now honestly tell you are beautiful books. Marianne--owner, reditor, and sole entrepreneur of Dragonstairs Press, remember--especially admired the texture of the endpapers.

This is the first Darger and Surplus collection of short, and it collects everything except the two novels. But I should caution you that it is a slim book--five previously published stories, four related short-shorts, and "There Was an Old Woman..." a story written expressly for this collection.  Bloated this volume is not.

Subterranean Press has created, as I said, one lovely volume. It costs $40, because it's a high-quality collector's item, published in a limited edition of one thousand. But for a high quality collector's item, published in a limited edition of one thousand, that's pretty cheap.

Here's the table of contents:

Introduction:
  • Mother Goose’s Errant Sons
Stories:
  • The Dog Said Bow-Wow
  • The Little Cat Laughed to See Such Sport
  • Girls and Boys, Come Out to Play
  • Tawny Petticoats
  • There Was An Old Woman
  • Appendix:

  • Introduction to Appendix: A Little Smoke and a Mirror or Three
  • Smoke and Mirrors: Four Scenes from the Postutopian Future

If you're interested, you can buy a copy of the book here.

Or you can buy an e-book version for $5 here.

Oe you can simply go the the Subterranean website and poke around here.  Mine isn't the only book there you want. Far from it.


*





an

A Last Minute Ten, Nine, Eight … Point Transit Plan

The mayor's list of ideas to alleviate crowding offers little relief in the short term.

Mayor John Tory announced a ten-point plan to fight congestion and delays on the TTC at a press conference just before Toronto Council began its final debates on the 2018 budget. Through the entire budget process, starting with Tory’s cohort on the TTC Board and continuing through the City Budget and Executive committees, transit has […]

The post A Last Minute Ten, Nine, Eight … Point Transit Plan appeared first on Torontoist.