k

Kiasmos – Blurred + Remixes

musicisart magazine Kiasmos – Blurred + Remixes

  Sometimes the best way to relax is to listen to calming, downtempo music. Kiasmos provide a modern twist to perfection. Duo producers Ólafur Arnalds and Janus Rasmussen allow their own creative abilities to gracefully combine. Together their meditative sounds present an ethereal atmosphere mixed with sophisticated storylines told without words, felt within the simplistic beats […]

The post Kiasmos – Blurred + Remixes appeared first on musicisart magazine.




k

New Robyn track, Missing U

musicisart magazine New Robyn track, Missing U

[Art: Yishu – Wang Tsuru] When I listen to Robyn some type of spark enters my body and I’m able to forget myself for a moment. I know many others will attest to this beauty of a feeling as when her voice comes over: the sound, the melody, the lyrics, the harmony is infectious. Robyn has has been […]

The post New Robyn track, Missing U appeared first on musicisart magazine.











k

The Grand Mask

Some say we must mask ourselves to save ourselves and others Others say we must unmask to save America and as for the world beyond America it can kiss  our collective unmasked ass Then again  the face we know of  America itself has always been a mask covering hypocrisy with good intentions Contradiction is how it stays […]




k

Not A Dusk

To imagine our worlds as settled in some aspects, to understand that some people dear to us are no doubt now part of our pasts, that while we may correspond  we will never be in each others’ physical presence again, yet still we shall continue to speak to and share in each other in all other […]




k

Where The Great Work Begins

We were all bone-tired before this exaltation of humility came upon us. We may have looked more madcap, more animated from a distance, but if you’d looked into  our eyes, you would have seen years of restless sleep and no true relaxation, regardless of what  yoga magazines told us we’d gained. Scoff as you want. Had […]






k

I swear Australia is just filled with real life pokemon

I swear Australia is just filled with real life pokemon



View Comic!








k

animal crackers: a sweet memory in every bite

  Did you know that tomorrow, April l8, is National Animal Crackers Day? ???? Oh, to return to a simpler, more innocent time, when it was all about glee rather than guilt! *     ANIMAL CRACKER (no s) by Gretchen Friel My students are inspired to read more poems aloud if I bring frosted … Continue reading animal crackers: a sweet memory in every bite




k

[tasty review] United Tastes of America by Gabrielle Langholtz, Jenny Bowers, and DL Acken

  Feeling a little peckish? What’s your pleasure? If you’re craving something savory, perhaps we should zip on over to Illinois for some deep dish pizza and pierogies. Something a little more substantial? Well, we could feast on chicken fried steak in Oklahoma and bison burgers in Wyoming, before topping everything off with a platter … Continue reading [tasty review] United Tastes of America by Gabrielle Langholtz, Jenny Bowers, and DL Acken




k

[spicy guest post] Pippa Park’s Favorite Korean Stew by Erin Yun

So pleased to welcome NYC author Erin Yun to the blog today. Her debut middle grade novel, Pippa Park Raises Her Game (Fabled Films Press, 2020), is a contemporary reimagining of the Dickens’s classic Great Expectations.     Life is full of great expectations for Korean American Pippa Park. It seems like everyone, from her … Continue reading [spicy guest post] Pippa Park’s Favorite Korean Stew by Erin Yun




k

cookie jar capers

“A balanced diet is a cookie in each hand.” ~ Barbara Johnson   Did YOU take the cookies from the cookie jar? Who, me? Yes, you! Couldn’t be. Then, who?   Can’t fool me. I see crumbs on your face. ???? Don’t blame you, though. A cookie, at any time of day, always makes things … Continue reading cookie jar capers




k

Traffic in Malta, a risky business

I have often been surprised how dangerous it is to cross a street in Malta, especially if there is not a pedestrian crossing. It appears that motorists among themselves have a contest to see who can scare the pedestrians most.  It is not surprising that Malta is among the countries with the highest accident rates in traffic in Europe. If the roads were in a better condition the victims would, due to possible higher speed, probably be many more.
Another thing that amazes a foreigner from northern Europe, is the constant honking. If honking were an Olympic event Malta would undoubtedly win a medal of high value. Many people I have discussed this matter with have expressed a thought that may be Maltese driving licenses are issued by Disney World or come withe the cereal packages from Scotts.
Another thing that is surprising to a foreigner is the rule that cars, that have been involved in an accident, must not be moved before the police has arrived and documented the damages even how small these are. For instance I saw two cars touch each other at Tigné Seafront in Sliema. It was only a small dent on one car. Both cars stopped traffic so that no vehicles could pass the place of the accident. This happened in rush hour. A motorcycle police arrived after about 10 minutes and marked the cars position by spraying marks on the road. It took about ten seconds. The queue, which was formed, probably reached St. Julians. But, of course, many young Maltese men were excited; there was a good reason to honk!




k

Fireworks - a dangerous trade

One thing that astonishes many foreigners visiting Malta for a shorter or longer period of time is all the fireworks going on both day and nights. What many visitors to the islands don’t know is that people die or are seriously wounded every year due to accidents with manufacturing fireworks. About a year ago almost a whole family was tragically wiped out in an explosion in connection with manufacturing fireworks. An independent inquiry has warned that Malta would experience at least one large-scale fatal fireworks accident in this year or the next. An inquiry for public consultation is opened and still pending. This week a new accident took place where three people were hurt, one of them is in a critical condition, in connection with making fireworks. It should be said that the responsible people were licensed to make fireworks. It seems like it is far too easy to obtain permission to make fireworks without very strict rules about where a factory might be placed and what chemicals should be allowed.

One can also argue, from an environmental point of view, that the use of fireworks should be restricted to times when Maltese traditions absolutely require it. Fireworks contain lots of harmful substances that, when exploded, are emitted into the air.




k

Donald Duck government

When reading The Times one does not know if one should laugh or cry. Malta government seems more and more like a Donald Duck government, a joke, with government officials, sadly including members of the Judicial, being so dishonest that it is difficult to comprehend. The government officials seem so eager to be just bigwigs that they have forgotten who they are put to serve.The judicial system seems to be in a mess.

The Observer just wants to give a few examples from todays The Times.

Once more a new bribery probe is ongoing against Transport Malta officials.
This governmental body seems to be one of the most dishonest not only in Malta but in the whole EU. This time the bribery inquiry concerns three officials so far, but in 2010 another three officials and 230 other people were charged in connection with hundreds of driving licenses granted to people who had not even sat for a test. This proves that The Observer was absolutely right in the article “Traffic in Malta, a risky business” of Feb 14, although some of the licenses have been seized by the police. However, one thing was not correct; the driving licenses are not issued by Disney World or come with the cereal packages from Scotts, but are issued by Transport Malta against a monetary compensation. This way of giving out driving licenses must surely be promoting road safety in Malta.


Malta has a very old fashioned system for ensuring that people can show that they are entitled to vote in the coming council election. Policemen deliver the documents to every single voter in person. This means that the policemen knock doors for several weeks; no wonder that there are more policemen in Malta in relation to the size of the population than in most EU countries. In Sliema the police have failed to deliver documents to 58 % of the voters.

Since Sliema is said to be a PN stronghold one can wonder if this is one more situation in which bribes are occurring. A policeman who delivers documents in Sliema and is a convinced PL supporter can easily neglect to deliver in areas with strong support for PN. The Observer does not state that this is the case but has a time saving suggestion that also will exclude the possibility of bribes; Malta should modernize its system and this is very easily done. Malta has computerized lists of the population which easily can be sorted (if not this has been done already) by place of residence in voting lists. People then just have to show their ID cards when coming to the polls and be ticked off. The present system is just ridiculous.

The Observer just want to stress what is said in the article of Feb 15, “Reflections on the judicial system in Malta” by referring to the following articles in The Times of today. Here.

And do not forget to look into this one!




k

Making buildings higher and thus destroy their appearance

Terrible building on Tower Ro
Terrible example on Tower Road
Beautiful building on Tower Road
Villa Aurora on Tower Road
As a foreigner I sometimes wonder how it is possible that some buildings in, for instance, Sliema have had floors built-on in a completely different style than the existing house. On Tower Road there are several terrible examples. Before one start such development one must get permission from the authorities, I suppose that the authority in such case is MEPA. Either there are no rules in what way you can change a building’s appearance or, someone, apart from the owner and the developer, have had some odd interest in granting permission despite the rules. One can only hope that this destruction of buildings does not in the future affect Villa Aurora or the other lovely buildings on Tower Road that not yet have been in the hands of irresponsible developers and, if there are rules, civil servants with a private agenda. However, there are good examples of buildings where the developer has tried to build the extra floors in a style that are more consistent with the older part of the building




k

The Maltese people, warm and kind

The entrance

San Anton Garden
Yesterday, The Observer with family went to Balzan. After some shopping we wanted to sit down and eat the lunch we had brought with us, preferable in a park. We asked a Maltese lady standing outside Smart, the big department store, if she could recommend a place where we could have our lunch. She told us that there is a lovely garden in Balzan, San Anton, but that it would be too complicated to explain the way to this garden. Instead she told us that she would gladly drive us there and so she did! This is not the first time we have been so well taken care of by Maltese people. The kindness of the Maltese people is one of the things that makes life so much easier on this little tiny island. San Anton in Balzan is really worth a visit with wonderful flowers and many other plants as well as birds!








k

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.




k

"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.




k

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).




k

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.




k

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.




k

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?!?




k

When Queens Becomes Kings (Tiger King)

When Queens Becomes Kings (Tiger King)

The hysteria around the Netflix show "Tiger King" has been very eyeopening. What is it about this low-rent animal abuser has Jared Leto, Cardi B, and the many other celebrities peacocking their obsessions with his unforgivable shenanigans?

I Mean…What?!?






k

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