1. Covid-19 Delhi latest figures- 224 new cases take capital’s total to 8,630, India tally at 59,662  Hindustan Times
2. Confusion over Delhi's Covid-19 toll as govt data, figures from hospitals don't match  Times of India
3. 3 More Private Hospitals To Treat COVID-19 Patients In Delhi  NDTV
4. Delhi Covid-19 tally tops 6,000 with 338 new cases in last 24 hours  Livemint
5. 100 rooms in Delhi's five-star hotels now hospitals  Times of India
6. View Full coverage on Google News

1. Shah slams Bengal govt for 'not allowing' migrant trains; Centre lying, says TMC  Times of India
2. Not Allowing Migrants' Trains "Injustice": Amit Shah To Mamata Banerjee  NDTV
3. TMC releases 'proof' after Centre alleges blockade of migrant transport in West Bengal  TIMES NOW
4. News updates from Hindustan Times: Have 7-stage plan to bring back migrants, says TMC on Amit Shah’s...  Hindustan Times
5. Bengal Says 8 Trains to Bring Back Migrant Workers Scheduled as Amit Shah Writes to Mamata on 'Injustice'  News18
6. View Full coverage on Google News

1. Not anticipating worst situation in India: Harsh Vardhan on Covid-19 pandemic  Hindustan Times
2. Health ministry says learn to live with coronavirus as India's COVID-19 count crosses 56,000  India Gone Viral
3. Government Tweaks Rules For Testing As COVID-19 Cases Rise. Details Here  NDTV
4. 80 per cent of Telangana will be rid of coronavirus soon: Eatala  The New Indian Express
5. ‘We must learn to live with the coronavirus,’ says health ministry  Scroll.in
6. View Full coverage on Google News

ICMR teams up with Bharat Biotech to develop COVID-19 vaccine  The Financial ExpressView Full coverage on Google News

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.

Yep, it on!

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.

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

History of Lisp (The history of LISP according to McCarthy's memory in 1978, presented at the ACM SIGPLAN History of Programming Languages Conference.)

This is such a fun paper which I couldn't find on LtU. It's about the very early history of programming (1950s and '60s), back when things we take for granted today didn't exist yet.

On taking apart complex data structures with functions like CAR and CDR:

It was immediately apparent that arbitrary subexpressions of symbolic expressions could be obtained by composing the functions that extract immediate subexpressions, and this seemed reason enough to go to an algebraic language.

On creating new data, i.e. CONS:

At some point a cons(a,d,p,t) was defined, but it was regarded as a subroutine and not as a function with a value. ... Gelernter and Gerberich noticed that cons should be a function, not just a subroutine, and that its value should be the location of the word that had been taken from the free storage list. This permitted new expressions to be constructed out of subsubexpressions by composing occurrences of cons

On inventing IF:

This led to the invention of the true conditional expression which evaluates only one of N1 and N2 according to whether M is true or false and to a desire for a programming language that would allow its use.

On how supreme laziness led to the invention of garbage collection:

Once we decided on garbage collection, its actual implementation could be postponed, because only toy examples were being done.

You might have heard this before:

S.R. Russell noticed that eval could serve as an interpreter for LISP, promptly hand coded it, and we now had a programming language with an interpreter.

And the rest is history...

Jules Hedges has written a thought-provoking blog post, On compositionality where he connects the familiar idea of compositionality to the idea of emergent effects in nature, where systems can be understood as either having compositional properties or emergent properties.

The key point about emergent systems is that they are hard to understand, and this is as true for engineering as it is for science. He goes on to say "As a final thought, I claim that compositionality is extremely delicate, and that it is so powerful that it is worth going to extreme lengths to achieve it", so that avoiding emergent effects is a characteristic of good programming language design.

Some thoughts:

1. His examples of emergent systems are biology and game theory from an economic perspective. I would add to this list physics: of his co-authored paper showing that the spectral gap is undecidable, David Pérez-García said "For example, our results show that adding even a single particle to a lump of matter, however large, could in principle dramatically change its properties."
2. Spolsky's famous characterisation of interfaces built on shaky foundations as Leaky abstractions to me makes the distinction between compositional and emergent systems a little less than sharp.
3. We could talk endlessly about the list of what he regards as compositionality-breaking features of PLs. The evils of global state are well-documented, but I find dmbarbour's argument that Local state is poison a very interesting alternative way to look at what properties do we want from code; more generally, what kind of compositionalty PLs offer is very much paradigm dependent. Gotos are considered harmful, but the Linux kernel has little trouble with longjmp because of its mandated coding style: compositionality in engineering is a not just a matter of semantics but also of use. He targets OO and Haskell's type classes - I think he is quite correct - note that within these paradigms one can regain compositionality by restricting to LSP or algebraic classes, and supporting his thesis we see that these ideas have spawned ideas for the design of new, cleaner PLs.

A new introductory book about dependent types, involving some familiar names:

The Little Typer

by Daniel P. Friedman and David Thrane Christiansen.

Foreword by Robert Harper.

Afterword by Conor McBride.

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer.

The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming—pairs, lists, functions, and recursion—can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

From Andrey Mokhov's twitter feed:

Is there any intermediate abstraction between applicative functors and monads? And if yes, what is it? In a new paper with @geo2A, @simonmar and @dimenix we explore "selective functors", which are essentially applicative functors with branching: https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf

We've implemented selective functors in Haskell: https://github.com/snowleopard/selective, OCaml: https://github.com/snowleopard/selective-ocaml, and even Coq: https://github.com/tuura/selective-theory-coq (the Coq repository contains some proofs of correctness that our selective instances are lawful). And there is also a PureScript fork!

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.

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.

Tensor Considered Harmful, by Alexander Rush

TL;DR: Despite its ubiquity in deep learning, Tensor is broken. It forces bad habits such as exposing private dimensions, broadcasting based on absolute position, and keeping type information in documentation. This post presents a proof-of-concept of an alternative approach, named tensors, with named dimensions. This change eliminates the need for indexing, dim arguments, einsum- style unpacking, and documentation-based coding. The prototype PyTorch library accompanying this blog post is available as namedtensor.

Thanks to Edward Z. Yang for pointing me to this "Considered Harmful" position paper.

An enjoyable 25-minute introductory talk: YOW! Lambda Jam 2019 - Ken Scambler - Applied Category Theory (slides)

What do programming, quantum physics, chemistry, neuroscience, systems biology, natural language parsing, causality, network theory, game theory, dynamical systems and database theory have in common?

As functional programmers, we know how useful category theory can be for our work - or perhaps how abstruse and distant it can seem. What is less well known is that applying category theory to the real world is an exciting field of study that has really taken off in just the last few years. It turns out that we share something big with other fields and industries - we want to make big things out of little things without everything going to hell! The key is compositionality, the central idea of category theory.

Previously: Seven Sketches in Compositionality: An Invitation to Applied Category Theory.

(via Brian McKenna)

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.

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.

Love In The Time Of Corona?

There is no reason to think that Nobel prize-winning author Gabriel García Márquez "Love in the Time of Cholera" and my desperate attempt at writing a book "Last Five Minutes of Fame" should be uttered in the same breath for literary purposes. But then again, Donald Trump shouldn't be President of the United States, so fuck it...here goes.

I Mean…What?!?

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

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

Last Five Minutes of Fame

To what lengths does one have to go in order to achieve fame? It wasn’t until years later that by simply sucking on someone’s cock (Monica Lewinsky and Kim Kardashian) that the distance one had to go to achieve fame was not that far at all. The only distance they had to go...was down.

I Mean…What?!?

Why Do The Good Die Young?

I thought back to the summer when I was eleven years old, after my father had discovered making money and had moved us “on up” from the dregs of Weehawken, New Jersey, situated on the ass end of the Lincoln Tunnel to the posh suburb, Englewood Cliffs just north of the George Washington Bridge.

I Mean…What?!?

STUDIO 54 – THE FIRST FIVE MINUTES

It was “the only” time, and for sure, the best years of my life. Though it’s still not clear when or how, but at some point, I began running with the Beautiful People (BPs).

I Mean…What?!?

The Fitness Guru?

 CHAPTER 6 – PART 1  THE FITNESS GURU? Losing a human being can be an exhilarating experience. Not an actual person such as a lover, friend or family member; that tends to be a sad affair, though not always. Losing enough excess fat that amounts to the weight of an entire human being, now that’s exhilarating. Such a loss—a person’s worth of blubber—referenced here, was something Abe Gurko was fortunate enough to experience. He attributed the unwanted amount of fat that he’d gained throughout his childhood to having been stuffed to the gills by an overly Jewish mother who survived

I Mean…What?!?

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

'Groepsimmuniteit gaat niet gebeuren'  De TijdHele verhaal bekijken via Google Nieuws

Antilichamen in uw bloed zijn geen belofte dat u veilig bent  Het Belang van LimburgHele 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. Waasland-Beveren dropt bom, Club Brugge dreigt titel te verliezen  Voetbal24.be
2. Waasland-Beveren wil niet zakken: "1A met 18 is logische oplossing"  sporza.be
3. Waasland-Beveren heeft uitstekend nieuws voor Beerschot en OHL  VoetbalNieuws.be
4. Waasland-Beveren-voorzitter Dirk Huyck over de strijd om in 1A te blijven - Voetbalnieuws  Voetbalkrant.com
5. Voorzitter Waasland-Beveren: “Wij zullen nooit akkoord gaan met degradatie”  Het Laatste Nieuws
6. Hele verhaal bekijken via Google Nieuws

1. gaat voor een nieuw contract bij Antwerp - Voetbalnieuws  Voetbalkrant.com
2. 'Mbokani zorgt voor zeer onaangename transferverrassing bij Antwerp'  Voetbal24.be
3. Defour schenkt klare wijn over toekomst bij Antwerp  VoetbalNieuws.be
4. Steven Defour: “Er is wat interesse uit het buitenland, maar ik wil bij Antwerp blijven”  Het Laatste Nieuws
5. 'Sinan Bolat versiert fraaie toptransfer: Dit is zijn nieuwe club'  Voetbal24.be
6. Hele verhaal bekijken via Google Nieuws

1. Remco Evenepoel: "Vandaag had een heel belangrijke dag moeten zijn"  sporza.be
2. Remco Evenepoel verkiest Giro boven Luik-Bastenaken-Luik | Wielrennen | Sport  Het Laatste Nieuws
3. Contador over 20 minuten-test Evenepoel: “Als die klopt, kan hij nu al de Giro winnen”  WielerFlits.be
4. Patrick Lefevere bevestigt dat Remco Evenepoel de Giro gaat rijden  Wielerkrant.be
5. Remco Evenepoel rijdt Giro in het najaar: "Intriest dat hij Luik niet kan rijden"  sporza.be
6. Hele verhaal bekijken via Google Nieuws

1. Het laatste woord is nog niet gezegd: "Niet ondenkbaar dat KBVB en clubs zich burgerlijke partij stellen in strafonderzoek naar Moeskroen”  Het Laatste Nieuws
2. Peter Vandenbempt over Moeskroen: "Het failliet van de licenties"  sporza.be
3. BAS-arbiter die Moeskroen laat gaan was debutant  Het Nieuwsblad
4. Belgische voetbalbond: “Principieel oneens met beslissing BAS om Moeskroen licentie toe te kennen”  Het Laatste Nieuws
5. Verbazing alom over licentie voor Moeskroen: “Hier laat Westerlo het niet bij, de strijd barst nu écht los”  Gazet van Antwerpen
6. 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

1. 'Temptation'-verleidster Eline verrast: “Vriendinnen met Elke, géén contact meer met Arda”  Het Laatste Nieuws
2. 'Kk hadt naaien', een slappe worst en een ongeziene belediging: dit viel onze 'Temptation'-watcher op  Het Nieuwsblad
3. Eline uit Temptation Island doet pikante uitspraken: 'Elke moet mij dankbaar zijn'  Nieuws365
4. Een erg straffe Elke, harde levenslessen en vreemde kronkels: dit was aflevering 12 van 'Temptation Island'  Het Laatste Nieuws
5. Zach over zijn gedrag in 'Temptation Island': “Ik wou een psychologisch spelletje spelen met Romee”  Het Nieuwsblad
6. Hele verhaal bekijken via Google Nieuws

Valerie De Booser deelt uitdagende foto op Instagram vanuit haar kot  Het NieuwsbladHele verhaal bekijken via Google Nieuws

1. Pionier van de rockmuziek Little Richard (87) overleden  De Morgen
2. Rock-n'-rollpionier Little 'Tutti Frutti' Richard (87) overleden  Het Laatste Nieuws
3. Rock 'n' roll-pionier Little Richard is overleden, herontdek zijn grootste hits  VRT NWS
4. Grondlegger rock-'n-roll Little Richard (87) overleden | Show  AD.nl
5. Muzieklegendes over Little Richard: “Als ik zijn muziek beluisterde, kon ik God horen”  Het Laatste Nieuws
6. Hele verhaal bekijken via Google Nieuws

1. China lanceert nieuwe herbruikbare capsule voor vluchten met taikonauten  Tweakers
2. Chinees ruimteschip landt succesvol terug op aarde | Wetenschap & Planeet  Het Laatste Nieuws
3. China zet succesvolle stap richting eigen ruimtestation  Het Nieuwsblad
4. Hele verhaal bekijken via Google Nieuws

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

1. Muzikanten brengen ultiem eerbetoon aan alle 'heroes' vanop het dak van het Jessa Ziekenhuis  Het Laatste Nieuws
2. Flip Kowlier en Isolde Lasoen filmen cover van Heroes op dak van Jessa  Het Belang van Limburg
3. Hele 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. Werkloosheid VS op hoogste peil sinds Tweede Wereldoorlog  De Tijd
2. Meer dan 20 miljoen Amerikaanse jobs verloren in april, werkloosheid schiet omhoog naar hoogste niveau in ruim 80 jaar  Het Laatste Nieuws
3. 'Cijfers uit de Grote Depressie'  De Standaard
4. Werkloosheid VS op hoogste niveau sinds Grote Depressie van jaren dertig  NU.nl
5. Werkloosheid VS naar hoogste niveau sinds de Grote Depressie  RTL Z
6. Hele verhaal bekijken via Google Nieuws

1. Samsonite Oudenaarde stevent af op collectief ontslag  De Standaard
2. Samsonite plant ontslagronde in Oudenaarde  De Tijd
3. Corona kost banen bij reiskofferfabrikant Samsonite: “Het gi... (Oudenaarde)  Het Nieuwsblad
4. Mogelijke ontslagen bij Samsonite Oudenaarde door coronacrisis: “Niemand wil een reiskoffer kopen”  VRT NWS
5. Samsonite Oudenaarde kondigt ontslagen aan (Oudenaarde)  Het Nieuwsblad
6. Hele verhaal bekijken via Google Nieuws

Minister Muylle wil tijdelijke werkloosheid verlengen tot 1 ...  Het NieuwsbladHele verhaal bekijken via Google Nieuws

1. Moeten we Brussels Airlines redden of niet?  De Tijd
2. Hoog spel rond Brussels Airlines  De Standaard
3. Akkoord tussen Swiss en Lufthansa: blauwdruk voor Brussels Airlines?  Trends
4. Lufthansa groep vanaf juni met 160 vliegtuigen de lucht in  Up in the Sky
5. Lufthansa Group verdubbelt in juni het aantal vliegtuigen in dienst  Luchtvaartnieuws.nl
6. 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

Minister De Croo (Open Vld): 'Hoop dat misbruik van coronasteun door zelfstandigen randfenomeen is'  De MorgenHele verhaal bekijken via Google Nieuws

Turkse recepten tegen virus laten meer vrijheid toe  De Standaard

Honger treft de VS, boven op corona  De Standaard