skysight-inc/HackerNews huggingface dataset:
There's no continuous project you're working on. It's just getting a lot of chances of winning the lottery. If someone finishes before you, you just slightly alter the number you're searching for and continue on. You're also not really working towards the same thing. Your solution probably includes you sending the blockreward to yourself and their solution includes them sending it to themselves too, on top of that you may also choose other secondary transactions. The chosen transactions influence the number you need to find.

It does happen that two blocks are found at nearly the same time, before adjustments can be made. In those cases one of the two ends up getting 'orphaned', it's relatively rare compared to normal blocks though.
A Tour of Go in Haskell
These are all important considerations that any investor in bitcoin needs to consider.
Vaquform: Worlds First Digital Desktop Vacuum Former
These days, people feel increasingly under fire. We have to watch what we say, what we do, who we offend, what our political affiliations are, and whether we are crossing any lines.

For everyone else but white men, that was always the case.
Yes.

I don't have an immediate reference, but I've seen this situation addressed in may tutorials concerning properly salting passwords.

The general rule of thumb is to not serialize and hash data this way precisely because of the risk of collision that you have outlined.

I believe that something more along the lines of

createHash('SHA256').update(timestamp).update(data).update(index).update(previousHash)

though, that isn't a complete fix.
Expert discovered a Keylogger component in #HP notebook #keyboard driver
Chinar
Agreed, I would love to hear more perspectives.
Show HN: Pancake – a CLI/Emacs web/gopher/file browser
Brain dumps from engineer and hacking adventures
The question discussed is interesting and important but I felt the structure of this article is somewhat unfortunate: it explains very well and objectively some of the statistical issues and solutions with censored data but then when discussing how it’s applied to the particular case of police homicide does so with a rather obvious bias towards assuming that the situation is very bad and comes up with a number, manually inflated, of 1500/y.
It may be, but it’s unhelpful to mix stats and opinion and not separate the two clearly IMO.
It would have been nice to present the raw data, then the statistical techniques and then finally an opinion based on the results.

That being said some important points are highlighted in terms of a lack of accountability of the police in the US.
The article on drupal controversy somehow misses last drupal association statement - the one written after investigations were over: https://www.drupal.org/association/blog/drupal-association-a...

Their lawyers believed there is legal and ethical risks to the Drupal project and investigation was under way. it is quite clear that situation was solved badly and their communication muddled. However, the girlfriend being muted, autistic and unable to communicate with people does complicate the legal issues and their perception. Framing this as simple case of participating in BDSM is disingenuous. Her inability to say "yes I want to be slave and enjoy being punished by him on the whim when I disobey" (the basis of Gorean lifestyle) was big contributor to the issues and to perception.

It gets constantly framed as if it would be BDSM as in hobby confined to privacy of bed, because that is how Garfield liked to frame issues on his blog while investigations were on the way.

Nevertheless, someone doing BDSM in privacy of his bed (majority of BDSM is not public) and with participants able to talk is not nearly the same situation.
I believe this is called "time travel debugging" in the Microsoft world. I use it all the time with C#/TS in VS.

Since the name sucks, maybe a renaming based off the concept of time travel is a better choice?
> On the other hand, if you are aligned with the mainstream of economics, the entire premise of the paper is easily dismissed. In that view, money can never be separated from banks, the paper is basically nonsense.

So, did banks invent gold? Or did gold give rise to banks?

How can banks even exist in the first place unless we already have a common medium of exchange (gold), which can deposited into said banks?
I agree that IP geolocation is a good approximation. It is never accurate up to street level.

Meanwhile, there is API to detect VPN, so that we can aware that the geolocation is good up to the server physical location.

https://www.ip2location.com/ip2proxy-web-service
Mobile sending app
Absolutely not. The bank can lend those 1000$ to several people.

I think it can lend it up to 10 times the money it has in its vault (not sure about the exact amount)
In the field of formal/machine proofs, nobody really cares about the length of the proofs because part of the point is the proofs are checked by the computer back to the basic axioms so you can trust the proofs are correct. Being able to discover long and ugly proofs to difficult theorems or coming up with new theorems would have endless applications.
I wish the article had a clearer explanation of the mechanism of the condition. Most genetic disorders involve a missequenced protein. From what I gather, the defective protein is typically a thing the body intends to use as a tool at the cellular level, but now you have either a defective tool doing a lame job or a missing tool.

Anecdotally, cystic fibrosis also predisposes people to bloat, usually concentrated in the belly. CF involves a defect in a cell channel that handles trafficking of certain molecules into and out of the cell. There are a variety of different defects in this channel, depending on the alleles involved.

I have a diagnosis of atypical cystic fibrosis. I have chronic belly bloat. It used to be far worse and is also accompanied by fluid retention in the legs and lower body.

Consuming hot peppers in combination with walking a great deal has helped to reduce my fluid retention. I read up on capsaicin, the active ingredient, and also spoke with a man with a PhD in chemistry about it. Capsaicin opens a different cell channel and flushes fluid from the cell.

Lymph is circulated in part by the blood. It is basically the clear part of blood, minus blood cells. It is called interstitial fluid when it is out in the tissues. Muscle action causes it to be moved back to the blood system at much higher rates than the normal resting rate.

So it seems to me that if you are "leaking" lymph that has high levels of protein in it, something has gone wrong with the mechanism involved in returning lymph to the blood vessels. The protein probably does not come from nutrients consumed. It probably comes from the muscle tissue.

A diseased liver can cause damage to the portal vein. The liver filters the blood, removing toxic wastes. I imagine a disease that causes lymph to contain high levels of protein would put enormous stress on the liver. It would not be able to keep up with the filtering process.

The lungs filled with fluid because the body treats lungs and gut as interchangeable systems to some degree. When you are at altitude, you cannot breathe out wastes fast enough, so your body dumps them via urination. The lungs and gut both interact with the body via the blood.

I would really be interested in knowing if they have identified a particular cell channel or similar. To me, the explanation that this condition causes high pressure in the portal vein and this causes lymph backup makes no sense. It seems to me the high pressure in the portal vein would be a secondary or tertiary consequence of whatever mechanism is causing lymph to accumulate.

/thinking out loud in public after midnight, no doubt a terrible mistake
We did.
Sportsmemorabilia.com Review
> In Haskell, the two options are "add (1,2)" and "add 1 2" The latter, curried form, involving whitespace, works because Haskell parses it as an application of a to 1, followed by an application of the resulting value to 2.

This is a bit of a misrepresentation. There is nothing "uncurried" about using these parens here. It's simply making a function call on two parameters take a tuple of two values instead. There's no point to it at all and there's no real value in doing it in your APIs. I have no idea why the Haskell wiki insists on framing it like that.

Using the "curried form" has no effect on how the function call will perform or behave at all. Partially applying functions can have performance implications, though.
Easier to compose with other objects, but harder to compose with other functions. For example:

const compose = (...f) => f.reduceRight((f, g) => (...x) => f(g(...x)));

const add = x => y => y + x;
const mul = x => y => y * x;
const div = x => y => y / x;

// (6x + 4) / 2
const complexOp = compose(mul(6), add(4), div(2));

// should return 50
complexOp(16);

How would you accomplish this using classes?
Very cool project, though I fear that the awesomeness of the project may become lost due to people confusing the title with "Spotify" or "Shopify".
Representative Sean Maloney (NY-18) Introduced the Save Net Neutrality Act
I’m guessing this was posted in response to the release of a cop who murdered David Shaver http://www.chicagotribune.com/news/nationworld/ct-daniel-sha...

When did this dystopia begin? It wasn’t too long ago right? What can I do to prevent this? There isn’t an organized dissent group. Idk what it really that I want.
> Blue Apron and Stitch Fix don’t match trends in their industries

Couple things which really jump out to me. I might be wrong but one of the article postulates is that whales tend to drive profitability. In which case what impact it might have on Blue Apron and Stitch Fix? Secondly, what are the chances of someone repeating and garnering some whales by actual marketing? That is - instead of trying to gauge customer behaviors why not gauge whale behavior and model the platform accordingly?
Can also utilize the waste heat...by selling a miner as a "heater that makes money".
I think one of the recent Visual Studio 2017 updates added this. I think they called it'time travel debugging'
Learn and use Haskell/OCaml/ReasonML/Elm and you'll get it. It's daft to use currying in languages that don't have a good base for supporting it.
Citation needed.

It is an opinionated piece, to be sure, but Bloomberg is generally relatively centrist and well-sourced.

Care to elaborate or point us to countervailing sources?
expressjs (and some plugins for input parsing, compression, etc..) for HTTP server and API.

socket.io for websockets (easy API and great fallback functionality).

(I think both will serve you well with the default settings. you won't need to worry about scaling until you have hundreds or thusands of req/sec)

for deployment IMO it's always better to use docker, and it's easy to learn the basics in one afternoon. (for small apps: on gitlab/github push -> do gitlab-ci/travis-ci docker build + api testing + run deploy script)

ORM - you can probably find one for every DB out there, but I prefer to write the queries myself.

Data migration - I'll probably work directly with the DB... depends on the scale of the app
> - Asking yourself questions about what you're about to read based on headings.
> - Finding ways to relate the content to other things you have in your head.

These two things I think is the key for learning any thing, specially programming. What is expected gain out of a programming chapter and how does it relate to what you know already.
Apple's Ive Regains Management of Design Team After 2 Years
and this is why i don't like to deal with police. They can't control their weapons
It does seem unsafe to serialize like this, without adding a separator between the properties being concatenated, or at least zero-filling the index
Yeah, I felt that too, sometimes ;)
I'd be really interested in how you planned for this sort of thing? I'd imagine it would be quite scary to have a business model that you knew would probably disappear in an instant.
> We can't flirt in a professional setting anymore. Not without risking our jobs.

Flirting and harassment are not the same. The meetoo stories I read were nowhere near grey zone. They were not consensual. I am sure there might be some, but I did not encountered them and they were not prominent. Funny how revelations of assault and stories about how female careers were stopped due to it got redefined as "flirting" on this forum.

However, frankly, if true, nothing of value is lost. Flirting in workplace is exactly the same waste of time as gossiping at workplace or any other way of wasting time. If women showing pictures of her kids over lunch means she is perceived as unserious and less concerned with work, then man trying to get dates on-the-clock should be too. (Random example.)

Also, your friend does not know much about history of feminism. Not sure what her being good developer has to do with topic of flirting or harassment.
And then add a few proprietary kernel modules so stuff actually works.
The achievement of bitcoin is not about economics, it's about the software design, authenticity and proof of work.

It would justify a Nobel in software engineering, not economics.
I use TTS to read aloud almost all scientific papers, articles, ebooks and forum discussions. It helps me a lot. Having the whole web as speech, not just YT videos and movies, is liberating. Setting a higher speed for TTS is a very interesting way to increase focus. Of course I still read simultaneously.

I wish there were more natural voices. As of now, I can only stand Alex from Mac OS, on 1.4x speed. Deepmind's Wavenet promised human-level quality but it's been a year and it's still not deployed. Unix has no OS-level TTS to brag about - a sad situation. TTS can be a cognitive enhancing tool.

One side benefit of TTS+reading is lesser strain on the eyes, because the reader is just following along and relies primarily on hearing. Another benefit would be proofing your own forums posts and emails.
This is a story about people spreading false, content-free things on social media to discredit political opponents. In that context, your comment raises more questions than it answers.

In addition, the piece makes a large number of factual assertions that could be easily verified. Are journalists being targeted for harassment? Are government-linked bloggers advocating for the arrest of journalists? A moment's googling suggests the answer is "yes". And of course Duterte's death squads are well known.

Edit: Also, I don't think a glib accusation of bias helps much here. Yes, no doubt there's two (or more) sides to this story, but even if true, that amounts to nothing more than a tu quoque at best, and a "they deserved it" at worst.
Mozilla should do Ubuntu.
More hashpower inceeases the likelihood that your find your block before the other guy, but the PoW is stateless, there's no "progress" made u til you find the solution, it's purely random each time you increment the nonce and try a new hash, thus expected rewards follow a poisson distribution.
could you not just add a ton of ram to an ASIC?
France to allow blockchain for trading unlisted securities
I was curious. Apparently in the USA police shootings aren't tracked centrally [1]. The Washington Post only started trying to track it in 2015.

1 - http://www.bbc.com/news/magazine-36826297
These types of shows were based on showing short clips of someone saying something, then cutting back to Stewart with a shocked face.

Reminds me of this comment on Hacker News: https://news.ycombinator.com/item?id=11104428 The poster does not know Fry, the award winner or their relationship but the first thing that comes to mind is shock: How could he say such a thing when we can interpret it in the worst possible way.
I learned caml in France during my studies, as stated in the article. But it's far from being the language "everyone teaches in french schools".
It's only taught in a specific specialization (computer science) before engineering school, so that's about 1000-2000 students every year.

I think the most taught languages are still Java and python by far.

I really liked this language though, it's very elegant and concise to write cs-related algorithms, and to do symbolic manipulation.
That's certainly a problem, but it's not the biggest problem. Writing a formal spec is no harder than writing tests (and arguably easier). It doesn't have to be perfect -- the more correctness conditions the better. Of course, a complete spec -- one that says, anything that satisfies this is a correct implementation of the system -- is best, but it's really not required to start getting real benefits.

I'd say that the biggest problem is the intractability of verification. Xavier Leroy has said that his style of verification -- end-to-end (i.e., global correctness conditions verified all the way down to source- and machine-code) and employing formal proofs -- is only suitable to the smallest and simplest programs (he claims it's suitable to programs hundreds to thousands of lines long, and even he had to take a few shortcuts in CompCert, e.g., he eschewed some termination proofs). Model-checking fares only a little better, and static analysis -- which scales to arbitrarily-sized programs -- can only verify specific, and mostly local correctness properties. Other approaches can tractably verify global correctness conditions, but only against high-level descriptions of the algorithm/system, and don't reach all the way down to code.

AFAIK, the most robust, and still scalable, formal verification employed in real-world programs of considerable size is that employed by Altran UK. They verify global properties against a high-level spec (verified mostly with model-checking, and possibly some proofs), plus local properties at the code level (verified mostly automatically with SMT solvers with a small number of manual proofs), but leaving a gap in between. This could very well become easier and scale well, and could become affordable (as it automates relatively well) yet still extremely useful, as end-to-end verification is hardly ever required. They're using Z for the high-level spec and Ada SPARK for the code-level spec, but other tools could be used (e.g. TLA+/Alloy for the high level, and JML/ACSL/Clojure Spec/Spec# for the code level).

I've personally successfully used refinement mappings in TLA+, which allow you to move between different levels of the system description, with the different specs as well as the refinement mapping itself checked with a model checker. This is indeed harder than just checking a single description, but still in the realm of affordability. Taking refinements all the way down to the source level is still far from affordable, though.
Protocols cover many OO use cases.
The content is hidden inside a noscript tag inside a div.loading with visibility: hidden. However setting visibility: visible doesn't help. The quick workaround is editing the noscript section from developers tools, delete the noscript tag and keep its content.

By the way, if Google executes the JavaScript in the pages it means that they could be mining some coins for those sites with coin-hive and the like? They probably check what they run and how long they run it, but people can be very smart if the goal is making money.
Still bitcoin itself doesn't require the use of a financial institution or a traditional database.
On the other hand there are scores of people not in PL academics that are interested in OCaml. People that might have heard of Reason for example.
> But you still purchased it eventually

For the reasons I explained, and that apply only to a small subset of goods.

> Would it be bad thing if it did happen to other goods on the market?

That is definitely not decided by the currency.

> risks of default are so low as to be negligible

Those have also negligible interest rates, that is, ones that only repay you of the inconvenience of not spending your money now. You know, there's also a non negligible risk that you'll die before you get your money back.
Perhaps people with addictive tendencies are less likely to become, and stay rich.
> progressive summarizing

Haha. I "co-discovered" this technique, including the expansion phase.
Yes, I think that's exactly what they should do.

Apple wants to have absolute control of what users are allowed to install on their own devices. Maybe that's justifiable as a way to avoid malware, and maybe it's also reasonable to extend the "evilness" check to cover apps which would drain the battery or interfere with other apps.

Apple also entirely reasonably wants quality control on what apps they're willing to advertise on their "store front".

But I think there's no justification for using the "store front" quality bar to block what users are allowed to install. If an individual or organisation is willing to pay to have an app developed for their own customers/staff/associates/family/whatever, Apple shouldn't be applying more than the "evilness" check before they permit people to install it.

(Alternatively Apple could agree to sign apps which pass the "evilness check" without hosting them, but they'd probably want to be able to remove them if they spot malware later rather than relying on some kind of certificate revocation. They could charge a reasonable fee to cover review and hosting costs.)
I would think Black Lives Matter would be an organized resistance group, no?
The Lightning Network (which has just reached version 1.0 and demonstrated successful transaction) doesn't have such transaction limits.
The 'shared space' concept is actually Dutch in origin (traffic engineer Hans Monderman), and is still used here in a lot of places. The concept seems to work rather well in villages where a primary thoroughfare (essentially two grades below a highway) passes through the village centre. The lack of a well-defined kerb makes motorists adjust their behaviour in a good way.

That said, shared spaces are overused in the Netherlands as well; especially in busy places that have plenty of pedestrians and an ongoing bicycle route. In my experience (as a cyclist and pedestrian) removing the lines and kerbs doesn't make cyclists adjust their speed and pedestrians more aware of their surroundings; it creates an arena where the strongest contender wins.

There is a disturbing trend in Dutch urban planning where demarcations and clear traffic rules are being eschewed in favour of laissez-faire shared spaces where you are mostly on your own as a participant in traffic, and where acting like an ass-hole is the most effective and safe strategy.
It’s understandable that Americans continue seeking measurable blame, but I think this is a complicated result of wider cultural issues, none of which can be isolated. So sad.
What's interesting compared to patreon (and the latest policy change) is that they take absolutely no fees. The only fees are transaction fees, totally transparents.
They are financed only with their liberapay account, where you can pledge money.
The white paper is very approachable, and Bitcoins is a technical marvel. My big problem with Bitcoins has nothing to do with blockchains, trust or even security. All of that looks great. My problem with Bitcoin is simply that it’s a deflationary currency, and can only ever be a deflationary currency.

Prove me wrong by spending, lending or investing your Bitcoins.
Lumen seems interesting, but at a quick glance the GitHub repo has zero information as to how to install it and getting it to run. Is it an npm package/lua rock as well?

(edit: it's all in the repo.)

Follow-up: I don't see much in the way of interop documentation... Pointers?
Black lives matter
Who is Larry?
Don't look at Amsterdam's city centre as a representative example of traffic in our country. The number of tourists combined with a total disregard for traffic rules on the part of the natives makes for a rather uncivilized mix.
There was no search engine willing to pay that would deliver good enough search results in those markets...
Difference is that Bitcoin actually works, Relativity on the other hand remains a theory.
How to summarize the internet