recent bookmarks

Twitter
Here is how you can help the families being torn apart at the border.
from twitter
10 days ago by tielure
Jackass - Taifu Comics
Alors qu’Hara Keisuke se changeait pour son cours de sport, il se retrouve à enfiler un collant oublié par sa soeur dans son survêtement. Cette situation bien gênante trouve une solution grâce à son meilleur ami Shimoda qui l'exfiltre discrètement direction l'infirmerie. Cependant, cet invité surprise va révéler le secret de Shimoda : celui-ci voue une véritable passion aux belles jambes vêtues de collants noirs !
isbn13:9782375061015  manga  officiel 
10 days ago by mangachat
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
The key idea is to structure the correctness proof in a modular way, such that each component can be proved using a decidable fragment of first-order logic, possibly with a background theory. Importantly, each component’s verification condition can use a different decidable fragment. This allows, for example, one component to use arithmetic, while another uses stratified quantifiers and uninterpreted relations. It also allows each component to use its own quantifier stratification, even when the combination would not be stratified. We will refer to this approach as decidable decomposition. Crucially, decidable decomposition can be applied even when the global verification condition does not lie in any single decidable fragment (for example, the combination of arithmetic, uninterpreted relations, and quantifiers is undecidable).
verification  logic  decision-procedures  modularity  formal-methods 
10 days ago by graydon
Twitter
Wir : Ist ein anderes möglich? Unsere Antworten auf zehn Sonderseiten

Im neuen Freitag – am…
Touristen  Reisen  from twitter_favs
10 days ago by schmitz
B: Jugendgruppe zerstört Snackautomaten am Bahnhof - Highwaynews.de
Jetzt werden schon H Tafeln geklaut um Snackautomaten zu knacken. Wie weit sind wir gesunken 🙈
from twitter_favs
10 days ago by tmmd
App Engine Flex || Kubernetes Engine — ? – Google Cloud Platform - Community – Medium
Customers ask for our help in determining whether App Engine Flex(ible Environment) or Google Kubernetes Engine (GKE) is best-suited to their needs. There is no universal answer and our close ties…
gcp  kubernetes  flex  engine  article 
10 days ago by vonc
Twitter
Thanks to and the Design+Code team for stopping by the office! Had a great time chatting about…
from twitter_favs
10 days ago by 61
Twitter
Thanks to and the Design+Code team for stopping by the office! Had a great time chatting about…
from twitter_favs
10 days ago by danrubin
Twitter
Modeling with Speed: The best way to make Transformations in Blender
from twitter_favs
10 days ago by orphu
Twitter
“Predicting the price of wine with the Functional API and ” by
TensorFlow  Keras  from twitter_favs
10 days ago by geertbaeke.info
Twitter
Diversity a tool for healthy workplaces in the mining industry
from twitter
10 days ago by rhyndes
Twitter
ICYMI: Here is my response to Ted Trainer's critique of Transition: "Ted’s piece, in essence, consists of him voici…
from twitter_favs
10 days ago by freerange_inc
Twitter
RT : the Pulse shooting was only 2 yrs ago & our country has already made so many incredible changes to protect & improv…
from twitter_favs
10 days ago by jfield
Twitter
I'm really tired of this line of "this can't be America. Black families were ripped apart during slavery. Native Am…
from twitter_favs
10 days ago by newsmary
Twitter
I'm really tired of this line of "this can't be America. Black families were ripped apart during slavery. Native Am…
from twitter_favs
10 days ago by kohlmannj
Twitter
WARNING: RAINBOW RADIATION HAS BEEN DETECTED

(i just made this <3)
from twitter_favs
10 days ago by briantrice
Twitter
Top tip when you first start a job google how the office phones works and you'll be regarded as some sort of mystic…
from twitter_favs
10 days ago by hecavanagh
Twitter
Top tip when you first start a job google how the office phones works and you'll be regarded as some sort of mystic…
from twitter_favs
10 days ago by antifuchs
Twitter
I'm doing my solo show " I want an irish passport " in Sydenham tonight. If you like jokes about Taylor swift, Oliv…
from twitter_favs
10 days ago by Fallingbadgers
Twitter
RT : Finally found an answer for what ppl think ‘extreme feminism’ is
from twitter
10 days ago by Xylakant
Twitter
I'm not sure the evidence really backs the idea that ads with tracking are vastly better than ads without tr…
from twitter
10 days ago by DRMacIver
Twitter
RT : Mal eine Frage an die Auskenner: Gibt es bei der Bahn an der Frontscheibe auch einen, analog zum KFZ, Sichtbereich…
from twitter
10 days ago by tmmd
Twitter
Our biggest fans this week: , , . Thank you! via
from twitter
10 days ago by deckard67
Twitter
Galleri Oslo. Hvis det var mulig å spy en bygning, er dette hva som hadde kommet ut.

Gallery Oslo. If it was possi…
from twitter
10 days ago by asbjornu
Twitter
I can't believe I didn't do this until just now
from twitter_favs
10 days ago by Sabas
Twitter
Website: We are a full-time, professional wedding Dj company. Winning the coveted Knot Best…
from twitter
10 days ago by nonstop
Digital assets
Missed this - NSW consulting on access to digital assets on death
from twitter
10 days ago by Surliminal
Gartner Survey Finds Employee Engagement a Top Concern Affecting Customer Experience
Gartner Survey Finds Employee Engagement a Top Concern Affecting Customer Experience Employee engagement has surfaced as a major concern in delivering improvements in customer experience (CX), with 86 percent of CX executives in a Gartner, Inc. survey ranking it as having an equal or greater impact than other factors such as project management and data skills. https://ift.tt/2LNBMVT
MarketAnalysts 
10 days ago by SergioWerner
Twitter
Honestly maybe the tech industry should be offering free improv classes instead of free beer so these peo…
from twitter_favs
10 days ago by jtyost2
Lancer/Altria Pendragon (PVC Figure) - HobbySearch PVC Figure Store
RT : [July 2019 Release]
[Fate/Grand Order] 1/8 Lancer/Altria Pendragon by Good Smile Company!
from twitter_favs
10 days ago by Sabas
Twitter
RT : [July 2019 Release]
[Fate/Grand Order] 1/8 Lancer/Altria Pendragon by Good Smile Company!
from twitter_favs
10 days ago by Sabas
Twitter
Susan you are an absolute superstar thank you so much for your support and generosity! Your commitme…
from twitter_favs
10 days ago by pfctdayelise
Twitter
On this day in 1943 Steve Rogers is declared 4F while trying to enlist, later that day Dr. Abraham Erskine recruits…
from twitter_favs
10 days ago by gpenston
Twitter
RT : If you are furious and heartbroken that our government, in our name, is ripping families apart: we take to the stre…
from twitter
10 days ago by burritojustice
Twitter
In the midst of two six-day weeks at work and just remembered I put myself down for a training session that will ke…
from twitter_favs
10 days ago by hecavanagh
Twitter
RT : Mec, t’auras 2/20 parce que ta copie sera un gloubiboulga de frustration et de jugements à l’emporte-pièce. Stop la…
from twitter
10 days ago by bperrier
Twitter
Last(?) update: made it onto airplane.
from twitter_favs
10 days ago by kimroen
CAP GEMINI SA : Sortie de rectangle - Boursorama
CAP GEMINI SA : Sortie de rectangle

CAP GEMINI SA : Sortie de rectangle  BoursoramaFull coverage

https://ift.tt/2t7AMnU
MarketIntelligence 
10 days ago by SergioWerner
Twitter
Trekking towards Hackney for the first roadshow! Looking forward to catching up with friends old and…
from twitter_favs
10 days ago by lesteph
Capgemini : cibles à 117 et 120 euros (9219T) - Boursorama
Capgemini : cibles à 117 et 120 euros (9219T)

Capgemini : cibles à 117 et 120 euros (9219T)  BoursoramaFull coverage

https://ift.tt/2l6pixg
MarketIntelligence 
10 days ago by SergioWerner
Bone mass may suffer when teenage girls binge drink -- ScienceDaily
Science Daily - Addiction; https://ift.tt/2dhBurx; June 13, 2018 at 11:55PM; ; Teenage girls who regularly binge drink may fail to reach their peak bone mass, according to a new study.
Psychiatry  What  Patients  Are  Reading:  Addiction  Medicine 
10 days ago by wbennett
Twitter
RT : WRT serverless data processing, I'm feeling pretty good about Google Cloud.

Redshift: how big a cluster you want?…
from twitter
10 days ago by alpinegizmo
Twitter
Trois très beaux disques au menu de Magnétique avant-hier: en trio et au sommet de sa forme, Kurt Elli…
from twitter
10 days ago by bperrier
« earlier      later »

Copy this bookmark:



description:


tags:



Copy this bookmark:



description:


tags: