IBM (NYSE: IBM) annonce la disponibilité d’Apple Pay pour ses clients sur Internet afin de faciliter et de sécuriser leur paiement sur Safari depuis leur iPhone, iPad ou Mac et ce en un clic.

IBM (NYSE: IBM) a annoncé aujourd'hui une nouvelle plateforme communautaire basée sur le Cloud pour les applications de cybersécurité. IBM Security Connect est la première plateforme Cloud de sécurité reposant sur des technologies fédérées ouvertes, avec l'IA en son centre, pour analyser les données de sécurité sur des outils et des environnements non connectés auparavant.

lior Banque annonce aujourd’hui avoir choisi l’application IBM MobileFirst sur iOS pour apporter une transformation fondamentale à la façon dont les clients en Pologne interagissent avec leur banque. A l’aide d’un iPad, les professionnels des services bancaires pourront fournir une expérience plus dynamique et personnalisée aux clients en tirant avantage de la puissance de l’analyse prédictive, et ce de façon sécurisée, facile, rapide et disponible 24h/24.

IBM (NYSE : IBM) annonce aujourd'hui le lancement de l’application « IBM Watson Trend App », qui offre aux consommateurs une nouvelle façon de décoder les principales tendances de la saison et également de prédire les produits les plus en vogue avant qu'ils ne soient vendus. L'application est disponible via téléchargement gratuit sur l’App Store d’Apple.

Apple et IBM annoncent plus de 100 apps MobileFirst pour iOS !

One of Australia’s leading digital banks taps cognitive technology to simplify the home loan application process with innovative virtual assistan

Just a short note that the memorial article “Analysis and applications: The mathematical work of Elias Stein” has just been published in the Bulletin of the American Mathematical Society.  This article was a collective effort led by Charlie Fefferman, Alex Ionescu, Steve Wainger and myself to describe the various mathematical contributions of Elias Stein, who […]

• 1 apple, washed (peeled if not organic) ($.60)
• 1 cup mango,chunks, fresh or frozen ($1.00)
• 1 banana, sliced and frozen
• 1 handful kale leaves ($.50)
• 1/2 teaspoon cinnamon
• 1/4 teaspoon nutmeg
• 1 cup ice
• water for blending (more or less depending on how thick you like it)

• 1 cup carrots, cut into chunks
• 1 banana, sliced and frozen
• 1 cup almond milk 
• 1 teaspoon cinnamon
• 1/2 teaspoon ginger
• 1/4 teaspoon allspice
• pinch nutmeg
• 1/2 cup chopped dates
• 1/4 cup chopped pecans or other nuts
• 1 cup chopped apples

1. In a high powered blender, puree the carrots, banana, and almond milk until very smooth.
2. Add in the cinnamon, ginger, allspice, and nutmeg and pulse a few times to blend well.
3. Pour into a bowl and add the chopped dates, pecans, and apples. A sprinkle of coconut flakes goes well, too!

• 3 cups chopped romaine (or favorite green) ($1.00)
• 1 cup cubed pineapple, frozen ($2.00)
• 1 banana, sliced and frozen ($.20)
• 2 tablespoons lemon juice (optional) ($.20)
• 1 teaspoon vanilla ($.10)
• 1 cup water
• 10 ice cubes
• stevia to taste (optional)

• In a high powered blender, puree the greens until liquefied and very smooth. 
• Add the rest of the ingredients and puree until smooth.

My washer and dryer failing me is a nightmare I don’t want to visit. You see, my current set came with the house 17 years ago, and were already 5 years old. The one set of appliances I’ve never bought is a washer and dryer–I’ve always purchased houses where they’d been left behind by the […]

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.

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)

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. In pictures: Last supermoon of 2020 rises on a world grappling to overcome pandemic  DAWN.com
2. May's flower moon lights up the sky around the globe  ABC News
3. Hurry up: Last chance to see a supermoon this year  Euronews
4. Last supermoon of the year, Photos News & Top Stories  The Straits Times
5. Stunning supermoon lights up New Zealand's skies overnight  New Zealand Herald
6. View Full coverage on Google News

We’ve all heard the statistic that employers only spend a few seconds reviewing your résumé. Now, thanks to technology, artificially intelligent algorithms scan it even quicker. With more than 90% of Fortune 500 companies and over 70% of large employers using Applicant Tracking Systems (ATS) to help manage their recruitment and hiring processes, making your way […]

The post Is AI rejecting your job application? Here’s how to avoid being digitally denied – and impress once in human hands appeared first on DiversityJobs.com.

It's a bumper crop of BonusCash at your local Rite-Aid this week, with not 1, 2, 3, but 4 gaming GC's, and 1 of those gives you even more options!

• Nike, GameStop, Netflix ... $5 BonusCash when you buy $25 of these items.*
• Google Play, AMC Theatres, Apple AppStore/iTunes, Fandango, XBOX, Panera Bread, Regal Theatres ... $6 BonusCash when you buy $30 of these items.*

FYI, "GameStop" is a big win, because not only can you purchase (additional) XBOX, PSN, Nintendo, and Steam credit there, but you order the GC credit from their website, and get a redemption code instantly after checkout.
 
For those who are new to the "Rite-Aid wellness+ reward BonusCash" program, you'll receive the $$$ amount when you purchase the minimum amount specified. Gift-cards within the same bullet-point share the same "limit 2 offers per customer", but you can earn rewards on the other bullet-point lines as well. For example, you can purchase $25 each of GameStop & Netflix (or $50 of GameStop) ... and still be able to purchase another $60 mix of Google & Apple & XBOX, and can stagger your 4 GC purchases throughout the week.

Screenshot of 2 separate GC offers (bullet points) included here:

• if you've met the limit of 2 items per BonusCash group with the current transaction, or
• if the transaction you're about to complete exceeds the limit of 2 per week, or
• when your BonusCash rewards will expire.

Luckily the mobile RiteAid app (and website) list your individual accumulation & cashing out on a per transaction basis, so that's a good way to keep tabs on the expiration dates, since you only get 30 days to spend the BonusCash once earned. Good luck!