skysight-inc/HackerNews huggingface dataset:
On Linux you can use makecontext to create a new stack and swapcontext to jump to it. That API was once defined by POSIX but deprecated after pthreads was added to the standard. It's still useable on Linux and several other OSs, with the caveat that you probably don't want to load or enable pthreads for your process. (I think you can mix the two in glibc today as glibc references thread-local data structures through a dedicated register, whereas a long time ago it was kept at the base of the current stack and so incompatible with alternate stacks. But other OSs might have problems and things might change in the future wrt glibc, too.)

Another solution which is actually (probably?) POSIX compatible is to use sigaltstack to create a new stack, save your current context with setjmp, invoke a signal, call setjmp to save your altstack, then longjmp back to your original position. Now you can jump back and forth at will, everything copacetic. Calling longjmp from a signal handler is perfectly legit and POSIX is careful to preserve that ability. But for obvious reasons you have to be very careful how you accomplish it.

Now, once you throw an interval timer into the mix things get tricky. Normally you would need to worry about the signal arriving while the C code is in async-unsafe library routines, but Erlang might be (I don't know for a fact, though) one of the few large projects that only ever uses signal-safe syscalls like mmap, read, write, etc. If it's only ever the user library executing libc code then there shouldn't be a problem.

One thing I really wish POSIX (or at least Linux) supported is per-thread signal handlers. With per-thread signal handlers you could bundle this magic into libraries in a clean manner in a multi-threaded process by preserving and restoring the existing signal mask, sigaltstack, and signal handler(s). Currently you can only preserve the first two; the third is process-global. I was working on a project recently where I caught SIGSEGV on a page fault, longjmp'd back, doubled the relevant memory buffer (or aborted if the address wasn't managed), and then restarted the computationally expensive operation. This allowed me to remove all the bounds checking code and resulted in a very significant speedup. But touching global state makes it very messy and not suitable for packaging into library form as these days it's best to assume a multi-threaded process environment.
But this release aside, I was more commenting on the whole concept of production ready.
Sell the barber.
I learn from Magic Leap and Theranos is there is no need for MVP. Just need a MHP Maximum Hyped Product to get started. And then spend the funding to try to get actual product out.
http://youtube.com/watch?v=lP5ZZI05A3g
Yeah but then you have to be French. It's just not worth it.
Oh believe me, we did try to contribute to Debian, in recent years the community has aged poorly and become toxic and hostile, where the Redhat / CentOS community has grown, is more helpful and we have found them to be more accepting of people offering their time than ever.
Awesome facts about money
> what's going to come flying in that is going to steal their $70 to $100 billion in cash?

Snapchat's growing revenue streams and social competition for eyeballs. Geo filters are growing quite fast.
Though I don't trust FB (and its entities) on privacy, I'll assume that WhatsApp security team was aware of this and was planning to get to it after the end-to-end encryption was completed (recently). It's possible they were (or are) working on this.

The original blog post by Jonathan Zdziarski [1] linked in this article is a lot more informative and provides some pointers to handle this better as a user, and should be read by anyone interested in this topic or thread. The main cause here seems to be a simple use of SQLite without considering how marking data as deleted isn't enough (of course, that's never enough on any storage system that doesn't use encryption).

Quote from the blog post [1]:

"Forensic trace is common among any application that uses SQLite, because SQLite by default does not vacuum databases on iOS (likely in an effort to prevent wear).
...
There is no guarantee the data will be overwritten by the next set of messages. In other apps, I’ve often seen artifacts remain in the database for months."

Quote from the article on The Verge:

'The majority of messaging apps leave similar traces, recoverable through iCloud backups, although a number of privacy-focused apps do not. "iMessage leaves a lot [of forensic traces]," Zdziarski said, reached by The Verge. "Signal leaves virtually none."'

It's good that Signal has handled this well, which would be expected considering the basic premise/foundation of Signal and the strong emphasis it places on encryption and security. The "virtually none" part seems to leave a gap for doubt to creep in. I'm not sure if that's something anyone should worry about (especially the people who depend on privacy to avoid danger everyday).

[1]: http://www.zdziarski.com/blog/?p=6143
Habits of highly mathematical people
I was in the same position in the 90's, and I completely agree with you.

Microsoft kept using that word all the time every time they opened their mouths. Its popularity may have been going down somewhat so I wonder if it was being pushed by Ballmer.

A random quote from the first Google result for "ballmer interview":

"I still think it’s very important to do the right kind of
innovative integration across Windows and our hardware
platforms with our cloud services."
Fat Thinking and Economies of Variety
HN ridicules the notion of patriarchy because the word itself implies it's somehow men's fault. Which it isn't. Social toles are enforced by most of the society, so we might as well call it "matriarchy", but that would piss feminists off, so we don't.
How? Twitter's data is already publicly available.
The article isn't about pedantry either, fella.
Koh Phangan Is Quickly Becoming Southeast Asia's Newest Digital Nomad Hotspot
UTF-8 string length and byte counter
Yes, but they could* be taking write-downs on their investments in e.g. Nest.

*I haven't looked at their financial statements.
There's a story about Deep Purple getting similar demands for their concert in Russia in 2008. They went to court...and lost. [1]

[1] http://bravewords.com/news/deep-purple-ordered-to-pay-royalt...
See http://darkpatterns.org/british-airways-distract-from-cheape....
Learn the Watson API on Codecademy
I assumed GP meant Alphabet since public entity is Alphabet, not Google.
Elon Musk makes a libertarian argument for carbon tax
Because it's got a zero-knowledge proof means it's got a proof-of-knowledge. Quicksort is O(n^2) so that means it's in NP. It also means it's in P. Same with GNI being in ZKP, and also in PoK.

What's missing is the cheating verifier that can generate a transcript of a valid interaction without actually knowing the secret.
Using Git as an autoupdate mechanism (2011)
Dangerous, but still useful.
or +1 data point more than all other baseless responses, but apparently still not enough effort to refute BS lawn-chair factoids.
Those are different jobs, and both jobs are being done.
The sheer complexity of hardening makes it naive to think it will ever be bulletproof, as I'm sure you'll agree, so there will always be a call for another layer behind it.

World-facing firewall defends from the outside, strict routing and internal firewall defends the network from it self, firewalls on each server/computer defends from having exploits/worms spread like wildfire once they manage to find a crack, and detection software does it's damnedest to discover when something unwanted is happening.
Remove any of these, and the whole chain is less secure.

To make a computer completely secure, of course, you need a trash compactor and a boat to take it out to the Marianas trench, so it'll always be about balancing risks against accessibility and usability.

Frankly, I think the detection software part of the security stack just has better PR.
There's a lot of gaming on those low star ratings by competitors. The trustability of reviews on Amazon has sunk so low over the years that for many products, reading many (tens or several tens of) reviews across star ratings is what may help have some idea about the product's quality and the seller.
How psychic therapy help you heal in london
Haskell Data Analysis and Machine Learning Cookbook
s/loses/invests
Ask HN: Would you like to pay(~5$/Month) for intelligence on Google Analytics?
More intelligent report, Graphical over view and insights that helps your website performance and engagement activities.
If you apply an operator of such an interaction to the Lagrangian the equations of motions automatically return zero (e.g. similar to a derivation of a constant).
I use Docker a lot. I also use things like Docker volume plugins and have had to modify code due to API changes/breakages.

"Production ready" in the "container space" for me are Solaris Zones, FreeBSD Jails, and to an extent lxc (it's stable, but I've used it less). I like what Docker/Mesos/etc. bring to the table, but when working with the ecosystem, it takes work to stay on top of what is going on.

It is even harder to consult with a customer or company interested in containers and give the most accurate near/long term option. It becomes a discussion in understanding their application, what approach works now, and guidance for what they should consider down the road.

Networking and Storage are two areas with a lot of churn currently.
I wrote a tool that compares images using Applitools for Automattic during the React Wordpress admin rewrite a while back. The idea is you'd have a style guide with examples of all your ui components and render and compare them in various states with various test data. https://github.com/davidjnelson/css-visual-test
Show HN: Octo.ai, Open source analytics hypervisor
I have wondered before if emacs could use CRIU on Linux to do this ( https://criu.org/Main_Page ).
Wondering the same thing... odd it has not been mentioned.
An AI Written Novel Has Passed Literary Prize Screening
Short answer, yes. Medium answer, images your Dockerfile is based on are still run in a Linux environment, even if it's virtualised differently.
> This is possible because of a false dichotomy in your post: thanks to the Curry-Howard isomorphism, proof IS implementation.

From your own reference (section 1.3), "a correctness proof for a program [may have] a structure that does not mirror the structure of the program itself".
I had an iPhone 4 at one point and the existing Nokia devices were still able to compete, thanks to Opera also on the browser side. In fact I remember switching back from the 4 due to missing features and several annoyances.
It's not a primality test. A primality test determines whether or not a single given integer is prime.

The circuit I described checks that the product of two arbitrary input integers is a specific known integer.

By solving the decision problem for each bit independently you can determine all bits of the 2 input integers and hence factor the known target.
I worked with this recently.
This feature is not a nightmare, just because the author doesn't understand what a linker does, and the necessary separation of old and new dynamic memory.

It's rather a stable and very useful feature, which just recently got under attack, because glibc doesn't want to maintain malloc_get_state() / malloc_set_state() anymore.
XEmacs has a portable dumper pdump, which is a hack compared to emacs unexec.

See https://lwn.net/Articles/673724/ and esp. https://lwn.net/Articles/673815/

I recently re-added unexec support (i.e. native compilation) to perl5 in my cperl fork, but I haven't got it stable yet. Super trivial on solaris, but not so easy on elf, darwin and windows with its various compilers and the different way to treat their segments.
But it's still the easiest way to do it, compared to pdump or a seperate compiler or criu, which is still not in the kernel and not in debian. They are saying it's unstable for 2 years, where it's stable for 1 year already.

self-dump via crui is besides unexec the most stable variant, but it needs either a service or root perms, first of all a package, and then it's not so attractive because it produces many files instead of just one binary.

If glibc removes malloc_get_state() even if darwin still has a similar API, I'll happily build with a static ptmalloc3, which is the better variant of the glibc ptmalloc2 anyway, and they never where able to update this. (much faster, but needs a bit more memory for housekeeping).

https://github.com/perl11/cperl/issues/176

https://github.com/perl11/cperl/commits/feature/gh176-unexec

https://criu.org/Main_Page
> What I believe the OP wants to correct is the framing or the tone of the anecdotes

Fair enough. One person frames it as "Meyer was motivated by empathy," and the other frames it as "She was motivated by self-interest." Neither person can prove their claim conclusively, but I assume there's some evidence that led Core1024 to contradict the blogger. The best we can hope for is to hear evidence from both sides, and come to our own conclusion.

It might be common for people to say "You're wrong" without providing evidence or rationale. But unless "You're wrong" is accompanied by some justification, it's devoid of value. All we now know is that somebody on the Internet thinks Meyer is self-serving, and we knew that already.

> it's legit to think about perspectives as having degrees of correctness

Can you provide an example where one perspective on a person is correct (or more correct), another perspective on that person is incorrect (or less correct), and the relative correctness is not based on objective truth or an appeal to moral authority?
Drawbridges up
Super Instant Cash When You Need It Most
Minimally Invasive Software
I assume you foresaw what would happen, bought Apple stock and you're posting this from your yacht. Because it was very reasonable to say that in 2007, and he even included a "let's see" at the end.

What would one expect? For him to cower in fear and start crying? It took many iterations for the iPhone to catch up and many screw-ups from competitors, Nokia in particular.
Swift Monads
I can see "stereotypical", but why "sexist"?
You mean the government wastes money?

edit: The DARPA site you linked above calls it a "fully automated computer security challenge". They are not claiming it's AI.
It depends on the legal framework of the country you live in, but generally in the West I'd answer the question with no, at least from a financial perspective.

For example in the EU country I live in I'd have to pay 40% of my net income to my ex-wife even if there are no children and there was no fault (from a legal perspective) on my side for the divorce.

Considering that 40% of my net income is much more than even 100% of the average males income the risks of marriage by far outweigh the benefits for many men in my financial situation.

I realise of course that many women end up having to deal with financial issues after divorce because not every women can attract a husband with a high income and also women on average, regardless of education, devote less time to their careers compared to men (many choose to work part time to optimise for more time with children) which impacts their own income.

But the fact still remains that within the current legal framework a wife can decide at will to turn her husband into a revenue stream for life, doesn't matter how the conduct of both parties was.

She gets the real estate they've been living in, even if her husband owned it before marriage, she gets the children and in many Western countries she can even prevent her husband from seeing his children without having to face any penalties.

Does that kind of contract sound fair to you?
>I think "cheaters gonna cheat" is overly reductive and crass.

I disagree, obviously. It's trendy to expect people are merely the sum of their circumstances, and that they'll cheat if a and b and c are true. I don't believe it. People with character don't cheat on their spouses. It's really that simple. You can be a marriage with "very serious challenges" and not cheat, even when the opportunities are all around. Millions of people do it.

>...and perhaps it's a sign of strength, dare I say health, in a marriage that it can continue on after an affair rather than collapsing at the mere thought.

Yes, the "mere thought" and action of the ultimate betrayal. I'm not buying it. Whatever they say, people who stay together after an affair are making a calculation. It's for the kids, or it's over money, or the cheated-on spouse is afraid to be alone. Oh, sign me up.
Nvidia agrees to settlement in lawsuit for GTX 970 false advertising
> As it stands right now, women have nearly all the power in heterosexual relationships

Huh? Why do you think so? I guess legally, after marriage, they do have more power (on average), but not in all cases and much less before marriage.
Do you have this patch somehere? Sounds useful, even if only for elf.
It's not chivalry. The concept of alimony is a recognition that house keeping and child rearing is work too, even if not a job, that the stay-at-home spouse performs for the benefit of both parties. It's essentially unemployment benefits owed by the marriage as an association.

Now, implementations vary, it's often hard to know facts about the life of the marriage and there are certainly many biases affecting judgment, but the core idea is definitively feminist: fixing an injustice that overwhelmingly affects women in a gender-equitable way (both men and women should get alimony if they fulfill the conditions).
Not to mention the lack of host:container socket sharing and the fact that the Moby VM time drifts due to system sleep. I love Docker for Mac, I use it every day, and it's definitely still beta quality.
Patent troll lawyers are sons of East Texas judges
Drip marketing for improving conversions
Scores of companies are listed as members [0] of the OCI.

I assume that they all have a say.

[0] https://www.opencontainers.org/about/members
He can only sell license exceptions if his copyright spans the entire project which it most likely does not.
I've looked into criu. It's usable, but not as good as unexec and not yet properly supported from packagers. Even if only the build step needs it.
And it doesn't produce a single binary, which is ok I guess for emacs.

Easier IMHO is to keep maintaining a proper malloc implementation. glibc were not able to update to ptmalloc3 anyway, and now they want to destroy ptmalloc2 even more. I wouldn't trust them.
Unmaintainable-code
Yeah and half of all humans on the planet will own a smart phone within the next 5 years. That's an order of magnitude more than will ever own a desktop/laptop. 1/3 or so will be iOS devices, around 1.5 billion and will represent 90% of all profit available. iOS commands a huge lead in enterprise sales, 75-80% in the US market.

Apple skated to where the puck was going, not where it already was. Microsoft was too busy servicing the cash cow (and fomenting internal politics) to allow any disruptions. They had already lost the next great battle the day the iPhone was released.

Google's Android only survived because they pulled the mother of all pivots the day of the iPhone announcement and immediately poured all their efforts into copying iOS. (Remember: Android started life as a Blackberry clone!) None of this is controversial - the original Android team members have confirmed it in multiple interviews over the years.

What Microsoft is doing now is extremely smart. They know they lost the mobile war and are moving on to the next battlefield: Cloud services. They're milking Windows on the desktop as they make the transition but it's just a smoke screen to buy time. Open sourcing technology, supporting Linux, etc are all moves designed to get them customers for Azure. They'll now happily sell you SQL Server for Linux licenses, or a subscription for Office on iPad.
I'm the opposite, I'd rather stay at home with family than build a career, given the choice.

But feminism never cared for that. They only tried to make women more like men, implying that men are better, a position I cannot agree with.
PVS-Studio confesses its love for Linux
It should have been obvious from RIM's early success in the consumer market, for which they didn't try for or really support, that smartphones were well on their way to being a major consumer product.

Microsoft themselves used the strategy of Windows at home and at school to sell to Windows to businesses (and vice-versa).
Author of that article is like an apologist for excessive government spending. To me, if government did not spend that amount of money on space exploration, probably private sector would have achieved even better things faster with lower cost.

Besides, about the author : "..Wallace Fowler is the director of the Texas Space Grant Consortium.".
Wow, it must have been such a pain going through all that! Good job handling the pressure, hope it only gets better from then on.
> I'm fine with women leaving for no cause (it's her business) and also with financially supporting children (as probably most men are)

I'm not OK with that. I would wnt to keep shared custody of children (or full custody if she doesn't want it), and share the financial burden equally. But that option is often forcibly denied to men...
+1 Guo series is excellent. I completed them twice & very confident about my python skills more than ever before :)
Entrepeneurship killed a significant relationship of mine. It was entirely about money, she felt that I should continue to pursue my former profession, which provided meager, but stable income.

I was thinking about her and my future, which would require more than meager, stable income could provide.

Society hates entrepreneurship and that is why it is not a popular track: you need really thick skin to pursue it.
Or it's just the cost of 3,000 engineers doing R&D work in this day and age...
That's because the Windows division is in "milk it and wind it down mode". Windows is no longer the favored child so they need some rube to keep the gravy train running as they pivot everyone else to the next big thing.

Windows won't go away but will just become less relevant. I doubt Microsoft even cares if Apple takes 80% marketshare in desktop/laptop PCs... as long as people keep buying Office licenses and using services running on Azure they'll make a ton of money and everyone wins.

The mobile race is over. Apple and Google won, we are way too far along in the hockey stick graph to leave any oxygen for further competitors. The only question left for anyone else is how much money they want to lose before they give up.
> Nokia Software was awesome

Symbian, their bread and butter, was awful from beginning to end. The burning platform memo from Elop was entirely right.

Microsoft could have been a strong 3 player but they kept rebooting their platform ever 6 months.
The Other C-word That’s Crucial to Open Source
Show HN: A yeoman generator for choo.js
Because they're holding it offshore.
The glibc community has to maintain an API at first, second improve the implementation. They were not able to improve ptmalloc2 to ptmalloc3 over many years, because they were afraid to add memory footprint for better performance. But they happily added more and more debugging hooks which made malloc even more slower for easier development.

But now they want to deprecate malloc_{g,s}et_state(), without a plan to improve ptmalloc2? They already failed.

Deprecating an API for no good reason is failure, not an improvement. It not only breaks emacs, it breaks other software also. unexec is used in perl5 also, btw. just not in the official perl5 packages.
The seL4 microkernel generates C code from a formally-verified "executable specification" written in Haskell. They could instead generate Rust code that would extra typechecks and might be closer to the Haskell specification.

https://en.wikipedia.org/wiki/L4_microkernel_family#High_ass...