skysight-inc/HackerNews huggingface dataset:
Yes, I can understand using a mental shortcut by evaluating something simpler that's well-correlated with the truth value. However, this generally runs afoul of Goodhart's law at some point and we invest entirely too much work into something that's meant to be a shortcut.

Moreover, when it's an argument, you want others to agree with you. If you have to take shortcuts and infer the truth of something by proxy because you are either too lazy or not capable of evaluating the matter directly, you probably have no business arguing over it in the first place when you could instead apply your expertise to show how wrong it is.

Worse, your own correlations work against you, as you can now correlate that someone who cannot or will not do that work in making an argument, dragging irrelevant (if sometimes correlated) things into the argument becomes a signal for someone using non-factual means to persuade, which necessarily correlates quite strongly with making false claims.

In short, yes, it can be simpler and it can lead you to being right, if for the wrong reasons. But nobody else has good cause to trust it, it's vulnerable to manipulation, and it's simply better in all cases to be less lazy and fully explain why something is wrong using facts instead of opinions of someone's credibility.
Ask HN: Backup concept – generation vs. versioning
I don't think anyone is arguing that all computer programmers need to be accredited. The argument being put forward is that if you are deploying software in certain specific fields then your code should be signed off by a certified professional before it is allowed to be perform it's intended function (which in this case is handling financial transactions).

I am an engineer. There are codified regulations that I am required to comply with by law. Hypothetically if I certify the design of a structure and later on I was found to be have been negligent in performing my duties as a practicing professional engineer then Me, the company I work for (or both of us) are up for huge liabilities.

You can't build a $31M Bridge without the design being certified yet you can build software to handle $31M dollars of transactions just fine.

None of this would stop open source contributions. If you want to contribute code to some financial processing software submit your pull request and have the (professionally certified) reviewer sign off on it after doing his job (i.e reviewing it).

Edit: Here's a quote from William LeMessurier it's part of an ethics case study I learnt about at university (http://www.theaiatrust.com/whitepapers/ethics/study.php)

"If you’ve got a license from the State and a certification from the University first and now you’re gonna [sic] use the license to hold yourself out as a professional, you have a responsibility beyond yourself, if you see something that is a social risk...good heavens this thing would kill thousands! You must do something. You must do something"

Now a bug in this particular piece of code isn't going to kill someone but $31M is a lot of money to have stolen. No one in this topic is even thinking of the consequences. It could ruin multiple peoples lives losing that much money. A lot of people just seem to be content with this lawless "wild west" world of programming. Personally I think we should be striving for a higher level of professional and ethical standards.
I'm sorry - but this just comes across as wild paranoia - you're basically saying they could read your data - so they must?

That's like saying your school could install cameras in the toilets - so they must have?

Or that your landlord is secretly going through your stuff, because he has keys?

Actually - the Chromium browser project is open source:

https://www.chromium.org/

It's what Google Chrome is built on - you could just compile that if you wanted. (You lose out on a bunch of integrations - but it sounds like that might be what you want, anyhow).
Averages or sums. But yes, the point still holds.
FWIW, Obj-C doesn't have keyword arguments. It just has infix method names. But all arguments in an Obj-C method are required, and the order is significant.

Similarly, in Swift, the order of defaulted arguments is significant. So you wouldn't see anyone do something like that crazy matplotlib method in Swift, because remembering the order of all the arguments in that function is impractical.
> They came out at the right time and got the momentum in the right spots.

The reason they got popular because they solved a need, if I am not mistaken making dynamic web pages was a pain before PHP, PHP made it easy.

The "best" language is useless if most devs find it hard to use.
Is it possible to track where the money goes from the hackers account onwards? Or is then opaque? How easy will it be for the hacker to move the funds around so it cannot be traced back to the theft?
But the majority of HPC/GPU users do run Linux desktops
Not by default. Default updates are much slower than what might be needed for gaming. Rolling distros work better for this.
The version I've heard is "everything on a log log plot in a sufficiently thick marker".
Would much rather a computer did that than me
I'll note that one of the co-authors, Ben Marwick, has been very active in elevating reproducible computing practices in research. My understanding is that there's code and data available for this research.

Also, here's a short bit about reproducibility from Marwick that is worth a read for anyone in academia: http://theconversation.com/how-computers-broke-science-and-w...
So I hadn't heard of this and I thought the name was for taking a still photo from a video. Sadly, that's not what this does, so does anybody know a good solution that does this?

It's 2017, I feel like "hit spacebar in VLC and screenshot" is a really poor way of extracting still images from video. So what is the highest-quality way to extract a still from a video?
Manycam PRO Activation Code 4 WITH Crack Full Download Get Free Here
But they give you an option to indicate it. Which isn't any worse than a survey, but focuses on actual sales in contrast to what Steam publishes.
Google’s AI Guru Says That Great AI Must Build on Neuroscience
> A kind of similar issue appears even with enums, because it is hard to guess the size of the integer that a given enum is implemented with.

True; fortunately, Rust has a means of declaring the size of an enum, with #[repr(u8)] and similar. But you do have to figure out the size of the C enum.
> if games ran on linux, i wouldn't use windows for anything.

I don't. I run all my games on Linux. Unlike you, I simply don't play games that don't work on Linux ;) I.e. either natively or in Wine.
Or they get others to commit them for them, bearing the blame while sharing the wealth.
Thus - the first gang or cooperation was formed.
The article already addressed this. Real estate has no impact, since Palo Alto, which is equally expensive, has seen dramatic increase in funding. The trend is really random. Tomorrow Uber will raise $5bn and will all come up with a different explanation
I presume though, that this limit is the limit of characters stored, not the size of the memory. If you compress, of course you can store the same characters in a smaller amount of memory but that is not going to help the prisoner because the prison won't approve a larger number of characters stored. It likely doesn't help the manufacturers any either, since memory is cheap now.

Its going to be arbitrary, but I understand prison rules often are.
It's exactly how rights work. Freedom of speech doesn't have to justify it's value to society, it's an innate right that's not up for vote. Google the founding fathers and natural law.
Saying that a person's credibility decides the truth value of the statement requires a causal relationship. To say otherwise is to posit a mechanism via which one's opinions somehow shape reality itself. So it seems to me that our notions of 'fact' might not be aligned?

I understand evaluating someone's credibility as a proxy when I have no means of investigating something. I do not understand it when we are talking about scientific assertions, which must be falsifiable in order to be scientific in the first place.
> This isn't a normal loss by the way, where you can prosecute someone or sue somebody. No, this is the instant, digital theft of the entire value of the contract, to an anonymous digital address where it will be quickly blended in with hundreds of millions of dollars of similar thefts a month.

Also worth pointing out that a non-trivial number of people would say that no theft at all has occurred, as the smart contracts are supposed to be the final authority, and if you can convince a smart contract to give up its value to an attacker then that's perfectly fine as that's how the contract was written. Ethereum Classic is a good example of this.
It'll be possible if both databases are written using proof assistants like Coq. And I think this work is a step towards that direction.
I've certainly seen this in past jobs. They advertise for smart, creative people and that's what they get. The job is to maintain some awful 5-year-old web app, changing fonts and twiddling fields around to please an internal customer.

I read a great quote once to the effect that a scalpel isn't better than a bread knife, it's just a different knife, for a different job. Don't hire a scalpel to cut bread.
If that was viable, people would move to Tracy or Stockton or Davis which are nearer to SF than Reno and cheaper. That's not how things work though.
> You don't get published for confirming existing theory (Sad but true, to an extent)
> So I'd bet against it.

That argument would seem to imply that all published research is wrong
> Peers is a word that could be unpacked to mean more than just fellow citizens though, and to prove that it originally meant only fellow citizens runs into all the problems inherent in authorial intent multiplied by the number of people who worked on the constitution.

No, it absolutely does not, because neither the phrase nor any alternative phrase on the subject incorporating a reference to “peers” appears in the Constitution, which instead provides (in the Sixth Amendment) for an “impartial jury of the State and district wherein the crime shall have been committed, which district shall have been previously ascertained by law”. (It is a common rephrasing of a guarantee—“the lawful judgment of his peers”—in Magna Carta which unmistakably was an product of the barons’ insistence that members of their formal social station should render verdicts against them.)
Just to be clear, this is not my app, I just happened to find it. I can also confirm it works, though it does feel kinda like magic.
Source?

We have a multiple GPU compute nodes with Teslas for research. The vast majority of us uses Macs.
Since this is HN I think a lot of users would fall in this camp. I'm definitely guilty of this. I'm not great at social interactions.
Without high end gaming PC, it would be tougher on Linux, as you noted since in some cases performance can be lower, and translation layers like Wine or wrappers can introduce extra overhead, which higher end hardware helps to mitigate.

However, it's more than good enough for many games already, and Linux gaming keeps improving and growing. And not all games need super performance.

I can get around 40-50 fps in the Witcher 3 in Wine on Linux on max settings (minus hairworks), using AMD RX 480 at 1920x1200. Is that acceptable performance? It's somewhat lower than it would get on Windows on the same hardware, but it's pretty playable. More critical are rendering bugs that Wine developers are still working on.
Happy 100th Birthday There Goes Your Life Insurance
Is formal verification of contracts feasible? Is anyone working on it?

Also, here's a possibly crazy idea: could one create bug bounties for algorithms (or even arbitrary software) on the Ethereum blockchain by writing the algorithm into a contract such that if you somehow break it you receive the bounty?

An example of this would be the massive implicit bounty currently placed on the crypto algorithms (SHA256, ECDSA/Secp256k1, etc) underpinning cryptocurrencies (of course, if those were broken the value of the cryptocurrency would plummet instantly)
The underlying construction and rendering for all components at https://component.io is done with Vue.js
You're 100% correct. However, we really don't have many other non-opiate options for chronic pain, and a lot of the other therapies (alternate modalities, adjusting perceptions/expected amounts of pain/etc) are things that require more money and time. As many providers are overworked and patients lack insurance, opiates become unfortunately a crutch in many plans.
Because it's repr(C) IIRC yes.
thanks. but what does your last line, about the boss mean?
Some people are talking about that but honestly you have to start with building coalitions and groups, and lobby for all the policies in between elections, it can't just be November every 2 years.

These people are working on it and you should talk to them: http://www.sfyimby.org/. Also SFHAC, East Bay Forward.
This guy is wow. Self centered arrogance anyone?
That's what you can do with Coq. I can implement a reference interpreter and an optimized compiler and prove that the behavior of all possible programs are equivalent in both environments.

This is, what I assume, the long-term target of the article.
As someone who recently moved to a new city without any network, I've found myself wishing for a similar type of app too.

In related news, if anyone reading this is in central Oregon and wants to meet up, feel free to shoot me an email :-)
Yep check these guys out: https://www.theregister.co.uk/2017/04/24/voice_stealing_lyre...
Those places are all just as, if not more, expensive than SF and come with their own challenges as well. The school systems in the peninsula are fantastic though, and for most families that trade-off alone is probably worth it.
(Op-Ed)
> I have heard that the intent of the term "trial by peers" was that the jury should be full of people with understanding and similarly experienced to the accused

You have heard wrong. The term is a rephrasing of a guarantee in Magna Carta [0], and refers to the right to be judged by others of the same formal social station.

[0] in one English translation, “No free man shall be seized or imprisoned, or stripped of his rights or possessions, or outlawed or exiled, or deprived of his standing in any way, nor will we proceed with force against him, or send others to do so, except by the lawful judgment of his equals or by the law of the land.”
A loving and caring wife definitely makes you happy. You also need return the favor. I was always afraid of Marriage but pulled the trigger one day. There's some truth to the advice.
The royal road to clarifying subtle differences in language, however, is etymology, and there the difference is plain.

Is it? (to either of those things). In current English usage, 'unorthodox' doesn't mean 'incorrect' and doesn't connote 'incorrect'.
Correct.

And the best way to fix Bart overcrowding is to build apartments near where people work so they don't HAVE to commute.
Charlie Lee is wrong: The bug was introduced by another, less experienced, developer submitting a commit to the repo (though of course Gavin Wood arguably still bears some responsibility as leader on the parity project)
I already pointed out multiple times, that Steam survey is useless for evaluating Linux gaming market. Why would Steam even need a survey? They have full stats available, but they aren't public.

I wouldn't be surprised if a survey actually overestimated the number of Linux users. Using Linux for gaming is a choice and usually a more difficult path than gaming on Windows. So, Linux users are likely move vocal about their use of Linux, for various reasons: (1) it's often a principled choice; (2) by showing that a significant chunk uses Linux, more gaming studios will target Linux.

tl;dr: it would be nice if Valve released actual stats, but I think the survey is a good ballpark figure. In other words, the market is pretty much non-existent.
My favourite Sherlockian inference was determining that a woman was a typist because 'she had spatulate fingers'...
Make It Hard to Uninstall
>It's recommended to announce two keys via HPKP

It's not just recommended, it's required. HPKP can certainly lock you out of your own site if done wrong but there are safeguards against that. A shockingly high number of sites that try to use HPKP don't actually do anything at all because every browser out there ignores their HPKP headers because they're malformed in some way.
From what I've heard - surprisingly not. I'm not using Steam though, so I can't say for sure.
Writing a 16-bit VM in JavaScript
> The royal road to clarifying subtle differences in language, however, is etymology

No, it's not. Etymology tells you where a word came from, not what it means (either in denotation or connotation) in current usage. It will often be completely misleading in trying to unpack subtle differences in meaning.
Connecting a Haskell Back End to a PureScript Front End
I wouldn't worry about total number of Steam users or their percentages. It's pretty irrelevant. What's more important, is potential of sales per OS. So for all intents and purposes, that survey is pretty useless. But numbers from HB are actually something you can evaluate.

> by showing that a significant chunk uses Linux, more gaming studios will target Linux.

That's already happening, if you paid attention.
When my work introduced me to the guy that explains to us how the retirement fund works, I asked him if the Euro is safe (this was 2011-12), and what the safest investment is. He said "the safest investment is to buy a farm and grow your own food, because you can't eat money or gold.".

And in this Somalia 2.0 future of yours, how will the computers and networks be powered?
Maybe the problem is that you are trying to hire a PhD (whose entire value proposition is the notion of a complex, well-thought-out thesis) and you are trying to shoehorn them into the agile workflow, where people produce potentially crappy solutions (albeit something) and quickly iterate.

The whole point of a PhD is to NOT approach problems like that. Someone with a PhD has literally been trained to approach problems in a methodical, thoughtful manner, writing a thesis on the singular topic over a long period of time.

Is the problem here a fundamental problem with the PhD manner of approaching problems, or is it a problem with your startup mentality and hiring processes?
Everything you need to know about Clipping Path
See: https://www.youtube.com/watch?v=voyespPGQZI (Directions in Smart Contract Research A Selection - Philip Daian)
The scary thing about bitfields is also that in the context where they make the most sense to use, writing bits to CPU registers, they are also the easiest to misuse as writing one bitfield requires both reading and writing the whole byte(minimum addressable unit), which can have unexpected effects when writing to registers. On some chips, reading registers can have different values than writing so the value you are writing the second time might cancel out what you wrote the first time, or that each write triggers something you only wanted to trigger once.

myregister.tx_baudrate_bitfield = 1; // Writes the whole myregister
myregister.tx_now_bitfield = 1; // Reads the whole myregister, then bitmasks and finally writes.

The same mistake can of course be done with manual masking also but then it's more obvious that you are reading the registers also. When the code looks like above it's very easy to not realize that it also requires a read.
Oops.. looks like my etymology has long been forgotten. thanks for correcting.
Ignoring the tone of the piece, the article does make valid criticisms regarding those entering the workforce with higher education. Most people usually get these experience and lessons from working in the workforce, but those in higher education sacrifices that gain further professional education.

I think the interviewee did make a mistake during his interview, in that he didn't read the room. They weren't looking for anything "cutting edge" and they know that they can't understand the in-depth and complicated work you did for your thesis. So what the interviewee should have done was focus on simpler and easier methods to start off with and kept it general. They already know you're smart from your degrees and from your CV, the focus of that segment of their interview was to see if the candidate had the communication skills available to express their ideas.

We have the same meetings with our stakeholders and during our project meetings. I don't explain the complex methods and algorithms used in-depth. I just keep it general and tell them how everything fits together (if I have performance indices then I also add that in to show accuracy). If the stakeholders want more detailed information like specifically how it breaks down and why I used X method instead of Y, then I can answer their questions and (if they showed continued interest) be willing to put together a report for them detailing the literature reviews and information related to that topic.

20 minutes isn't a reliable indicator of how someone can do their job. However, as the interviewee or the person in the "hot seat", it is your job to know how to sell yourself and to use your time effectively to maximize your chances of getting an offer. The decision makers (or in this case, the interviewers) has the hard task of figuring out which candidate is right for them. Your job is to make that easier. Once you get the offer, then you get to decide if you want to accept it or not.

And then after you get the offer, you reflect on your experience with that company so far. If the interviewers seemed to be focusing on different things than you're interested in or if it seems like they're going to be miserable to work with, then you politely decline the offer and move on to the next thing. If it seems like they have a condescending tone towards you and your work, then you can always just say "thank you for your offer but I'll be declining".
I find it hard to write tests when I'm still formulating the logic of how a problem should be solved. For money-based logic in Solidity, I now like to model it in MS Excel first, write code afterwards, and then finally tests.
It still does. Google Cloud Storage isn't supported by Transmit.

To be honest I'm disappointed by these file transfer apps. One common use case is to backup your local files, but none of these apps support pausing/resuming transfers after sleeping a laptop.

I'm looking for the equivalent to Backblaze software, but for any cloud storage service. Arq is close but it has mandatory encryption and compression, which makes you dependent on software to be able to restore. Sigh.
What follows is just IMO.

Rails/PHP/Django embody the MVC paradigm, where in reality it's just model and controller, and very little view.

React+Redux is bringing view to another level, and node is there just so you can render server-side the same things you render in the browser. When I saying bringing to another level, I don't just mean it's more feature-rich, I mean it's more maintainable, testable, and it's a paradigm designed to scale the team working on it by reducing complexity.

Back to the MVC comparison, Apollo+GraphQL bring the same concept of evolution to the API (controller maybe?). In the MVC world you learn how to build one API, not how to keep it working, maintain and upgrade it for years. GraphQL is a solution to that, Apollo (as said in other comments) is just a tiny layer.

Finally, the model in the MVC to me is just an academic abstraction, I've seen 0 large-scale deployments using joins and integrity constrains.

So yes, before it was MVC, with different implementations in different languages, now people are looking into JS because it's supported in the browser and moving towards more scalable architectures, both in terms of infrastructure and team.
will Tezos help with Ocaml to make better contracts? I think that is the whole point of Tezos!