skysight-inc/HackerNews huggingface dataset:
> Smart contracts are not laws of nature, they are contracts.

No, they are software. And the participants to such a contract have agreed that the execution of that software is the entirety of their transaction. If one of the parties changes their mind after the fact they will have to convince a judge first that even though they initially agreed that the execution of the contract was the entirety of the agreement that now this is no longer the case and that what they said was un-ambiguous before is now ambiguous and needs overriding.

So now you have a fairly complex situation:

- you will have to convince the judge that you entered into that contract and now wish to back out of the defining clause on something that is not classed as 'regret' (which is never a reason to annul a contract)

- you will have to find a way to communicate the judge what relief you feel will compensate you at a level that the judge will be able to enforce (this could be very difficult)

- and on top of that you will have all the usual issues you have to deal with in a lawsuit possibly complicated by your counterparty being anonymous and/or in an entirely different jurisdiction

States don't really matter here, smart contracts are software and are global, that changes their nature in a material way which will make it hard (possibly impossible) for a judge to enforce them one way or the other.
You're in a thread where we just discovered ancient tools that throws doubt on how long humans have been in an area.

Those records are still being found.
The package is already licensed under the GPLv3,

I fully agree. I think it is also important to point out that it uses the 'either version 3, or (at your option) any later version'-wording. So, even if the FSF updates the GPL, they are fine.
A big benefit is that you can time-shift the distribution of the secret - you can distribute the one-time pad when it's convenient (e.g. when your submarine is at a home port) and be able to send secure messages over insecure channels at any future time.
Criminals stole $40m USD

http://www.telegraph.co.uk/news/2017/04/25/brazilian-bandits...

What does it mean for the dollar?

Answer: Nothing, but people improved their security so it doesn't happen again.
Pass encrypted passwords are kept in your computer, which I find safer than web based solutions. Optionally you can use git to share passwords between computers but you still need the gpg2 keys from the original repo.
No, it's not true, it "extracts" (compiles) to C++. <https://github.com/leanprover/lean/pull/1241> It's written in Lean itself, as a metaprogram. The code it generates calls into the Lean library ("runtime") for some objects, otherwise uses native types when it can. vm_obj's in Lean are reference counted. There's also in-progress work on an LLVM backend.
One-time pad means that you have a limit to how much data you can exchange before the pad is spent - if you send enough messages, then you can't send any more securely until you exchange another one-time pad.

You're not likely to get a collision ever because of the typical sizes of one-time pads - birthday paradox matters if the key length is measured in bytes, but not if it's measured in gigabytes, there isn't enough space/time in our universe to expect a collision.
I'm not sure what it is you're actually selling. More documentation or practical examples would be great. I'm not willing to create an account / sign in to find out stuff like that.
If you can't encode it formally, good luck convincing anyone your ideas have merit.

Sounds like your top feature is supposed to be blockchain that doesn't grow in size. What do you offer over Mimblewimble? Actually Mimblewimble's blockchain does actually grow, you just don't need to store two merged blocks, you can join their sum.
It seems the subtractive notation was used for engravings, where keeping it short was important and nobody was going to do calculations with the numbers anyway.
Ten surprises from numerical linear algebra
Again, the question is who you trust, and that remains a moral choice, not an objective, empirical choice. Some people don't trust a government elected by only half the population, for example. Some others may prefer to trust an elite of "enlightened hackers" than hordes of plebs.

You might be right that governments are more evolved and have more history but that doesn't make them universally better.
As it is mentioned on the github page, the project was inspired from keras and other great projects, but many decisions did not completely fit with the way keras does things. There will be support for keras models in the future, but currently we are trying finish the work on the web api, the web ui and the cli.
Aplicativo de saúde mental informa quando usuário está deprimido
Chrome 61 to remove the whitelist for Wosign-Startcom certificates
So from a sample size of 1 you think all miners are setting g themselves on fire?
Yeah, valid point. I forget that people use browser integration. My use case is iOS-only, with sync across a small number of devices, which dropbox is perfect for. Fairly simple to build.
The law also covers any type of live TV incl online. So watching live US TV in the UK would also be criminally illegal without a TV license
Legendary troll on comp.lang.c and elsewhere. His catchphrases include "Unix is dying, and the world is better for it." And "I, on the other hand, prefer honesty."
If the candidate does great, I'd definitely move on to more complex problems.

But this question lets me learn a lot about the candidate:

- How quickly did they come up with any working solution?

- How long did it take them to reach the optimal solution?

- Do they know time complexity?

- If they're using Java, did they use a plain array or ArrayList? Do they understand boxing and performance?

- Do they understand the range of an integer? I'd tell them that the array represents the population of the earth every year from 1900 till today, and see if they realise that they need a 64-bit integer.
As i predicted then in my statements, a fork would be the start of the downfall of the crypto currency. They smashed the foundation of crypto currency down, the unbreakable block chain. Solution, just fork it :(
Stallman said he didn't like having to tell users that they need to install a package in order to have the kind of functionality that Magit provides.
Huh? Keepass is just an encrypted XML file. No GPG or remote storage required.
Magit is my one of my favorite Emacs packages. It's not entirely intuitive at first but once you get the hang of it, it streamlines the git workflow to a very pleasant interaction.

I highly recommend that anyone using Emacs and git gives Magit a try.
An Austrian activist wants Facebook to pay 25,000 users for tracking them online
Ask HN: Any reliable password vaults for managed services providers?
Hello,

We're looking for an reliable password vault which would be able to do the following:

Multi factor authentication;
Hierarchy and privileges on password accesses;
Would be able to export required passwords
lastly, but not necessary - would be able to perform password changes on the remote servers.

I will appreciate any responses, however, please keep in mind that number of people who would use this service would be >200
Societies have gradually grown more unfair as the political system has strained under their growing complexity.

Is this not a revisionist view of history? Modern republics are pretty new things. There were serfs (and absolute autocracy) in Russia as of 1860, slaves in the US until the 1860s, voting tied to gender until the 1920s, colonial empires without fair representation until 1950, laws against interracial and homosexual marriage until the 1980s and 2014 respectively, state-sponsored inquisitions and pogroms until recently, etc.

People have so much more power than they had as little as decades ago in almost every single society and that seems to me hard to argue. Try being a Spartan helot (you can't because slavery is the exception rather than the rule) and tell me your life is better than any US citizen today. The issues you state - ignorant citizens and special interests have always existed, at least today even the worst governments try and educate their people.

Things can and should get better but to deny progress doesn't seem fair to history. Or is there something else you are seeing?
I fully agree with your analysis. But cryptocurrencies are just the latest tool that will serve well the interests of the demagogues. Technocracy will not improve affairs that we don't resolve as a society in the first place. More powerful tools means just more power to those who can afford the longest lever. Any other interpretation is just a blatant neglect on the history of technology.
To a very good degree of approximation, nobody uses Sailfish OS.

I'm not ruling out that there exist other pointless mobile operating systems with 0.0% market share that use Wayland or even XWayland in some capacity.

My point however is that the "market" argument is nonsense when the market is practically non-existent.
How Staten Island Is Turning a Massive Pile of Garbage into a Park
Firefox Marketshare Is ‘Falling Off a Cliff’, Says Former Mozilla CTO
See also vim-sleuth
> the law should not be able to influence the outcome of a smart contract

You don't seem to understand how the law works. The problem isn't a judge trying to interfere with any of the technical features of the contract. A judge would rule on the legality of the contract as the law sees it[1]. You will be able to argue that the code is the final authority. You will probably also have to show why the other party knew and understood that risk. Depending on the situation, the judge, how each side argues their case, etc, the judge might even agree and dismiss the case.

However, a judge could, for example, rule that an important part of the contract is unconscionable, illegal, etc, and order YOU - not the contract, not the blockchain, not the software - to return the other party's money, or release the other party from their contractual obligations, or to change any particular detail of the contract's terms. The judge won't rule against the contract, they will rule against you, and it's up to you to figure out how to follow the judges order=. If the judge decides to throw the book at you for some reason, the judge isn't going to be interested in why you think about immutable contracts, or what you think the contract means. They could simply throw you in jail (or fine you $1000/day) for contempt until you follow the judge's orders.

It's generally a very bad idea to ignore a judge's orders. IN some situations, this can make immutability a serious liability.

[1] What was the offer? Was there a deliberately misleading or unconscionable clause in the contract? Were the terms understood and accepted? Did each party uphold their obligations under the contract? etc (this type of question will be asked regardless of how the contract is implemented)
Big Ponds, Small Ponds
Agreed. I'll put some more work into the marketing site to explain how it works.
Sorry you right, the "Why?" section it could be better about the difference with an alias.

So, if you are working alone an alias is perfectly fine.
If you are disciplined you could use a convention like `upload_blog_dev`, `upload_blog_stag`, `upload_blog_prod` and everything should be more or less fine.

I say more or less fine because if you are editing an alias 3 lines long you may have some typos or configuration issue (I'll talk later about that) and it can be far away from to immediate to detect the bug, edit the aliases file or the (.bashrc|.zshrc) file and reload the shell.

With aws-upload and tmux, I edit the settings in one panel and test in the other. Real time, no reload.

Which kind of issue can you face with this kind of task?

From my experience, I would say at least 3.

- the folder you are trying to upload doesn't exist (wrong path),

- the pem file you specify doesn't exist (wrong path)

- the pem file exists but it has wrong permissions.

Alias doesn't give you any support to debug these issues, aws-upload has the cmd `check` to do that.

The thing can start to be more tricky if you have a colleague that need the alias for him/her and potentially has exactly to edit these values in the alias.

In this case what you have to do is open the alias file, find the row with the alias you want and send it. In aws-upload you have the setting file in ~/.aws-upload . You send it.

Think that, if you to have a lot of aliases the alias file can start to grow exponentially, and of course, the possibility of mistakes and losing time grows as well.

Instead aws-upload reduce for you the scope of the critical information you have to manage and it tries to support you during the process.

Useful cmd in these situations:

- aws-upload check key // it check folder, pem file and permission

- aws-upload new key // create new setting files

- aws-upload cp oldKey newKey // copy a setting file

- aws-upload edit key // edit setting files

I hope it makes a little bit more sense now.
It was wrong to fork Ethereum. Terms of DAO were pretty clear and there was no reason to refund.
The code will inevitably need to use a source of true randomness, which will be external to your source code, by definition it can't be a deterministic formula, it needs to use external input from physical devices.
Where do your potential customers hang out?
I like Voxxed Days series of conferences https://voxxeddays.com . They are doing them all over Europe, good content and not crazy expensive. Here you have Voxxed Days Bristol https://www.youtube.com/channel/UCPZC59LwYbiKx3u6SFfWNpQ
yeah. Cryptocurrencies are prosecution futures, but only if law enforcement actually cares to do the considerable tedious legwork.
CollectNode new release 1.0.7 available
This all assumes that you know your counterparty, which isn't necessarily the case.

You could simply reduce your argument to 'in situations where you use a smart contract where a normal contract would suffice a judge has their usual powers'.

But that wasn't the point I was making. Smart contracts will most likely be used in all kinds of situations where a judge does not have their normal powers, hence the reliance on a smart contract to begin with.

If you can rely on the courts you don't need a smart contract.
If you've already learned to install and use Emacs, one more package aint gonna kill ya.
Pass is pretty awesome, but nowadays I've switched to gopass: https://github.com/justwatchcom/gopass - much better support for teams, structured secrets, binary secrets and quite a few other improvements. Oh, and it's (mostly) drop-in compatible.
There is one issue with desktop applications: user has to _trust_ the developer of application he's going to install. Because an application get access to everything in the user directory. I'm under impression this is the major reason for web apps becoming popular on desktop: most of the time, running software in browser is totally safe for user, unlike running native applications.
No need for modprobe on a system with sane udev: Just sysctl should be sufficient.
Effective Code Review
I also recommend it, and cannot see anything wrong in going to tech/networking meetups, it should be anything you are interested in and won't feel out of place attending.
Why is there a desire to include things like magit in emacs? (Same question regarding e.g. org-mode). Wouldn't it be better to have a lean core, abiding by the strict FSF rules, and a high quality package ecosystem and package manager? It needn't be a barrier to beginners, high quality "distributions" bundling the great packages like magit and org-mode would appear immediately (kind of exist already, like spacemacs).
I've been using pass for a long time now. I have over 200 passwords stored.

I like it because you can use it to store sensitive info along with metadata, not just single field passwords. It's also super easy to access the info on the command line with ways to auto-copy passwords to your clipboard (which expires after 45 seconds).

I did a write up on it a while back at https://nickjanetakis.com/blog/managing-your-passwords-on-th....
> so the scope of smart contract in your definition can only cover areas not already governed by traditional regulatory system / laws.

Correct, if you don't need a smart contract using one won't give you any advantages.

> Imho that doesn't cover a lot.

We're going to have to disagree on that.

> or laws will have to be adapted to grant values to them.

Absent a global government I don't see how that could be done.

> But then it isn't much different from today's contracts.

Well, it is, but not for most normal transactions.

if smart contracts can really be made to work they will be an enabler much like the laser, we didn't really have an application for those either when they were first invented.

But people are already getting creative with them and the DAO is a nice example of what could be done if smart contracts can be reliably built and executed.

I don't think this will happen in the near future because writing a regular contract is hard enough, a smart contract has to be perfect for it to be of value because any bugs will be beyond the regular safe-guards ability to be fixed, you will most likely simply lose your money or your goods without recourse.
Bringing trustworthy real-world data into a blockchain in a decentralized manner is a known and important challenge that is being worked on by several projects like Augur. The prevailing answer is to incentivise humans to insert it correctly by appropriately aligning rewards for doing so, and making it difficult not to do so (schelling points). That's what the Augur project is really about, the prediction market they are building is just the first application of that system.
There are massive swaths of the US with much cheaper living than SF and better infrastructure, markets, and basic rights than Russia, China, or Brazil.
Careful here. I would by no means pretend to understand them, but I'm at least aware that there are a number of special sensitivities that must be considered when it comes to Aboriginal culture. So it's certainly not about abusing the research, but about respecting their culture (if I have it right).
Which was invented by some Norwegians in Simula 67, wasn't it?
A few differences:

- There's no builtin GUI

- Each entry is its own file

- You control the storage format (meaning it's easy to store any kind of information, not just passwords)

- It relies on GPG, so you need to set that up first
Which ones would that be? Of the top of my head I only know of the Hololens being developed mostly for professional use, any other AR/VR tech is all gaming, gaming, gaming.
New mystery serial
Go with VPS like Linode, Vultr or Digital Ocean. AWS is to expensive and complicated. If you choose DO you use promo code coderdigital which will give you $10 for free (2 months of cheapest server)
What's the issue with the builtin package manager? After configuring your desired sources, any of the hundreds of packages available are literally an M-x package-install away (or package-list-packages if you want to browse around).

[1] This is my 'configuration', I haven't touched it in years:
(setq package-archives
'(("gnu" . "http://elpa.gnu.org/packages/")
("melpa-stable" . "http://stable.melpa.org/packages/")
("melpa" . "http://melpa.org/packages/")))
Forget MELPA. Use el-get.
That may be true, but it's even more sobering to me that probably 15% of the population in the US lives worse than that.
What’s the secret behind a superior Customer Experience?
http://bactra.org/weblog/491.html

"So You Think You Have a Power Law — Well Isn't That Special?"
Thank you for fixing this. I would like to see whats possible with your product. Maybe some screenshots + some text or maybe a video?
If it becomes standard, people would use it without a master password, and then stealing passwords via malicious scripts will become very easy.
Again, Gavin Wood did NOT write the change that caused this, he wasn't even the reviewer.
If it were part of Emacs you'd need to use the FSF's collaboration tools which have a higher barrier of entry, and if you're a first-time contributor with a non-trivial contribution you're going to have to wait days/weeks as your copyright assignment papers make their way over snail-mail.

This is as good a reason as any to try to replace Emacs. Maybe Remacs will succeed.

Though I suppose it'd be best to have proof of this claim. Not that I don't believe you, but this is the type of thing that turns newbies away from Emacs without giving it a shot.
Here's the article on its own site: http://www.straightdope.com/columns/read/3330/how-did-anyone...
A black and white TV Licence costs £49.50 (about a third of the price of the standard licence), according to the TV Licensing website:

http://www.tvlicensing.co.uk/check-if-you-need-one/for-your-...
It is heartwarming watching Tunisia's transition into an actual beacon of hope for the Arab world.
Schleuder 3 – gpg mailinglist with remailing-capabilities
Isn't the default package site called ELPA? (not MELPA which is not official but maintained by the community).
A website finding you people who can help you with various tasks
I did say "diffusion-jump process".

Look, even if we disregard jumps as a possible term in equations, merely considering volatility to be stochastic and driven by a Brownian already gets you variances that may grow arbitrarily fast. This is without considering stranger nonlinearities on the Brownian term itself.

People are overly impressed by forceful arguments of the Taleb variety and log-log plots of empirical distributions and start parroting talking points about heavy/fat tails.

If I wasn't computerless and on my phone I would link to a paper that does the analog of the Anscombe quartet for log-log distribution plots "proving that data is Pareto/power law/etc." It's good vaccine for fat tail hipsterism, look it up.
Hi Pitaa -- thanks for this, great to hear you've been a regular Overleaf user and have enjoyed it! :)

On your side question: it's a tricky one, as although we do try to keep pace with the different browser updates to keep in the in-browser experience ok on ios, I agree it's not ideal. Long term we do want to do something better, but it's not an immediate priority (given that mobile use of Overleaf for editing is still relatively low, and we find that a lot of tablet users use separate keyboards). Hope that helps clarify, even if I don't have an immediate solution!
Prison labour is deeply problematic for ethical reasons, but I think a lot of commentators here are misunderstanding the economics of it.

Haystack Mountain is not getting subsidised milk; they're paying market rates. The dairy is a profit centre for the prison (which in this case is government operated), used to defray operational costs. The prisoner's get paid a pittance, but that helps out the prison; not Haystack (or the grocery stores or eventual consumers). Nobody in the production chain is going to give their output away below market rate just because they got cheap inputs.

Similarly, people suggesting that the competition is putting other dairies out of business are off the mark, because again, the prison dairy is selling their product at market rates. And in this particular case, the prison dairy was set up after Haystack Mountain's supplier closed, threatening to force them out of business; they didn't close in response to the prison dairy closing.

The deeply troubling issue described in the article is forced labour, where the government can throw you in prison and then force you to work for (basically) free. Cheap cheese (or goat milk) is 1) not an ethical issue and 2) not actually happening.
Not quite true. You elect with your money. Immediate. Instantly. And you withdraw your support with the one thing that hurts most: your money and move to a competing system. That's extremely liberating and powerful. Also: anybody can fork and create an alternative model whenever they prefer to do so.