skysight-inc/HackerNews huggingface dataset:
I think a major reason that online arguments don't lead to persuasion much of the time is their format. In the Change My View sub-reddit and elsewhere, people tend to write in blocks of unstructured text--paragraphs--that allow them to express whatever they want to, which may not be coherent or actually respond directly to the assertions of the person they're replying to.

I'm now working full-time on what used to be a side project that tries to solve this problem: https://sequiturs.com.

Arguments on Sequiturs consist of a series of statements divided into premises and conclusions. This format creates in the reader an expectation of coherence, an expectation that there is a logical progression from some starting point to some conclusion. In my experience this format is extremely effective at causing the author of an argument to boil it down to the bare essentials. If someone else thinks the argument is flawed, he/she can point to a specific numbered step in the argument to identify very concretely what he/she disagrees with. Here's an example of what this looks like, with an example argument I wrote up about why backdoors around encryption are a bad idea: https://sequiturs.com/arguments/tech-companies-should-not-be...

I'm very hopeful about the prospects of this format for improving the quality of debates online, and, compared to the unstructured status quo, I think it's a lot more conducive to participants in an exchange understanding clearly where they disagree with others and why.

There are some great insights in this thread about the nature of arguing online, and I'd love to hear what you all think about the approach that Sequiturs takes.
How to monitor your Linux machine(s)
:-) It is already being done.
I think there's room IF it's done properly, just as Slack has proven. The question is what needs to be done for it to be done 'properly'. Maybe it's combining several types of productivity tools in one making it more convenient to use both because everything is all in one place and because of better ui/ux. Our maybe it's dropping all the nose from current tools by getting rid of the features that puerile don't really use. It could also be a combination of both those by combining the best features of the most useful tools and make them easy to use.

A few tools I would like (not sure if they exist or not):

* StayFocused type of app that blocks chrome apps * StayFocused type of app for Android/iOS * Desktop app that will keep focus on a chosen application for a certain amount of time (for instance if I'm writing a report on Word, I can't take my focus out of Word and use any other programs because of that) * Maybe an app that I connect my credit card to and at the beginning of every day, I'll start with $10 'in escro'. Then throughout the day it'll donate x amount to y charity for every z minutes I spend on sites I have banned. This concept can also be combined with any of the previous.
I'd say a Porsche is about 30% more expensive than a comparable Nissan GT-R. Whereas a Leica is 2-3X a comparable Canon or Nikon.
You bet.
Deep engraving in quality stainless steel. This can be as close to eternal as possible.
I think that understates it a bit. AWS Lambda is backed by a fleet of servers managed around the clock by one of the largest and most experienced IT organizations in the world, and API Gateway is fronted and cached by Amazon CloudFront's global network of servers.
Yeah, after fifteen years of C/C++ I can say most of those complaints are minor, have easy workarounds, or can be ignored when doing general-use programming.
This is pretty neat! Dubious conclusion on this particular piece of data though:

"The Chipotle there, for example, has seen around 64 percent less foot traffic today than that three-week average—possibly because of the news about its food-safety concerns."

So really nothing to support that conclusion other than a guess and a link to an article from eight days ago?
Not much at all, or when you're bored, and have time to waste.

Does it look clean, professional and trustworthy? You have decent vector images of it? No negative associations? Just run with it, there's better things designer time can be spent on.

I think there's two reasons for changing it afterwards. It is starting to clash with the visual design of the site around it, and needs some touch-ups, or your company is moulting, and shedding it's past skin.
Goldman Sachs: More People Who Use Airbnb Don't Want to Go Back to Hotels
The very nature of a hack is that someone needed it at some point. Even if C++ is a hack, that doesn't prohibit it from being the right answer in some situations.
Well, there are areas where freedom to innovate is more important, and then there are areas where liability is more important.

May be US (as de-facto main government-level actor in IT and internet) could create voluntary certification that opened up companies to such liabilities? Small startup operating from a garage — no certification necessary, but users are aware that no one is guaranteeing anything. IBM? Level A certification which they advertise everywhere, with billions of dollars in potential fines.
> I'm sure Find My iPhone probably has a limited range or something

Either I missed the sarcasm or this is the understatement of the century. There's no cell service in the middle of the Indian Ocean, several thousand miles from Australia. Not to mention the fact that radio waves travel extremely poorly through water.
The number of applications that rely on malloc/free being multithreaded fork safe, like glibc's allocator, is astounding. Off the top of my head, any application that uses glib and g_spawn_* is quite unportable for this reason.
We took "OpenGL Successor" out of the title. That language doesn't appear on the page.

Submitters: the HN guidelines ask you to use the original title except when it is misleading or linkbait. Please don't add editorial interpretation—it's against the spirit of the site and often turns the discussion into a nitpicky debate about what you did to the title. In this case, the post has no obvious single title, but the subtitle "Vulkan Is Here" works fine.
What Apple OS was written in Object Pascal? It looks like they had an app framework written in that language, but the OS never was. I believe the Mac OS at the time was predominantly written in assembly, possibly with some (non-object) Pascal parts.
From the fine article, emphasis mine:

> He says seven deputy US Marshals showed up at his home with guns and took him to federal court where he had to sign a payment plan for the 29-year-old school loan.

He was not taken to prison, he was arrested. These are wildly different actions. Nowhere in the article do the strings "prison", "jail", "gaol", "cell", "penitentiary" or any other synonym for prison appear.

There is plenty of discussion elsewhere in the HN comments on what may have led to this arrest.
I've been involved in this debate, professionally, for some 28 years now, and while I don't claim to have any deep or unique insights into it, I would like to state that I find almost amazing that it still rages at pretty much the same level as it did back in 1988.

As I've mentioned before, my first professional gig was writing real-time games and business apps for the MajorBBS, a fabulous pre-WWW multi-line BBS, in C.

Since the MajorBBS DevKit was shipped as C source and compiled as protected-mode DLLs (to of course overcome the 640k memory limit of DOS...yeah that was a thing at one time), there were several devs that wanted to use C++ "goodies" to help speed development or whatever.

The debate started when Galacticomm, the makers of the MajorBBS flat-out refused to consider it and used many of the same rational as the OP listed as reasons why it was not going to ported.

Reading over this list jogged many old memories, which is why I felt compelled to write this rather long-winded post.

My local opinion? Use whatever gets the job done and can be maintained and supported at a reasonable cost long after you are gone.
Here, watch it in color video :) http://wxyzwebcams.com/en/webcam-418.php
I tried to get my kids into amateur radio and failed miserably. When I described being able to wirelessly talk to people around the world they pointed out that they already do this - on their phones. The only thing I could come up with that they didn't instantly shoot down is being able to communicate in the event of an emergency when the cell system is down. It didn't really resonate with them.
Keeping Your Team Motivated When There's No Motivation and a Commitment to School
Minimum Viable User Onboarding
The closer we get to systems like this being easy to build and commonplace, the closer we get to being able to do dynamic sites/apps on decentralized IPFS-like architectures [0].

[0]: https://ipfs.io/
The Role of the CTO: Four Models for Success [pdf] (2002)
Show HN: Clubhouse – Simple, scalable project management for software teams
Perhaps because license plates in the US are fairly small (at least compared to the UK for instance) and not all states require front plates?
"It sounds like he's bothered by how they're treating him, and he wants them to shut up, because he thinks their opinion is dumb and their way of expressing it is awful."

Yes, because I've seen first hand what people do to those on twitter that say something that can be misconstrued as punching down, racist, bigoted, etc. It's not pretty and not nice in any sense.

He is telling them to shut up in the sense that they're being offended means jack shit. The mentality of them being offended and people having to cater to them is why free speech on universities are pretty much non-existent.

I saw a core contributor on a project be attacked because he disagreed with italian schools teaching children about transgender subjects without permission from the parents. They literally attacked the project, going on about how the core contributor was "transphobic", that his code will translate into that too. It was literally shocking to see the comments going back and forth. And, that isnt the only instance I've seen in the last year or so.

We've seen people have their platform removed because others claimed that their mere presence would violate their "safe space", even though the person isnt violent and just has a different view.

He is offended, the only difference is he isnt using it to try and ruin people or change policies. He is venting his frustrations publicly because he can. He isnt looking for others to cater to him. This is contrast to the people he is complaining about who do everything they can to shame and silence people that have a difference of an opinion.
On behalf of my GF i have to thank you! Cheers.
Online shopping has not helped the environment. It has made it worse
7 signs Apple TV is changing television
Actually, C++ syntax is so complex that you cannot use parser generators to parse it as it's grammar is not context-free. There are even some informal proofs that C++'s syntax is undecidable (as is Perl's and Common Lisp's, where it's obvious).

C++ semantics is completely another can of worms.
It is however, an effective way to appear to win the argument.
£169 for a remote control ? it doesn't seem to be aligned with the functional value. But maybe they're just trying to sell it to wealthy people, as another status symbol.
Reinventing the Broker-Dealer Business Model to Survive a DoL Fiduciary Future
The only rational argument for why it might be remotely worthwhile to spend more money than the debt on pursuing a debtor would be to make an example to prevent others who owe similar amounts from defaulting (or not paying back when defaulting is illegal). This only makes sense if pursuing a debtor who is willfully ignoring the debt but otherwise able to pay it.

I think use of the police force to enforce private loan contracts is short-sighted based on the ham-fisted overuse of incarceration as punishment in our legal system. Interest rates are already built into the loan instrument to compensate lenders for the risk of nonpayment, while this practice is just kicking someone when they're down...
That's a problem in and of itself--people don't like the unknown, which hurts them, because EVERYTHING is unknown to some degree.

In fact, the very roots of Logic, that sword which so many people claim will break Religion's gordian knot, are uncertain. All logic stems from the idea that you can say "if(a) then b()". The only svidence that this works is anecdotal. There's a lot of it, but that's all it is, and all it takes is one flying pig to bring it all down.

The solution, for some, is fundamentalism: "(Logic|Religion|*) is true because it says so."

Others put their faith in it even though they know it's not proven. G.K. Chesterton mentions this a lot (he's a fun read, if a bit rambly).

TL;DR: Not knowing is a whole nother ball of wax, and is a bigger ball of wax than you think.
We have a much better idea of what digital technologies and formats will last into the future than we did in the 1980s. Pick reasonably open formats and standards that have been around for a long time, and are used every day. HTML has been heavily used for more than 20 years, and it's only getting more widely used. UDF (the DVD file system) has been around for almost 20 years, and ISO 9660 (CD file system) even longer. Better yet: mix, match, and do all of them!
AWS Lambda now allows access to your VPC
Dear Startups:  Here’s How to Stay Alive
That's such an irrational assertion, ironically enough. Every decision has a trade off, even non-engineering decisions. It's called opportunity cost.
Annotated version of Gravitational Waves discovery paper
Most of them aren't audited at all.

If you switched SSL library from OpenSSL after Heartbleed, odds are you went from bad to worse.
The Work of John Milnor, a giant in modern mathematics [pdf]
The problem is not making sure you upgrade, nor is it about technology. It's identifying the things to keep without knowing the future.

50 years ago and all those letters that were burnt or composted because no one bothered to keep the sentimental letters of soldiers in a world war.

20 years later and all those millions of photos that were on Flickr but no one bothered to upgrade.

100 years later and all those GPS logs from taxi cabs that were logged by firms are lost as no one thought they would be interesting or useful.

600 years later and these floppy disks with meeting minutes on them about an early internet organization are lost but might well be worth more than they are now.
> I can't imagine a C version of Rails executing YAML as code

This is the crux of the matter, so please take a moment to reflect on why you believe that. Ruby code is used in much more dynamic environments; environments that would exist in some other language if Ruby didn't exist, and probably would show the same error.

By choosing C you are not allowing some vulnerabilities to gain resistance against others. The gains are in other places: performance, code inertia. And that's the problem. You are deliberately sacrificing safety. Truth or not, that's why everyone is so pissed at this class of bugs.
I think you sound like you have a chip on your shoulder and you feel that armed with facts, your arguments should be persuasive but they're not. I don't have the ability to downvote, but perhaps that's why other people are doing so.
http://mikehadlow.blogspot.co.uk/2011/01/monads-in-c1-introd...
Object files are not standardized either (as far as C++ is concerned). Microsoft has it's own format. I can blame C++ for using a hack in order to keep using the same obj files as C.
>The space program was initial started to support Starfish Prime type high altitude nuclear tests.

Do you have a source for that? I'd think there were a multitude of reasons in reality, a specific defense purpose being but one.

Funny enough, high-altitude nuclear testing proved to be a serious concern for the safety of manned space flight.[0]

[0] http://www.wired.com/2012/03/starfishandapollo-1962/
Well, when you write in Haskell and compile it to x86-64 machine code, you are indirectly using x86-64 machine code. That doesn't mean a Haskell programmer would like to write x64 asm, they're on quite different levels of abstraction.
The part where you don't serve any time in jail.

The court can compel you to appear court and explain yourself, but they can't throw you in jail for not paying.

All they compelled him to do was sign a payment plan (which he can and likely will ignore).
You can also watch the traffic cameras as provided by NYC Department of Transportation. Many cool projects have been made with the feeds available here: http://dotsignals.org/multiview2.php.

Here is the direct link to the one at Union Square: http://207.251.86.238/cctv474.jpg.
Comments moved to https://news.ycombinator.com/item?id=11109967.
Hollywood Presbyterian Medical Center has 434 beds and around 1500 employees. That's pretty decent.

Cedars-Sinai is indeed about twice the size, but that's mostly because Cedars-Sinai is extraordinarily large.
Hunting down phantom write spikes in RDS Postgres
Neither do people who use C++ :)
Anonymous: Hacker releases 17.8GB of data from a Turkish national police server
As a Swedish citizen I am a bit offended by 'Sweden: boring devices' and yet at the same time I agree with you.
Mathematical papers will not come with a formal proof until formal proof systems "auto-prove" button is strong enough to do everything for them and it can come as an afterthought that takes 5 minutes.

Formal proofs do nothing to help understand the mathematics, all they do is help to check for errors in logic -- have you ever read a formal proof? They are leagues more obtuse and difficult to understand than any piece of mathematics from any field.

A program is technically truth-value equivalent to doing a proof, but the resulting document/piece of text are MILES apart. The proof is an explanation in plain language to others who understand the topic why something is true. The formal proof is a sequence of opaque inference rules that the computer promises is equivalent to a real proof.

It's the difference between understanding a formula and plugging it into your calculator. The calculator is more likely to compute correctly, but it gives you no help when it comes to actually understanding mathematics.

Mathematicians as a community completely reject the notion of using formal proofs (while sometimes begrudgingly accepting they may be useful to check our work) because they completely miss the point of what we are actually doing.
A modal for example
Not really, as I wrote above, it's using my money to pay for other people's homes. It's also increasing the demand for housing, which in turn pushes the prices higher, encouraging speculators and helping them.
I think the point that people are trying (but often failing) to make is that, in this "era" of chat, rather than there being global user-agnostic bots (e.g. Cleverbot) or bots you have to set up and run on some server yourself (e.g. a personal channel dice roller), bots are now also available as a thing you can consume through the service—in the same way that "addons" (third-party services) can be consumed through Heroku, or "service subscriptions" like Netflix can be consumed through a TV box. It's the discoverability and consumption-model of the functionality that's novel, rather than the functionality itself.

The novel model also sits at the intersection of "interesting enough to third-parties to incentivize them to create lots of these integrations", and "usable by non-technical people", allowing anyone to "have a bot" for anything they need without all the logistical implications that idea had previously.
He still hasn't paid the debt.

Where in the article did you see that "choice" presented? All that he was compelled to do was show up in court and agree to a payment plan. He might still never pay the debt.
For high performance server-side software, Java is definitely a viable option nowadays.
Has there been any work on a safe C? Not a C-ish language that is safe, but an actual implementation of the C language itself.

The C standard doesn't require the compiler to check the validity of array indexing and pointer dereferences and such, but it also doesn't require the compiler not to. Can they be added without destroying performance and compatibility?

Some of this already exists, with stuff like stack canaries and address sanitizer. But can it go beyond these ad hoc solutions that catch common mishaps, and become something truly reliable?

It should be possible to just flip a switch on the compiler and have it so that, for example, if you alloca() X bytes and then use the resulting pointer to access byte X+1, that is reliably caught at runtime. And not just as some single patch that specifically looks out for alloca() abuse, but as part of a wider system that understands and catches all out of bounds access.
The problem is that water is an excellent RF attenuator. Even if the phone was working, it would be useless even under a few metres of water. For this reason submarine communication is only one way and requires kilometre long ELF emitters (which everyone in the world can pick up). Above 20m depth you can use VLF, but it's still only one way.

The second problem is that phone location relies on there being a cell tower nearby (or a few so you can triangulate). You don't get a good reception in the middle of the Pacific, I'm guessing.

Not to mention the third problem that we're told to put our phones into airplane mode anyway. Even if the phones had WiFi or Bluetooth on, it's a higher frequency than GSM and has an even poorer range underwater.
The article's line, "In a world where a $100 smartphone can be tracked for free..." is dishonest. Services like Find My iPhone only work if:

1. The phone can determine its location via GPS, cell tower, and/or wifi positioning.

2. The phone has Internet access. (Cell or wifi.)

As you might suspect, the south Indian Ocean doesn't have many cell towers or wifi hotspots. GPS signals don't penetrate water, nor do the frequencies radiated by cell phones. Even if you had an unobtainium phone that survived the crash and depth, it couldn't be tracked.
There are companies using Java for HFT now as well.
I think one of the key things that makes 'auto' much more painful than 'var' is that in Visual Studio, the intellisense in C# is much more reliable than C++. Any ambiguous statement like the first example is quickly and resolved in C# with a quick F12. In C++, this doesn't always work especially when you're using any kind of cobbled together or hybrid build system.

A lot of times, the type is unimportant but when it is, this kind of usage can bloat a simple task into 5 to 15 minutes of hunting through headers or grepping.

It's strange to think of an IDE feature so impacting a language feature. The stack is not supposed to affect in that direction but this is one case where it really does.
You would think a BBC article on this topic would mention the bizarre postscript, where Lunokhod 2 and Luna 21 were sold at auction for around $70K USD to Richard Garriott.

https://en.wikipedia.org/wiki/Richard_Garriott
IIRC Windows 9x had local profile support in that different local users had different HKCU, desktop, start menu and such, but did not support roaming profiles in the sense that these data were not replicated to domain profile directory and profile directory offered by domain controller was essentially normal windows share that was used for documents folder (and used directly online, without the replication)

Edit: essentially only thing that you would get by joining to domain was logon scripts
Running your models in production with TensorFlow Serving