In todays The Times the public is given a good explanation why the Maltese courts do not have time for unimportant cases like murders, trafficking, rapes, smuggling of narcotics etc. The courts have far more important cases to deal with, namely cases of insulting. A circus agent felt insulted after being called a clown. This terrible crime was rather soon brought to court for judgment. AlphaThe Observer is confident that the public feel great gratitude that the legal system makes such wise priorities.

Terrible building on Tower Ro

The entrance

San Anton Garden

Notice the text on the bus to Marsaxlokk

1. Happy birthday Sai Pallavi: 4 times the actress redefined female superstar tag  Onmanorama
2. Birthday Special! Sai Pallavi is the epitome of elegance and grace in sarees. PHOTOS  Times of India
3. Happy Birthday Sai Pallavi: 5 Instagram Pictures Of The Actress You Can’t Miss  News18
4. Happy birthday Sai Pallavi: A powerhouse performer  Deccan Herald
5. Sai Pallavi birthday: Rana Daggubati, Naga Chaitanya and others send wishes  The Indian Express
6. View Full coverage on Google News

1. Strategic oil storage to be full by mid-May: Dharmendra Pradhan  Livemint
2. India's fuel demand nearly halves in April amid national lockdown  Hindustan Times
3. Dharmendra Pradhan hints at new gas policy, says low oil prices no answer  Zee News
4. India has ample crude oil reserves: Pradhan  The Tribune India
5. India's Fuel Consumption Falls 46% To Lowest Since 2007  NDTV Profit
6. View Full coverage on Google News

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.

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.

In 2017, a team from Northeastern University released Turnstile, a framework for implementing propositionally typed languages in Racket; cf. naasking's story Type Systems as Macros. The system was really nice because it allowed type systems to be expressed in a manner similar to the way theoretical PL researchers would in a paper, and because it hooked into Racket's clean compiler backend.

Now Stephen Chang, one of that team, together with new coauthors Michael Ballantyne, Usamilo Turner and William Bowman, have released a rewrite that they call Turnstile+, together with a POPL article, Dependent Type Systems as Macros. From that article's introduction:

Turnstile+ represents a major research leap over its predecessor. Specifically, we solve the major challenges necessary to implement dependent types and their accompanying DSLs and extensions (which Turnstile could not support), while retaining the original abilities of Turnstile. For example, one considerable obstacle was the separation between the macro expansion phase and a program’s runtime phase. Since dependently typed languages may evaluate expressions while type checking, checking dependent types with macros requires new macrology design patterns and abstractions for interleaving expansion, type checking, and evaluation. The following summarizes our key innovations.

• Turnstile+ demands a radically different API for implementing a language’s types. It must be straightforward yet expressive enough to represent a range of constructs from base types, to binding forms like Π-types, to datatype definition forms for indexed inductive type families.
• Turnstile+ includes an API for defining type-level computation, which we dub normalization by macro expansion. A programmer writes a reduction rule using syntax resembling familiar on-paper notation, and Turnstile+ generates a macro definition that performs the reduction during macro expansion. This allows easily implementing modular type-level evaluation.
• Turnstile+’s new type API adds a generic type operation interface, enabling modular implementation of features such as error messages, pattern matching, and resugaring. This is particularly important for implementing tools like tactic systems that inspect intermediate type-checking steps and construct partial terms.
• Turnstile+’s core type checking infrastructure requires an overhaul, specifically with first-class type environments, in order to accommodate features like dependent binding structures of the shape[x:τ]...,i.e., telescopes [de Bruijn 1991; McBride 2000].
• Relatedly, Turnstile+’s inference-rule syntax is extended so that operations over telescopes, or premises with references to telescopes, operate as folds instead of as maps

The code is available at https://github.com/stchang/macrotypes.

1. Viroloog Marion Koopmans: 'Als het misgaat, hebben we echt een megaprobleem'  AD.nl
2. Ook Nederlandse viroloog verwacht tweede coronagolf | Buitenland | Nieuws  Het Laatste Nieuws
3. Viroloog: “Nieuwe coronagolf verwacht, alles staat of valt met hoe we ons gedragen”  Oog TV
4. BLIJF BANG! Viroloog Marion Koopmans waarschuwt: 'Die tweede coronavirus-golf komt er'  De Dagelijkse Standaard
5. Viroloog: 'Er komt een tweede coronagolf die mogelijk nog krachtiger is dan de eerste'  ThePostOnline
6. Hele verhaal bekijken via Google Nieuws

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

1. TV-bazen over de impact van corona - DEEL 2. Davy Parmentier van VTM: “Hoe het straks verder moet, weet vandaag nog niemand”  Het Laatste Nieuws
2. 'Een vrijscène met 1,5 meter afstand, hoe doe je dat?'  De Tijd
3. TV-bazen over de impact van corona - DEEL 1. Olivier Goris van VRT: “Ik hou er rekening mee dat we de komende zes maanden geen seconde fictie draaien”  Het Laatste Nieuws
4. Zomer vol herhalingen, en herhalingen van herhalingen: coronacrisis is opdoffer voor alle tv-zenders, en vooral voor VRT  Het Laatste Nieuws
5. Hele verhaal bekijken via Google Nieuws

MSI komt met inruilprogramma voor upgrade naar Z490-moederbord  Hardware InfoHele verhaal bekijken via Google Nieuws

1. Smartphones aan spotprijzen, ze bestaan nog: onze gadget inspector test er twee  Het Belang van Limburg
2. GETEST. Spotgoedkope smartphones van minder dan 100 euro  Het Nieuwsblad
3. Hele verhaal bekijken via Google 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

1. Betogers uit erg diverse hoeken protesteren tegen coronamaatregelen in Duitsland  VRT NWS
2. Duitsland demonstreert tegen coronamaatregelen  De Standaard
3. Duitse ME grijpt in bij protest tegen coronamaatregelen  Telegraaf.nl
4. Hele verhaal bekijken via Google Nieuws

Man die fietspad bezaait met prikkeldraad, spijkers en glas praat zichzelf aan de galg tegen visser die stiekem filmt  Het Laatste Nieuws

LIVE. De Wever over eventuele tweede piek: “Normale quarantaine is er een van zieken, niet van gezonde mensen”  Het Laatste Nieuws

Experts, economen en politici: iedereen is nu al bezig met een tweede coronagolf. “Zolang er geen vaccin is, zal het nieuwe normaal blijven bestaan”  Het Nieuwsblad

Line 1 is over capacity—adding more stops isn't the solution.

We need to talk about this idea to extend the Yonge line up to Richmond Hill. The Yonge line is already congested. Anyone who rides the subway regularly is aware of this. The immediate plans to address it are, shall we say, unimpressive. The Yonge Relief Network Study done in 2015 for Metrolinx [PDF] focused […]

The post Extending the Yonge line will only make crowding worse appeared first on Torontoist.

Top 10 Friday Night SmackDown moments: WWE Top 10, May 8, 2020

I do enjoy painting orcs, it is so enjoyable and freeing after painting hundreds of identical uniforms. These bases had an extra level of enjoyment because they contained many orcy helmets converted with green stuff. I think in the whole they turned okay and add to the hodge podge look of the units. I had planned to spread these helmet guys out but ended up using them all on these two bases, they were finished and ready to go when I needed them, so they were used.
This giant orc Warlord is from Reaper Miniatures. He is massive and so he counts as two orcs in one. My six to a base rule works out as if they are small Goblins, they get an extra figure or two. If they are giant warriors, well then they get one less. This is to keep the fighting value of the base the same visually.
Plastic Warlord Games orcs with green stuff heads and an old plastic GW banner bring up the rear. Also on this base is the classic standard bearer for Harboth’s Black mountain boys. Classic! No point hanging onto these precious opp models, get them painted and use them I say.
It appears my years in Art college weren’t wasted after all. Subconsciously when basing these brutes, I arranged them in such a way that the surrounding orcs weapons help guide your eye on to the leader of the piece. Twenty five years later I finally got it right...
Plastic axes were stuck on the leader’s helmet to give him a kind of orcy centurion look. This is influenced by the films I have to say and has a nice brutal look to it.

The Elf head on the standard was a nice find, however the pole was really thin and bendy. I reenforced this by adding a green stuff banner which really helped. I tore holes in it and made it look very tattered and the result was very pleasing.
The orc above with the mace was made from a Fire forge Sergeant’s body, oathmark goblin arms, warlord games orc head and green stuff mask. He also has a plastic cloak from somewhere too. A real  jumble of bits and pieces. I think here lies the real fun of this project, using parts to create unique figures. It’s very rewarding and I have to say becomes very addictive, in fact once you start it’s hard to stop.
A new base now and this one is lead by a very old sculpt indeed. I think it is an old ‘Perry’ Chaos warrior. Well, an orc who is a Chaos warrior at any rate. I always try to theme my bases slightly and they are always influenced by the leader. This oop figure needed some old friends to keep him company, so I found some other old Citadel miniatures for the base. Saying that, his two closest warriors are more kit bashed plastics with green stuff helmets. New meets very old.
Orcy spears and pole arms can be made by cutting off spears and sticking on naggaity goblin swords. Obviously this works better with plastics and plastic glue. I have found that once the glue has melted the two bits together the weapons are quite durable. The spear shaft will bend rather than the sword break off.
Again the arrangement of  positions helps to draw your eye into the centre of the piece. I surprise myself with this arty bullsh@t.

TIPS.
The motley crew. Earth brown paint was stippled over these guys to give them a real dirty look.  Lots of brown washes of various shades, green washes, black washes, in fact just go crazy with colour washes, you can’t really go wrong. Once a fine metal dry brush goes over the top, it all looks good and gives the armour a grungy look.

 Flesh wash is good for rusty armour so put patches of that here and there. If you have any bronze looking armour or shields, try some green wash on that too. Mix washes together to make the grungiest washes. I have a pot labelled ‘magic mix’ where I have mixed black with brown ink, this is great for orc skin, armour, weapons... well everything really. Just slap it on all over. It even smells bad because the tap water used in the mix has gone off, every time you open the orc shading pot... you get the orc!.

Give the kit bashing a go, it’s great fun and you will create something unique. Just because you have bought a plastic box set, don’t be scared to mix it up with another of a different make. Single sprues of Dark Age/medieval plastics can be bought on eBay for under a fiver. I use these to try and test things out, if I really like the results I will commit to buying a whole box. Plastics are a lot cheaper than lead so there is room to buy and try out different options without busting the purse strings..
Create me an army worthy of Mordor!

‘Sentiment mining’ – i.e. trying to gauge the Public’s attitude towards an institution, product, firm (etc. etc.) though automatic analysis of Social Media posts (etc. etc.) is now considered an essential tool for market researchers and ‘reputation managers’. But there are problems. One of which is sarcasm. Given its prevalence, serious errors can be introduced […]

BabyWasher, the automatic dirty-diaper-changing invention, honored by the 2019 Ig Nobel Prize for engineering, now has a name, and is now undergoing intense development. You can follow the progress by visiting the inventor’s new web site, BabyWashers.com.

life’s stats and photo journal pages have been updated. Not too much interesting this time around… life has been crazy, but not due to trips, at least. It was a really weird Christmas, weather-wise. Mostly because it was super warm … Continue reading →

Something extraordinary happened on May 4, 2020.  Deputy National Security Advisor Matt Pottinger delivered an extremely impressive speech in virtually flawless Mandarin.  Here it is: Here's the transcript of Pottinger's speech (pdf), the formal English title of which is "Reflections on China's May Fourth Movement: an American Perspective — Deputy National Security Advisor Matt Pottinger to […]

Today's xkcd: Mouseover title: "DOWNSIDES: Adobe people may periodically email your newsroom to ask you to call it an 'Adobe® PDF document,' but they'll reverse course once they learn how sarcastically you can pronounce the registered trademark symbol." My own pet peeve, speaking of how normal humans choose to communicate, is people who send an […]

Hi all.  Check out some of the really great party ideas some of you have added to my last post.  Watch the What’s New on the homepage.  Soon we’ll be doing some of them.  Continue to send me your party ideas – you guys rock. I have a challenge for you – how many NEW friends can […]

Hey, at least he's trying!

See ALL the Capshunized Animals here!

Whoever thought of this must've been really tipsy.

With this video I wanted to get outside of my comfort level in terms of the music that I normally listen to or use in my videos

One of the people that I'm subscribed to on YouTube a while back did a tribute video to this song by My Darkest Days to the new Robin Hood movie starring Russell Crowe. I thought this song would be a perfect match to the Mad Max trilogy

When I made this Mad Max tribute video I made it to only 1 and 2. I've always thought of Mad Max 3 Beyond Thunderdome as a seperate movie all unto itself, I like the third movie, but it lacks the same feel as the first two

When this website was focused on post apocalyptic survival one of the topics I mentioned was how to create a “bug out bag”. These are ready made emergency packs that you would grab when staying in your home was not an option. A bug out bag or emergency bag can be used for more then the possible collapse of civilization as we know it. In the event of a natural disaster, or if your stranded in the middle of nowhere, having an emergency supply of necessities can save your life.

When it comes to getting your site indexed and noticed by search engines everyone unless you’re absolutely brand new to the internet knows that in order to get noticed you need other sites linking back to yours. One method you might not be aware of is to use a link wheel. So What is a link wheel? Unlike the traditional back link or reciprocal links from other sites, a link wheel is a collection of web 2.0 sites that you create. Link wheels can range in size from a small handful to several dozen, and each site has relevant content to either your main website or blog, or to a specific page you’re trying to promote within your main site. In short your link sites are being used to give your website more authority and trust for a specific topic. This in tern gives you a better SERP or search engine ranking position. It also helps drive targeted traffic to your website.

I’m a huge fan of horror movies and movies about things that go bump in the night. The Wolfman is one of my favourites and one of the best werewolf movies to come out in a long time. For this video I was originally going to use the song Du Riechst So Gut (translated from German means you smell so good) by the band Rammstein.

Google Keyword Tool and Google Traffic Estimator, both of which are free tools provided by Google to help you analyze and find keywords that you can use to help promote your website and drive targeted traffic to it. And while these tools are very similar (there pages look almost identical) there are some key differences between the two free tools.

This is a Star Wars tribute video to the original movies using the song map of the problematique by Muse.

Most of the popular social book marking or networking sites have some form of social media share button. A little button that with one click allows you to share an article, video or web page on there site, in the hopes that it goes viral and gets you a tonne of hits. And while these buttons are usually easy to install, most sites only have either a limited number of choices, or a one size fits all approach. This is fine if you like what they offer, but if you want something that fits better with the theme and look of your website you have to do a bit of digging around.

How many times has this happened to you when searching online? You find several links to sites that look like they have the information you’re looking for. However when you go to those sites you find only a few ads and nothing but a couple lines of useless text. (If you’re lucky to even find that) So you go back and look around some more and find another link that takes you to another site like exactly like the first one,..............well maybe the color is different. After a bit more searching and running across several more websites like this, you either luck out or find the information you’re looking for, or get pissed off and give up. If this happened to you I don’t need to tell you how frustrating MFA websites are.