Clik here to view.
Formal Methods in Practice: Using TLA+ at ESpark
Our tool of choice is TLA+. First, we specify the system as a giant abstract state machine and list all of the possible transitions it can make. Then, we specify invariants of the system, properties...
View ArticleClik here to view.
“Paranoid Mode” Compromise Recovery on Qubes OS
Occasionally fuckups happen, even with Qubes (although not as often as some think).What should we – users or admins – do in such a situation? Patch, obviously. But is that really enough? What good is...
View ArticleClik here to view.
N.S.A Halts Collection of Americans’ Emails About Foreign Targets
Senator Ron Wyden, an Oregon Democrat who sits on the Intelligence Committee and has long been an outspoken critic of what he saw as N.S.A. overreach, hailed the decision and said he would offer...
View ArticleClik here to view.
Debian 9 not including support for UEFI Secure Boot
Debian 9.0 "Stretch" has seen UEFI Secure Boot support no longer being considered a release blocker but is now just a stretch goal for this upcoming release.Debian developer Jonathan Wiltshire shared...
View ArticleClik here to view.
Postgres tips for Rails developers
This week at RailsConf, we found ourselves sharing a lot of tips for using PostgreSQL with Rails. We thought it might be worthwhile to write up many of these and share more broadly. Here you’ll find...
View ArticleClik here to view.
Chinese Offer to Eat Denmark’s Oyster Problem to Extinction
“We expected a much more mild reaction,” the public diplomacy and media section of the Danish Embassy said in emailed answers to questions. Instead, it said, the embassy’s online accounts were “were...
View ArticleClik here to view.
Getting Closer to Mass Production of Bones, Organs, and Implants
Medical researchers have been able to create certain kinds of living cells with 3D printers for more than a decade. Now a few companies are getting closer to mass production of higher-order tissues...
View ArticleClik here to view.
El Salvador bans metal mining in world first
A woman holds a banner reading "No to mining. Yes to life" during a protest against mining at the Legislative Assembly in San Salvador on March 29, 2017El Salvador on Thursday became the first country...
View ArticleClik here to view.
Ask HN: How do you keep improving?
Ask HN: How do you keep improving?82 points by Superleroy3 hours ago | hide | past | web | 39 comments | favoriteI am currently in my ~8 year as a developer, doing my Masters degree while working as a...
View ArticleClik here to view.
Visualizing Concurrency in Go
If you prefer video over blog posts, here is my talk on this at GopherCon 2016:https://www.youtube.com/watch?v=KyuFeiG3Y60One of the strongest sides of Go programming language is a built-in concurrency...
View ArticleClik here to view.
I found the best anagram in English
I found the best anagram in EnglishI planned to publish this last week sometime but then I wrote a line of code with three errors and that took over the blog.A few years ago I mentioned in passing...
View ArticleClik here to view.
Elevators in an age of higher towers and bigger cities
“Ping.” After the familiar sound and sight of an elevator door sliding open, I step out into what could loosely be called a room, surrounded by jagged walls of limestone with mossy lichen inching up...
View ArticleClik here to view.
Clik here to view.
California Bill Mandates Privacy by Design for IoT Devices
The bill, introduced in the California Senate earlier this month, would require Web-connected device manufacturers to equip devices with reasonable security features and obtain consent to use consumer...
View ArticleClik here to view.
How Web Forums Make Neuroticism Viral
Web forums are full of neurotics. They breed neuroticism and make it go viral. Learn how and why this happens.Open Discussion On The WebOne of the great virtues of the internet is that it enables open...
View ArticleClik here to view.
Washington state’s orchards see a game-changer in a robot that picks apples
SPOKANE — Harvesting Washington state’s vast fruit orchards each year requires thousands of farmworkers, and many of them work illegally in the United States.That system eventually could change...
View ArticleClik here to view.
Nontransitive dice
From Wikipedia, the free encyclopediaA set of dice is nontransitive if it contains three dice, A, B, and C, with the property that A rolls higher than B more than half the time, and B rolls higher than...
View ArticleClik here to view.
Wacl: Tcl distro customized for WebAssembly
Tcl distribution for Webassembly or JavascriptThis is a Tcl distribution for WebAssembly (webassembly.org). It enables Web developers to embed a Tcl interpreter in the browser and integrate Tcl with...
View ArticleClik here to view.
Hacker Leaks Episodes from Netflix Show and Threatens Other Networks
The thefts are the latest in a long line of ransom and extortion attacks perpetuated by cybercriminals over the past year. Security experts have been responding, with greater frequency, to breaches in...
View ArticleClik here to view.
TypeScript Progressive Web App Quickstart
README.mdThis is a bootstrap for a TypeScript Progressive Web App.Service workers are auto generated. Note that you will need to click "Update on reload" in the Application tab of Chrome Dev Tools to...
View Article