recent bookmarks

Americans Want to Believe Jobs Are the Solution to Poverty. They’re Not. - The New York Times
The house of Vanessa Solivan’s mother, right of garden. Credit Credit Devin Yalkin for The New York Times V enessa Solivan and her three children fled their…
from instapaper
10 days ago by davejavou
Twitter
今年の京都音博、くるりの編成です。なかなかの大所帯です。素晴らしいメンバー。演奏が楽しいです。
岸田(Vo.G)佐藤(B.Cb)ファ(Tp.Fh)+朝倉真司(Ds.Per)野崎泰弘(Key)松本大樹(G)山本幹宗(G)徳澤青弦(V…
from twitter_favs
10 days ago by richor
Flamingo AI appoints new CTO
Flamingo AI (: $FGO) has announced Tony Coorey as its incoming CTO.
ASX  from twitter
10 days ago by rhyndes
Twitter
ok I understand that The Culture has gotten miley cyrus outta here. I have reviewed your many essays on the topic,…
from twitter_favs
10 days ago by divigation
UNSAT: Hyperkernel
Hyperkernel

Hyperkernel explores a push-button approach to building provably correct OS kernels.

Publications

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang. Hyperkernel: Push-Button Verification of an OS Kernel. In Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP), Oct 2017. [pdf] [slides]

Dylan Johnson. Porting Hyperkernel to the ARM Architecture. Technical Report UW-CSE-17-08-02, University of Washington, Aug 2017. [pdf]

Software

The source code is hosted on Github at https://github.com/locore/hv6/.

People
hyperkernel  unikernel 
10 days ago by euler
Versatile! Three people normally but a simple crop will give you two instead! Invest! : MemeEconomy
Versatile! Three people normally but a simple crop will give you two instead! Invest! via /r/MemeEconomy
IFTTT  Reddit 
10 days ago by jdoecrow
How giving help rather than receiving it can impact your health greatly
A research team from the University of British Columbia gave a group of older participants with high blood pressure money to spend. On three consecutive weeks they were each given $40. Half the participants were instructed to spend the money on themselves; the rest were asked to spend it on someone else — buy a gift for a friend, donate to a charity or otherwise benefit others with the money.

A few weeks afterward the researchers measured the blood pressure of both groups. It turned out the blood pressure (systolic and diastolic) of those participants who had spent money on others had significantly decreased as compared with the subjects who spent the money on themselves. Moreover, the decrease in blood pressure was similar in size to the effect of starting high-frequency exercise or a healthier diet.

And as if longevity and better health would not be enough, providing support for others also tends to make the helper happier.

Of course, even here too much of a good thing can be detrimental. If people only concentrate on the well-being of others, they can ignore their own needs. There are too many tragic stories of people sacrificing their own happiness in order to serve their families or some grand global cause.

So don’t believe the false dichotomy between selfishness and sacrificing oneself for others.
The_Optimist 
10 days ago by murilo
Arizona Wedding Djs
Arizona's Best Wedding Djs ... ...
Arizona's Best Wedding Djs
from twitter
10 days ago by nonstop
Twitter
RT : Vous faites de la visualisation politique? Contactez-nous!

Nous sommes à la recherche de conférencier(e)s sur le…
from twitter
10 days ago by amicalmant
Twitter
SF random sidewalk art is the best. Pull up and
from twitter_favs
10 days ago by burritojustice
Apple Removes Several Trend Micro Apps For Collecting MacOS Users' Data
Apple has removed almost all popular security apps offered by well-known cyber-security vendor Trend Micro from its official Mac App Store after they were caught stealing users' sensitive data without their consent.
The controversial apps in question include Dr Cleaner, Dr Cleaner Pro, Dr Antivirus, Dr Unarchiver, App Uninstall, Dr. Battery, and Duplicate Finder for Mac computers.
The apps were removed just two days after Apple kicked out another popular "Adware Doctor" application for collecting and sending browser history data from users' Safari, Chrome, and Firefox to a server in China.
"This was a one-time data collection, done for security purposes (to analyze whether a user had recently encountered adware or other threats, and thus to improve the product & service)," Trend Micro argued.
apps  data  mac  privacy  security  store  tracking 
10 days ago by rgl7194
Twitter
Our data suggests there is overwhelming support for the government stripping pharmaceutical companies of their pate…
from twitter_favs
10 days ago by fkbarrett
Twitter
Les trolls Russes ont réussi à mystifier la presse britannique, dégradant la fiabilité et la qualité de l'informati…
from twitter
10 days ago by amicalmant
Twitter
That isn't what I mean. I mean that GT theory typically layers an untyped languag…
from twitter
10 days ago by samth
Twitter
Did you bring home REESE’S this weekend? Now bring home a win! RT this with and for a chance…
NotSorry  Sweepstakes  from twitter
10 days ago by reeses
ESPN.com: Page 2 : Fear & Loathing in America
ESPN.com: Page 2 : Fear & Loathing in America via Instapaper https://ift.tt/2b9ooMs
IFTTT  Instapaper 
10 days ago by craniac
Twitter
本日15:00~ プラチナガシャが更新されます♪
今回追加されるカードを一部ご紹介しちゃいますね。
真美ちゃんと桃子ちゃんで
『ヒストリーガールガシャ』です♪
#ミリシタ
from twitter_favs
10 days ago by Sabas
Twitter
was putting something off for months, just used the 10 minute timer for the first time... Looks up... 1.5hr…
from twitter_favs
10 days ago by kadavy
Sofa Buying Advice From the People Who Design and Make Them: Reviews by Wirecutter | A New York Times Company
Nobody buys a house without researching the neighborhood and inspecting the foundation, plumbing, and electrical. Yet many people drop serious money on a sofa without understanding what goes into a well-made piece of upholstered furniture. It’s a leap of faith that often leads to buyer’s remorse and one too many “for sale – hardly used” Craigslist postings.
The quality of the frame, suspension, cushioning, and upholstery are what separate a sofa that will last 10 to 20 years from one that will start to wobble or look dingy after only a few. To understand what distinguishes quality components from inferior ones I toured BSC Furniture sofa factory with owner Joshua Siegel, the manufacturer responsible for BenchMade Modern’s line of upholstered seating, followed by a visit to Modernica’s facilities in Los Angeles guided by Jay Novak, co-owner and president of the modernist furniture manufacturer. In 2017, Wirecutter senior editor Christine Cyr Clisset toured the Mitchell Gold + Bob Williams factory, based in Taylorsville, North Carolina.
home_stuff  furniture  comparo  review  wirecutter 
10 days ago by rgl7194
Twitter
RT : This means unions are just flat out stealing from workers now.
from twitter
10 days ago by ewerickson
Twitter
Norm wants you to know that he’s super-super-sorry after he got throat-punched in his wallet
from twitter_favs
10 days ago by chetan
Sofa Buying Guide: Reviews by Wirecutter | A New York Times Company
After 45 hours of research, including visiting three furniture factories, interviewing industry experts, and parking ourselves on nearly every sofa we’ve seen, we can tell you exactly what separates great sofas from future curbside donations. This guide will walk you through everything you need to know to bring home a durable, comfortable, and aesthetically pleasing piece of furniture.
Finding the right sofa for your space and budget begins with deciding what type and style you want. Just as important, you’ll need to determine what size sofa will fit in your home (including through the delivery path of doorways, hallways, stairs, and other exterior/interior obstructions). Then consider how many people you want to seat, and what to avoid (and invest in) if pets or kids will regularly use the sofa. We cover how to check for quality construction, how much you should expect to spend, and when you can get the best deals. We’ve also put together a buying checklist that you can take with you when you’re shopping, to help you remember the most important details.
home_stuff  furniture  comparo  review  wirecutter 
10 days ago by rgl7194
The love doctors of Thirst Aid Kit on why it’s important for women to lust out loud
NP: At our first movie night, which was Magic Mike XXL, this one woman was crying with her friend. She said, “It’s just so beautiful to be in this environment, in this safe space, and hoot and holler at the screen with this community.” I loved that, it was so moving.

BA: I hope that the fact that we’re so clear about our intentions, that we’re not here to get gossip, has meant that people are more open to coming on the show. We’re asking intelligent, insightful questions, and we are looking for them to answer in a similar fashion.

NP: When we first started out, we got a little criticism. “If men were doing this, would it be sexist?” I responded that men would not examine why they find these people attractive. It would just be about a bunch of T&A.
marnie-shure  bim-adewunmi  nichole-perkins  avclub.com  thirst-aid-kit-podcast  profiles  john-cho  ryan-coogler  chris-evans 
10 days ago by yolandaenoch
Twitter
RT : I mean this seriously, not as a political dig.

If you’re in Florence’s path and considering riding it out, your P…
from twitter
10 days ago by willie
Twitter
Unforseen but very relevant criticism of Draft bill - Kudos to the author for seeing through this anomaly…
from twitter_favs
10 days ago by matthan
Twitter
RT : Facebook does exactly what CNN has been harping about for months but it’s problematic because a liberal outlet got…
from twitter
10 days ago by ewerickson
Twitter
they gave Rolf a fade 😭
from twitter_favs
10 days ago by taurean
U.S. Weighs Sanctions Against Chinese Officials Over Muslim Detention Camps - The New York Times
The Trump administration is considering sanctions against Chinese senior officials and companies to punish Beijing’s detention of hundreds of thousands of ethnic Uighurs and other minority Muslims in large internment camps, according to current and former American officials.
china  1 
10 days ago by noiseguy
Twitter
Evangelical America is changing quickly. This is what the future could hold. Watch our full #VICEonHBO report here: http://bit.ly/1aG44iT
Archive  instapaper  tenpla 
10 days ago by WFreeland
The Best String Trimmers: Reviews by Wirecutter | A New York Times Company
After using 10 string trimmers to level 12,598 square feet of an overgrown field and trimming over 6,000 linear feet along walls and fences, we’re convinced the best string trimmer (also known as a weed wacker or a weed eater1) is the Ego ST1502-SF Power+ 15″ String Trimmer.
Our pick
Ego ST1502-SF Power+ 15″ String Trimmer
The best string trimmer
The Ego far outdistanced the competition in run time and power. It’s also very comfortable to use, even for extended trimming sessions.
$180* from Home Depot
*At the time of publishing, the price was $200.
Compared with other cordless trimmers, the Ego ST1502-SF Power+ 15″ String Trimmer is at a different level—it cut through 1-inch thick Japanese Knotweed like it was grass, while the others pathetically slapped their strings against the thick stalks. With all of that power, you’d expect it to be noisy, but it was also the quietest tool we tested, with a hair-dryer-like hum that sounded more pleasant than the whine of its competitors. The Ego is just as powerful and affordable as a gas tool, but without the messy fuel, smelly exhaust, or time-consuming maintenance. It was also the most capable cordless trimmer we found, with enough run time to cut a 1-foot-wide strip of grass almost two-thirds of a mile long on a single battery charge. At 10 pounds, it was not the lightest trimmer we tried, but its excellent balance and handling made it one of the easiest to swing around and maneuver in tight spots.
gardening  tools  comparo  wirecutter  review 
10 days ago by rgl7194
Twitter
RT : Fun fact: Ever wondered why it's called The Iliad? Because Ilium was another name for Troy, and the -ad suffix was…
from twitter_favs
10 days ago by dcohenp
Marie | Celia's by the Beach
Taco taco Tuesday. (@ Celia's by the Beach - in San Francisco, CA w/ )
from twitter
10 days ago by jamuraa
Twitter
Thrilling action scenes from today’s move-in at HQ featuring and…
from twitter_favs
10 days ago by hellbox
Twitter
I found this tweet I had written down several years ago that I never used:

Rick Perry should start a YouTube channel:

"Remember to Like, Comment, and, uh, what's the third one there, let's see, Like, Comment, and uh... Subscribe, there you go."

— Al Sweigart (@AlSweigart) September 12, 2018
10 days ago by jtyost2
Twitter
Where are they suppose to go? The shelters are full. If Saanich wants them to mov…
from twitter_favs
10 days ago by unclespeedo
Twitter
Talked about my new company publically for the first time tonight with some amazing women at
from twitter
10 days ago by kangaroo5383
Notebooks
"They're, well, notebooks — things I find amusing, outrageous, strange or otherwise noteworthy; notes towards works-in-glacial-progress; hemi-demi-semi-rants; things I want to learn more about; lists of references; quotations from the Talking Heads where appropriate. If you can help with any of these, I'd be grateful; if you can tell me of anything I can profitably prune, I'd be even more grateful." (via robin sloan on mastodon)
notes  culture  research 
10 days ago by aparrish
« earlier      later »

Copy this bookmark:



description:


tags:



Copy this bookmark:



description:


tags: