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.

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

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

1. Verbod om water op te pompen komt vroeger dan ooit  De Tijd
2. Extreem droge maand april: verbod om water op te pompen uit tien kwetsbare stromen in provincie Antwerpen  Gazet van Antwerpen
3. Vlaams infocentrum land- en tuinbouw - Captatieverbod in 10 stroomgebieden in Antwerpen  Vilt
4. Water oppompen verboden in tiental kleine waterlopen in Antwerpen door aanhoudende droogte  VRT NWS
5. Captatieverbod in tien ecologisch kwetsbare stroomgebieden i...  Het Nieuwsblad
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

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 […]

For those who care about data, the City’s new Open Data Master Plan is about to change everything.

One Saturday afternoon earlier this month, more than 100 people gathered at the Toronto Public Library for an annual gathering called CodeAcross, the city’s annual open data and civic tech event. This year, the theme was the Future of Work. One of the challenges centred on the City of Toronto’s freshly approved Open Data Master […]

The post Civic Tech: Hackers! To Your Stations! appeared first on Torontoist.

Keesmaat’s Next Venture, Shitty Architecture Men, Mod Squad, Presto Problemo, Bench Press, and more in this debut edition.

Another Glass Box is a weekly roundup of urban design news in Toronto (and occasionally beyond), in bite-size pieces. It’s curated by Dan Seljak, who’s done marketing and communications work for architecture and construction companies for the last seven years—and who still loves this city enough to line up for brunch.  Content warning: some of the […]

The post Introducing: Another Glass Box, a new weekly architecture feature appeared first on Torontoist.

Divestment is “more urgent” in Toronto than NYC

A growing list of large institutional investors around the world – state and provincial pension funds, university endowments, and most recently, New York City itself, have been aggressively divesting from fossil fuel investments so as to do their part in mitigating against climate change. Here in Toronto, it’s been a different story. Prominent institutional investors, […]

The post Habitat: Environmentalists eye city’s investment policies appeared first on Torontoist.

This Date in Baseball for May 10, 2020

Unable to stage its big fundraiser because of the pandemic, Figure Skating in Harlem is going from the ice to the internet

Experimenting with different techniques with this second batch. The strong tone brown is quite dark so is great for clothes but I feel some areas of the mini need a stronger contrast. So with this second group I gave their muskets a wash of black. Also their equipment is very dark too so while I had the ink on the brush I tried on their blue uniforms and a little on their faces. Watching a lot of references and from my own re-enactments, I know the black power gets all over the face with biting cartridges etc, so a bit of black contrast on the face wouldn’t go a miss.

This extra shade on the face did bring out the expressions and characters of the figures a lot more. Again, really quick to do and gave another level of detail to the mini. I will compare the two batches at the end and see which I prefer.

I’m finding that painting them in little strips of five or six minis is actually really fun and gives a much more instant and rewarding experience.

As I paint these guys I try to use the brush in such a way that I leave areas of black undercoat still showing in the recesses. This should help the should help the shading later with the brown tone.

There is one more technique I would like to try on a third batch, using two tones of Army Painter at the same time. A black Dark tone for the equipment/uniform areas and a Strong tone for the trousers etc.

The 1996 Ig Nobel Prize for biology was awarded to Anders Barheim and Hogne Sandvik of the University of Bergen, Norway, for their tasty and tasteful report, “Effect of Ale, Garlic, and Soured Cream on the Appetite of Leeches.” Recently, Bradley Allff, writing in Atlas Obscura, looked at the role medical leeches sometimes play in medicine in the USA. […]

‘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 […]

Harrisburg University proudly announces, in a press release: HU facial recognition software predicts criminality A group of Harrisburg University professors and a Ph.D. student have developed automated computer facial recognition software capable of predicting whether someone is likely going to be a criminal. With 80 percent accuracy and with no racial bias, the software can […]

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.

I find myself incredibly frustrated with Adobe products again. I don’t know why it’s so hard to make sorting and tagging software that just works, although I suppose having over 465,000 photos may stretch the limits of any software. But … Continue reading →

There are dozens of articles Out There on "Zoom fatigue", with a wide range of ideas about causes and cures. Gianpiero Petriglieri offered the BBC a couple of hypotheses about why "Zoom calls drain your energy": Being on a video call requires more focus than a face-to-face chat, says Petriglieri. Video chats mean we need […]

This headline puzzled me: I interpreted it as Doctors are showing a buried CDC report to top White House officials And I wondered, what was that report? and why did the CDC bury it? And who are the doctors digging it up? What the headline actually meant, of course, was Documents show that top White […]

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 guys,  I don’t know what happened to all of my recent messages, I am guessing that the Clouds were at their nasty work again – stealing!  So I am going to write more and you write me back ok? Well I just got back from one of my favorite little planets, planet Earth.  I […]

You guys must give a lot of parties because you all have really good ideas!  I can hardly wait to see what Spec and Skeeter choose to do for the celebration party! Tra and Skeeter and I hung out on Friday with some of you.  It was so great to see everyone. I was expecting Spec would show up […]

I was coming home last night from a visit to Earth and as my spaceship slowed down to enter the atmosphere of Planet Sarillion I was horrified to see there was no planet!!!! There was just a big cloud and The Darkness.  I couldn’t believe it, where was my Mom and Dad, my friends, the […]

Finally! The RAZR flip phone becomes useful!

Hey, at least he's trying!

See ALL the Capshunized Animals here!

Power outage? Grab a length of steel automotive brakeline tubing, the straw from a box of Yoo-Hoo, D-cell batteries to make a 6V. Also may require generous amounts of duct tape, electrical tape, bell wire, and boredom.

Oh, did you think we were going to eat it? Haven't you heard, wasting food is the manliest game! ~Not-So-Handy Andy

One of my favorite bands from the 90's is Powerman 5000. My favorite song of theirs is Drop The Bombshell, a really fast paced song that I thought would be a perfit fit to the Terminator movies

This is the last video I created using Windows Movie Maker before switching over to Adobe Premier Pro CS3. It's the first Terminator fan video I created where I used all four Terminator movies

A lot of people didn't like this movie because of the religious overtones throughout the movie. I'm not one who's particularly religious but I thought this was a brillian movie and a welcome change to the post apocalyptic genre

What do you get when you mix The Road Warrior, Escape From New York, plus a handful of other related movies.......you get Doomsday. The cannibal scenes in this movie inspired me to do a fan tribute video to Gwar's Meat Sandwich

RSS stands for Really Simple Syndication or Rich Site Summary; it's an XML based content format for distributing things like news, headlines, content, etc. These are popular because instead of relying on them to bookmark your site and return later, their RSS reader keeps your site fresh by showing them your latest posts as a simple headline. So every time that you add content such as a blog post or article they get to see the update, plus a direct link to that post.

When you submit a website to search engines, most search engines automatically crawl websites looking for links and popularity of the sites they crawl to determine how they list on search engine results, one site that doesn’t is DMOZ. Also known as the Open Directory Project or ODP, this directory is entirely monitored by people (volunteer editors), this means that you have to submit your site and wait for somebody to physically look at your site. This process can take weeks, months, or even in a few cases years, so why bother with this site at all?

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.