pen Open thread 222 By nielsenhayden.com Published On :: 2019-06-21T14:08:02-05:00 The year 222 BCE saw the Roman Emperor Elagabalus assassinated by the Praetorian Guard, to be replaced by Alexander Severus,... Full Article
pen Open thread 223 By nielsenhayden.com Published On :: 2020-03-19T16:01:08-05:00 So now the rest of the world is discovering virtual communities. I'm feeling very hipster; we were doing it before... Full Article
pen #441016 - Hibiscus Jalapeno Kargarita Cocktail Recipe By www.tastespotting.com Published On :: Hibiscus tea mixed with tequila, lime, jalapeno, and pineapple makes this one delicious cocktail!craving more? check out TasteSpotting Full Article
pen 'A' is for ad money oddly gone missing: Probe finds middlemen siphon off half of online advertising spend By go.theregister.co.uk Published On :: Thu, 07 May 2020 12:04:14 GMT 'B' is for basic controls that up and disappeared A study of the UK online advertising market, conducted by global accounting firm PwC, has found that publishers get just half of what advertisers spend, with the other half siphoned off by ad-supply chain intermediaries.… Full Article
pen BT suspends shareholder payments as folk forgo pricey sports TV deals for matches that won't happen anyway By go.theregister.co.uk Published On :: Thu, 07 May 2020 16:00:06 GMT We all need to tighten our belts For the first time in over three decades, BT has suspended its dividend scheme as the former state-owned teleco grapples with the fallout from the novel coronavirus pandemic, and the financial uncertainty that'll inevitably ensue.… Full Article
pen Last Day to Enter Video Contest! Show Us Your Kid’s Newfound Independence! By www.freerangekids.com Published On :: Sun, 26 Apr 2020 06:02:51 +0000 I realize that sounds kinda nuts — why are we asking PARENTS to show us their KIDS being independent? Who, after all, is better at making videos? Mom or little Ava (who’s 5)? But legally we can’t ask anyone under 13 to do anything. So go document your children doing something new on their own, […] Full Article Miscellaneous
pen Smart, Helpful, FUNNY Flow Chart for Kid Independence By www.freerangekids.com Published On :: Fri, 08 May 2020 16:57:11 +0000 This flow chart, created by University of Virginia Psychology Professors Jim Coan and Daniel Willingham, is just plain terrific. “Could a child do this alone?” asks the chart. Then let ’em! “Could a child do this with some instruction?” Then let ’em. Etc. etc. Check it out — print it out! — by clicking here. […] Full Article Miscellaneous
pen Israel Independence Day 2020 By www.google.com Published On :: Date: April 29, 2020 On the fifth day of the Hebrew month of Iyar, Israeli communities worldwide celebrate their Independence Day, known locally as Yom Ha’atzmaut. Today’s Doodle pays tribute to this annual holiday in recognition of the day in 1948 when the State of Israel declared its independence. Depicted in the Doodle artwork, the flag of Israel features two blue stripes running horizontally over the white background with the Star of David at its center. Officially adopted in 1948, the same year as independence, the flag will be waved proudly wherever Israeli’s call home. Happy Yom Ha’atzmaut, Israel! Location: Israel Tags: national day, National Holiday, independence, history, Israel Full Article
pen The Independent (Великобритания): речь королевы Елизаветы II в честь 75-летия Дня победы в Европе By inosmi.ru Published On :: Sat, 09 May 2020 16:32:00 +0300 Королева Великобритании Елизавета II — единственная из действующих глав государств, служившая в вооруженных силах во время Второй мировой войны, — произнесла речь в честь Дня победы в Европе, который отмечается 8 мая. В своем выступлении она воздала дань памяти погибших и подчеркнула, что они гордились бы потомками. Full Article Политика
pen Myeloid-specific Asxl2 deletion limits diet-induced obesity by regulating energy expenditure By www.jci.org Published On :: We previously established that global deletion of the enhancer of trithorax and polycomb (ETP) gene, Asxl2, prevents weight gain. Because proinflammatory macrophages recruited to adipose tissue are central to the metabolic complications of obesity, we explored the role of ASXL2 in myeloid lineage cells. Unexpectedly, mice without Asxl2 only in myeloid cells (Asxl2ΔLysM) were completely resistant to diet-induced weight gain and metabolically normal despite increased food intake, comparable activity, and equivalent fecal fat. Asxl2ΔLysM mice resisted HFD-induced adipose tissue macrophage infiltration and inflammatory cytokine gene expression. Energy expenditure and brown adipose tissue metabolism in Asxl2ΔLysM mice were protected from the suppressive effects of HFD, a phenomenon associated with relatively increased catecholamines likely due to their suppressed degradation by macrophages. White adipose tissue of HFD-fed Asxl2ΔLysM mice also exhibited none of the pathological remodeling extant in their control counterparts. Suppression of macrophage Asxl2 expression, via nanoparticle-based siRNA delivery, prevented HFD-induced obesity. Thus, ASXL2 controlled the response of macrophages to dietary factors to regulate metabolic homeostasis, suggesting modulation of the cells’ inflammatory phenotype may impact obesity and its complications. Full Article
pen TRPV4 channel opening mediates pressure-induced pancreatitis initiated by Piezo1 activation By www.jci.org Published On :: Elevated pressure in the pancreatic gland is the central cause of pancreatitis following abdominal trauma, surgery, endoscopic retrograde cholangiopancreatography, and gallstones. In the pancreas, excessive intracellular calcium causes mitochondrial dysfunction, premature zymogen activation, and necrosis, ultimately leading to pancreatitis. Although stimulation of the mechanically activated, calcium-permeable ion channel Piezo1 in the pancreatic acinar cell is the initial step in pressure-induced pancreatitis, activation of Piezo1 produces only transient elevation in intracellular calcium that is insufficient to cause pancreatitis. Therefore, how pressure produces a prolonged calcium elevation necessary to induce pancreatitis is unknown. We demonstrate that Piezo1 activation in pancreatic acinar cells caused a prolonged elevation in intracellular calcium levels, mitochondrial depolarization, intracellular trypsin activation, and cell death. Notably, these effects were dependent on the degree and duration of force applied to the cell. Low or transient force was insufficient to activate these pathological changes, whereas higher and prolonged application of force triggered sustained elevation in intracellular calcium, leading to enzyme activation and cell death. All of these pathological events were rescued in acinar cells treated with a Piezo1 antagonist and in acinar cells from mice with genetic deletion of Piezo1. We discovered that Piezo1 stimulation triggered transient receptor potential vanilloid subfamily 4 (TRPV4) channel opening, which was responsible for the sustained elevation in intracellular calcium that caused intracellular organelle dysfunction. Moreover, TRPV4 gene–KO mice were protected from Piezo1 agonist– and pressure-induced pancreatitis. These studies unveil a calcium signaling pathway in which a Piezo1-induced TRPV4 channel opening causes pancreatitis. Full Article
pen Dysfunctional polycomb transcriptional repression contributes to lamin A/C–dependent muscular dystrophy By www.jci.org Published On :: Lamin A is a component of the inner nuclear membrane that, together with epigenetic factors, organizes the genome in higher order structures required for transcriptional control. Mutations in the lamin A/C gene cause several diseases belonging to the class of laminopathies, including muscular dystrophies. Nevertheless, molecular mechanisms involved in the pathogenesis of lamin A–dependent dystrophies are still largely unknown. The polycomb group (PcG) of proteins are epigenetic repressors and lamin A interactors, primarily involved in the maintenance of cell identity. Using a murine model of Emery-Dreifuss muscular dystrophy (EDMD), we show here that lamin A loss deregulated PcG positioning in muscle satellite stem cells, leading to derepression of non–muscle-specific genes and p16INK4a, a senescence driver encoded in the Cdkn2a locus. This aberrant transcriptional program caused impairment in self-renewal, loss of cell identity, and premature exhaustion of the quiescent satellite cell pool. Genetic ablation of the Cdkn2a locus restored muscle stem cell properties in lamin A/C–null dystrophic mice. Our findings establish a direct link between lamin A and PcG epigenetic silencing and indicate that lamin A–dependent muscular dystrophy can be ascribed to intrinsic epigenetic dysfunctions of muscle stem cells. Full Article
pen Preorders Open for Anton Thomas’s North America Map By www.maproomblog.com Published On :: Wed, 01 Apr 2020 17:00:29 +0000 Full Article Art Anton Thomas North America pictorial maps posters
pen Apple Stores in Germany to Begin Reopening May 11 With Enhanced Health and Safety Measures By www.macrumors.com Published On :: Fri, 08 May 2020 04:52:46 PDT Apple today announced that it will begin reopening its retail stores in Germany on May 11, nearly two months after they were closed due to the global health crisis. In a statement shared with German website Macerkopf, Apple said the stores will initially be focusing on Genius Bar service and support. Enhanced health and safety measures will be implemented, such as body temperature checks prior to entry, limits on how many customers can be in the store at once, social distancing, and reduced hours of operation. Apple operates 15 retail stores in Germany and will be posting specific hours of operation for each location on its website. Apple closed all of its retail stores outside of the Greater China region in mid-March. The company has since started to reopen some locations, including in South Korea, Austria, and Australia. All locations in the United States remain closed.Related Roundup: Apple StoresThis article, "Apple Stores in Germany to Begin Reopening May 11 With Enhanced Health and Safety Measures" first appeared on MacRumors.comDiscuss this article in our forums Full Article Apple Store
pen Apple Preparing Retail Employees to Return to Work With Tips From South Korea Reopening By www.macrumors.com Published On :: Fri, 08 May 2020 11:48:25 PDT Apple in mid-April reopened Apple Garosugil, its lone store in South Korea, located in the Seoul's Gangnam District. Apple's South Korea reopening has served as a test ground for further store reopenings, and Apple created an instructional video on reopening practices that's now being shared with other retail employees around the world as they prepare to reopen stores. We're not able to share the video, but it provides a good overview of the measures Apple is putting in place to safely operate retail locations. Retail employees are following a strict set of guidelines that very heavily emphasize social distancing of two meters (or six feet in the United States). Apple is taking the following measures: Prior to when work starts, all employees undergo a health screening complete with a temperature check, with the results logged in a daily spreadsheet. Daily briefings are done in the mornings in the Forum area at Apple Stores, with employees making sure to sit at least two meters apart. Prior to being allowed in the store, customers are also given a temperature check. All Apple Stores are providing hand sanitizer, which customers are encouraged to use. Stores are limiting the number of people inside, forming lines with customers waiting at least two meters apart. Products purchased by customers or returned after repair are delivered from the back in a relay system, being handed off from employee to employee to allow each person to stay in a separated zone without back and forth. Product specialists and Genius Bar staff are positioning themselves across tables away from customers in order to maintain distance. In the forum area, employees sit one cube away from customers they're interacting with. Employees are encouraged to communicate with one another through the Talk app to cut down on unnecessary movement within the store. Half of the workstations in the back are empty, with employees working at alternating workstations to keep more distance between them. Tables have been rearranged to put products on corners to prevent customers from being near one another. Products on tables have been reduced. Communal tables and couches have been removed from employee break rooms and have been replaced with individual chairs evenly spaced about the room. Operating hours are reduced. Employees are all wearing face masks. After opening its South Korea store on April 16, Apple has reopened its sole store in Vienna, Austria, and 21 stores located in Australia. Stores in Germany will begin reopening on May 11, and all of the newly opened locations are following many of the same guidelines listed above to keep both customers and employees safe. There's no word yet on when Apple retail stores in the United States will start to reopen, but Apple CEO Tim Cook last week said that stores in North America will begin reopening starting in the month of May. Apple plans to evaluate data and make reopening decisions on a city by city, county by county basis, following local guidelines and recommendations before opening up a store.Related Roundup: Apple StoresTag: Apple retailThis article, "Apple Preparing Retail Employees to Return to Work With Tips From South Korea Reopening" first appeared on MacRumors.comDiscuss this article in our forums Full Article Apple Store Apple retail
pen Apple to Start Reopening U.S. Stores Next Week By www.macrumors.com Published On :: Fri, 08 May 2020 12:16:50 PDT Apple will begin reopening its retail stores in the United States next week, reports CNBC, starting with locations in Idaho, South Carolina, Alabama, and Alaska. Apple plans to limit the number of customers in the store at a time, and temperature checks will be performed at the door. Apple also has a number of other measures in place to keep customers and employees safe, as we outlined this morning."We're excited to begin reopening stores in the US next week, starting with some stores in Idaho, South Carolina, Alabama and Alaska. Our team is constantly monitoring local heath data and government guidance, and as soon as we can safely open our stores, we will." "Our new social distance protocol allows for a limited number of visitors in the store at one time so there may be a delay for walk-in customers. We recommend, where possible, customers buy online for contactless delivery or in-store pick up."Reopened Apple Stores will operate on reduced hours and will primarily focus on repairs, with Apple encouraging customers to purchase online where possible. Most stores are not listing hours at this time with the exception of Apple Boise Towne Square, which reopens Monday at 11:00 a.m. During last week's earnings call, Apple CEO Tim Cook said that Apple planned to start reopening some stores in the United States in May. Store reopenings are done on a city by city, county by county basis, with Apple taking into account local data and guidelines. Apple has already reopened stores in South Korea, Austria, and Australia, with plans to also reopen stores in Germany next week.Related Roundup: Apple StoresTag: Apple retailThis article, "Apple to Start Reopening U.S. Stores Next Week" first appeared on MacRumors.comDiscuss this article in our forums Full Article Featured Apple Store Apple retail
pen Ursa Major Awards for 2019 Open for Voting - Fursuit and NonFiction categories removed for year By www.flayrah.com Published On :: Wed, 04 Mar 2020 03:47:20 +0000 The Ursa Majors are ready for votes and the nominees have been revealed. Voting can be found at their website and is open throughout the month of March. Two categories, however, received no nominees due to being an insufficient number of nominations and will not be put up to vote for a winner. Those two categories being Fursuits and Non-Fiction. If you enjoy film, fiction, art, or any other of the many items that are up for selection as the best of the best for the year of 2019 be sure to vote this month. If you like non-fiction or fursuits, well, you can always be sure to nominate next year. The nominees are: read more Full Article Ursa Major Awards
pen Oh, God, it's happening: Disney announces live action (...ish?) 'Robin Hood' remake By www.flayrah.com Published On :: Sun, 12 Apr 2020 03:21:18 +0000 Disney has announced that it will be producing a new Robin Hood movie. Yes, that Robin Hood. read more Full Article Disney movies Robin Hood
pen Open Hardware Summit 2020 By www.evilmadscientist.com Published On :: Sat, 22 Feb 2020 19:17:23 +0000 The tenth annual Open Hardware Summit will be in New York held online on March 13. I’ll be participating in a panel looking back at the past ten years of open source hardware and looking forward to the next decade as well. The schedule is filled with great speakers and I’m looking forward to seeing … Continue reading Open Hardware Summit 2020 → Full Article Open Hardware
pen IBM Research Opens in South Africa; Cognitive Computing and the IoT help Track Diseases and Forecast Air Quality By www.ibm.com Published On :: Thu, 25 Aug 2016 10:08:02 GMT IBM Research today opened its second research location on the African continent and announced several new project collaborations in the areas of data driven healthcare, digital urban ecosystems and astronomy. Full Article Smarter Planet
pen ThinkData Works and IBM Partner to Make Open Data More Accessible By www.ibm.com Published On :: Thu, 28 May 2015 12:01:59 GMT IBM today announced it is now offering ThinkData Works’ open data solution on IBM’s platform-as-a-service, Bluemix, to give application developers access to clean, open data from all levels of government in Canada. Full Article Smarter Cities
pen Bank of Montreal, CaixaBank, Commerzbank, Erste Group, IBM and UBS Collaborate to Advance an Open, Blockchain-based Trade Finance Platform By www.ibm.com Published On :: Wed, 04 Oct 2017 09:02:55 GMT Bank of Montreal (BMO), CaixaBank, Commerzbank and Erste Group have joined an initiative launched by UBS and IBM in 2016 to build a new global trade platform based on blockchain technology. This new platform, called Batavia, is built to be openly accessed by organisations of all sizes anywhere in the world, and can support trade finance for transactions across all modes of trade, whether goods are being transported by air, land or sea. Full Article Banking and Financial Services
pen Inteligencia artificial de IBM para repensar la fuerza laboral moderna By www.ibm.com Published On :: mié, 28 nov 2018 06:41:13 GMT La inteligencia artificial (IA) promete transformar tanto el futuro del trabajo como la función de Recursos Humanos (RRHH). Alineado con esta premisa, IBM (NYSE: IBM) anunció hoy IBM Talent & Transformation, una nueva unidad destinada a ayudar a las organizaciones y a sus empleados a tener éxito en la era de la inteligencia artificial y la automatización. Full Article IBM Watson
pen IBM Watson provee información cognitiva en el Torneo de Tenis US Open 2016 By www.ibm.com Published On :: vie, 02 sep 2016 02:24:06 GMT IBM y la Asociación de Tenis de los Estados Unidos (USTA por sus siglas en inglés) anunciaron que IBM Watson participará en el campeonato US Open por primera vez por medio de una nueva característica de consejería cognitiva piloteada en las aplicaciones móviles oficiales del torneo, a fin de mejorar la experiencia de los aficionados presentes en el Billie Jean King National Tennis Center. Full Article Analytics
pen IBM CEO Study: CEOs are re-balancing operational control with organisational openness By www.ibm.com Published On :: Fri, 25 May 2012 03:22:28 GMT A new IBM study of more than 1,700 Chief Executive Officers from 64 countries and 18 industries worldwide reveals that CEOs are changing the nature of work by adding a powerful dose of openness, transparency and employee empowerment to the command-and-control ethos that has characterised the modern corporation for more than a century. Full Article Energy & Utilities
pen Selon IBM, les acheteurs du monde entier ont doublé le taux de croissance des ventes en ligne pendant le Cyber Monday By www.ibm.com Published On :: mar., 29 nov. 2016 09:21:26 GMT Les revendeurs internationaux observent une croissance significative pendant Thanksgiving et le Black Friday. IBM enregistre un engagement record dans son rapport annuel Holiday Readiness Clients Full Article Commerce
pen La Sacem et IBM unissent leurs forces et développent une nouvelle plateforme globale de gestion des droits d’auteur pour la musique en ligne By www.ibm.com Published On :: jeu., 12 janv. 2017 08:41:34 GMT La nouvelle plateforme URights s’appuie sur les solutions analytiques et cloud d’IBM pour mieux valoriser les droits des auteurs, compositeurs et éditeurs de musique Full Article Business partners
pen IBM and the City of Melbourne launch a personalised, interactive online experience for fashionistas at Melbourne Spring Fashion Week Opening Night By www.ibm.com Published On :: Tue, 02 Sep 2014 07:21:56 GMT Melbourne, Australia - 18 August 2014: IBM (NYSE: IBM) and the City of Melbourne today launched a new interactive online experience for this year’s Melbourne Spring Fashion Week (MSFW) to enhance the iconic event and help shoppers hunt down the best retail bargains. The launch of the experience signifies the beginning of a three-year partnership between the City of Melbourne and IBM as the Official Innovation and Technology Partner for MSFW. Full Article Retail
pen IBM serves real time interactive data to fans at the Australian Open By www.ibm.com Published On :: Mon, 19 Jan 2015 07:12:32 GMT IBM (NYSE: IBM) and Tennis Australia today announced new and expanded data driven experiences that will enhance Australian Open 2015 for fans on site and around the world. IBM SlamTracker has been redesigned with new point-by-point data visualisations, commentary and statistics that include player and ball movement data for the first time ever at the Australian Open. IBM CrowdTracker, new for 2015, will provide fans with live match, venue and social information via ausopen.com and the official Australian Open apps. Full Article Media & Entertainment
pen IBM SECURITY HELPS STOP CYBERCRIMINALS FROM OPENING FRAUDULENT ACCOUNTS By www.ibm.com Published On :: Thu, 09 Nov 2017 04:06:39 GMT IBM Security today announced a new capability from IBM Trusteer that helps banks identify fraudulent accounts before they are opened. The technology also protects consumers even if they are not a customer of the bank being targeted with the fake account. Full Article Banking and Financial Services
pen IBM CEO Study: CEOs are re-balancing operational control with organisational openness By www.ibm.com Published On :: Wed, 23 May 2012 12:31:35 GMT A new IBM (NYSE: IBM) study of more than 1,700 Chief Executive Officers from 64 countries and 18 industries worldwide reveals that CEOs are changing the nature of work by adding a powerful dose of openness, transparency and employee empowerment to the command-and-control ethos that has characterised the modern corporation for more than a century. Full Article Services and solutions
pen dollypopinspiration: nanushka Open space with natural light in... By popmasha.tumblr.com Published On :: Thu, 26 Dec 2019 12:29:20 +0300 dollypopinspiration: nanushka Open space with natural light in the Lousiana Museum of Modern Art ✨ via @mariavannguyen Full Article
pen In Red & Black Pencil Dress in Alameda for the Launch of Reticence By retrorack.blogspot.com Published On :: Thu, 08 Aug 2019 17:55:00 +0000 Recently I had an event in Alameda, CA for the launch of Reticence. Because the cover is quite red, I dug into my closet for an old favorite... This is a red Jessica Wiggle dress from way back in the day. No longer available. I paired it with a little back cardy, black vintage leather gloves, cut jet tassel jewelry, a facinator from Amazon. You can find many items similar to these on this list. The shoes are from Shoes of Prey, make your own, a service I adore the idea of but hasn't really worked for me. Anyway this was a fun out fit to throw together. And I do mean thrown, I had planned on a different dress but I find I have out grown it and don't like the way it looks with this foundation corset so I went into the chopping pile and I had to scramble for an alternative on the fly. The previous night I wore a new eShakti for a launch at Borderlands, with leopard accessories: Retro Rack is also on facebook where I post additional images and fashion thoughts.You can shop my recommendations via the following lists: Steampunk, Retro Jewelry, Makeup, Retro Clothes, LifestyleProduct links on this blog are usually to Amazon using my associate code. At no additional cost to you this means I get a slight kick back if you make a purchase. Thank you! This allows me to continue to produce this blog without sponsors. Full Article
pen In I Am a Padawan, Ashley Eckstein Pens Lessons on Failure and Hope By www.starwars.com Published On :: Thu, 30 Apr 2020 15:00:09 +0000 The voice of Ahsoka Tano tells StarWars.com about writing the new Little Golden Book and rewatching Star Wars: The Clone Wars for inspiration. Full Article Books + Comics Star Wars: The Clone Wars Ashley Eckstein | People | 4dee6499900dca226e63be24 I Am A Padawan Star Wars: The Clone Wars (2008)
pen T-SHIRT PRE-ORDER OPEN By starfightercomic.com Published On :: Wed, 05 Aug 2009 05:45:00 GMT It's official! Starfighter t-shirts are ready for PRE-ORDER! Black American Apparel t-shirts with silkscreen print, available in different sizes! We got the first batch in and the print quality is fantastic! Shirts are estimated to ship on 8/20/09! Limited quantity for the time being! ORDER AVAILABLE ONLINE @ STARFIGHTER SHOP http://shop.starfightercomic.com/ Thank you guys so much! More merchandise is on the way! -HamletMachine Full Article
pen Poslanci odložili EET do konce roku, kývli na kompenzační bonus pro eseróčka By www.idnes.cz Published On :: Wed, 06 May 2020 16:10:00 GMT Kvůli epidemii koronaviru se vláda na čas vzdá EET, projektu, který vnímá jako klíčový pro snížení daňových úniků. Sněmovna kývla na odklad celé EET do konce letošního roku. Potvrdit to ještě musí Senát. Neprošly návrhy opozice odložit EET ještě déle, když přitom Pirát Mikuláš Ferjenčík navrhoval odklad až do stých narozenin premiéra Andreje Babiše v roce 2054. Full Article Zprávy - Domácí
pen Trump’s 4-Step Plan for Reopening the Economy Will Be Lethal By robertreich.org Published On :: Wed, 06 May 2020 22:44:17 -0400 Donald Trump is getting nervous. Internal polls show him losing in November unless the economy comes... Full Article trump pandemic
pen Indian sports ministry to allow open-field practice in phases By www.espn.com Published On :: Sun, 3 May 2020 05:31:58 EST Sports Minister Kiren Rijiju said the first priority for this would be given to those who have qualified for the Olympics. Full Article
pen Máte trable s koupeným zájezdem? Poradíme vám, jak nepřijít o peníze By www.idnes.cz Published On :: Tue, 05 May 2020 22:00:00 GMT Nová zákon „Lex voucher“ stanovil pravidla pro vypořádání cestovních kanceláří s klienty. Na problematické situace, které mohou být s koupeným zájezdem spojeny, jsme se zeptali advokáta Ondřeje Vokála. Full Article Finance - Finanční rádce
pen Registration open for USGL Lover Triad Convocation By oto-usa.org Published On :: Wed, 18 Dec 2019 18:41:57 +0000 A convocation of the Lover Triad of United States Grand Lodge will be held in Cleveland, Ohio, August 14-16 2020. Registration for the convocation is now open. See this site for more information. Full Article Events
pen Turnstile+: Dependent Type Systems as Macros By lambda-the-ultimate.org Published On :: Fri, 14 Feb 2020 08:56:27 +0000 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. Full Article Meta-Programming
pen Minister De Croo (Open Vld): 'Hoop dat misbruik van coronasteun door zelfstandigen randfenomeen is' - De Morgen By news.google.com Published On :: Sat, 09 May 2020 11:34:00 GMT Minister De Croo (Open Vld): 'Hoop dat misbruik van coronasteun door zelfstandigen randfenomeen is' De MorgenHele verhaal bekijken via Google Nieuws Full Article
pen 76 nieuwe overlijdens in de afgelopen 24 uur, evenveel ziekenhuisopnames - Het Belang van Limburg By news.google.com Published On :: Sat, 09 May 2020 09:09:03 GMT 76 nieuwe overlijdens in de afgelopen 24 uur, evenveel ziekenhuisopnames Het Belang van LimburgOVERZICHT. Dalende curve zet zich voort. 76 overlijdens, 210 patiënten naar huis en 76 nieuwe opnames Het Laatste NieuwsCoronavirus: 76 overlijdens, 210 patiënten ontslagen uit het ziekenhuis newsmonkeyMinder patiënten in onze ziekenhuizen Het NieuwsbladOVERZICHT. 76 nieuwe ziekenhuisopnames en overlijdens, 585 nieuwe besmettingen | Binnenland | Nieuws Het Laatste NieuwsHele verhaal bekijken via Google Nieuws Full Article
pen Verbod om water op te pompen komt vroeger dan ooit - De Tijd By news.google.com Published On :: Sat, 09 May 2020 07:18:12 GMT Verbod om water op te pompen komt vroeger dan ooit De TijdExtreem droge maand april: verbod om water op te pompen uit tien kwetsbare stromen in provincie Antwerpen Gazet van AntwerpenVlaams infocentrum land- en tuinbouw - Captatieverbod in 10 stroomgebieden in Antwerpen ViltWater oppompen verboden in tiental kleine waterlopen in Antwerpen door aanhoudende droogte VRT NWSCaptatieverbod in tien ecologisch kwetsbare stroomgebieden i... Het NieuwsbladHele verhaal bekijken via Google Nieuws Full Article
pen Uitvoerders van roofmoord op Leopoldine De Decker krijgen 28 jaar, opdrachtgevers hoeven niet terug naar de cel - Gazet van Antwerpen By news.google.com Published On :: Fri, 08 May 2020 18:16:00 GMT Uitvoerders van roofmoord op Leopoldine De Decker krijgen 28 jaar, opdrachtgevers hoeven niet terug naar de cel Gazet van AntwerpenNa negen uur in beraad: vier veroordelingen en één vrijspraak in roofmoord Leopoldine (76) Het NieuwsbladStraffen tussen 3 en 29 jaar cel geëist in zaak roofmoord op Leopoldine De Decker Gazet van AntwerpenASSISEN. Tot 28 jaar cel voor roofmoord op Leopoldine De Decker, familie opgelucht: “Nu kunnen we eindelijk verder met ons leven” Het Laatste NieuwsASSISEN. Roofmoord op Leopoldine De Decker: 28 jaar cel voor uitvoerders, (deels) voorwaardelijke straffen voor opdrachtgevers Het Laatste NieuwsHele verhaal bekijken via Google Nieuws Full Article
pen Penis Worship, Yo By www.joegage.com Published On :: Fri, 08 May 2020 11:40:33 +0000 Full Article Uncategorized
pen Whoa – what happened By kidscomkimma.wordpress.com Published On :: Sat, 09 Oct 2010 04:32:32 +0000 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 […] Full Article kidscom.com Uncategorized virtual house virtual worlds
pen Should You Get A Nintendo Switch Lite If You Can’t Find Switch Availability? It Depends - Forbes By news.google.com Published On :: Sat, 09 May 2020 12:07:13 GMT Should You Get A Nintendo Switch Lite If You Can’t Find Switch Availability? It Depends ForbesNintendo Switch Lite is in stock at Amazon and Best Buy: Latest inventory update CNETBest Switch Games So Far In 2020 Trusted ReviewsNintendo Switch Capture Cards: How to Record Video of Your Gameplay Screen RantView Full coverage on Google News Full Article
pen Biting passengers on flight is no reason for cash compensation delay: EU court adviser By feedproxy.google.com Published On :: Thu, 27 Feb 2020 06:09:14 -0500 Air travelers cannot receive cash compensation if their flight is delayed by a passenger biting others and assaulting crew members, an adviser at the Court of Justice of the European Union said on Thursday. Full Article oddlyEnoughNews
pen Thailand's pet groomer reopens as new coronavirus cases slow By feedproxy.google.com Published On :: Tue, 05 May 2020 07:36:18 -0400 Chewy and Miley, both two-year-old Schnauzer dogs, are getting their hair cut at a groomer in Bangkok for the first time since the new coronavirus outbreak began in Thailand in January. Full Article oddlyEnoughNews