skysight-inc/HackerNews huggingface dataset:
As an attacker, I test for sudo -n. If it succeeds, I have root. In most cases I do not need it however. SSH key trusts, SSH multiplexing and bad posix permissions are more than enough to get me anywhere and grab anything.
The MagSafe cables, however, were terrible. I've burned through three so far (in almost as many years) from the cable sheathing failing near the connector. Other manufacturers have included strain relief at this critical junction in their cables for decades, but nooooo, that's too good for Apple. So instead I get this form-over-function cable that fails all too quickly and is expensive to replace to boot.

I much prefer USB-C, even if only because the cables themselves are better engineered.
It's not your word vs them.

You just start recording them, and then if they try to stop you, their attempt to stop you is now recorded, and hopefully in the cloud where they can't delete it.
Why don't we just rip their bodies apart? Why don't we rip their arms and legs off?
From you link:

>"Servers use full disk encryption and the key must be manually entered at boot."

I am curious how do you handle key rotation and storage of encryption keys?
I think this house of cards is going to fall even harder than the one MtGox built if/when someone gives it a push.
AI Weekly 21 Oct 2017
From the name and the title, I was hoping it would be a prototype blockchain based distributed consensus extensions for Postgres. I have to admit that I was a little bit disappointed to discover that it is a collection of transaction parsing functions for the Bitcoin blockchain.

Nevertheless, cool project! Definitely something I should have used a year ago instead of the slow cludge of Python scripts I build!
I think it's not just about GI, jaggery would have more GI, I am not sure, but you could think of another angle - jaggery is unrefined sugar retaining the dietary fibre - that could result in a lower GI also some other benefits which we might be still discovering.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2730183
> basically this is a couple of..

I would prefer accuracy over complexity any day.
And it went well beyond the names, to financial gain as well as "personal favors".
Maybe so, but PageSpeed still gives you bad advice on it.
Female chess players outperform expectations when playing men
>This seems entirely rational to me. A private corporation must strive to meet real human needs in order to survive.

My experience in private corporations tells me that they tend to be incredibly inefficient as well. So I see the logic behind what you're saying, but I think you're describing something other than reality. The evidence I see points to efficiency not being correlated between public and private, but more between people who give a fuck and people who don't.
The one I googled and googled and googled for but couldn't find, which was taped to my mom's refrigerator, was the disappointed bird standing in front of the open refrigerator, lamenting: "Dang, somebody ate the middle out of the daddy longlegs!"

You're the guy to call when something goes wrong. ;)
Ever notice how since the 1980 the mantras changed from 'eat less, exercise more' to 'fad' diets whose one common theme was 'don't consume less, but eat different'. Subsequently obesity skyrocketed and the fat-lobby made sure that anyone who even pointed out the problem got demonized. Meanwhile 'food-scientists' silently made designer drugs out of daily consumables leading to a feeding frenzy and an obesity pandemic.
No, and it is encouraged for those who are capable of it. Send pull requests if you think anything can be improved please!
Dear Men: It’s You, Too
think i heard a few yc applications just get filed
> b) people are actually ready to shell out some decent money for getting the verification done.

That's true, but may be changing.

> a) the state space is much smaller than for software (although it can still be prohibitively large for complex designs and brute force formal methods)

That's true as well, but that is why some formal methods -- like my favorite, TLA+, and all the sound static analysis tools (they work by abstract interpretation) -- try to tackle the problem of software verification by abstraction (in a precise mathematical sense, namely a description of the system using a sound approximation of one with fewer states). In TLA+ you can even describe your system in different levels of detail and show that they form a sound abstraction/refinement relation. This is not to say that it's a silver bullet -- it takes work and thought, and isn't appropriate for everything, but a system like TLA+ lets you at least choose the level of detail you wish to work in and so the cost you'll have to pay. The lower the level, the more confidence you get, but more work you need to do. The early signs of TLA+'s success in industry show the practice to be worthwhile in some/many very important -- and quite common -- circumstances.
this is extremely basic, obvious, and probably below the technical level I'd expect from a HN fp item :(

it opens suggesting an insider's view, and then just list obvious trivia.
That reminds me of an old joke:

Q: How do you make $1 million in aerospace?

A: Start with $1 billion
Bitcoin's new record price means that Satoshi Nakamoto is worth $5.9B
> So they check .bash_history and then they realize they just need to also `alias /usr/bin/sudo`.

$ alias /usr/bin/sudo=whatever
bash: alias: `/usr/bin/sudo': invalid alias name
This is the result of the use of Diclofenac, a non-steroid anti-inflammatory drug, to care for livestock. The vultures eat the livestock carcasses, and die of the diclofenac... in great numbers. 99.9% (yes) of Indian vultures are gone- which, among other things, makes Parsi sky burials ineffective:

https://en.wikipedia.org/wiki/Diclofenac#Ecological_effects

In the past, the vultures would have picked the bones clean. Now there's just not enough vultures- hence the image you describe.
Feel free to call it Home Assistant instead of hass :)

One of the primary deployment platforms is the Raspberry Pi, so it is very well supported. I believe this would do exactly what you want:

https://home-assistant.io/components/switch.rpi_gpio/
That's from 2011.

Emacs Lisp has now support for lexical scope.

https://www.gnu.org/software/emacs/manual/html_node/elisp/Le...
Only? Many of the early MongoDB employees came from MarkLogic. Several have returned too.

(Full disclosure: PM at MarkLogic)
yes i understand decoherence at different scales, but my point is that the Arrow of Time exists for both a real physical object, such as someone falling off a cliff, but also a non-real object, such as someone dreaming of falling off a cliff. decoherence can explain the first, but since there is no physical cliff or object in a dream (at either the micro- or macro- scale), how can it explain Arrow of Time that is observed in interactions between non-physical imaginary objects?
I mean, the most effective contribution they could make to society is to stop lobbying Congress so effectively to protect their sales of Oxy, but sure, let's talk about how those profits could be rolled over into speculative investments in aerospace.

EDIT: And of course, the response to that line in the movie is "The future, Mr. Gittes."
FYI, I believe you may have meant "tongue in cheek": https://www.merriam-webster.com/dictionary/tongue-in-cheek
It is not for-profit. We will soon start a program for people to support the project.

The published version of Home Assistant is 100% what is on GitHub. Home automation is able to gather very private details of your house. It knows when you're home, what TV shows you watch, when you go to sleep. We keep all this data locally in your house, without the cloud. We want to make sure that anyone can check and influence the code that is distributed. No data should leave your house without your permission.
It sure can! Many of our users (I say our somewhat sarcastically as I'm only an occasional contributor) use this USB zwave stick successfully:

https://aeotec.com/z-wave-usb-stick

See this documentation for more info please:

https://home-assistant.io/docs/z-wave/

And this for the specific controllers officially supported:

https://home-assistant.io/docs/z-wave/controllers/

If you're a new user, hass.io is going to be the most approachable way to get hass up and running while making it easy to install all of the add-ons and configure things securely + upgrade easily. The docs for zwave on hass.io are pretty straightforward as well

https://home-assistant.io/hassio/zwave/

And if you want to learn more about what hass.io does ontop of normal home assistant, please visit this page:

https://home-assistant.io/hassio/

I hope this helps answer your question.
Capitalist medicine is to blame, when you can vote with your money you can pick the doctor who does what you want, not what's best for you.
The Italian peninsula has a way of inspiring people and has done so for a long time. I was living in Italy when I became interested in graphic design, which I then learned from Milton Glaser — who was also inspired by his time in Italy — through his classic book, Graphic Design. Milton is still going strong at almost 90. Here he is, drawing: https://vimeo.com/6986303

And his essay, Ten Things I Have Learned, has valuable work advice: https://www.miltonglaser.com/milton/c:essays/#3

I think the world would be a better place if big companies making things that change the world like Google and Apple hired more artists.
Thanks! its basically a web app, works on any mobile browser - to add app icon to your screen try this: http://updato.com/how-to/add-website-to-android-home-screen-...
I disagree. Good formal systems allow you to specify global correctness conditions (e.g., "the database is always consistent", "data is never lost if a machine fails") in a concise and clear way (a couple of lines). The correctness of that specification is then relatively easy to verify by inspection. You then check that the system as a whole satisfies those requirements.

It's true that to date we don't have tools that can efficiently verify a program all the way from code to the high-level global correctness conditions (and, TBH, I don't think we'll have them in the foreseeable future, if ever), but there are tools that help narrow the gap: code-level tools that work at the code unit level (function preconditions), and high-level tools that work at the large-scale system description. Using both (which is exactly what companies that use formal methods for software, like Altran UK, do), let you work from both directions -- top and bottom -- to minimize the "uncertainty" gap, and, most importantly, they do it affordably.

It's also true that formal methods are a tool that we've not yet learned to effectively use in practice, and don't yet know the best ways to deploy it. But we're learning, and we're already at the point that at least some are seen considerable payoffs.
The rubber dome switches are far from the worst part of that design. I mean just look at it: https://cdn-images-1.medium.com/max/2000/1*PqZdydEI8lo0nzrc3...

The key surfaces are oddly small and spaced apart, and the entire keyboard is a protruding shelf above the desk surface with no wrist rest. I don't even know how you're supposed to comfortably use that abomination. It's a serious triumph of form over function.

I would gladly take a $10 Dell rubber dome keyboard lying flat on a desk over that any day of the week.
FYI: The butter in my fridge has 743kcal per 100g.

Could you share how much butter you bought per month and what the package size was?
And the closing paragraph pointing out the possible unintended consequences:

"In southern Europe, the scarcity of rabbits threatens the conservation of predator species higher up the food chain that are endangered and depend on small-game such as rabbits. These include the Iberian lynx and the Iberian imperial eagle. For that reason biological warfare in Australia is a serious concern for conservation experts working in other parts of the world where the preservation of a viable rabbit population is problematic."
it's about power
You sure made some assumptions about me and ran with them. An assumption you could have made, but didn’t, is that I was speaking entirely from first-hand experiences and/or the experiences of people close to me. And an observation you could have made, but didn’t, is that only one part of my post resembled any kind of actionable advice: The solution anyone can offer.

I don’t know that there is a different solution. If your community dies, you can move on or die with it. But if someone’s going to celebrate that, I hope they realize what they’re saying.
I still have and use my zune.Most of my music is on it
There is trend of insecurity/vulnerabilities that seems to gain in speed in recent months. Not trying to sound ominous and nothing to really point finger to but it seems like a thing.

Since few months ago I do almost all browsing in carefully set w3m. No javascript at all of course and certainly no flash. I am typing this in vim which is set as default form editor in w3m for me.

Edit: if you are wondering if w3m can work well try looking at HN using w3m, its a real beauty.
Doctor Frankenfurter.
Most of the value of great web software will be realized years from now
Darwin's Theory of Evolution by Natural Selection.
I used to work in the industry on the research side. It's amazing how wrong the media can get about these things.
You can do a shitload of data cleanup and transformation stuff with python and pandas (or more precise: using data frames) which only does not give you the idea of having super powers but also makes the whole process actually fun.

Loading the data is simply:

df = pd.read_csv(...)

http://pandas.pydata.org/pandas-docs/stable/io.html#io-read-...

where pd is an alias for pandas (import pandas as pd), df is the var in which the data frame is stored and the ... is the set of parameters required to load and parse your csv (see the docs)

then for example if you for example need to find all rows where a certain column containing an empty string, something like:

df_without_empty_my_columns = df[my_column != '']

http://pandas.pydata.org/pandas-docs/stable/comparison_with_...

Finally, as an example, to export the refined data frame to some sql database supported by sqlalchemy:

refined_df.to_sql(...)

http://pandas.pydata.org/pandas-docs/stable/generated/pandas...

Background: My team is currently doing ETL through pandas for a data analytics platform and we kinda love it.

Check out http://pandas.pydata.org/pandas-docs/stable/ for the entire set of docs if you are interested.

Have fun!
Study links pollution to millions of deaths worldwide
Dumb argument - straight cis white males are agrubly the ones who have to worry about discrimination the most.

Why do you think we're seeing articles about ageism in tech? It's because people do care about it. Look at all the ethical issues that don't get much attention - H1Bs and social stratification in India for example.
Your body won't survive the acceleration of a mass driver intact. Nor would it survive the rapid deceleration, if launched through an atmosphere.
There was a resurgence of heroin use back in the 1970's in the US. So it's clear it can happen even without a legal opioid driving it.

So why are we so quick to claim causation when there is only correlation?

I know, because it sells newspapers!
Rabbits are a scourge in Queensland. When I bought my Akubra hat at the Victoria market in Melbourne the vendor confidently told me it was the only good use for a rabbit. (the hats are rabbit felt).

Does any agency offer a bounty on rabbits? For example in some lakes in Colorado you can get a bounty for catching and killing non-native northern pike[1]. Does Australia have a similar system in place? There is lots of data about how much of a pest they are [2] but other than dogs and foxes I don't see a bounty program. Trappers decimated the American west of Beaver because they could sell the pelts, perhaps a market for rabbit pelts would be enough incentive to encourage trappers?

[1] http://www.gameandfishmag.com/conservation-politics/20-north...

[2] http://agriculture.vic.gov.au/agriculture/pests-diseases-and...
Agen Domino Poker Indonesia – Situs Poker – Pokerqq81
> This is different than "syncing" which can mean anything

Then we should probably define it before asserting that it's "completely unintelligible", "fragile", or a "hard problem", right? Yes, full multi-way sync is not a simple problem. Most scenarios don't need this (and even ones that do tend to devolve into simple cases since single-actor conflicts are not that common).

The simplest case for "sync" is just "my stuff is in the cloud". Call it remote storage, since sync is ambiguous. Make the client dumb, put the data online, and most of the complexity evaporates. Of course, local storage with remote backup is also a reasonable solution that has different tradeoffs.

For me personally, I prefer the "remote storage" solution for most things. I greatly appreciate that my email is just "magically" everywhere I need it to be without me carrying a repository of email in my pocket. I love that all my important documents and photos are accessible everywhere even if I forget my phone.
Can you elaborate on your point?

In your example, it seems like you are saying "there is more happiness in mining asteroids than in being able to live very comfortably, indefinitely, without having to work to support yourself".

Except for a very narrow portion of humanity, this seems implausible. Would mining asteroids really bring fulfillment to a person who has experienced ennui when climbing a mountain, scuba diving the barrier reef, yachting the Mediterranean, or designing their own home?

Failure of imagination, sure, but I think you're going to be disappointed if you think that a billion is going to be deeply fulfilling relative to 20 million.
by writing efficient code
פסטיבל הפרינג' של ישראל – באר שבע 2016
It's called reading with a critical eye. They talk about OxyContin, then talk about the hundreds of thousands of opioid deaths. If you're not paying attention, you'd think OxyContin caused all of them.
The STEPS project was able to get an experimental system up and running with 20k lines. He's not talking out of his ass. When he has the dough he produces
Either I'm getting downvoted because my argument was weak or didn't advance the conversation, or because I went against the site's hivemind. In either case, this site as a whole benefits when either are pointed out or explained. Either I become a little less ignorant, or someone else learns to question their beliefs a bit more.
Like a small API surface or a tiny set of concepts to learn? Oh wait...
It is just me or does it seem like people who study the past like to ascribe major events to a volcanic eruption?
If you want an old style cell phone buy one. I personally think new smart phones are fantastic. Sure it would be nice if battery lasted longer, but I have learned to adapt. Charge your phone every night, carry a back-up battery for long stays away from home.

I drop my phone all the time, and it hardly gets a scratch, and this is with no case at all. I personally think they are wonders of modern design.

As for design, maybe you have no feel for how far they have come in 10 years.
I love HN because just reading the introductory blog, I sensed design smells and was trying to articulate to myself why I didn't like Redux-Zero. The comments that preceded this one beautifully articulated this. Thanks!
Hey Baloob. I watched you talk at PyCon. How have your experiences been since you switched to asyncio?
which part bothers you?
Insect ecosystem's collapse due to humans
You know what country has the highest opioid use per capita? Canada!

You know why? Codeine is available OTC. However I don't know many people that went from codeine to heroin.
Introduction to Docker for data science, building a simple Jupyter container
I recall the Brits offered a bounty on some venomous snake in India with the effect that people bred those snakes for the £££
If your doctor is making actual medical decisions based on a pharma. rep's sales pitch, find yourself another doctor pronto.
I was on Oxy for about a month after smashing one of my vertibraes into pieces in a climbing accident, I was prescribed more than three times as much. I walked through hell to get out of that crap; nothing else I've encountered even comes close, including heroine and cocaine. There are several natural, less addictive and less harmful methods for treating chronic pain; cannabis, mushrooms and meditation among others. Pharma is all about creating return customers; profits, at any cost; the people involved in creating this mess have some serious karma to deal with in the near future.
Having said that, I wish I had enough Zen to articulate this on my own. Sigh.
I'd agree doctors are partly to blame, and I've had a similar experience.

A couple years ago I went to the ER to get a dislocated shoulder fixed, and they sent me home with percocet, even though I told them repeatedly that the pain wasn't too bad any more and I didn't want it.
Apologies, the title should have contained POC.

I am not sure what you mean by "blockchain based distributed consensus" - did you mean the the ability to group transactions into blocks and being able to verify those? It's possible, and that's the plan, it is, however, very complicated to build something that you can actually trust like the bitcoin core.

I think that a better use for this sort of thing is the ability to analyze the blockchain.

But something that would provide "full node" functionality I think is interesting as well. There would still need to be some sort of a program running in front of it to do all the network communication...

Anyway - the point of this little project is to really get some feedback on the general approach and then see where to take it next. :)
Reminds me of the quote by George Steinbrenner[1].

"If you do something nice for somebody, and more than just the two of you know about it, maybe you're doing it for the wrong reason"

[1] https://tree.mindbloom.com/apps/inspiration/detail/quote/563...
I'm not sure if those were questionable defaults, or questionable design decisions which were the only option at the time, and now persist as questionable defaults.

I'm pretty sure that mmap was the only storage engine available for MongoDB for most of the hype period.
> ER / Hospital performance was tied to their pain scores and the generous administration of pain medication to patients...

Trace back how these performance metrics were chosen, look in history if there was any advocacy or studies funded by Sackler-controlled/-influenced parties to tilt the selection of performance measurements towards subjective pain "scoring". It would be interesting to find out if Arthur's insight of nebulous broad applications was generalized to pushing for these kinds of metrics.

After reading how Epipen configured a de facto monopoly, I've wondered where else this kind of corporate behavior shows up within our economic landscape. None of it breaks any laws, but I have to wonder if anyone involved regrets the consequences engendered.
CS Interview Palindrome in Permutations
By block allocated array I mean.

typedef struct { int x, y, z; } vec3;
typedef struct { int size, i; vec3 items[]; } stack;

static inline stack *stack_make(int size) {
stack *s = malloc(sizeof(stack) + size * sizeof(vec3));
s->size = size;
s->i = 0;
}

static inline bool stack_push(stack *s, vec3 *v) {
if (s->size <= s->i)
return false;
s->items[s->i++] = *v;
return true;
}

static inline vec3 *stack_pop(stack *s) {
return s->i == -1 ? NULL : &s->items[s->i--];
}

If you want to dynamically grow your stack size you can implement realloc to have your data set grow/shrink but I would recommend against that. Also note that this implementation is not ideal. You obtain a reference to the internal data in stack_pop. If you push something new to your stack your pointer value will change. stack_pop should be changed to stack_pop(s, &container_vector) and populate that for consistency.