skysight-inc/HackerNews huggingface dataset:
Start with this paper which lays the reliability benefit out pretty well with specific examples:

http://cs.furman.edu/~chealy/cs75/important%20papers/secure%...

Start at "The Paper" here to skip past Linus vs Tannenbaum politics stuff. He describes the common counterpoints and shows with evidence, including existing systems, that they're not as big a deal as people say.

http://www.cs.vu.nl//~ast/reliable-os/

Example from high-assurance world that has many features & assurance activities a FOSS attempt at secure microkernels should consider copying:

http://www.ghs.com/products/safety_critical/integrity-do-178...

Animats and I think QNX is probably best of commercial ones in balancing all kinds of tradeoffs. It's been used for decades as a self-healing RTOS with good performance. First link is their description of it with second a demo of a product with QNX inside showing how fast it can be on non-desktop hardware.

http://www.qnx.com/content/qnx/en/products/neutrino-rtos/neu...

https://youtu.be/vPo6gl8N0wM?t=1m20s

Open-source one aimed at reliability & legacy compatibility you can play with. Took UNIX decades to get reliable despite all the labor but Minix 3's foundation did it with a handful of people over a few years. That's saying something.

http://wiki.minix3.org/doku.php?id=www:documentation:feature...

Another FOSS one that aims at high-security integrating many best-of-breed components from CompSci like Nitpicker GUI and seL4 microkernel. First link is descriptive slides with second the actual site. This one is still new so will have bugs.

https://archive.fosdem.org/2015/schedule/event/genode_os_sec...

https://genode.org/about/

Finally, it's worthwhile to throw in an exemplary one from capability-security that further isolates things with self-healing properties. Based on commercially successful KeyKOS system on mainframes. No longer maintained but docs and GPL code still available for study or revival. Paper also describes other capability kernels.

https://www.cs.ucsb.edu/~chris/teaching/cs290/doc/eros-sosp9...

So, there's you a few days worth of reading and a few years worth of thinking to do. Hope it helps shed light on why almost every safety- or security-critical system that ever did well in reliability or security was a microkernel-based system. These days, high-assurance is looking at eliminating even it with CPU's with built-in security, compiler techniques for automated safety/security, and DSL's for easy formal verification of OS or system components. Until that's finalized & while using traditional hardware, it's best to build on methods that already worked for decades.
Our office is split mac/pc. We bought about 12 of the T440s/T450s for the pc folks. There is a lot to like. One surprise perk: they use the same mini-displayport dongles to connect to projectors, so we can just leave the dongles on.

Downsides: The screens are pretty washed out and blah compared to the mac screens, but ok for coding. The trackpads also holdup very poorly against the macs.

The key problem for us though is they fail way more than the macs. Probably about half of them have had some issue or another after 2yrs. For the macs it's been closer to 1 in 10 or 1 in 15.

We decided to spend more and push people toward more expensive macs. It saves us so much IT time.
MARKETER SEEKING WORK

Location: REMOTE (Based in UK)

Expertise: PPC (Google AdWords) - Keyword Research, New Account Setup, Audits, Ongoing Optimisation, Reporting

Email: hn@adamowen.co.uk

I'm a 21 year old marketer with over 3 years' experience working on SEO, PPC and copywriting. I'm Google AdWords certified and focus on increasing conversions.
SEEKING WORK - Remote (Manchester, UK based)

I'm a Full Stack Developer. Comfortable with all aspects of web development, front-end, back-end and DevOps.

● Laravel, PHP, MySQL, Nginx, Ubuntu, Memcached, Redis, Twitter API, Pusher API, socket.io

● JavaScript, jQuery, React, Vue.js, Gulp.js, Git, AWS, S3, CloudFront

● HTML5, CSS3, Sass, Bootstrap

My portfolio can be found here - http://chrisloftus.co

My GitHub has a small React Native (iOS) quiz app and a recent task management app that I'm building with Vue.js and Vuex. https://github.com/chrisloftus

Blog: https://chrisloftus.github.io

Contact: chrisloft a.t. gmail to talk about your project.
sorry to self promote, but if you are JS person, try www.hirejs.com and let me know if you run into any issues - emad@hirejs.com

Thanks.
Thinkpad X1 Yoga. Light, great keyboard, trackpoint is surprisingly useful (and I use it a lot actually), decent touchpad (not as good as on Macbook though), nice WQHD screen, everything works of of the box with Linux (including touchscreen and wacom pen) but fingerprint scanner and auto rotate (I prefer to switch manually anyway, feature will be in kernel 4.9). Hi-DPI app support could be better (improves rapidly). EDIT: Battery lasts ~6.5 in real life settings, but charging is super fast. I am sure battery would be better with i5 (I have i7), FHD and a non NVMe drive.

I think I would like X260 more though. I do not use touchscreen and pen very often and hot-swappable battery would be great.
Comparing shorthand and regular writing is a disingenuous way to make an argument, to say the least.

It's like comparing a text file with the same file, but compressed in some obscure format, like ACE. You'll spend orders of magnitude more time finding a single person who can read your shorthand than learning it and writing whatever it was that needed to be written.

The advantage of normal writing (whether cursive or hybrid cursive/print) is that, in theory, barring extreme cases, everyone can read it or at least guess the context from the words.

The Gregg shorthand you linked looks like a bunch of scribbles and might as well be Chinese glyphs or Hebrew to a layman.

If the goal is to write notes for personal use, I think that time's long gone and most information is available online and can be easily referenced in seconds with search queries (unlike a hand written notebook, where you must store a mental index of the contents).

> If you want your handwriting to "look nice", treat it as an art form, because that is what you are doing when aesthetics supercedes practicality.

It doesn't need to "look nice", just legible enough to convey information or a part information, from which the rest can be inferred by context.
SEEKING WORK - Fullstack Web Developer - Go, ReactJS, PHP

location: Toronto, ON

Experienced fullstack Go/Reactjs developer, love building products from start to finish.

Remote: Yes

Willing to relocate: No

Technologies: Go, Reactjs, PostgresSQL, SASS

Resume/CV: https://www.ivanzhang.ca
If the reasoning behind learning Cursive script is speed of writing - why not go all the way and teach shorthand?
my wife finds it odd I listen to 90's Ministry/Nine Inch Nails to focus :)

also Underworld's Second Toughest on the Infants album is always my go to music.
Retiring Early? Consider Costs That Go Along with Your Decision
This is a great guide but my biggest question is around compensation which was not covered by this guide. Do you hire and pay the 60th percentile at approx. local market rates? Do you hire the best remote people at SFBay market rates? How do you handle equity? How is payroll and benefits handled?
This is the biggest thing that keeps me from switching. I'd happily swap to some other brand and run Linux, but every time I touch a non-Apple laptop it feels cheap, loose, clunky, plasticy, and just...bad.
I was midly in shock when I looked in to L4 message passing times [1]. 250-300 cycles on x86_64 processors, and ~150-300 on ARM.

As somebody interested in concurrency what is being done internally to pull off this speed, but maintain extra-thread consistency in a SMT-type system? As far as I know even a x86_64 memory fence will require around >2,000 cycles.

I understand you create a notification object to pass a message, but don't you have to collect these notification objects at some point?

Edit 1:

I'm reading the manual [2], but I'm just becoming more confused. If you are passing register files, swapping stacks normally takes ~3ns even with small stacks. Or is the 300 cycles just the send time?

[1] https://ts.data61.csiro.au/publications/nictaabstracts/8988....

[2] https://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf
The FBI Director’s Unworthy Choice
So, say Big Corp. in the US calls out a company located in another country for patent infringement in their SaaS that is being used by US users, where Big Corp have their territory patent. Are you saying the international company can be sued by the US company? Where would they even sue them since they are not US based and other countries commonly don't acknowledge other countries' IP and laws?
Transputer channels making a comeback? And more generally dataflow as an interface. Yay.
Ask HN: Who needs contributors? (November 2016)
Looking for contributors to your project? Feel free to post any project that may interest HN readers, with a strong preference towards open source. Please follow this general format:
Project name

Project description

What do you hope to build this month?

What kind of skills do you need?

Link to your GitHub or somewhere else you'd like to onboard new contributors, like your project management software or chat room.

Your license(s)

Consider tagging your project’s relevant issues with “ask hn”. To search these issues, go to https://github.com/search?utf8=%E2%9C%93&q=state%3Aopen+label%3A%22ask+hn%22&type=Issues&ref=searchresults
Draw a Pumpkin with Small Basic
I'm not convinced by his "need" to have Thunderbolt 3.
Look at their site: https://codegophers.com

My guess is this dude literally said "make a web form with these inputs that will produce a PDF formatted like this".
Turning 21, 30, and even 40 may have it’s perks, but being over 50 may take the cake. So get that ID ready because when you turn 50, you magically become eligible for some pretty amazing senior discounts through AARP.

Check out our top 7 reasons why being 50+ is AWESOME!
>Most of Windows 10's boot, when Fast Startup is enabled[...]

You are completely right for this case.
SEEKING FREELANCER (Remote or Berlin, Germany)

Abecedary Limited

We’re looking for someone to help us integrate SAML authentication into a Python/Flask web app (as a Service Provider, wanting to authenticate against IdPs). There is already a full authentication system in-place — all that needs doing is integration with SAML-based SSO.

Knowledge of Python or Flask is not needed but extensive experience of SAML — and, ideally, the UK Access Management Federation and/or comparable schemes around the world — will be needed.

Expected completion within 1–2 weeks.

Contact <hiring@greensdictofslang.com>.
Right. I went X30 -> X40 -> X61s -> Tablet 2 -> Helix 2, the Tablet 2 as an experiment (I love the keyboard that came with it and keep that paired with my Nexus 7 now for emergency ssh-ing) and then I jumped to the Helix 2 rather than another X series because there didn't seem any point.

Somewhere around 2019-2020 when I finish destroying the Helix 2 I'll probably end up back on an X series.
That's a good point, I have no idea what the electricity costs are (I used a friend's address).
SEEKING FREELANCER | Pexels | Berlin, Germany | REMOTE, VISA | Senior Frontend (React) Engineer | Full-Time

We are looking for a senior React developer who can help us build a new product. Freelancer or employment. Our current product has millions of monthly users, is growing fast and most people in the web dev and design community know and love us.

More information here: https://docs.google.com/document/d/1aerfu5BBPwzcgehL6dsqwf-F...

Email us at jobs@pexels.com
I don't understand why the lack of security in embedded devices is an indictment of.a 'security industry.' That's like 'drunk driving proves failure of the seatbelt industry.'
Did you write any of the code yourself? That's what people are wondering.
Dell XPS13 9343. I love that it's super light, long battery life, high res screen, adequate performance. I use Ubuntu 16.04. I usually use chrome with a gazillion tabs open at any time + gnome-terminal running python or C/C++ compiles. Suspend/resume works very well.

Caveat: eventually I tired of the occasional wifi problems and I replaced the broadcom wifi module with an intel one (~$25). Flawless wifi since.

I think my only regret/disappointment would be the memory -- this one is limited to 4GB and I can't upgrade it.
Getting Started with Golang and Couchbase
Staples SparX | San Mateo, CA or REMOTE | Full Time

Looking for:

* Software Engineers
* Dev Ops
* Data Scientists

SparX is a small engineering team focused on applying online machine learning and predictive modeling to eCommerce (impacting a 24 billion dollar business). Our stack is 100% Clojure, service oriented, targeting 50 million users with 1ms SLAs. We apply engineering and data science to tough problems such as dynamic pricing, shipping estimations, personalized emails, and multi-variate testing. We are always looking for talent in data science, engineering and devops. Bonus points if you can bridge 2 of these together. We love people with strong fundamentals who can dive deep.

We're a small team, so you will have an opportunity for a high-impact role, targeting over 50 million users. But our best perk is our colleagues: a diverse and extremely talented team of seasoned engineers and data scientists. We are located in San Mateo, walking distance from the Cal-Train station. Come visit or apply online at http://staples-sparx.com.
Poki — http://jobs.poki.com | Amsterdam | Onsite | Full-Time

Poki is an online playground with 30 million users around the world. With a team of 25 we build a web game platform that helps game developers achieve success, and brings fun games to kids of all ages around the world.

We’re a bootstrapped company where development, data and design come together. We are looking for:

• Full-Stack Web Developer - http://jobs.poki.com/full-stack-web-developer

• Senior Front-End Developer - http://jobs.poki.com/senior-front-end-developer

• Senior Back-end / DevOps Developer - http://jobs.poki.com/back-end-devops-developer

# Stack: Go, Node, React, Redux, Kubernetes, Docker, Microservices, AWS, GPC

We believe in giving smart and creative people the freedom and autonomy to do great work.

Apply: http://jobs.poki.com

Culture: http://poki.com/company/tropical-retreats/
I think a lot of people are thinking ahead, sparked by the circus that new Apple announcements cause.
Can't they still restrict you? For example Tesla could prevent you from connecting to their network and being able to use super chargers if you in any way 'hack' your car.
Post-rock is wonderful for concentration: no vocals, but enough crescendos to pump anyone up. If you want quieter post-rock, it's available too.
Location: Brooklyn, NY / New York, NY

Remote: Yes

Willing to relocate: Yes

Technologies: D3, React, WebGL, R, Python

Résumé/CV: https://www.dropbox.com/s/2q8oavwvlaq7xrs/resume2016.pdf

Email: kshitij.aranke@gmail.com
This case is the default for Windows 10.
Bloc | Full-Time & Part-Time | REMOTE | JS & Rails Mentors | bloc.io

Bloc offers a flexible, rigorous, and unforgettable learning experience; we combine demanding course material with weekly tutelage from industry professionals to create a powerful learning environment; our mentors are experienced designers and developers with a passion for sharing their craft.

We’re looking for a wide-range of experience levels. https://jobs.lever.co/bloc?lever-source=ask-hn
The second law of thermodynamics isn't really a fundamental physical law, but rather a promise based on statistics that says "disorder will increase or stay constant in a closed physical system".

That said, it's entirely possible for entropy to spontaneously decrease in a closed system, the probability of this happening is just astronomically small for typical macroscopic systems.

Example:

If you have a system consisting of two compartments that are separated by a wall, where one of the compartments contains N particles. The system has low entropy because all the particles are on one side of it. Now, if you remove the barrier between the two compartments, particles will distribute evenly on both sides, increasing the entropy of the system. If we assume that the position of the particles is random, the probability of finding all of them on one side of the system is (1/2)^N, which quickly converges to zero for most macroscopic systems, which often contain > 10^23 particles.
GIFs, Products and Superpowers
Your point 0 is one of the reasons I struggle with reading foreign (currently - Russian) SF [0]. I feel like the original author's intent isn't coming through. I still enjoy "non-western" SF for the perspective it brings.

[0] https://www.amazon.com/Red-Star-Tales-Century-Russian/dp/188...
Shopping Coming to Instagram
And of course, even if you get hacked, no consumer buys a camera "how good is the anti-hack feature on this?" and how to even quantify it? Hell people still install viruses because the popup told them to.

That's the problem. Security is either the default, or ignored.
Oh wow, $200k for a month? That amount is astronomical for a crowdfunding campaign, and it still only buys one month :/
As much as I dislike Trump, it is pretty amusing watching many of the insiders squirm, since they don't like him either. (this presidential election seems to come down to a "Simpson's Treehouse of Horror" scenario where you must choose one tentacled alien or the other)

It's not hard to see a lot of the disenfranchised casting a "F@ck Y@@!" vote just to upset the apple cart for the well off. There was an interesting program on about a month ago about the Trump nomination, and who to "blame" for it.

http://www.intelligencesquaredus.org/debates/blame-elites-tr...
To me, many design decisions they have taken with respect to hardware are incomprehensible. It doesn't look like a premium quality laptop. Very few can pull it off like Apple.

(I have never owned an Apple laptop.)
I "vouched" for your comment as it was showing up dead for some reason...

I can second sosuke, addforums.com was a great resource. I haven't been there for a long time though.
How many interesting tech employers are based in Whistler?

For Whistler, substitute the tropical island, rural idyll, or cheap city you prefer.
Location: Jyvaskyla, Finland

Remote: Preferrably no

Willing to relocate: No

Technologies: C, OpenBSD, [excluded huge list of stuff I've used or tried but am no expert with]; milling machines, radial drills, lathes; I've basic training in CNC as well as work experience with manual machinery

Resume/CV: No thanks

Email: hipsternews3 at guu dot fi

About me: I'm a machinist considering a career in software development.
http://freakonomics.com/podcast/who-needs-handwriting/
This podcast I believe is pretty objective. Sets up some of the virtues of handwriting, discusses that cursive is faster than print, but shorthand is even faster, and that faster isn't very helpful, so slower is maybe better because it forces reflection, and idea solidification.

personally the argument, our kids can't read the declaration of independence and other historical documents, is just silly. All of these documents are available in a hundred different languages, rendered in any font your heart desires. if our dystopian future hinges on apparently having the original declaration of independence in hand, and the issue is that we are unable to read it because we no longer know cursive, then there are worse things going on. Namely that we are apparently living in a Michael Bay -esque ridiculous coincidence universe.

ahhh watch out for that giant robot car whose ex-con mechanic with a heart of gold used to be an ex cia agent who is the only one who can save us. and his ex-wife's boss is the leader of the bad guys, but maybe is a good guy?
Code Corps (https://www.codecorps.org)

We're helping volunteers and donors contribute to software projects for social good.

Monthly Goals:

- Finish Stripe integration so projects can start raising monthly contributions

- Redesign task UI

- Rework CSS to use flexbox and be more responsive

- Minor features in blog

Skills needed: Elixir, Phoenix, PostgreSQL, JavaScript, Ember.js, HTML, CSS, Sass, flexbox, UI and graphic design (Sketch a plus), dev ops (Docker, AWS)

Slack: http://slack.codecorps.org/

Elixir Phoenix API: https://github.com/code-corps/code-corps-api

Ember front-end: https://github.com/code-corps/code-corps-ember

WordPress blog: https://github.com/code-corps/blog.codecorps.org-site

License: MIT
If you could figure out how to remotely power a space habitat with nothing but downloaded prawn streams and lolcats, you, good sir, will end up ruling the galaxy, whether you want to or not.

If useful quantum information-to-energy conversion requires an observer, you will also solve the planet's unemployment problem.
I believe that they could get some additional extra money from unlocking domain quotas.

Due to technical bug my domain got black listed for a week, and I had to buy a new domain due to the deadline. I couldn't have used QA cert server.
Looking for Internships!

Location: West Lafayette, IN

Remote: Yes

Willing to Relocate: Yes

Technologies: Javascript/React, Ruby on Rails, C# .Net, Node.js

Résumé/CV: https://www.linkedin.com/in/hemanth-devarapalli-40a36162

Email: hemanth.devarapalli (at) outlook

1st year Masters student at Purdue University - West Lafayette. I'm doing coursework involving Natural Language Processing, Computer Graphics.
(click web link to see article)

The author Michael Mukasey was a former Attorney General who was appointed after Roberto Gonzalez was forced to resign. He had been a federal district court judge for 18 years.

He had written in a commentary in the WSJ in January, "Clinton’s Emails: A Criminal Charge Is Justified"

Excerpts from this article:

'Nonetheless, in July he announced that “no reasonable prosecutor” would seek to charge her with a crime, although Mrs. Clinton had classified information on a private nonsecure server—at least a misdemeanor under one statute; and although she was “extremely careless” in her handling of classified information such that it was exposed to hacking by hostile foreign nations—a felony under another statute; and apparently had caused the destruction of emails—a felony under two other statutes...'

EDIT: Although an AG under Bush, Mukasey was first suggested by Democrat Senator Chuck Schumer:

From a Time article just before Mukasey was approved:

http://content.time.com/time/politics/article/0,8599,1662451...
"However, Senate Democrats are largely positive so far on Mukasey, saying that as a judge he was very knowledgeable and an unquestioned straight-shooter. They also say he is independent, which is the highest priority of those who want to get to the bottom of any possible wrongdoing at the Justice Department under Alberto Gonzales."