skysight-inc/HackerNews huggingface dataset:
The trouble with formal specification is that for a lot of systems the specification is a substantial fraction of the length of the program it is meant to be specifying. In fact if you code in a high level language like Haskell it is actually possible for the code and specification to be the same length. At this point finding errors in the specification is just as difficult as finding errors in your code by inspection.

What it comes down to is that a formal specification is a program we don't know how to compile.

The exceptions to this are specifications that are non-constructive; they define an allowable behavior without defining how the result is computed. An example would be a specification for TCP that specifies that the data must be presented to the receiving program in the same order it was sent; the behavior is simple but the underlying mechanisms are complicated. However this is often not what the specification looks like. More usually its like the specification of a bank transaction, which says that afterwards the sending account must be debited and the receiving account credited. Well gee!

The real problem is that the "correct" behavior of the program is complex and contingent, and making sure you have covered all of the issues during requirements gathering is very difficult. And you can't put a formal specification in front of the customer and say "Is this what you want it to do?" because they can't read it, any more than they can read source code.
I don't think it's only a matter of Bitcoin price, rather a difficulty adjustment + bitcoin price.

So the question is how many miners will leave at what price.
I love Led Zeppelin. When I was younger, I bought everything they released and listened to it obsessively. I heard on reddit they're planning to sweep up the dust from the studio floors again this year and make another lost recordings release. I can tell you, I will probably listen to Physical Graffiti another dozen times before I die, but I'm not going to touch BBC Sessions again except for the two decent songs, and this "new" release of Plant scratching his balls while Page gets high is a non-starter for me. 90% of everything is crap, including Led Zeppelin.

Most music is worth exactly one listen. You can tell right away if you're going to need to hear it again.
Yeah, the amount of direct exposure you have to the collection is pretty stunning. If I remember correctly only the Alto was behind a display. Everything else you could touch/interact with.

Highly recommended.
What happens when the Bitcoin mines close down?
2017 and the Rebirth of Cyberpunk
Company builder Entrepreneur First is expanding to Berlin
Diary of an IPO
> The "Go is one of the most actively developed projects in the world" line is also complete bullshit;

I think this is a pretty uncharitable interpretation of what I said. I didn't say "the most", but rather "one of the most". Kubernetes, Docker, and Chromium are all huge projects with similar or higher commit rates, but think about the other 99.99% of other open-source projects. In comparison to them, anything of Go's scale is huge.

Try not to focus on the individual wording though. If you like, just read it as "a very active project".
I've honestly only ever had positive interactions with recruiters, and negative experiences finding jobs any other way. I know I'm just a single data point, but I'm a data point that's been programming professionally now for 23 years across 10 different employers. About half of the jobs I've gotten have been through recruiters and the other half through my "personal network" which conventional wisdom suggests is the best way to find a job; yet by far the walking nightmare jobs I've had have all been the personal network type. As best I can tell, there's a reason for that: when somebody who I knew from a past job wants to bring me in as one of his underlings, he has to make a relatively hard sell to management to get me on board, so they (apparently) end up misrepresenting my abilities by a bit. So the first time they expect a miracle, I fail to deliver, and things get... tense. On the other hand, whenever I'm brought in through a recruiter, the expectations on me are mostly in line with what I put on my resume and nobody's personal and professional reputation is on the line if it takes me a few days to get up to speed with the codebase.
You know, I think we've somehow fallen into _violent agreement_ on all subjects.
Does that include plane fare to Québec?

https://www.forbes.com/sites/sarahsu/2018/01/15/chinas-shutd...
Of course. It's a highly subjective title. However, with fast fashion such as H&M and Zara at similar prices, it would sense if interest is in the latest fashion versus stores carrying vintage like Buffalo Exchange. But in the world of fashion, everything comes back around. Vintage will strike again if it's truly on the out.
Where are your bees? I am just getting started in South Florida.
Why should salary history be a secret? I know my market value. I make X, I won't consider jobs less than Y. No negotiation necessary. If the company will pay me Y. I accept. I might leave a little money on the table, but not enough to make a difference, when my salary gets too far out of line with the market, I move on.
Check this out: https://www.youtube.com/watch?v=fuhHU_BZXSk

I think that provides enough inversion while still hitting the right points in my brain.
Yes, this was also accomplished on a PDP-10 at Caltech around 1972.
Wordpress itself is good at getting the important content to you ASAP. Many Wordpress plugins are not as good.
This guy is a music industry professional, so it's less surprising to me than if he were just some dude who makes websites.
Google May Remove Access to Undocumented/Hidden APIs in Android P
I think there's a lot of secret sauce involved in order to make Lambdas perform well. They are definitely not just executing a binary every time a request comes in. You might give them a binary but that's not how it's executed.
In a world where hunger is still an unsolved problem, burning food for fuel is not just unethical, it's downright stupid.
Let us all give some credit to LastPass, which manages to tick all of the points you're making here. More importantly, at the same time being a simple browser plugin.
Out-of-the-box stock WP is OK, but many/most plugins are not at all optimized, especially when you install a bunch of them. Hence the "bad" WP developers who pile on a dozen and ruin perf.
How so? If the market is manipulated via farm subsidies or biofuel subsidies it's entirely possible groups might not be overly worried about the efficiency of the process and expend the same amount of fossil fuel (or more) to obtain an equal amount of biofuel.
https://www.linkedin.com/mynetwork/invite-connect/connection...
The thing about build tools and frameworks is that once you have tools for managing complexity then the penalty for complexity goes down and complexity explodes.

The apps I have seen built with all of these "modern" tools are much more complex and difficult to maintain than the apps I was seeing 10 years ago that were architected and managed by hand.

That is why many of the people using these tools are switching toolsets every 12 months because they can't maintain what they are creating and have to throw it away.
Were you voluntarily exploring this or did it happen on its own? (Not to be insensitive -- the first thought that popped up when I read this was, "good times!")
I used to work at a power plant, and we would go through a pallet-sized box of rags every week or two. Grease, especially, eats them up
We were told about this by our lecturer in university (USSR). Discipline was "data protection / security" ("Защита данных" in Russian).

The device was masqueraded as a canned "Килька черноморская в томате" (Canned fish: Black Sea sprat in tomato) and was transmitting short narrow beams upstream on schedule.
One of my 2018 goals was "build a shopping list that helps me optimize recipe variety while minimizing shopping complexity." Looks like this cookbook is a good start, and this dataset is awesome. Are others doing/thinking this way?
The secondhand shops in Tokyo were glorious for me. Everything was in good shape and in styles that I like. As a slimmer guy, I found better fits too. Only issue was that things were quite a bit pricier (but the cheap food made up for it). San Francisco thrift shops have also treated me fairly well, but it's harder to find stuff I like\fit.
I wouldn't be so sure. I've got a simple email to http service running on AWS and while I'm sending no more than 50 emails to this service I still get billed cents. If I was thinking about running something like this in production I'd definitely use a cheap VPS.
Why can’t you just cache it with a hash?
IANAL but yeah. It seems to me that the onus here was on English to withdraw from the case. Once the guy was ruled competent it was the defense lawyer's moral obligation to do the best he could with the version of the facts offered by the defendant, however lacking in credibility that was.

I don't know about ethics standards in the practice of law in Louisiana particularly. Every state is different and Louisiana seems a bit more different than most because of the influence of the French legal tradition.

The lawyer here is (poorly) seeking to preserve his client's rights to as a possibility-mentally-ill person, notwithstanding the earlier competency findings. This is not so uncommon in death penalty trials, and again competence adjudication seems to vary by state. But in seeking to preserve his client's life, he's sacrificing his client's agency, which is a sort of liberty interest most defendants want to retain even if they are in physical custody.

It might seem to the lawyer that his client has a death wish and just can't bring himself to admit it, and suicidal intent is de facto evidence of incompetence in many jurisdictions. Also, it's not unusual for a defendant to turn on the attorney post-conviction; eg if English argued the defendant's version of events, and he was convicted and sentenced to death, the new lawyer might have sued him anyway by arguing 'my client is obviously crazy and yet English helped him to throw his life away in front of the jury instead of getting him the help he needs."

It's yet another reason I think we should get rid of the death penalty.
Apple announces plans to repatriate billions in overseas cash
Here are some ideas:

lobste.rs has a invite system where a person who invites someone may potentially be kicked if the person they invite is a problem. See https://lobste.rs/about#invitations

Organize a booth or representative at women-focused tech events like FFC or GHC, or have events/meetups for Leap members to meet face-to-face where prospective members are also invited. The invite system would make this easier to implement.
> I struggle to think of a language where that hasn't been true..

If you're ok extending that to "language + stdlib": Node.
> That's a big assumption. Are you also assuming the FDIC will extend its coverage to personal wallets, that the FBI will automatically involve itself when yours gets stolen/hacked, etc.? The banking system involves a lot of consumer protections that aren't present when you store stuff at home.

The assumption of widespread adoption is necessary to have any meaningful discussion about the advantages of cryptocurrency over traditional currency supply controlled by a central bank. Of course the currency must be adopted to actually matter!

I do not assume that FDIC will extend coverage, or that FBI will automatically investigate or recover hacked funds. That said there is nothing stopping this from happening and it may happen if one or more cryptocurrencies are largely accepted and used. It's also possible that private insurance plans become available, which undoubtably will come with more choice and control than the FDICs protection.

Storing money your own wallet has risks too, but they are not the same as those of storing money in a bank or at home. As crypto adoption grows, I believe the number of people making this choice will also grow.

> Sure, if you want to spend the rest of your life in jail for contempt of court.

The original post, and my reply, was about civil forfeiture.
Ask HN: How do you find new clients?
Being a small development team we are continuously seeking new clients.

Please advise us: how do YOU do it?

thx in advance.
> If they made a lower-level model, like, for example, "we start up your binary, and it needs to bind to port X, then we'll send HTTP requests to it and it should respond appropriately using the following JSON specification," it would take a lot more work to set up your Lambda function and get it working correctly than it does now.

Man, the JSON specification must be annoying/complicated - because the first part of what you said, binding to port X and responding to HTTP, is like.. 1 line in Go.
So the first part of what you said is extremely trivial, so the difficulty must lie in the second part?

I wonder what makes the JSON specification so difficult? From your wording, I assume the HTTP response is being sent to AWS, not the actual HTTP requester. Regardless, it must be damn clumsy to justify calling a simple HTTP response too complicated for developers.

Clearly I've never used Lambda though.
Fanon versus canon
I'm sure there are ways to detect real clickthrough vs fake? (via monitoring the behaviour of the visitor upon clicking through) Why isn't this the magic bullet (or unicorn) you speak of.
We built a similar system internally that accomplished some of these functions. Essentially data is ingested to an ELK cluster with some custom views on top. This definitely looks more polished though!
Indeed, code reuse, testing, maintainability, etc are harder with the latter pattern. And with the latter you also end up using at least 3 languages in the same files. It's just really awful.

Yes, browser-rendering SPA frameworks are heavyweight, but they give an undeniably-better development experience. And that shows in the quality of the interfaces created through them, assuming your interface requirements are complex enough to justify it. I mean, I'm happy with Hacker News' interface and it's simple, but if I'm building the next Google Calendar, I am not using ajax and server-rendered templates.
not really the same but I have quite a few vinyl records that have never been played. Many of them I have on other formats, but a few are just too precious to risk playing on my cheap equipment.

I get what you are saying though.
Copyright doesn't in practice prevent 3rd party game servers and copyright expiration won't suddenly enable them. We're dealing with mostly closed source games for which the server code was never released.
Original headline: Apple announces plans to repatriate billions in overseas cash, says it will 'contribute' $350 billion to the US economy over the next 5 years

The three bullets underneath the headline:

- Apple said it will "contribute" $350 billion in the US economy over the next 5 years.
- It will include the creation of 20,000 new jobs and a new campus.
- Apple expects tax repatriation payments of about $38 billion.
> But could you explain that in this particular case?

Sure, its helps me to think through these things too. :-)

In your graph, you probably don't mind that its almost flat, but if I am someone who makes money by trading every day, I'm interested in very small moves, a couple of pennies, maybe 0.5% over the course of a day. And that's _all_ I'm interested in. Where is the price over the last few days and how does that compare to the price of some other thing?

Knowing the relationship of the current price to zero is really not important because it a) has never been at zero, b) is not going to go to zero, and c) zero is meaningless in pricing anyway.

That last one is kind of unintuitive. You can't buy or sell a share at a $0 price. A $0 price implies that there are no buyers or sellers. No buyers or sellers means means the price is undefined, not $0. No matter how low the price gets, it can never be assumed to trade at $0. No stock has traded at a $0 price (even in bankruptcy there are always some value to the shares right up until they are liquidated and cease to exist). No stock has ever opened at $0, they IPO in the $20-30 range (or somewhere non-zero anyway).

So if zero doesn't mean anything, then you have to say, what should the minimum be? Well, you can say $0.01, but that's just as arbitrary. Assets are infinitely divisible in theory, and lots of trades are made at lower denomination that the currency, take the $0.000000008 / share SEC fee.

If any choice is going to be arbitrary, then you have to go back to the intention, which is to compare current price movements to recent price movements to understand what's happening, so just make sure your chart has all the recent price movements and then add +/- something like 10% on either side to give some padding and emphasize breakouts... a.k.a a flexible axis.

In this particular case, I suppose it is the author's intention. If they wanted to emphasize the volatility of recent movements, a flexible axis is right for that. If they wanted to minimize the volatility, a fixed axis starting at $0 is better.

But, objectively, there is no reason to _insist_ on starting at $0.
More like Computational Mathematics
Are programs better than people at predicting reoffending?
Helpful, thank you, but my frustration still stands
Die with Me – Chat app for low batteries
You don't need a certified letter to file a bar complaint. Or even to get yet another lawyer and succeed in a malpractice suit, though the latter (unlike the former) may require some money up front.
To a non-hardware guy this sounds like strange witchcraft. Very cool.
like any other social network: you are the product
There is a movie called Idiocracy which has some version of this. Pretty hilarious.
I didn't downvote you, but I think the comparison to Sagemaker misses the point. This is literally just uploading labeled data and getting a finely tuned classifier out. Hyperparameter tuning is neat, and both Cloud ML Engine and Sagemaker have that, but (correct me if I'm wrong), only AutoML actually handles all of the model architecture decisions itself using transfer learning and learning2learn. See here for details: https://research.googleblog.com/2017/11/automl-for-large-sca...

This significantly reduces the level of expertise required to train models, and the AutoML models outperform "expert" human-created architectures.
Arguably happens a lot already
I'm sure the jury will be delighted to hear your explanation.
Having worked in this space - dialysis - sometimes it’s better to let the patient gracefully decline versus degrading their quality of life with treatments that will not lengthen life and mage what time they have miserable. There’s a few companies already using ML to predict when a patient is a candidate for hospice / palliative care. It’s often cheaper, which is why it’s kind of a taboo topic.
Wow, I have to try that out later. I have always avoided powershell in favor of CMD because I wasn’t sure of what powershell extras would get my way. Seems like this would be one example of that.
Are any of the apps you made public? :)

Also sounds like you’re working in a small group? I’ve found large teams will value clarity and maintainabiliy lots more.
Your second choice is just coupling it again. I've only seen few frameworks that let you render both HTML and json (Ruby on Rails).

You still have to map a model to HTML, regardless.
It's a good thing all of these activities are perfectly efficient and there are no negative externalities.
There can't be transactions, so nobody can move bitcoins around.
(I wrote TFA.)

> But for a fair comparison you'd need to include a lot of C libraries to match Go's standard library. How much have those libraries changed over the years?

Yes, exactly. Something like C isn't a fair comparison because there's so little included in the core language. Think about everything that you get with Go's standard library: concurrency, HTTP (even HTTP2), TLS, JSON, XML, Zip encoding, Regexp, etc., and then consider C's APIs along with all the APIs of all the libraries you'd need in C to accomplish those tasks — all of that together would be a more fair comparison.

That might seem like apples and oranges, but for most real-world programs, people generally need a considerable subset of that functionality. C's stability is nothing to scoff at, but it's nowhere near as impressive of an achievement.
Moving from 2D to 3D does not imply that applications will all use immediate mode. And having some standard way of doing retained mode 3D (which is the major feature provided typical 3D game engines and there is no reason why DOM could not be at least partially used as the underlying data model) seems like one of the requirements for that shift to actually happen.
"they are not a dumping ground for all of your dead relatives clothes"

What's so bad about dead peoples clothes? I used to buy lots of clothes at estate sales and I still have a few overcoats from them. I have a barely worn leather jacket and camel skin coat that I bought for a few dollars each, plus maybe 10-20 for dry cleaning. Women would buy clothes at these sales so dresses and women's coats would be more expensive, but for some reason I was the only one purchasing men's clothes. These coats have lasted me much longer than new coats that I buy from stores because fashion today is so disposable.
> it's generally known that the person is at the end of their life, yet the medical establishment still tends to focus on treatment rather than actual care

That is exactly what they are trying to address. These doctors are basing their treatment on statistics that don't account for the intricacies of an individual patient's condition. A machine learning model can account for correlations between obscure attributes to predict the success of treatment with much higher confidence than they have now.
Regarding (1), this is a great way to distribute your language tooling. After a number of years using Atom, one thing that I've always wanted to see is a way to utilize multiple Atom instances all uniquely configured for a given use-case/language. For an editor that excels in customization, one thing Atom doesn't have is "profiles". I commend you for providing a Luna "profile" and I hope other languages/ecosystems consider using this approach.
The same as before: a much-reduced ability to recognize features. In one image, I mistook a panoramic vista for the surface of a pond just a few feet away - and its not so easy to avoid refocusing.
Here in Seattle, at least, recycling has transitioned to blue and green is now used for municipal compost bins. I think SF is the same.
My guess is the idea is to grow the textile industry beyond just making domestic products and to start selling exports. Once you have a homegrown operation, people like Nike are willing to let you make their clothes.

Basically using it as the first step towards industrialization.

Why textiles? Because its the easiest thing to manufacture. Clothing is light. So textiles are often made wherever there is cheap labor. They'd rather get a factory making iPhones, but that isn't happening.
The research in question was merely cited by the lobbying group. Specifically, they write:

> A 1998 biodiesel lifecycle study, jointly sponsored by the US Department of Energy and the US Department of Agriculture, concluded biodiesel reduces net CO² emissions by 78 percent compared to petroleum diesel.
The defendant dismissed his first few lawyers, which is what should happen in this case. The suit is over his final lawyer, who rejected his direct instructions, announced his guilt to the court, and then sought clemency on a basis that wasn't even legally available.

This is more reminiscent of the doctor refusing to amputate your arm, and then instead cutting off your little finger while you ask him not to.
What's NN?