skysight-inc/HackerNews huggingface dataset:
Such 'hacker-proof code' can only be as secure as the underlying hardware. If such a cure already existed, we wouldn't be subjected to the current hacking/phishing epidemic.

"these malfunctions could be as simple as a buffer overflow"

No amount of 'formal verification' will detect or prevent buffer overflows, which are a defect in how the hardware allocates memory. The cure must also be found in the hardware.

"Back in the 20th century, if a program had a bug, that was bad, the program might crash, so be it,”

It must of been on a different planet, cause I can remember using networked computers in college way back in 1984. and the first Internet worm occurred in 1988.
Seems like this might be useful with proving that something happened at a certain time, no? Like use the hash of something as a nonce to a roughtime service?
SanDisk Announces 1TB SDXC Card
Heck I refuse to use cruise control at all because it makes me get board. My personal solution to avoid boardemn while driving is to drive faster. Clearlly I am not a safe driver but, I'm going to need full automation to help me out.
Quite likely. I knew of a shamanism-based group that had conversational and spiritual meetings within second life.
Take a look at http://terralang.org (low-level) and http://ebblang.org (DSL), both related to Lua, via meta-programming and LLVM.
Same experience for me. Amp validates, If I go to the google cache url I can see it there as well. No AMP icon.
Consumers and businesses are always going to pay for those who don't work, it's just the mechanism by which we transfer that wealth.

That's how social safety nets work.
Yes this is exactly what turns me off on android too. The scrolling is different! Also, no js means no page at all. Not even text.
I think Frodo's failure to destroy the ring is a good example of how Tolkien's books do not have a simple good vs. evil dichotomy. Other good examples are the wrath/pride of Feanor's sons, and the tale of Turin, both from the Silmarillion.
The overhead is nearly constant with respect to the number of dollars. But the cost goes up linearly with the number of shareholders (as each one needs at least a modicum of attention over time, to update records reflecting changes of dispensation, or to verify death certificates, etc). And the costs also go up with the complexity of the trust, e.g. if the money has to do anything other than being held and dispersed at appropriate times.
(Someone has to file the taxes).

Banks often employ someone called a Trust Officer, who handles things like this related to the trusts that the bank is managing (and carrying). They make around $30/hour. And let's say that 100 people each put in $1000, or $100k total. At 3% interest, the fund would generate $3k/year. If each shareholder requires an hour of the trust officer's time over the course of the year, then all income from the trust goes to pay the trust officer, and there's nothing left over to be dispersed.

It sounds like a good idea, and I'd definitely take advantage of the service if it existed. But lawyers and accountants have to be involved, and they want to be paid. And they're expensive.
I like to do math in C, J, Forth or Scheme which all have different syntax and a combination of prefix, postfix and infix.

I would like a Lisp syntax too, and you can go into Lisp in Julia, since initially it used femtolisp written by Jeff Bezanson (one of the creators of Julia). I am not sure how much functionality is available from the Lisp prompt in the console. There's also a Lisp syntax package for it IIRC.

I am waiting for it to stabilize more, and then I'll revisit it. I like now that I have the choice of zero-indexing, since I am used to that from mathematics, C, and J, although APL gives a switch to choose between 0 or 1 indexing.
Then im sure stage 2 is 'pay $X and guarantee you'll appear on someones itinerary as a suggestion!'

Then they have the problem of so many people using an itinerary that it starts warping its own data and thinking places are more popular than they should be based on people getting there from their own recommendations.

cool problems to solve though
HOWTO: Writing a Computer Emulator
He's the chairman of the board most likely stuffed with hand-picked cronies for exactly this situation.
Safe and unsafe operations for high volume PostgreSQL
Mophie case
I asked my doctor to email me my records and was told it is illegal due to HIPAA it makes no fucking sense but that's what it is.
There's nothing lazy about supporting older browser versions.
There is a Zoom.us client for Linux.

Also appear.in works on Linux.
I don't know why you would complain about it.

1. Automate all low skilled jobs.

2. Create technocratic city-states. Maybe seasteading, maybe something else.

3. Robots won't be able to vote on things like Trump or Brexit.
Can you post a link to the website?
Someone called "TD-Linux" has irrational hate Apple...

This is why the Linux user community has such a bad rap.
The VA Healthcare debacle. The government was unable to timely provide healthcare and instead of trying to fix the problem they hid and covered it up by falsefying records. The new system they made is complexly incompetent where doctors and patains are force to spend days on the phone with people who have no clue what they are doing.
Oftentimes, web users are already habituated to the use of default right-click context menus in browsers, at least for most web pages. Oncontextmenu is certainly great for some applications, which is why it's there, but it can damage usability if it's abused.

Whenever I visit a site with right-click events, I think back to the early days of the web, when webmasters tried to prevent you from viewing their source by capturing right-clicks (then you just had to use the menu bar).
Aside from the obvious point that software can obly be as secure as the hardware it runs on, isn't Gödel's incompleteness theorem a problem with scaling from smallish problems to biggish ones?

Granted it has been a long time since I understood it even moderately well, but my main recollection is that a complete system of logic can't be consistent, and a consistent system can't be complete. That would seem to be an issue with extending formal methods to any computer system of broad general use.

Or am I misapplying the theorem here?
This is a cool way of de-rasterizing images... you can make infinitely scalable vectors!
I have read both books. Couldn't stop asking "Why is he waging this daily "war" with the imaginary evil, instead of spending his life on something more enjoyable?" This guy is either insane or has a pretty big hairy "why".
The last section, titled, "Improved software that runs on coasting hardware," is the conclusion.
1. It's extra work that only "power users" will benefit from.
2. No support on mobile?
It's moreso becuase it's 50 cents to $1 an hour or a flat rate fee. Usually the extras also do stuff like security or function as backups labor.

Bartender cancels last minutes? At least one of these 10 muscle head security guys likely knows how to mix drinks.
Dgraph: Performance of JSON vs. Binary Clients
Yes, it was probably made on LaTeX, so what?
Yes. Would someone please explain this all to residents of SF. We definitely need more economic education in this country - the voting public needs to understand these things. As thing get increasingly dire, I'm afraid, something like this will someday occur in the US.
RoslynLinqRewrite – Compiles C# by rewriting and optimising LINQ expressions
99.99...9% of my driving takes place on heavily mapped well-managed roads (occasional pothole notwithstanding) that are heavily trafficked by other cars. As far as I'm concerned, if Google can do this, their vehicle is fully autonomous.
yes but if you do the math since not everybody is paying whoever donates need pay more to take care of those who does not, which is really what the whole topic is about.
Ah excellent. Thank you.

I wonder why they didn't just call it "conclusion" like every other time.
Even Unix signals are delivered as Mach exceptions first. If the process doesn't have a Mach exception handler set up, the kernel's exception handler converts them to Unix signals and tries delivery that way: https://github.com/opensource-apple/xnu/blob/27ffc00f33925b5... and https://github.com/opensource-apple/xnu/blob/27ffc00f33925b5...
Yet it absolutely happens in Linq-to-SQL and other client-side join solutions. Within the last year, I've been in a post-mortem where this was the root cause of progressive slowness and eventual timeout (when the record set became progressively larger).
I believe color reproduction is better on the glossy screens.
I'm not aware of anyone working on it. There were some attempts with Emscripten which ran in to unsupported instructions; some of those may be supported by newer versions of Emscripten, but I haven't heard of any attempts to get this going recently.
I'm heavy in IoT projects and I'm wary of Uptake. Can't put my finger on it - maybe it's the extremely high sizzle-to-steak ratio. Or maybe just because I see everyone scammed by Groupon falling for it all over again.

I see groups like 640/Climate putting their shoulders into it and doing heavy work. I look at Uptake and see a floor of marketing reps.
seL4 is designed for embeddee systems. That's why it mainly targeted ARM. Gernot Heiser even said so. I believe eChronos is just targeted for embedded devices with more constrained hardware.
Yeah, you shouldn't have to turn them off. But on my phone at least, the default is off. The app asks and you say no.
I also wrote a Rails gems that makes the create and read processes completely transparent with Active Record when using date partitions. In case someone is insterested github.com/pacuna/partitionable
Hmm, I wonder why.
Oracle claims that one of their CPUs is equivalent to two vCPUs. If this is true, then their rack rate is a little less than EC2 per instance hour, and block storage looks like it's half the cost.

But with Amazon, all my instances are either reserved or spot, so I'm paying far less than rack rate.

It all comes down to price per performance. You can't tell anything from these headline numbers. But since we're prohibited from disclosing results of any performance testing, there's no easy way to know.
Apple's success with WebKit, combined with their success in advancing browser technologies, is partially responsible. To explain...

Their use of vendor prefixes was proscribed by the standards (and may well still be). After years of stagnation in browser technologies, and demand from content producers and developers for advancement, vendor prefixes were seen as a way to vet real-world usage of new standards before they were formalized.

But because standardization was still quite slow, and because vendors (all of them!) were slow to remove prefixes, and because non-WebKit vendors lagged behind WebKit in features (for a while), the proliferation of `-webkit-*` was inevitable.

Today's rejection of vendor prefixes is a reflection of that intersection of problems. They were maybe never a great solution to the problem that preceded them, but they are no longer suitable and that's just fine.

I'd prefer Firefox (and every other vendor) simply disabled handling for prefixes entirely. But there is a ton of content that will never be updated again, and would break. Without some kind of versioning, that's untenable.

And we already saw what happened when Mozilla tried to introduce versioning. (It was never supported by other vendors, and therefore never used by developers.)
My laptop still has a Core 2 Duo because my main machine is still a desktop. I've been looking to go exclusive with a single laptop but it's just surprising how much you have to compromise. At this point I'm waiting on the new MacBook knowing very well it would be the most expensive computer I will probably ever buy. I'm not holding my breath on the new MacBook either.
I did that exact hike in 2014 and didn't know that. That's incredible! It is the most beautiful place I have ever seen with my eyes for sure. I highly agree with your recommendation.
No!

If I click back I want to see what I saw last time. e.g. I might have seen 3 news articles I was interested in, I click though and read the first one. When I click back I want to see the exact same list as before, and be able to read the next article I saw; not new articles that have been written while I was reading the last one.

You can s/news article/github issue/ and my response is the same.
It's nice that these regulations sound sensitive and not heavy handed. I'm wondering whether they are needed at all though. They've been formulated in heavy collaboration with the market leaders Uber, Google etc. Is there a risk they will help shut out upstarts, similarly to how the FDA makes drug development astronomically expensive?
In addition to the Maryhill WW I memorial, I've also been to Carhenge: http://carhenge.com. One of these days I'll have to get to the original (or at least most famous) one.
Postbox 5 features
> I'm optimistic that Postgres will make all of this trivial at some point.

There's considerable ongoing work towards that. If you're interested in helping out, consider testing and reviewing the patchset. That doesn't necessarily require a lot of postgres internals knowledge, user interface feedback after trying is very welcome.
Great to see more options for partition management in postgresql.

We took a similar approach using a ruby library to manage partitions at gilt groupe starting many years ago (2009?). It worked quite well and is still in use today.

Since then have also used the referenced https://github.com/keithf4/pg_partman on RDS - and it works great! Very happy to have all the partition management in the core database vs. in other languages, and many of the features Keith provides in pg_partman just work. He's done a great job with the project and would encourage folks to take a serious look at his work.

If you are interested in details of how we applied pg_partment to RDS w/out requiring extensions, take a look at:

https://github.com/flowcommerce/lib-postgresql/blob/master/R...

We created a simple process to load the scripts directly into the database similar to any one of our other migrations. We then create higher level wrappers for our teams to use to apply consistent use.
Ask HN: Settle for less salary or change to make more in prime years
Hi,

I am in a tricky situation and hoping someone here can provide some guidance. Also figured the answers might help someone who has a similar situation.

I am a sr dev with ~8 yrs of experience currently working in one of the top financial tech companies in nyc for ~5 years. I work in a good team and clear a little more than 150K/yr, but I recently got to know that my total compensation is quite low (~50K) compared to others in the same grade that doesn’t sit with me well.

My responsibilities have been growing, but I feel I don’t see the same growth in the salary. I’ve thought about asking my lead/managers about the difference, but I know it would backfire since I know the managers well and they would just say I have to work really hard to close the gap. I also believe that this gap will never close since the review is dependent on previous reviews and impressions. (Long story, my first reviews took a wrong turn due to bad managers and it took me years to get it above the average).

My dilemma is should I work hard in the current company trusting them to right the wrongs knowing its unlikely, or should I find a new job and invest the effort there outright. Also, I know the I will get a increase of ~50-75K or higher total comp if I jump ship to a good company (think Big 4) with similar benefits, but I am worried about losing some perks (flexible working hours & ~7hrs/day, work from home ~20d/yr, hike rate of ~7% etc). Being in my prime years(early 30s now), I feel I should make as much money I can before I become the older person in the group. Lastly, I am on a work visa so thinking about the risk of landing in a bad team/company only to change again.

Appreciate the opinions.

New user here so let me know if I made any mistakes in posting or if I missed anything important.

TL/DR: Good position at good company with ~30% less pay than others, settle for less money for comfort/perks/culture or jump ship for maximum value in prime years.
Perhaps the Back button should really be split into Back (cached) and Back (reload), since both of those are equally valid use cases. (Edit: the fact that the parent comment and another sibling comment here currently completely disagree is evidence enough that both options are necessary. I personally want both behaviours, depending on the situation.) No doubt the "UX experts" will complain that it's too complicated for "average users", but we aren't and don't want to be "average users" --- we want a powerful browser UI that lets us control our browsing experience better; that's something that seems to be rare in this age of increasingly dumbed-down UIs.
Typo:

> He was a direct descendant of Anarion, who was rebuffed thousands of years before when he tried to reunite the kingdoms.

You mean Arvedui. Makes the explanation much easier to process!

(And thanks, I had no idea about any of the above.)
If you have a family cemetery spot at the temple, you pay a yearly fee for it.
Tax avoidance at its best...
US$117.2 billion under management equals billions saved in taxes.
Apple spend Layout: iPhone 8 will have wireless charging
You can compile for the PRU from within the linux on the BeagleBone itself, see kens' comments about /usr/bin/clpru below.
Funny you should mention DFW. When I read the "Give It Up" story it reminded me of one of the films in his book Infinite Jest called "Wave Bye-Bye To The Beaurocrat", where a man hurries to the train late for work and knocks over a child who mistakes him for Jesus Christ. I wouldn't be surprised if a lot of the short films in the book were inspired by Kafka.
Remote Work Digest: September 21, 2016
I'm glad you clarified, because I was getting distressed at the idea of someone so eloquent thinking something so crazy.

To clarify a bit myself though, remember that we're talking about something for which the standards of "testable" and "falsifiable" often just mean, "even in some thought experiment." For example people predicting collisions with another universe have a pretty wild hypothesis, but they proposed some ways to explore that idea involving studying the CMB background.

When we're talking about the anthropic principle as a hypothetical foundation for a complete understanding of physics though... there's really no room even in theory for testing or falsifying that notion. That's what was being hated, and the hate of which I'm in support.
> Abstractions are the enemy of performance.

I like to say "abstractions + compilers = performance".
And how long will they let you have that control?

As soon as the winds change, just you wait. They'll have some bullshit excuse about engagement or control, but it will be gone just the same.
Google Hangouts?
What browser(s) are you using that have such behaviour? Is this a new "feature" in the very latest versions? I don't think I've ever seen View Source make another request on Chrome, Firefox, IE, or Opera.
But isn't the cost of living also higher and you have medical expenses and things? Are you actually taking home double as much, or does a lot of that extra have to go to living expenses that you wouldn't have in Canada?
It would be quite amusing if a founder pledged to the Church of Scientology. I still sometimes forget that they actually do have tax-exempt status.

https://en.wikipedia.org/wiki/Church_of_Scientology#Classifi...
Usually you pocket your entire salary since cost of living and taxes are so low.

Yes, you won't be buying Teslas on that salary but most things not over $3k won't break the bank.
Nested data structure.

I'd recommend other NoSql databases over MongoDB like RethinkDB.

Also, SQL like databases support JSON. So Postgres and MySql 5.7.x I think supports it.

The only think I don't like about sql is that I have to know what my data looks like in advance. Set up is a pain
I don't agree with this premise. From what I learned about redistricting when I was a candidate for California's citizen redistricting board (which almost completely eliminated gerrymandering in CA because legislature no longer has authority to define districts), under-representation is a big issue. From my impression, Republican and Democratic party bases are much smaller than everyone thinks. Neither of them would be in control of a drastically increased body without a collation with many many other groups. Also, many laws are currently in place that prevent third parties from participating in the primary system on equal footing with Dems and Rep. If those limitations where removed, that by itself would see an erosion of Dem and Rep party affiliation. The hold that Dems and Reps have on US politics is much more tenuous than they'd like everyone to believe.
This is cool. Now if only it somehow magically allowed a unique index over the whole setup, it'd make my day!
Ask HN: Which areas of math are practical to programming/algorithms and why?
I'm guessing that these textbooks for pilots are labelled things like "Fundamentals of Flight"[1] or "Pilot's Manual" and not "Theoretical Aerodynamics". I think it is a peculiarity of music that the field labelled "music theory" is actually about music practice (or perhaps music description), at least at the introductory level. And this causes frustration in a certain subset of people.

For example, you don't find the info from this article in the wikipedia page on Music Theory, though you do find it in the "Music and Mathematics" page. I understand that there's more to music theory than rational numbers and the twelfth root of two, but it was the first thing that ever explained to me why something was true in music. In contrast to the circle of fifths which shows that there is a pattern but does not explain form where that pattern came.

[1] Actually I googled this one and it exists and it seems to be about the design of aircraft; a case where it's perhaps more theoretical than I would have guessed.
Yup. I bet this office closure was just to consolidate the offices as they go to minimal offshore support somewhere to hold it in maintenance mode.

They've done nothing but make it worse since they bought it.
Yes. In the UK at least, there are 3 forms of payment someone might receive:

- Unemployment benefits, paid by the state if they don't get another job straight away;

- Their usual salary during the notice period, or pay in lieu of notice if they are sent home immediately (common in IT for security reasons);

- Redundancy pay.

The last one only needs to be paid in the case of dismissal "without cause". However, it's not called that. Redundancy refers to the fact that the job doesn't exist anymore. E.g., because the office closed down as is happening at Skype London. You can't just sack someone on a whim and say it is "without cause".

Where things get a bit more complicated in a case like Skype/Microsoft is that they have an obligation to offer their existing employees new jobs elsewhere in the company if possible. This isn't an especially strong obligation, but it does make things awkward if they keep, say, 50% of the staff, because there needs to be some reasoning as to why they kept that particular 50%, which needs to be seen as fair.
The definition of pure function (or, dually, side effect) is difficult to pin down. I've heard a number of definitions, but the best ones are far more technical than you'd see in casual conversation and the casual ones often admit holes.
And this is getting down-voted because? Unlike US in Canada spouse of the student can get a full time work permit.