skysight-inc/HackerNews huggingface dataset:
Except primitive types. So this is avoided:

> You'll just end up with structures where everything is a Maybe type, so you end up needing tons of bespoke client-side code to handle the possible permutations.

Absent primitive values default to zero, while absent message fields are mapped to what makes most sense in the specific programming language (in most of them, "null" or "nil").
Builds randomly hang, dependencies disappear when changing branches, weird errors that tell me to reinstall the IDE... everyone on my team has them.

We now have a VM image that we launch in the cloud whenever we need to reset VS. It's ridiculous.
Anything that runs on a JIT is effectively platform dependent because the underlying JIT has to support the hardware - that includes Java, JS, etc.
I think the real problem is the questionable legality of relaying Tor traffic. At least for exit nodes visits by LEAs happen somewhat regularly. Depending on your jurisdiction you can also get in real trouble (as opposed to having all your computers confiscated and returned when the law is through with them)...

But if Tor loses its "the network for drugs and CP" reputation and instead becomes the "network for lightbulbs and toasters", this might change.
Distributing a tool to OS distributions that do not have Python3.x (e.g. RedHat/CentOS 7) where the requirements include 'Not installing any additional packages'

I hate it because Python2 is a flaming garbage heap, and 2.7 is what happens when you piss on a flaming garbage heap to put it out, whereas Python 3 is actually a nice language to work in, but until OS distributions get their act together on the Python front, some stuff is going to continue sucking.
Mars-like soil can be pressed into strong bricks
Those people who said GPUs would never be any use for general-purpose computing tasks have been looking a bit silly lately. Perhaps they had forgotten about the advantages of math coprocessors in earlier hw architectures.
I used to think Dropbox was such a simple company -- how could they need hundreds (or are they at thousands?) of software engineers?

There are some opportunities for real innovation, though. An easy one is de-duplication of identical files to save space (which I have tested that they do). However, I suspect it can be taken much further to gain a competitive advantage against other storage providers, such as de-duping blocks, advanced compression algorithms, etc.

And of course, there's always room for creativity in the hardware and data-centers, and UX.
You can turn on showdead to see it, but here's the core of the comment phrased more charitably:

How did you deal with stale reads caused by S3 lacking consistency guarantees on read-after-update?
There are also the scoap3[1] and CERN[2] press releases.

[1] https://scoap3.org/aps_joins_scoap3/

[2] https://press.cern/press-releases/2017/04/cern-and-american-...
But should you just accept being treated that way without a fight?

And what happened to that company? Are they still around?
The key to e.g. Goedel's results is the Fixed Point Lemma: if ψ is a formula with v free then there is a sentence φ such that, provably, φ <=> ψ(<φ>) [where <..> is the numerical code of .. ].

The proof, if you are interested, is not difficult. Let sub be the function that describes, via codes, substituting the (numeral n_ of the number) n for a free variable v of a formula χ : sub(<χv>, n_) = <χn_>. Then the PROOF is: consider ψ(sub(v,v)), call it θv, let m be <θv> and let φ be θm_.
Then, provably, φ <=> ψ(sub(m_,m_)) <=> ψ(sub(<θv>,m_)) <=> ψ(<θm_>) <=> ψ(<φ>). Ta-da!

Goedel used this to get the "formula that says I am not provable", φ <=> not Prov(<φ>).
Roguelike Radio: A podcast about roguelikes
I would but that would not achieve any useful purpose - any specific example I give can be either claimed as genuine disagreement and lead to a prolonged discussion that would derail from the topic completely, while arriving at no useful conclusion, or dismissed as either "it's small change, that's all you got?" or "this is just one example of no true Scotsman, true Scotsmen are different".

But ok, here's an experiment. Not snopes (I have snopes examples too, just requires a bit more time to find).

Bernie says black youth real unemployment is 51% - Politifact says it's mostly true[1], maybe even over that. Maybe the terminology was a bit off, but the point of high black youth unemployment is correct. Not completely true, but mostly is.

Trump says black youth unemployment is 59% - so Politifact says it's close to true, but probably closer to 51%, right? Trump is close to truth, but maybe exaggerated a little, as is his habit? Nope, Politifact says it's mostly false[2] and the real figure is a third of that. Note how in the first case PF is completely OK with extending unemployment definition but turns rigorously pedantic in the second case and insists unemployment is nothing but the figure published by BLS, and Trump's point - which is exactly the same point as Sanders had! - is total bullshit. How do you like them apples?

[1] http://www.politifact.com/truth-o-meter/statements/2015/jul/...

[2] http://www.politifact.com/virginia/statements/2016/jun/20/do...

Want more? Here's more.

Ron Paul says there was no income taxes until 1913? Half true[3], there were short-lived efforts to introduce the tax (as if that was the point). Jim Webb says the same? Fact check is now "mostly true"[4]. This one was corrected postfactum, because somebody noticed and made fuss out of it.

There are many more examples of PF doing this - spinning the facts depending on who said it. Snopes is doing the same, and more - like taking a factually true statement, finding some retelling that adds a slight exaggeration or twist to it and slapping "mostly false" on it and dedicating most of the article to refuting that slight twist and ignoring the original fact. Because while the initial fact is true, this particular exaggeration or twist is not, so the compound statement is "false" and now the original statement can be reported as "found to be mostly false by factcheckers". Primitive manipulation, but it works.

[3] http://www.politifact.com/texas/statements/2012/jan/31/ron-p...

[4] http://www.politifact.com/virginia/statements/2015/aug/24/ji...
Ardour has snapshots [1] which is a somewhat manual approach to this. I assume you can copy/paste parts of a session between snapshots as a "merge".

[1] http://manual.ardour.org/working-with-sessions/snapshots/
Because they are e- so you never own them. You lend them- and the day the library is on fire- your books turn to ashes in your bag.

I also regret showing up at a friends place and at partys near his book shelve, and get the guy/girl to recommend me the books they lend from me and no returned.
I agree, I love protobuf and JSONSchema and Thrift, I think they're great ideas that solve important problems.

But the hype is getting carried away--they aren't a silver bullet for distributed systems, they're just a way to manage schema. Define a schema in an IDL, and Protobuf/Thrift/whatever generate schema validators and serializer/deserializers for clients and servers. But they are not type safe across systems, and that they compile doesn't imply anything about whether they will actually work at runtime.
So I've been following FreeCAD since it started. Even tried to get my head around the code base at one point, but the hacking guide was mostly nonexistent in those days, so I moved on to projects that did not skip that very important step.

Just to put a stake in the ground, when did FreeCAD start? When did 3.0 come out, along with the announced end-of-life date for 2.7?
>Python 2 is going to be abandoned in 2020.

But Python 2 is Free Software, so as long as people like it, they can keep improving it:

https://github.com/naftaliharris/tauthon
As a new programmer with an interest in hardware, this is something I've noticed quite a lot- I was able to learn everything about C/asm as in what functions are available to me to use in a rather short amount of time, but the actual usage of it is quite a lot harder, whereas with a language like python I spend way more time learning how to do something than actually doing it, or if I want to use a database, it took me almost as long to decide which database to use as it did to implement it.
So, I've sent an int32 representing a payment amount. One of the low order bits gets flipped. Can you explain to me how I'd validate it?
UnrollMe hit with privacy lawsuit
It has a product home page:

https://helioworkstation.com

One of the features is "Incomplete -
Helio is a one-man hobby project, that is a work in progress. The author builds it for himself and shares with the world."

I give +1 for honesty.

Honestly it has the same "piano roll" grid layout many other programs I've dabbled with have (garage band, ableton). It has linux support which is great.
Hey, xkcd just made a really good comic about that!

https://xkcd.com/1827/
The Israeli Government announces it thwarted a major cyberattack
The current infrastructure for transit between Manhattan and NJ is quite lacking, an additional tunnel for trains and bridge for bikes/cars seems like a great idea. (This also allows the current aging infrastructure to be closed for repairs.)

As far as I know, there's no reasonable way to bike between middle/lower Manhattan and New Jersey. A new tunnel / bridge should definitely add some bike lanes!
The "web" link (below the submission title) works for me to get around the paywall.

The HN FAQ says

> It's ok to post stories from sites with paywalls that have workarounds.

https://news.ycombinator.com/newsfaq.html

Edit: quote "web" for clarification and include HN policy on paywalls.
Of the Gemini astronauts, I believe fully one-sixth died in training accidents, mostly flight accidents.
https://en.wikipedia.org/wiki/Spaceflight_non-fatal_training...
And more https://gist.github.com/willurd/5720255
Hacker for rent
We are part of a team consisting of highly efficient developers and hackers.
Upgrade University Grades
Facebook, Instagram, Twitter, Whatsapp, Line, Skype Hack
Delete unwanted online Pictures pand Videos on any website
Remove Criminal Records
Hack bank accounts
Apps hacking
MasterCard, Paypal, Bitcoin, WU, Money Gram with untraceable credit on it etc.
We also develop hacked facebook, twitter, instagram, yahoo, gmail passwords etc.
We do custom software and web development in php, java, asp.net
etc.
We have 100% records from our client as well as highest repeat hire rate.
our work speak for ourselves, we provide a perfect software solution to all clients.
We believe in mutual growing with client and hence we work as a technology partner and consultant for our clients.
Contact us @Lulzsekhackinc@outlook.com or ICQ: 703132619 or WhatsApp:+14696660879 or Skype: Lulzsekhackinc@outlook.com
That's brilliant. Misdirection within misdirection.
No reason not to start with FP. Arguably even better.

I wouldn't use a brace-language first, though. I'd stick with Logo, Smalltalk, Python, or Scheme, preferably in a decent environment, e.g., Logo or Scratch.

The issue with starting with brace-oriented languages is that they spoil you in different ways. Ceremonial languages are a harder sell, less fun, and AFAIK don't have good kid-oriented "IDE"s.

(Processing might be an exception since it has reasonably-friendly IDEs and provides immediate feedback.)

Worrying about "spoiling" this early because of Ruby seems odd to me. It's a low-ceremonial way to get started, it has enough power to do anything necessary including teaching "higher-order" programming. But without Shoes it lacks the immediate feedback loop for kid-like programming (shapes, graphics, games, etc.)
if you have a large py2 codebase in a shipping product, can you make an ROI argument that porting to py3 makes sense given the staff months required to do so?
IP Strategies for Startups
Exactly whats needed now as part of growing dataset and deep learning models
Yeah, I don't know why HN doesn't change this story to it's proper, correct title.

Current title makes it look like Wall Street it saying it. The real title makes it clear that the CEO is saying it, which, as a result, makes it useless PR drivel.
Open floor in the center, lots of single person office rooms at the outer ring, with the ability to switch any time.
And they should fail. Promotion of slavery is offensive.
Yes, computers today are fast and "distributed" computing has massive overheads. With some engineering effort you can save many machines. I like this paper about this topic a lot: http://www.frankmcsherry.org/assets/COST.pdf
Hey Dan! Yeah, prettier has also been working hard[0] towards TS support, frequently referencing typescript-eslint-parser (I haven't been involved).

Personally I want to go the other way – ESTree to TS – so while the prior art is helpful, very little of the code could be reused.

If TypeScript (or a fork thereof) exposed an option to use your own parser, an ESTree -> "TSTree" library could be used to map the output of any babel plugin to TypeScript. I'm sure you've discussed/considered this; presumably speed is a top concern.

[0] https://github.com/prettier/prettier/issues/13 and https://github.com/prettier/prettier/issues/1306
You can hustle and not have it be related to working for someone else. You're thinking too small.
how could they need hundreds (or are they at thousands?) of software engineers?

supporting hundreds of millions of users (and probably tens of millions of paid users) is non-trivial
Author of vetur[0] here, glad to see it getting featured :-)

Started this plugin last October to provide better editor support for Vue single file component, now vetur has support for embedded IntelliSense / error-checking / syntax-highlighting / emmet / snippet / linting / formatting. By embedded support I mean each feature is available for at least html/css/js, some features are also available for scss/less/ts/etc.

@sandersn from TS team has been really helpful in helping me integrating TS's Language Server to powers the advanced IntelliSense in vetur. As vue / vuex / vue-router now comes with type definitions, you get awesome auto completion such as [1] and [2].

Now that IntelliSense in js/ts sections is almost complete, vetur's next step is to use TS's Language Server to extract info from Vue SFC's script part to power IntelliSense in templates, such as prompting a list of `props` for `v-if`, and prompting a list of `methods` for `@click`.

Give it a try and let me know any bugs or features you want to see!

[0]: https://github.com/octref/vetur
[1]: https://twitter.com/octref/status/854812632142024705
[2]: https://twitter.com/octref/status/857350977581723648
Isn't this called TV ads?
This is great if all your DNS is done via cloud providers like Dyn and Route53, but can I use this to manage zones in traditional DNS instances? I don't see a BIND/dnsmasq/djbdns provider or any code referencing those or other traditional name servers.
Video Shows Nintendo Switch VR Is Already Possible
I think the section talking about that was phrased a little weirdly. It was meant to express that we decided to assume transitivity unless we could find a counterexample, and that we haven't yet found one. I've updated the wording a bit to have it be clearer now!
For practical reason, I prefer e-book nowadays. They don't take much physical space, easy to search, and so on.

The only reason I buy hardcopies these day is photography books, which rely heavily on graphics.
> It really isn't. Sure, the engineers who design the power supply do that test, but that is not at all what determines the advertised rating of the final product. At 100% of the advertised load, most computer power supplies are still delivering nominal voltage or slightly above, not 5% below as allowed by the ATX spec.

I assumed power supply manufacturers would want to slap the peak power number on their supplies for marketing purposes. If they are actually being conservative, then you are correct.

> Yes, on either side of the peak efficiency, you'll have points of equal efficiency. And in the middle, you'll have a few percentage points higher efficiency.

My point is that efficiency is a plateau, not a "peak". Once in the plateau the fluctuations of efficiency from one load point to another are not significant. Below a certain minimum load and past the peak power "knee" is a different story, but that plateau is very large.

> But more importantly, at the ~30W a typical desktop will actually be drawing most of the time, a power supply with a smaller rating will be substantially more efficient.

I never disputed this. I disputed the nonsense that power supplies have a meaningful "peak" efficiency, and that it is a function of it's rating. 30W is probably not enough of a base load for efficient operation of larger computer power supplies, but once that point is hit it no longer matters what the actual load is.

I'm also not suggesting it is a good idea to waste money on a larger supply than you really need.
Brand estonia – a guide for sharing Estonia with the world
If you like to wait
We are trying to clarify the multiple ways Kobble can be used. Gists are for public data that you want to share. Private repos (coming soon) are for private data. I think the intros on the web make this clearer now.
There are 2 sentences between the first use of 'sort' and its explanation, which is that they are symbols with no interpretation. It looks like he defines function symbol before sort, presumably because function symbols are more important than sorts.
Yes, now you got me thinking more about my concept of how I see the difference between evolution by natural selection and evolution by artificial selection.

And I agree with you that AI can be much faster.

I still think the artificial selection can be influence by us - humans - so we might add flows in the sistem from the beginning.
Of course AI can learn to identify them maybe. But maybe not.
Like in the case when looking from inside a system one cannot see how the system really is so it cannot fix it.

Of course what I say are just some hypothesis, nothing proven and I think they cannot yet be falsifiable.
I remember when I was kid a convoy with a Pershing missile had an accident close to where I lived and there was a big fire. Nothing happened but it was pretty scary.

Even found an article: http://www.spiegel.de/spiegel/print/d-14354045.html
Given a limited budget, lifting everything from earth, other than for a quick stunt mission to mars, is not economical. Nearly all the mass and elements needed - everything but hydrogen - is on the moon already. And hydrogen (water) may just be available too, at the poles.
HN doesn't change the title unless either the submitter or the mods are aware that the title should be changed. You can contact the mods via the Contact link in the footer. In my experience they're very responsive.
Ienuparul planta medicinala- juniper herb
I don't understand your point about third-party clients. APIs defined in .proto files can have both clients and servers implemented by anybody.
They have also started offering applicants the option of placement in Canada and EU.
Was @ts-check just added in this version? I assume so, but if not -- is it possible to use TypeScript and just @ts-check and get basically the full type-checking power (assuming the items to be checked follow the standard lib)?
It's probably just a case of too many of us having to deal with the day to day struggles imposed by the friendly office marketing dept ;)
He attempted to use the multi-dimensionality of intelligence to make the following claim:

> Intelligence is not a single dimension, so “smarter than humans” is a meaningless concept.

This is poor reasoning. The fact that intelligence is multi-dimensional has no bearing on our ability to declare something smarter than us. It isn't at all meaningless. Because of this he claims that there will be no super-human AI.

Via analogy. He says, "you can't compare two football players because one may be stronger, while another if faster." So the concept of "better" is meaningless. And no player can be declared better.

My response is that's absurd. A simple counter-example, a single player can be both strong and faster, and thus clearly better.
I am a member, and have been since I was a graduate student. Some of the best computer science academic publications are in ACM conferences.
What do you think about this being able to work with Gzip compressed JSONs stored on S3? Cool project, thank you.
Super cool project!

I hope this isn't taken as a frivolous or mean-spirited comment, but the code samples on the blog would be much more readable with some kind of syntax highlighting.
> My reason to drop it is that I want my data out of the US for privacy

Given most cloud providers use AWS as a back end, that's probably not possible. Plus, if you send email, it likely will hit a gmail,hotmail,etc. server. It's basically impossible to avoid.
I tried OneDrive again a couple of weeks ago, since I have an Office 365 subscription anyway. Sync was still slow for me compared to Dropbox, sometimes does not sync everything correctly, and used 700MB of memory for a nearly-empty OneDrive.

Dropbox just works and that's worth 10 Euro per month to me, it saves me heaps of time.
I'm one of the Kobble devs. This is intentional. Please read the comments above about public and private use of Kobble. The intros on the web have been clarified also.
Thanks for the tip, just enabled it.

In the current form, I don't directly deal with stale reads. But there is a CheckExpiry [1] method that iterates thru each cached partition, does a HEAD request to the corresponding S3 object and compares Last-Modified. If the cached object is older than the one in S3, the cache will be invalidated. Currently the user needs to invoke this by them-self.

I also plan on having a user configurable TTL per partition, so user could use low TTL for objects they expect to change, i.e. One would think data for today might change soon, but data from 5 years ago wont.

[1] https://godoc.org/github.com/turbobytes/infreqdb#DB.CheckExp...
Of course not! A decentralized, federated solution where everyone running a service takes responsibility for their service and ensures high standards are adhered to is preferable, desirable, and possible.

So preferable, in fact, that professionals have tried! Extensively, exhaustively, and at great length. New standards have been devised. New protocols designed. Newer, more clever ideas pioneered and deployed.

Several decades of trying that approach with results being somewhat below what could be hoped for led users and administrators alike to look for alternatives.

The nature of the problem at hand is that in a highly decentralized system where the cost of use is borne by the receiver and breaking backwards compatibility isn't acceptable, it is extremely difficult to stem abuse. Measures that could stop or diminish abuse will not be taken by abusers, and the need to preserve backwards compatibility prevents cutting off both them and legitimate users on less modern services.

It's a shit scenario. It didn't have to be this way! Yet, there don't seem to be other options on offer that deliver equivalent or better benefits for equivalent or better costs in time and treasure.
Ask HN: What have you paid for professionally?
What have you paid for or continue to pay for that you use in a professional capacity i.e. to make money that costs you less than $100? Looking for Saas, courses, software and the like.
DAAS is the business model of Apple and Redhat.
This. They just do such a good job. System is virtually perfect.

I don't know how many people remember just how painful life was BEFORE Dropbox came along and fixed everything...but they were like an oasis in the desert when the beta first appeared.
Ashley Madison users blackmailed again
GP was a bad example. You probably wouldn't have an RPC returning a simple type. It would instead return a message (aka a Go struct, or an object in JS) which has various fields (or even just a single field). Protobuf messages have built-in backwards compatibility as long as you don't change field numbers. That way you can incrementally change your messages without breaking older clients.