skysight-inc/HackerNews huggingface dataset:
> I'm genuinely curious [how] you say this with any sort of surety.

Of all the things I said, is that really the only one you want to address?

In the future, I'll try harder to qualify my statements with a "to the best of my knowledge" clause when replying to Rust core developers, but constantly adding caveats to every word I say is tedious. No, I'm not omniscient - I can't prove my software has never been exploited.

I have some doubts whether your question is really all that sincere, but giving you the benefit of the doubt: For the last 15-20 years, my job-related software runs on networks which are effectively air-gapped. My users aren't shy about submitting bug reports, and they generally have my phone number. For what it's worth, truly "malicious users" run the risk of getting fired or facing a court-marshall. Anyone who runs my code already has a shell and a compiler on the machine. We give them the source. They frequently have sudo. It would be much simpler for them to just write a program and run it than inject it into my (hypothetical) buffer overflows. If they want to crash my software, they can simply kill -9 it (or not start it in the first place).

Before that I worked for a few unsuccessful startups, and I wish my software had seen enough exposure to run the risk of being exploited. I've written Netscape plugins which I know were exploitable, but that code vanished along with the stock options before most people had gotten past dial-up connections. Maybe someone somewhere curses the day I was born, but they didn't send a bug report.

Having said all of that, you probably think I'm in some rare position. However, it's a really big world, and you might be surprised how much sloppy C, C++, Fortran, and COBOL software is out there quietly getting the job done without the constant onslaught of black hats attacking it. We don't all write web browsers and servers. There are a lot of potentially profitable C++ targets in the finance industry, but somehow they survive.

I'm not one of the people saying modern C++ solves all the problems. I'm keenly aware of many short comings in C++. The language sucks in a lot of ways, and I dread trying to explain the complexities to non computer science developers.

Given all of that, I have been interested in Rust for reasons having nothing to do with safety. You have some great features, and I think you should advertise those. If you fixed the pain points in Rust instead of emphasizing the shortcomings in C++, I think you could win a lot more converts (and a lot of new developers who could grow your ecosystem outside of web clients and services).
I'm curious to know how he was caught. He managed to evade detection for 20 years as a contractor? For the NSA not to have checks and balances internally in place to be able to detect illegal access to assets by 3rd parties a little faster than two decades is incompetent.
Tesla themselves may be able to find cost savings further into production which could bring down the wholesale cost of the vehicle making somewhat up for the loss of the tax credit. Or if not maybe the "version 2.0" will.

I will say I'm not sure what price segment Tesla's endgame for the Model 3 is. I assume somewhere in the 25-35K mark, but there's a lot of variance in that range and without seeing the Model 3's trims and features it will be hard to judge where it should fall compared to the competition.

Tesla's site has impressively little basic information about the Model 3. Heck, I don't even know if it has electric windows (obviously it does, but my point is that Tesla's site lacks a 101 level spec sheet right now). Kind of ballsy to ask for a $1K downpayment for a vehicle they aren't telling you a darn thing about.
https://www.wired.com/2014/06/wuwt-traffic-induced-demand/
Polypi-Zero: Instant Printing Point and Shoot Camera
There's some single-lane Swiss mountain roads, with occasional passing spots. There's a specific rule in the Swiss driving code that the car going up has priority, so the car driving down gets to reverse to the closest passing spot - presumably reversing upwards is less scary, as guardrails may or may not be present...

But then there's the extra rule that on some roads if you meet a "car postal" (bus service run by the Post Office) it gets to decide what you do :)
yeah, this is far from his best imo
I'd like to live in the same world you describe. I work 9-5 and of course, I'd rather be doing whatever I please instead of going to work. But longing for the destruction of these jobs without a realistic alternative (e.g. basic income is still a pipe dream) is too near-sighted.
> you can't implement [Vulkan] on top of [DX12 or Metal]

http://lmgtfy.com/?q=vulkan+metal

First result: "MoltenVK is an implementation of Vulkan that runs on Apple's Metal graphics framework on iOS and macOS."
Nice work. Are the URLs recycled after some time? Do you plan to support some editing after the page has been created?
As a soon-to-be engineering graduate, I am very thankful for Octave. I've used it (instead of MATLAB) for projects involving numerical methods, control systems, image processing, and all kinds of data manipulation. While it may not be as powerful as MATLAB for certain use cases, it is an amazing piece of software.
The problem here is trusting the machine and not trusting the actual human and not giving human any leverage to do anything extra.

In all cases where machine and human are assigned to a job as a unit, human should have authority to override automated decisions.

There are two reasons why it isn't so: business doesn't trust its drones, and workflow tends to break down on unexpected input.
But it should be.
Haven't tried it yet - but Banktivity looks promising.

https://www.iggsoftware.com/banktivity/
problem with that is all the world-destroying wmds the empire is clinging to as it goes down
Having used both plain LXC and BSD Jails before Docker was a thing, and now using Docker after, I can say much of this is true. But there's a fundamental additional point: Docker's marketing has increased its' usage for application development in general, and now it has become technically useful because of the resulting ecosystem they grew around that. Docker Hub is quite useful if you just want to deploy some app quickly -- usually it's already been done for you.
An electric train may require less energy because it doesn't need to move the engine along the track.
I've been using Regex Coach at http://www.weitz.de/regex-coach/ for quite some time. This is a standalone tool on windows. An older release is available for Linux.
I don't think you're accounting for interest in that calculation. If they have borrowed 60% of GDP at an interest rate of 3%, it would take a 1.8% annual increase in GDP just to match the interest on the loan.

That is also ignoring the fact that you can't just take the entire GDP growth and use it to pay the loan, you have to collect fares and taxes which can only be a proportion of that growth. If you collect more in fares than the increase in GDP, you're leaving the country poorer than they would be without the railway.

Djibouti is going to need to see some pretty big additional growth from the railway to make the project worthwhile. Not to say they won't, be it's easy to underestimate just how big of a debt burden it is for a small country.
Appreciation comes in many forms, like how many people have developed a new-found "appreciation" for the New York Times or the ACLU of late.
Screw the haters in this thread. GEB is wonderful.
as to the subject of the pipeline running through native american territory... that's a whole different issue.

Especially since the pipeline will not enter Native American territory at any point.
Honestly, I'd expect these "public" Slack groups of FOSS projects to have search-engine-accessible archives, just like Usenet and mailing lists do through Google Groups. Why do I need to know what Slack even is, to be able to find+read the answer someone gave someone else to a question over Slack?
Confused Deputy Problem
Yes you can bet the farm that if he interviews at Google, Facebook, Uber, Amazon, Dropbox, etc. they will all whiteboard his ass (if he even gets an interview --because of his age). They don't give a f' who you are or what you did. In my google onsite they didn't even ask about past projects (who cares really?). The question is can you whiteboard?
Show HN: Cheermeup – Make something funny and share it
This is entire thread is the result of someone saying that the New Testament is a result of being "heavily edited over the centuries". Many people believe that the Bible was translated many times through the centuries and thus edited many times. This is a myth, and what I was trying to refute.

The Gospels and most of the rest of the New Testament most likely existed in the form we have them today by the end of the first century. The collection as a whole was most likely standardized by the middle of the second century.

Then we got a collection of different people arguing mostly from what they just read on wikipedia.

The problem is that you and the other 2 people commenting don't seem to understand that I'm not saying that many Biblical scholars don't believe that Matthew and Luke used Mark and Q as sources. I'm arguing that most Biblical scholars believe they were written by 1 person each using Mark and Q, and other oral traditions as a source. As opposed to each being the end result of multiple edits made over the centuries.

>I've just read your claim "independently wrote"

I think you're mistaking my meaning of independently wrote. I mean that they were created independently of each other, by separate authors. I do not mean they are lacking any dependencies.

>"potentially including earlier sources"

I said potentially because no Biblical scholars are very certain of any of their hypotheses. Biblical criticism is not a science and most New Testament scholar would tell you that they believe that the 2 source hypothesis merely the most likely.

Most computer scientists believe that P != NP, but if I told you that "potentially P!=NP", you wouldn't take that to mean that I believe most computer scientists believe it does.

As to whether Matthew and Luke were based on Mark and Q, the current most accepted theory is that they were. However as I said before Biblical scholarship is an art not a science. The 2 source theory is currently fashionable, but there are many reasonable arguments against the 2 source theory and many scholars that do not agree with it.
OAuth might be annoying but at least it's an understandable and implementable way of conveying to the user what access will be granted to external applications.

No standard will ever exist in the banking world because banks. They're their own worst enemy.
My point was more to the readers of HN who wouldn't know, and the title just says "Lisp is not functional" so I was providing some context.
Your statement that there's "an expanding space-time that has a constant energy-density", gets to the nub of it for sure, but in reality no one knows if any of the fundamental field strengths are indeed constant. To me the need for "dark" stuff to be postulated, is more likely to indicate that gravity strength, or light speed, are more likely to NOT be constant over large space-time ranges, than the likelihood that there is a whole class of 'dark' particles and waves that currently don't interfere with any other matter in a provable way.

So if someone asked me what's my 'evidence' that gravity or light-speed are not universally constant, my answer is simply: "The evidence for dark-energy/matter, is that exact same evidence". There should be some wave-function (possibly resulting from what we call a big bang), in terms of G and C, that once integrated out over the current life of the universe, will yield precisely that positions and velocities of the galaxies that we currently observe. To me it seems far less likely that there's an entirely new set of particles we cannot see, despite the Standard Model of particles being proven correct out to 40 decimal places.
I've had the opposite experience at an airport - I arrived 20 minutes before the flight departed, so a member of staff at the desk had to call ahead and ask if it was still physically possible for me to board. They then accompanied me through the airport to fast-track me through security so that I could catch my flight. They even kept the gate open for me so that I could do the awful walk of shame into the plane, but at least I was able to take my flight and get home for Christmas.
I added a slide about this to the talk I'm giving tomorrow on funding for open source math software at University of Rochester: http://wstein.org/talks/2017-02-09-wing-sage/slides.pdf
Some good points you bring up.

This is not a response to your entire post, just a small one to "where we don't want a rigid machine-like process" - I think this is something that machines are perfectly capable of solving. We are not arguing about whether or not, in the ticket printer case, the machine should or should not print a ticket outside it's rigid specified rules (late by 1 minute etc). In fact I think that most of us would agree that as a matter of principle such grace-periods are a fundamental lubricant of a comfortable society. We just have (historically) had to plead our cases and rely on the grace of other humans to grant such meager exceptions to rigid rules. We are just arguing at this point about what the numbers for such grace periods should be, machines can easily implement them once we find a happy medium. My $0.02 anyway.
I think you're discounting donations to the ACLU that have only happened as of late because of an orange catalyst.
Related to that, why aren't public servants at the DMV, utilities, etc., required to work on weekends and have their days off in the middle of the week?
To add a data point regarding self checkouts (I'm wondering if anyone else experiences this). Often when I'm waiting for a human checkout, I'll see the snacks and drinks, and throw one on the belt. But when I go to the self checkout I'm so involved with "a job to do" (that is, doing the job of a checkout clerk), that I've never considered adding a candy bar to my purchase. It is only after I've completed and paid, that I think "Gee, I really could have used a Snickers". But then it is too late, I've already paid and there is someone behind me waiting to use that checkout machine.
Python, PHP, and Ruby are not great languages. Google, Facebook, and Twitter are successful inspite of them.

I'm not saying open source is bad, I'm saying Dev culture in not paying for tools is bad. I agree that ideally it would be different.

I speak from decades of experience doing Dev tools inc open source. All of my friends are practitioners in the space. We're all obsessed on how to get people to use better tools. It is something I've put a lot of thought into. I've personally spent over $200K on salaries for people to build open source tooling. If I could make a business out of it I would spend more. But I can't. I had to build an entirely separate company to make money.

Edit (addendum):
People who have paid $1500 for my software are grateful that I'll even talk to them; whereas open source freeloaders constantly demand I do more free work for them.
read the rest of my comments. I clarify why "dark stuff" is all the same.
Sorry, I never meant to imply that I hope we do it hastily and without an alternative. It's an economic challenge for the ages, all I'm saying is it's worth taking on.
The problem with Octave for most of its life was it never had a very good GUI, and that made it hard for university departments to adopt as course software. I know we tried to push Octave in our department, but it just never took off. That, plus the Mathworks offered some pretty good educational pricing.

Octave also never had the span of toolboxes that MATLAB had. With MATLAB, you could always find fairly usable toolboxes that covered most engineering computation needs.

Octave was on par with MATLAB on some fronts, but it rarely exceeded MATLAB capabilities. And it was worse than MATLAB on tooling maturity. People hate The Mathworks for charging an arm and leg for its software, and for breaking backward compatibility, but most people will admit the MATLAB environment is pretty polished and seamless compared to open-source offerings in the same space.

So far no one has mentioned Scilab (http://www.scilab.org/). Scilab is a much a better MATLAB alternative than Octave, though Scilab code is less compatible with MATLAB that Octave code.
i happen to know that the main developer is russian
If only we had some sort of collective leverage.
For what it's worth, http://www.givewell.org/international/technical/programs/ins... estimates about $3000 per life saved (which I will grant is not the same thing as "malaria case prevented"). So a year's salary for a good developer would be on the order of 30-150 lives saved, depending on market and definition of "good"...

Agreed with your overall point, though.
The next big blue collar job is coding
Because the valuation is insane. Tesla is worth as much as Nissan, yet has no sign of the ability to turn a profit.

I have a hundred shares. I wouldn't bet against Elon.
Section K.3. is very problematic - it is (essentially) the same as the previous TOS. It states that github can restrict/delete your account for any reason, at any time, without warning. This may be fine for trivial projects, but if you're running a business and relying on github for actual revenue, this is completely unacceptable. I have asked people about this, and their answer has essentially been, Cross our fingers and pray it doesn't become a problem. I won't use github for anything remotely serious until this substantially changes.
The problem with this argument is that there is already dependency on the systems. If a system is down, travel may be halted regardless of if there are human staff members present.
#20 Lisp in Small Pieces

This is absolutely relevant to compiler construction.
One time I accidentally went to the wrong airport (Newark instead of JFK). A stern but kind lady at the checkin counter gave me a disapproving look, and proceeded to put me on the airline's next flight (leaving about the same time as from the other airport) without batting an eyelash. Being so used to battling the rigid bureaucracy of international flight and US immigration, I was floored by how flexible at least this one piece of the system turned out.
Locked down by default with an option for advanced users to jailbreak seems to be the in thing on handheld devices. This is something not easily done over the phone as there are extra dependencies (namely having another device with a debug SDK installed and a spare male-to-male cable).
Why not use DigiKey? They'll arrive the next day and be really cheap.
Thanks, not recycling urls at the moment, planning to do so soon after a few months of inactivity.

Great question, editing is on the feature list, thinking of adding once it attains traction and I add a verify ownership feature.
Is there a machine that can help the author get to the point?
That is horrible, and I understand that it's a big socioeconomic challenge. I don't claim to know the answer, but I hope we find it as a species.
Agreed. It took me a long time to give up on Mootools because it felt like it made so much more sense. jQuery's tendency for chaining felt particularly gross to me - in retrospect I don't think I was wrong, either.

But the sheer number of plugins that depended on jQuery made it's dominance inevitable. Thankfully we're now coming back out the other side.
This post today is what is wrong with open source software. If someone knows jwe, then they should tell him that lots of corporates and startups WANT to support stuff like this.

But you cannot give a paypal link and expect donations. As a company, I cant do that. I need an invoice. Hell, if you can get a business account, I daresay you will get subscriptions.

I like to call this "gratitude-ware".

Check out Sidekiq Pro and their experience making 80k USD per month. https://news.ycombinator.com/item?id=12925449

At first I built Sidekiq as an LGPL project and sold commercial licenses for $50. Revenue was laughably small, but the response I got was encouraging: people told me they were saving $thousands/mo over previous solutions and wanted to buy the license just to give me something as thanks.

Octave currently offers support packages for which you have to write in to the maintainer and have an email discussion. Compare that with Sidekiq : http://sidekiq.org/products/pro

Its one of the best designed gratitude-ware page...even works amazingly well on a mobile phone.

We personally also buy pfsense licenses https://www.pfsense.org/our-services/gold-membership.html

TL;Dr Donations wont work. Engineers cant give an excuse to corporate accounting. Make a pro subscription with ANY "pro level" feature. I can get my accounting to sign off. And no "contact us to find out about support contract".
Delays in, and cancellations of, nuclear projects for political reasons have had a huge environmental impact, resulting in billions of tons of CO2 release that would not have happened (counting just one pollutant).

(Also, premature decommissioning for political reasons, (e.g. Rancho Seco)
Indian here, and that's how I would use it. Is this more British usage than American maybe?
Actually no: you can look all you like without paying, it's just kind of clumsy. If you "export your data from Slack" (yourteam.slack.com/services/export), you get the whole history, even on the free plan.

I've repeatedly considered writing a bot that would—on a regular schedule—poke this page with a headless browser to generate a dump, download said dump, and ingest it into ElasticSearch (which I'd then expose through a web search, or maybe just spit out batched archive pages into a static-site S3 bucket and let Google index them.) Such a bot would be a good companion to https://github.com/rauchg/slackin for FOSS teams.

But I haven't done any of that yet, because I get the feeling that putting enough attention on this little "feature" would get it quickly locked down.
I've just checked my email and spam folder and it appears you haven't. My email was from six days ago, subject line "pricing" and the body includes "I asked on HN"...
I'm not on dial-up right now, but I have almost been in situation where I would be. Most of rural america relies on dialup, satellite internet, or maybe microwave based connections with speeds comparable to 2002 DSL. If you don't live within some kind of city limits, you're almost guaranteed not to have broadband access.

I got really lucky and ended up living in the vicinity of a midwest fiber hub.
How to play video with DVDFab Media Player 2
It's the batteries. Tesla has a big lead over other OEMs in battery cost. This is obvious in the energy storage space.

Also, if some new battery tech comes out, then Tesla will get their hands on it, being half the world's battery supply.
> The problem is how you get 20T out of a place that has military-grade security.

This remark suggests that you know the location(s) of where the data was exfiltrated from. It also suggests that you're intimately familiar with not only the exfiltration sites' OPSEC and COMSEC procedures, but of a particular government contractor's as well. Moreover, it suggests that the reported amount of exfiltrated data is unquestionably accurate. Do you see where I'm going with this?

For the sake of curiousity, how would you describe military-grade security, and have you ever legitimately handled classified information in a secure enclave?
Did you just admit in writing on a public forum you have inside information on a company and trade their stock based on it?