skysight-inc/HackerNews huggingface dataset:
Cryptoshares are reality now
CoinOffering Ltd. ( https://coinoffering.com ) is the first company in the world, which shares are represented by tokens issued in the smart contract deployed on the Ethereum blockchain. It is written in the Bylaws of the corporation registered by the state authorities of the Republic of the Marshall Islands.

According to the Bylaws, voting of the shareholders should be made in the smart contract, and dividents to be payid to shareholders Ethereum accounts.

Code of the smart contract as well as Bylaws of the company are open sourced and published on github: https://github.com/CoinOffering Deployed code can be verified on etherscan: https://etherscan.io/address/0x684282178b1d61164febcf9609ca195bef9a33b5#code

This was made possible by the work of international team of experienced lawyers and programmers. CEO and CTO of CoinOffering Ivan Starinin and Alexander Salnikov previously were key players in the team which made one of the fastest cryptocurrency exchange ‘Margin Call’

CoinOffering uses advanced system for internationally recognizible digital signatures (https://cryptonomica.net). Ethereum acounts owners can be verified via Cryptonomica.net system: https://github.com/Cryptonomica/Ethereum-IdentityProof
In the Bylaws it is stated that all the possible corporate disputes should be resolved in online arbitration court of International Arbitration and Cryptography Centre ( https://github.com/Cryptonomica/arbitration-rules ) in London U.K. using ‘ex aequo et bono’ principle. Thus despite of tax free status from the point of corporate law company “lives” in U.K.

In contrast to "the Dao" and similar projects, CoinOffering is a legal entity that can legally conclude deals and own property, and has advanced legal mechanisms to resolve conflicts and disputes.
There are many degrees of fear. And I consider it relevant.

I agree with you, in the sense of "I respect him, he knows a lot, he's good at what he does, he's kind and faithful and so on".

And also fear. Some fear. Enough to make people think twice when they're planning on backstabbing you, pulling you from the cliff, etc.
http://www.coinfox.info/novosti/6139-coinoffering-becomes-fi...
> - Multics (1964) did away with the distinction between files and memory. It was as if every file was implicitly mmapped, or alternatively, the processes's memory was just another file.

Don't forget IBM System i (AS/400), which has a single persistent address space for everything. Frank Soltis' Inside the AS/400 is an interesting read.
You mention time, I mostly see 'skill' ;-)

Thanks, maybe I can either

a) use this to improve my loooow skills

or

b) find someone that can do this for me, locally, sans shipping.
We detached this subthread from https://news.ycombinator.com/item?id=12239724 and marked it off-topic.
My understanding is research shows pets are good for well being and dogs are better than cats.

Which would imply part of these differences are causation.
An even worse problem is that you occasionally lose support for some data entirely. A while back I was playing with some historical stock data and when I went to run the notebook again some time later Mathematica no longer had data for the tickers I was trying to lookup.
3> has nothing to do with the code being OS, wherether or not a device is locked down is independent of that.
I still hate this essay as much as I did when it first published it. It misunderstands the problems.

Unix was fragmented long before 1991, when autoconf was created. Prior to autoconf, Perl's Metaconfig did this dance, and a lot of other, lower quality systems like imake were used to work around the problem. The forces behind Unix's fragmentation was actually not the Bazaar (open source software), but attempts by multiple parties to independently build their own Cathedrals (in attempts to differentiate/provide value with proprietary systems). Of course, autoconf, as a GNU system, was, in Cathedral & Bazaar terms, a Cathedral, not a Bazaar.

Autoconf is ugly/copy-paste code because it is comparatively rarely run, so as long as it produces a passable result, people use it and focus their efforts on other, bigger itches.

There's also a long history of open source products which have enjoyed higher quality implementations than their proprietary equivalent. The Apache project itself stood as a higher quality web server than a lot of other choices (not as true today, but it was true for quite some time).

One could go on...
> it's almost always possible to reason and quantify and weigh the cost versus the benefits

I don't think so. As a pretty good analogy, can you quantify the benefit of replacing knob-and-tube wiring in an old house? Now consider that the house across the street keeps its old wiring for the next twenty years without anything bad happening.
Does the American works 9 to 9?

Anyway, I'd love to see a study that compare countries:

- What time people say they do?

- What time people actually do?

- What time get accounted and paid for?

That would be very interesting.
Ask HN: How Do You Do Mac OS X Maintenance?
I understand it in the fear of consequences. In "think twice on what you'll do to that person, because there'll be consequences" :-)
I'm not sure about that. The sentiment analysis in particular sounds like it might be using private updates.
Here is Australia, I don't like cats because they kill the native wildlife. They're a pest.

I have also seen what cats can do after travelling to some Greek islands. Almost zero wildlife on lands. No prevelance of birds. You wake up to silence.

For this reason, I'll always be a dog person.
> There's a competitive advantage in keeping pacemakers' source code proprietary?

There definitely is. If your company takes ~2 years to develop a pacemaker's software, it's not to your advantage to let your competitors catch up. I'm not saying it's a good thing that it's closed source, but there is definitely incentive to keep your research to yourself.
Well, if it's power outage as some news reported - then it's matter of Hydro utilities taking care of stuff and maybe typing the report on improving power supply redundancy.

However I think we don't know the whole story.
jet.com has no:

- reviews of products

- no customer q&a section

- no 3rd party seller ratings

These are rather basic features in an ecommerce site. So no, I don't think the guys from jet.com are experts at all.
The checklist manifesto was a great book. Probably time i read it again.
> Where is a video?

Whatever the plausibility of ball lightning, it is not reasonable to demand video of a rare and unexpected event.

I read somewhere that no major airline crash was captured on film until about 30-40 years ago (NB: exhibition flights and the Hindenburg are not airlines), but we can agree that planes did crash.

Think about 9/11: The World Trade Center must be one of the most photographed and videoed sights in the entire world, yet there are only 2 videos of the first attack on a sunny morning when it was witnessed by thousands of people walking around. There is just one extremely poor video of the Pentagon attack, and this is a building that I assume is brimming with surveillance cameras. There are no videos of the Shanksville crash.

An airplane in trouble is big and noisy and there might be a minute between the time it's noticed until it crashes. Ball lightning, if such a thing exists, is small, initially quiet, unexpected, and last just seconds.
I feel like hackernews/reddit has a unusually high number of stories like this. I don't buy it. Another one everyone claims to have is sleep paralysis.
If you care about this kind of stuff, you may want to consider running something other than Ubuntu. Debian, CentOS, FreeBSD, etc.
It wouldn't be a death spiral if it wasn't.
What blockchain products, in particular, tend to lack is a complete "economic engine" - there isn't a good or service built in the equation, just a marketing promise that transacting goods and services through the protocol is somehow better, or failing that, some form of investment instrument that is a step removed from goods and services, and consequently less mission-critical for conducting business.

When there is a good or service, you usually find a situation where a centralized monopoly platform - "use our API, use our UI, feed off our database, speak with our sales and CSRs" - is more straightforward to build and more advantageous for the stakeholders who will build and operate such a system. There are only certain niches where there's a definite and ongoing win to build and participate in a decentralized protocol. This rock and hard place has made it hard for the field to break away from purely speculative activity.

While the tech is maturing and growing an impressive set of features, I don't see big breakthroughs coming without a major initiative from a big player.
Just registered!
Socialism - the plague that keeps on killing. They'll keep trying it until they kill everyone. I remember when hipsters were praising Chavez's miracle. Where's Sean Penn now? Disgusting.
Show HN: Hybrid WYSIWYG Editor – Mix Markdown and Rich Text
Meh.

There really is only one thing that makes me cat person: Cats don't need someone to take them out to POOP.

Somehow, cats made the intellectual leap that dogs can't seem to grasp. That is, shitting in a box and covering it up. Brilliant.
I'll look into it. We're getting a ton of registrations and traffic right now so our servers are working hard. Thanks for the heads up :)
How a Lawyer Guided a Chinese-Owned Company into U.S. Presidential Politics
Journey Through the Sahara
Yep, makes perfect sense, I've handled this in quite a similar fashion. Thanks for clarifying.
I don't know if it's an overall trend of stagnant growth or slowing economy, but bigger companies/unicorns are definitely feeling the pressure from overvaluation and being forced to downsize employees and office space, as evident by leasing out office space they bought up and doing down rounds. It's kind of this version of the dot-com bubble popping, except this time it's more of like a slower deflation than a pop.
Windows (at least for userspace components) has significantly less self-contained modules (which thus contain larger amounts of functionality) than any modern unix-based system and there are almost no modules that are widely used and not supplied by Microsoft (excluding stuff that is ported from unix and various third-party hardware APIs). One of reasons for that is probably that before .NET, there was essentially no support in VS for building applications as anything other than big self-contained .EXEs and the current solution/project mechanism leaves much to be desired.
> "dog people are more outgoing, measured in terms of Facebook friends."

Or, perhaps, cat people just don't like adding friends on Facebook as much as dog people!
College Bottlenecks
Dogs can get after the wildlife too, although they aren't quite as relentless and psychopathic.

My cattle dog was moling yesterday - I looked up from my lawn chair to hear frantic chittering and see the poor varmint whipped high in the sky.
Agreed. Whenever I mail a list if I have an important message I have to ask someone if the message appeared or not. I can't verify by receiving my own copy. I use mail lists every day.
That's awesome to hear, thank you so much!
Number 2 isn't reason NOT to open up the code. You can't just claim because it doesn't do something that it's a good reason. Open source software isn't necessarily faster or more efficient either. So?
On the data-privacy front, you may also be interested in Unseen[0], which has servers in Iceland, and Lelantos[1], which routes over Tor. I haven't used either service but they've come recommended. ProtonMail looks interesting.

[0] https://unseen.is/

[1] http://lelantoss7bcnwbv.onion/
...Which doesn't even mention "Cultural Marxism". What I did find is this from Wikipedia: 'Cultural Marxism' in modern political parlance commonly refers to a conspiracy theory which sees the Frankfurt School as part of a contemporary movement within the political left to take over and destroy Western society.

And this gem: http://rationalwiki.org/w/images/c/cf/Dummies_Guide_to_Cultu...

So pretty standard /pol/ nonsense.
>Besides dynamic variables, there is also plain old variable mutation. Scheme macros are much more complex than what you described, because of hygiene. For the sake of making Scheme look better, I left macros out of my grammar. The Nix expression language has none of these things.

Fair enough, but:

>I should take a look at the guix APIs to craft a bigger subset.

What? No.

Those don't add any complexity to the language. You don't add every function to your BNF syntax, do you? This is what I meant about regularity: The sexpr and atoms are the only syntactic elements (except quote and friends, which are syntactic sugar for sexprs).

Most of the things you included in your scheme BNF syntax aren't syntax, they're special forms. Special forms are not syntactically distinct, they are semantically distinct. So while define, if, and lambda are part of the semantics, they aren't part of the syntax.

Macros, too, have no syntactic differentiation: You actually CAN'T add macros to the BNF of the syntax, because there is no syntax to add.

If that's not regular, I don't know what is.

>Nix's lack of a top level (the <Items>* in Scheme) is a big boon for simplicity, especially concerning imports from other files which I forgot to include.

How? What's so complex about having multiple forms at toplevel?
> I would be fine if someone came up with a theory of, say, electromagnetism based on assuming the existence of the flying spaghetti monster or, to stick to the topic, based on assuming that our reality is mostly constructed by culture. The only thing I ask for is that those claims actually play a role in the theory, rather than being a mere addition, and that you can you can actually use the theory to build a transistor radio.

I cannot upvote this more. It seems all too easy to criticize scientific methods as being baseless or assuming some odd construction about the universe or the context or whatever it's embedded in, but it's so easy to overlook the fact that there are only so many (read: extremely few) ways one can construct a theory with the same predictive power as that of physics which has the same or less number of free variables. Thank you for putting into words something I've tried so hard to verbalize to some of my friends who please themselves with criticizing positivism/post-positivism as being woefully naive (relative to, say, constructivism), yet benefit infinitely from it.
Windowing data in Akka Streams
Maybe in a complete vacuum, but in reality, having access to source certainly makes it easier to look for vulnerabilities, and if the same software is in many devices, the cost of finding vulnerabilities is amortized.

Security by obscurity obviously doesn't stop a determined attacker, but it does raise the barrier to entry for script kiddies.
The US did not "fix" the elections. They did finance the DC campaign, just as the Soviet Union financed the FDP campaign.

In the preceding 1946 elections, the Communists got 19% and the Socialists got 20%, for a total of 39%.

In the 1948 elections, FDP (Communists + part of Socialists) got 31%, while the rest of the Socialists (including the man who was the leader of the Socialists in the previous elections) got 7%, for a total of 38%.

In the following 1953 elections, the Communists got 23%, the Socialists (who broke out of the failed FDP alliance) got 13%, for a total of 36%.

So we have 39% -> 38% -> 36%. You are arguing that the expected mid-point of that series would have been 51%, had it not been for the US fixing the elections. That is a Reptilian-level conspiracy theory.
Finally someone made this service
>Define 'most phones' (Not being able to replace the battery is a problem in my world).

In my world too but most smartphones sold these days in fact do not have removable batteries by design. You don't know this?

>Buying a new (crappy, what do you expect for 50 Dollars?) phone because your perfectly working one isn't supported anymore is NOT satisfying and not a solution

That $50 phone is just as good or better than a phone sold 3 or 4 years ago.

>I feel that you're a bit lost. You want to save a bit of money

No dude... I buy a new phone every two years to have a faster one, better features (camera), and better security features (fingerprint reader). Lucky me, I can afford it. My secondary phone is a 2 1/2 year old Nexus 5 which still gets security updates and will for many more years via custom ROMs. Security updates were not the reason I bought a new phone.

Sorry, you don't really seem to be up on current smartphone technology to comment on this intelligently but philosophically I do agree with you.
While Moore's law helps, languages are more expressive, safer, more performant and have more batteries included yielding a whole bunch of improvements.

We've had software and hardware gains, massive ones, and they compound.
Category Theory Resources
Man we need more articles like this.

So nice and clear.

I've been working with images for 12 years and I was never sure exactly what 'sharpen' actually did ...
Ask HN: Where can I find a U.S. based professional accountant as a Nomad?
a fundamentally dishonest business practice

So what?

Airbnb is exactly that, violating countless zoning laws throughout the known universe. And yet, at a recent $30 billion, it's one of the most richly valued unicorns.

We're living in a world that has little use for "honest" business practices.
When a Malfunction on Land Keeps a Fleet of Planes from the Sky
I think the traded for something angle is key here. And, of course, SEC is generally happy when consumers benefit, and fines when they don't.

But, I would think a line of defense would be that participants knew they wouldn't necessarily get anything for participating and presumably agreed to that in contest terms. At that point, the contest is just a giveaway -- and you can, in fact, give away stock.
> But with limited telescope time available, their views of the planets only come in snatches.

It seems silly that university astronomy departments don't invest in small arrays of these telescopes with automated tracking software deciding where to point each night. With a modest number of sites you could have global coverage of all nearby objects of interest regardless of foul weather in some spots.

But you know, they need more money to expand administration instead.
Here's a nice checklist osxdaily: http://osxdaily.com/2012/03/04/mac-maintenance-tips/

Most of the time, I just clean up my desktop and reorganize files. Also, at least once a month, I simply navigate in the finder and delete old, barely used and unneeded files and apps.

If I find my Mac to be significantly slow, I backup files and apps I only need, and do a clean install of macOS.
I'm not sure why you wouldn't pack the config chains like a fractal of dependencies and only probe (for instance) for Fortran if it's required.
> Unless it's an outdoor cat

Well, yes, if you contain any living thing and then don't provide a food source, it will die of starvation.
When to Trust Robots with Decisions, and When Not To
Why delete from Google? They already crawled the hell out of it. You don't have much privacy to lose from them, even if they actually do delete the messages.

There is some risk that your gmail gets compromised in the future
I suppose, but the chances of your backup being borked might compete with that.

I plan to move away from gmail but I'll probably keep the old stuff there. Convince me otherwise!
Even if we assume that these arguments are sound (which they aren't), they do not appear to provide a proper justification for letting a human being die.

Put another way: If you had to explain Marie Moe's death to one of her relatives, which of your three points would make the relative understand your position?
Wow, this is kind of blowing my mind that they were doing this with a hard-wired control unit in 1969(I think I have the date right.) Big Blue, its easy now a days to forget just how amazing they were. Do you have links you can recommend? Thanks.
LentilDI – ES6 Dependency Injection
Practical Application of the State Monad – Time Series Pre-Processing
Ah, I have no screen for 4k and am holding off for the time being. I just don't see the cost/benefit paying off for a bit, as I'm still very happy with my first-gen 42" plasma I use in my bedroom @ 720p, though I must admit, vs. the 1080p 50" in my living room, I can't tell much difference anymore, so I'm definitely getting blinder...
>I actually can't produce this document. Google's contracts with OEMs are strictly confidential.

Thanks man... I hear they also keep martians at Roswell.

>Google gets to approve or veto every Android device every OEM sells.

100% Wrong... The only thing an OEM really needs to do is include certain Google apps and have them presented in a certain way to use Play services.
This article is, rightly so given the author, written from the perspective of an individual contributor on a Scrum team.

First, the author refers to Scrum as a methodology. It is not. Scrum is a framework, and being based in agile principles, is much more about a way of thinking and working. It should not be used as a purely do-this-then-that prescriptive approach to getting software built. As we now can see, there many organizations that tout being "agile," when their true behaviors and output are merely agile window dressing. Also known as "fragile" instead of "agile."

I disagree that Scrum is not useful to many organizations and teams. In particular, organizations that basically lack any process (trust me, I've been in a number of them) and it's kind of a free-for-all or based on whichever executive screams the loudest gets what they want when they want it.

What is missing here is why Scrum can provide useful, especially in terms of velocity. A team's velocity can serve as an underlying basis for projecting how long things can take. Like it or not, internal "users" or "stakeholders" in an organization as well as many external ones expect to get some idea of when things are going to start happening and when things are going to be done happening, for particular features or commitments. As expected, this involves being able to at least intelligently (and based on historical data) make a reasonable prediction at dates.

Entire books have been written about software estimation and no framework gets it right.
Is that a Debian all-in-one PC in your pocket?
If a massive standard library, or really any library, doesn't have good documentation how do you find out about it?

In some statically typed languages like C# and Java you can use an IDE's object or interface explorer to see what the classes, methods, and properties of a class lib are. If that's missing do you have to use introspection or reflection? In a REPL if the language has one?

Is it assumed a compiled language will be statically typed (though that doesn't have to be true) and if it's not the source code will come with any library so examining it is easy?
The Inquisition followed sound science
Why are you assuming the strike price is $500MM (not to mention this is the price of the company, not the strike of the option)? The strike price is what the stock is worth in terms of GAAP accounting, not what a VC is willing to buy X% of the company for (if I offer you $1 for x% of your company, is the company now necessarily worth $1/x?)
This was an interesting article though I am not an image-o-phile. However, what I really like was the base site! I am a part time instructor for business students and I am teaching them about the power of visualization. This is an incredibly illustrative source that explains points well, and I'll be able to use it as a teaching tool! Thanks for the post!
> the best way to get people to like you is to like them.

Perhaps contradicted by the study under discussion...