recent bookmarks

Twitter
aj was the first nigga i seen on tv with braids, dreads, and a perm in the same hairstyle.
from twitter_favs
10 days ago by DocDre
Twitter
Trudeau is disappointed in Ford violating your Charter rights but not enough to actually do anything about it.…
from twitter
10 days ago by UnionStayshyn
Twitter
.‘ original sin here was having one of their investors explain their licensing decision for them. Also wh…
from twitter
10 days ago by whyitsjeff
(429) https://twitter.com/i/web/status/1039711406407524354
Brock Holt: "That was a lot of fun for me. To help out when I can and however I can…We know we have a long…
RedSox  from twitter
10 days ago by rdr
Twitter
I brought home comics, artwork and a pretty sweet sore throat from comic con
from twitter
10 days ago by tylersticka
Twitter
RT : THIS JUST IN!! To help celebrate Kate Marsh’s birthday tmrw - my stream will include a giveaway of my…
from twitter_favs
10 days ago by jacobrealo
Inside the Weird, Wildly Creative Mind of ‘Kidding’ Director Michel Gondry
Favorite tweet:

Eternal Sunshine's Michel Gondry and Jim Carrey plotted to collaborate again for years until Skyping excitedly to discuss the prospect of #Kidding on @ShowTime: “We exchanged a lot of ideas" https://t.co/siIfDSgf9r

— The Daily Beast (@thedailybeast) September 11, 2018
IFTTT  Twitter 
10 days ago by chetan
How Teeth Became Tusks, and Tusks Became Liabilities - The New York Times
Humans, mice, narwhals — most mammals rely on ancient genes to produce teeth and tusks. But the tuskless elephants of Africa show that nature can quickly alter the code.
Science 
10 days ago by noiseguy
Twitter
My friend is at Tokyo Disneyland and so she just video called me and walked me through the stores so I could pick o…
from twitter_favs
10 days ago by jhelwig
Twitter
$COP $XOM Breakouts In ConocoPhillips & ExxonMobil Sanctions on Iran Could Push Oil Prices Above $100 P…
from twitter_favs
10 days ago by rcsmedia
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 cying
Collective Interests: Going Numb on 9/11 - WhoWhatWhy
Another year has passed since 9/11, and it seems as though accountability for those who financed and supported the perpetrators is further from reality than ever.
While yet more evidence has surfaced this year about the people involved in covering up the crime, secrecy reigns supreme in Washington. Yelling “national security” a whole lot, which US intelligence officials and lawmakers tend to do when they don’t want classified information released for public consumption, has a funny way of locking up scandal nice and tight.
Additionally, the major news outlets rarely mention the involvement of high-ranking Saudis in the plot or the cover-up. So the anniversary has become a day of little more than patriotic memorials and sorrow, while deferred justice is left to what remains of the court of public opinion.
But there is precious little progress on that front.
gov2.0  politics  terrorism  911  security 
10 days ago by rgl7194
Twitter
RT : Check out this News piece
on the awesome work is doing, along with CEGA faculty affiliate F. Finan…
from twitter_favs
10 days ago by Varna
Twitter
RT : This seems like a significant departure from plans last month for orca . Media update tomorrow and public meeti…
from twitter
10 days ago by burritojustice
Twitter
【カルデア広報局より】
現在開催中の「復刻 Fate/Accel Zero Orderピックアップ召喚(日替り)」にてピックアップ中の「★5(SSR)諸葛孔明〔エルメロイⅡ世〕」の宝具演出「石兵八陣」をご紹介いたします!
FGO  from twitter_favs
10 days ago by richardy
Twitter
Greedy bastards. Care not a jot about people’s health
from twitter_favs
10 days ago by stringsn88keys
Twitter
Somewhere Elizabeth Bathory is rising from her grave and saying "I fucking told you so."

(Also the headline is inc…
from twitter_favs
10 days ago by jeffharbert
Twitter
Honored to be speaking at Kartemquin’s Diverse Voices in Docs graduation.
from twitter_favs
10 days ago by klokie
Twitter
Michael built a version that worked the normal way first. Anyway, I d…
from twitter
10 days ago by samth
Twitter
Here’s proof Serena Williams was the victim of a sexist double standard at the U.S. Open
from twitter_favs
10 days ago by chetan
From Trump to Trade, the Financial Crisis Still Resonates 10 Years Later - The New York Times
This week is the 10th anniversary of the inflection point of the financial crisis: the collapse of Lehman Brothers, the biggest bankruptcy in history. To some, it feels like a long time ago.

Yet, its effects still echo in the way we live today — in the attitudes that pervade our economy, our culture and our politics. It is hardly a stretch to suggest that President Trump’s election was a direct result of the financial crisis.
1 
10 days ago by noiseguy
[블로터12th] “요즘 유튜브에서 뭐 보니?” ver.2
seoulrain 유튜브 채널을 분야별로 구분해 재밌거나 인기 있는 354개 채널을 이미지맵으로 만들어 봤습니다. 깃허브 링크를 통해 더 크게 보실 수 있고, 프로필 이미지를 클릭하면 해당 채널로 넘어갈 수 있습니다. http://bit.ly/2MpS4Em (블로터) September 12, 2018 at 12:00PM http://twitter.com/seoulrain/status/1039710246543994886
IFTTT  Twitter  ththlink 
10 days ago by seoulrain
Les Moonves Put CBS on Top. Then It All Came Crashing Down. - The New York Times
Mr. Moonves made his name as a programmer of shows with clear-cut villains and heroes. On Sunday, after more allegations of sexual misconduct, his career was in free fall.
10 days ago by noiseguy
Twitter
I believe this was in reference to some dev tooling (buttons) that floats over the interface…
from twitter_favs
10 days ago by ljharb
How Safe Is the Mac App Store? Privacy-Violating Apps Uncovered | The Mac Security Blog
Security professionals often advise users that Apple's Mac App Store is one of the safest places to download apps.
After all, Apple has a review process that's supposed to help prevent potentially harmful apps from ever being published. Additionally, App Store apps are sandboxed, which is supposed to limit apps' ability to engage in undesirable behavior. Together, Apple's app review process and sandboxing theoretically make the App Store a more trustworthy software source than most.
Lo and behold, new information has come to light that calls into question the safety of the App Store platform. Many apps have recently been caught doing unscrupulous things, circumventing protections supposedly provided by the App Store, and invading users' privacy.
So then, just how safe is the Mac App Store? And what should Mac users do?
apps  data  mac  privacy  security  store  tracking 
10 days ago by rgl7194
Twitter
Getting out the vote, one bar at a time during tonight’s progressive bar wave! TWO more days until thi…
from twitter_favs
10 days ago by mengyuanli
Twitter
I actually think about this a lot and I think there is a real chance we could make that happen and…
from twitter
10 days ago by jasonpjason
Twitter
Congrats on your primary win! Can’t wait to vote for Gray in November!
from twitter_favs
10 days ago by chrisgonyea
Probiotics: If you don’t just poop them out, they may muck up your guts | Ars Technica
Probiotics: If you don’t just just poop them out, they may muck up your guts via Instapaper https://ift.tt/2oQpKlp
ifttt  instapaper 
10 days ago by sshappell
English-level-up-tips-for-Chinese
可能是让你受益匪浅的英语进阶指南. Contribute to byoungd/English-level-up-tips-for-Chinese development by creating an account on GitHub.
English  language  CN  learning 
10 days ago by oumu
U.N. Chief Warns of a Dangerous Tipping Point on Climate Change - The New York Times
Warning of the risks of “runaway” global warming, the United Nations secretary general, António Guterres, on Monday called on global leaders to rein in climate change faster.
1  climate.change 
10 days ago by noiseguy
Apple takes down Trend Micro Mac apps that collected, stored user data | Ars Technica
24 hours of users' browsing data was unknowingly sent to Trend Micro's servers.
Apple removed several anti-malware apps from its Mac App Store after the apps were found to export users' browser histories. All of the apps in question are made by the cyber-security company Trend Micro, which initially denied the allegations but has since issued an apology to its users.
"Reports that Trend Micro is 'stealing user data' and sending it to an unidentified server in China are absolutely false," the initial statement says.
The statement also details what Trend Micro found in its investigation: the company claims that some of its apps, including Dr. Cleaner, Dr. Antivirus, and Dr. Unarchiver, uploaded a "small snapshot" of users' browser histories that covered the 24 hours before installation. The company claims this was done for "security purposes," particularly to see if users had recently come into contact with adware or other threats. The collected user data was uploaded to a US-based server hosted by Amazon Web Services and managed by Trend Micro.
apps  data  mac  privacy  security  store  tracking 
10 days ago by rgl7194
Twitter
RT : Samedi 15 septembre venez célébrer la Journée internationale du logiciel libre! Au menu: conférences, exposition, k…
from twitter
10 days ago by amicalmant
Twitter
RT : I'm just going to say it.

The NWS is calling "the storm of a lifetime".

If you live on the NC/SC coast,…
from twitter
10 days ago by burritojustice
(429) https://twitter.com/i/web/status/1039710525058375681
Listen, when your writing sessions last 1500 years, things get a little weird and you get bored with a single genre…
from twitter
10 days ago by brchastain
https://mobile.twitter.com/joy_pops/status/1036606434220359685
we are two little thieves
oh yes we will steal
the walnut shell
from [the] topmost shelf...
micropoetry 
10 days ago by famkejnell
From Trump to Trade, the Financial Crisis Still Resonates 10 Years Later
This week is the 10th anniversary of the inflection point of the financial crisis: the collapse of Lehman Brothers, the biggest bankruptcy in history. To some,…
from instapaper
10 days ago by davejavou
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
« earlier      later »

Copy this bookmark:



description:


tags:



Copy this bookmark:



description:


tags: