skysight-inc/HackerNews huggingface dataset:
I want to like the idea but articles like this one are just intellectual drivel to me. People are systems thinker by nature I believe. If there are negative side effects to their actions then it's rather because they don't mind. A company, for instance, cares about environmental side effects only as much as it needs to in order to keep going. But that does not mean they don't see, say, their supply chain as a system.

I'd say thinking in systems is more of an art than a rational thing. You have to do it as often as possible to get better at it but there isn't much you really need to know. Sit down, think really hard for 2 minutes, rest a bit and repeat the process as often as necessary.
I wonder what historic paralles can be drawn from the discovery of the "new world" to the expansion.

Obviously we are currently in the shift of affairs, away from king sponsored exploration ships- towards merchants, with the problem of the known goods of space not beeing automatically interesting on earth.

There needs to be a economically viable example- collecting sunlight with foil- mirrors to send to solar facilitys - or similar endavours. Something without shipping and stripping, so that the gol-rush over the atlantic can resume.

I wonder how a huge construction endavour like a beanstalk or launch loop could be financed. It seems to me such endavours would end up like the panama canal, eating early investors alive, while the last generation of investors reap the spoils.

https://en.wikipedia.org/wiki/Panama_Canal#French_constructi...
I mean, that's exactly what many of us are doing.
And, perhaps more intuitively, its the second integral of m with respect to v. This pattern also shows up in eg A = ∫∫τ∂r² for the area of a circle.
Yeah, I was just about to say. "They told me to buy another MacBook, but joke's on them! I did!"

Presumably, anyway.
I second this. Shen is probably my favorite lisp.
You misread my comment, I think.

I know that there are Rust ergonomics initiatives.

My question was: is there anything bad like he described in his post in one of these initiatives? Or is he just tilting at windmills?
Why Tesla is having a harder time than SpaceX
I'm in the UK and was about to post the same thing. I see a lot of posts on HN about receiving counterfeit goods from Amazon in the US, but I've been spending a lot with Amazon for years now, and I've never come across anything dodgy.

I actually prefer to use Amazon over others because their customer service is incredible and their returns process is completely hassle free. I don't need to return stuff often, but they make it super easy when I do - they immediately send a replacement, and a courier comes to the house the next day to collect the return!
Humans are compilers of math.

'=', like number, means that concept, regardless of instantiation.

Beyond that note, I don't see the value in listing all the ways you could interpret notation.

Maybe you would also find it entertaining to list all the ways a program can interpret a binary string?
I guess the prospect of outside meddling will seem sufficiently unlikely that juries will not view it as much of a hindrance. After all, even with a chain of custody, there are innumerable opportunities for evidence to be planted. You just have to get one or two people who are willing to lie about things. In the US, the standard is "reasonable doubt," and the faint chance that evidence is tampered with during this unlock process will not likely trip the "reasonable" part of that standard, even if it does add some non-zero amount of doubt.
> Engineering claims an explicit responsibility to public safety and reliability, even if it doesn’t always deliver

I think this is really funny, because I worked with actual engineers on multiple projects. The 'real programmers', or however you want to call them, had to clean up their mess and introduce proper standards and processes. I also worked with some good engineers, so I'm not claiming they are all that bad. But stuff that I saw from real engineers:

- Express distance in some unknown number (we called it 'werners' because that guy was called Werner). We introduced mm.

- Instead of copy pasting parts of previous projects (going on for about 20 projects), we made a reusable library.

- Disabled/circumvented safety system on a robot. We were all amazed.

- Release things untested to end users. We tried to convince them to hire a tester, didn't work. So we tested our own stuff a bit better, but never officially got time for that.

So please leave the snarky comments that 'real engineers' are somehow better than us mortal coders. Any decent coder who worked with real engineers can tell you that the difference is not really there.

It's not the people or processes or whatever. Writing software cannot really be compared to anything else.
Perhaps Apple employees get tired of not being able to talk about what they do at work in social settings. Leaking provides an outlet so that their friends and family might have an idea of what they're up to. It's still sort of an ego thing, but having to hold your tongue at parties can get really exhausting.
Yes, but their use is relegated to specific purposes.

With business applications in particular, which often are mostly about entering, analysing and moving around data, native apps don't really make sense anymore.

The web is by far the superior platform (among other aspects) when it comes to relatively easy and scalable software delivery and maintenance.
I have a project that kinda acts as music assistant:
"Search and play any song from terminal"

The project is somewhat inactive right now due to personal priorities.
http://github.com/NISH1001/playx
> mps-youtube

Funny that state[0] on PyPi[1] is [downloads|no longer available]

[0] https://img.shields.io/pypi/dm/mps-youtube.svg

[1] https://pypi.python.org/pypi/mps-youtube
RatSLAM: Using Models of Rodent Hippocampus for Robot Navigation (2012)
This comment contains an important key distinction between different usages of "=" that are often casually intermixed in such discussions: There is a major difference in how we quantify the logical variables that occur in formulas.

For example, if we consider the atomic formula x = 5+y, then we may mean the identity ∀x∀y (x = 5+y), where all variables are universally quantified.

Or we may mean ∃x∃y (x = 5+y), where the variables are existentially quantified. To determine whether this holds, we can search for a solution given by a substitution that makes the terms equal modulo some theory E we associate with =. If E is empty, then this corresponds to syntactic unification.

Confusingly, in the literature, sometimes "equation" is used for both, and an entire subthread in this discussion is due to this issue.

When one is asked to "solve for x" etc., then one answers whether there is any solution, thus solving the existentially quantified version. When one means "this identity holds", then one states the universally quantified sentence.
It did when it was still called PC-BSD. I don't think it has changed.
Efficient service communication with gRPC (Talk)
Bison and lex use #line to make generated C/C++ code (lexer, parser) debuggable, or at least their GNU implementation does, I don't know about other implementations.
We don't know how the neural networks in our brains work at anything like the level of detail required to draw the conclusion you're suggesting. What I want is obviously irrelevant.
This made me think of the story about SnappyCam, whose author handcrafted a JPEG encoder in Arm NEON assembly to enable iPhones to capture still images at 20fps on the iPhone5 (before burst mode was a thing in iOS), and was subsequently acqui-hired by Apple:

https://www.theguardian.com/technology/2014/jan/06/apple-buy...

https://newatlas.com/snappycam-iphone-app/28558/
The underlaying question in this law is about estimating the monetary value of a piece of information and creating a market for selling information. As an example, here in Spain the master of Madrid Community's mayor has been deeply investigated, here that information has strong political implications, and produces monetary value for some political parties. A law can't be easily applied to Giants and ants, to huge actors and to individual bloggers, the model can't scale appropiately. So I would suggest just to impose a tax to huge actors and forget about creating a law that ranges from bloggers to google or twitter, those entities can't be measured with the same rule.

Googling about how to quantify in dollar the value of journalism, I found

1)http://mediashift.org/2016/10/much-investigative-journalism-...
2) The limits of quantification:
https://scholarship.law.berkeley.edu/cgi/viewcontent.cgi?ref...

3)https://www.amazon.com/Democracys-Detectives-Economics-Inves...
"Oh, you're a theoretical physicist? I find theoretical physics is just thinking. Think hard, and repeat!"

There's more to both the study of systems and the mindset than "think". Knowledge of a subject is knowledge of differences and distinctions- reductionism doesn't mean you know something, often quite the opposite.

It took many of us a long time to better think about complex systems, especially those systems we grew up as a part of. There are a number of useful mental patterns that have helped me in my limited journey (eg OODA, feedback mechanisms from cybernetics) and it's not clear to me I'd have recognized the concepts were valuable enough to name on my own.
I really like the minimal design.

One thing: when I am in the video view, I'd like <body> margin to be 0 so that there is no awkward white space around the video.
To compare that, I need to run benchmarks on their lib. Our original measurements were in Mb/s, and not the time per testset.

Adding to that, our fpga boards are also programmed to do very high quality Lanzo scaling with gamma correction and a sharpening algo by default. Compression settings are on the quality side
Bullshit. The "garbage on the curb" situation is due to the fact a court ruled that once you dispose of garbage "in a public place", there is no reasonable expectation of privacy. Destroying email is exactly the opposite - there is an extremely strong expectation of privacy.
there's actually (the beginning of) an interpreter in Go, for Go, that consummes wasm :)

https://github.com/go-interpreter/wagon
Show HN: Push More – Receive Webhook Requests in Telegram
Do 64-bit integers count? Because those aren't available in JavaScript (yet.)
Same here. HN has a bit of an outrage bandwagon issue, and this seems to be an instance of that. I have no doubt that counterfeiters are present on Amazon. What I doubt is the size of the problem as filtered through the echo chamber here.
The process is open for anyone to submit proposals so nothing stops wacky ideas to end up in rfc’s. That does not mean they have a realistic chance of being accepted.

Nothing wacky was even close to being accepted.

The weirdest proposal that made it into rust was auto deref and I think that’s a question of balance. I am on the side of the advantages outweigh the disavantages and rust without auto deref would not be a sane language but maybe some other patterns would have emerged.
Stallman aside, I think this is a very dubious list and in no way representative of internet builders. No Louis Pouzin. No Vint cerf. No Bob Kahn. No Bob Braden. Sorry.. this is a list of wannabe.

(Internet User since 1984)
> I was pretty sceptical after reading about somewhat "meh" results for deep learning applications a few weeks ago.

To begin with, nobody even bothered yet to make an optimised HDL design for this purposes.

This is unlike for all kinds of media transcoders which are the bread and butter of the SoC industry. An image transcoding asic you find in cellphone SoC these days can easily max the I/O ceiling, which means they can transcode faster than the SoC's memory interface can work.
We switched from Slack to Telegram a few months ago for our team communication at BetaList. Some of our website notifications (new signups, certain errors, etc) still were sent to Slack though through a variety of integrations.

I made a simple service that accepts webhook requests and posts them to Telegram. You can interface with the bot directly (@pushmorebot) or add it to a group to have notifications show up there.

You can use it in multiple groups and have different notifications for each.

One caveat right now is that that the webhook URL is visible to anyone in the group so be careful when using it in a public group. (If there's enough interest I'll add some privacy controls.)
I came here to post this too! A truly great episode, so wonderfully of it’s time and one of my all time favourites.
And how about cars that get regularly called back over various hardware faults?
FDA Bans Sale of Caffeine in Bulk Directly to Consumers
>> Also the author is confusing noexcept with nothrow

I'm left wondering if that was an experiment to see if anyone would notice. I don't wonder about his point; most working C++ programmers don't understand the difference either. "...yet another keyword nobody learns to use."
> At a recent personnel meeting, she homes in on grade-point averages and SAT scores to narrow a list of candidates, many having graduated from Ivy League schools, …One candidate got a C in macroeconomics. “That’s troubling to me,” Ms. Mayer says. “Good students are good at all things.”

No wonder Yahoo failed.
It’s also like looking at the iPhone in 2007 and saying Nokia can do x/y/z to keep the upstart out.

Fact is, mis-placed corporate focus and the sense of superiority kicks these companies off top spot.

Intel, as it stands this minute IS next.

They can’t price like ARM, they don’t have the scale that ARM devices have - those two things are what Intel usually relies on itself to dominate competitors (eg like AMD).

Add to this that Intel really is focussed on growing its business outside of chips and continually dropping the ball on the chip side (how late is CoffeeLake? Can anyone understand their marketing kefudgery with the generational mixture of chips?) and it’s an absolute recipe for corporate implosion.
To prevent possible confusion, I should first note that there are several different ways users may find news articles via Google: in search results, suggested articles in mobile Chrome, articles in your Google feed (formerly Google Now), the Google Play Newsstand app (which unlike the others supports paid subscriptions), and probably others I'm forgetting.

In this case the subject is Google News: https://news.google.com

Personally, I use Google News because it's better at finding news I want to read than other aggregators (including other feeds from Google itself, at least for a while). The options to customize the topics I'm interested in and to block/prefer certain news sources are tremendously useful, while at same time it also brings up news from sources I haven't heard of before so I'm not limited to a handpicked selection.

Google News is also good for browsing articles from many different sources about a single news story. Most news cards show at least two, and you can expand the card and click "view full coverage" to bring up all the related articles. Makes it easy to peruse all the coverage.
And in Germany & the Netherlands as well
I think a more charitable read is that Vorner is urging caution. Ergonomic changes are the "most prominent language work in the pipeline"[0] and there does seem to be a general consensus that Rust is harder to learn and should be made easier. The argument is that Rust should keep its priorities straight and not be seduced by ease of use to the detriment of the language's advantages.

But I agree that the danger remains hypothetical unless we can point to some dubious proposals that are gaining traction.

[0] https://blog.rust-lang.org/2018/03/12/roadmap.html#language-...
Top Five Safe Computing Tips You Should Remember Always
You can filter out the Daily Mail in Google News, too. Scroll down to "See news from your favorite sources" for how to block/prefer certain sources: https://support.google.com/news/answer/1146405
"The right to be forgotten is meant to apply to information that is no longer relevant but disproportionately impacts a person," said Jim Killock, executive director.

"The Court will have to balance the public's right to access the historical record, the precise impacts on the person, and the public interest."

I feel like every single comment on here has missed the point. This isn't about removing relevant information, it's about removing information that disproportionately affects an individual and is of no public interest. For example, if someone famous puts a gerbil up their bottom and gets sentenced for animal cruelty, and that gets widely publicised, it might be true but it affects that person extremely negatively at no cost or benefit to the rest of society. This is the case here: a man served his time and the court ruled that his case was not sufficiently relevant for the public interest to still be publically accessible - he cannot be descriminated against because of his past action. In developed countries this would never happen when the case is relevant for that person or society, for example a high ranking corruption case or if the person becomes a convicted paedophile.
I'm not sure what point Bret is trying to make here. Of course interactive explanation can be powerful. As a complement to the actual paper, this can be very valuable, similar to how the HTML version of a paper is useful in many contexts.

But every scientific paper ever published will be around until the end of humanity, whereas this interactive web page will surely disappear within a decade or two. The scientific paper - a self-contained entity that can be moved around, printed out, archived, searched and annotated - is an incredibly powerful entity.
It is borderline criminal. If they were not such a large organisation they would be charged with facilitation. They are knowingly allowing the sale of counterfeit goods.
You go down to a street corner and sell knock-off Prada bags and you will be arrested. You let someone sell counterfeit goods from your store and you are an accessory.
This will only change when Amazon are held accountable.
Wow, this subthread is getting out of hand...

My assertion is in context of education. If you're going to use a tablet as an electronic version of paper books, then paper books are better, because:

- they're much faster to skim through and search through

- print has better resolution than screen

- you can actually make notes on them - I mean free-form notes, made in an efficient way

- you can pull out multiple books and compare them

- they're much nicer on your eyes

Note again, I'm talking about education. That's different from recreational reading of fiction, and more akin to reading technical books - you need the ability to skim, skip, quickly move around and cross-reference stuff separated from each other by many pages.

Now tablets could be better if electronic textbooks actually exploited the medium they're using - the way Bret Victor has been talking about for ages now. See e.g. http://worrydream.com/KillMath/ or http://worrydream.com/ScientificCommunicationAsSequentialArt... (just got on HN frontpage, https://news.ycombinator.com/item?id=16836530). However, I'm yet to see that happening in the wild.

Ultimately, my point isn't that tablets are bad. Hell, I'm happy user of such devices, and they definitely help me read on the go (they beat Kindle for technical books, due to color and better workflow with PDFs). My point is that tablets get dumped on schools and are used to view textbooks, which is something at which they're worse than regular textbooks. Both teachers and publishers have little clue on how to use these devices to their full potential, and there doesn't even seem to be a movement to help them get that clue.
Now I haven't programmed enough rust to know if there's a real problem here, but I worry about things like NLL. It means that the borrower checker accepts more programs which is good, but it also means that the model you need to have of its behaviour to correctly predict how it acts is a bit more complex. There's a trade off there.
Google and the confusing umbrella phoeniecisms
Well, subresource integrity was not a thing before.
Ask HN: Experience with Azure Cosmos DB?
I'm diving in to Azure Cosmos DB. Do you have any experience to report?
Your initial question (is this really a problem) is completely unrelated to the rest of your post. It doesn't matter if third party sellers are important to Amazon. Nobody cares but Amazon. If 3P are important, they have to do the work to make their marketplace viable.

The problem is that they comingle authentic products from brands with fakes from 3ps. You never know which it is you are buying.

Comingling increases sales on their platform, but encourages fraud. They need to stop comingling but won't until they are shut down by regulators because it decreases their turnover.
You're not skeptical - you don't get it. Amazon is complicit in fraud. They sell fakes as the real stuff and that is why sales have increased.
AIUI, this could be checked at compile time, but you could be calling a function that was brought in at link time so what's the point?
>they don’t have the scale that ARM devices have

It is the other way around when you are talking about Server market. The Scale of ARM devices in IoT or even Samrtphone has near zero advantage on Server. ( The instruction set, x86-64 / ARMv8 matters very little )
Consumer products vs professional products. Time the user is willing to invest in learning your interface. USS Enterprise was designer for people who would learn it for several years in star fleet academy. Airbnb is designed to become more clear and obvious than booking.com in two first minutes the user sees it.

The same user that might be routinely using software like Emacs or Ableton Live or Final Cut Pro or 3ds max studio or AutoCad in his professional life.
> Koreans think all Bulgarians drink yogurt every

I'm not sure about ethnic Bulgarians but ethnic Turks in Bulgaria consume yoğurt every day. There is always yoğurt in their kitchen.
Ask HN: Small sample size user testing fallacy
I had a debate with a colleague of mine about testing some Web UI code.

My friend's argument goes like this: If we cannot test our code with big enough representative sample of Android phones, then let's just release the code and collect usage statistics from real users without user testing it at all.

Basically since testing our code with few phones does not prove that our code will work on 99% of the devices so it is as good as not testing it at all.

I think there must be a logical fallacy in this argument, what is it?

I can think of a counter argument that goes: let's assume we get 99% confidence that our code runs on every phone by testing it with 30 devices:

(1/x)^30 = 1 - 99% then x = 1.166

confidence(N) = 1 - (1/1.166)^N

Now with N = 5, I am already more than 50% confident that the code works on every device. But then the question is where does my assumption of confidence(30) = 99% come from in the first place.
Also books exist in few states, of which only one is useful: well preserved, wet, burnt, torn apart. That’s how entropy works folks! One advantage of books is that the information density is lower so the loss of one specimen isn’t that significant, unless it’s unique
It doesn’t really matter much to the point, does it?

Personally, I’d be interested if someone leaked the CIA’s research into online trolls. Something tells me you wouldn’t consider that person a saint ;)
Will they take the product down if you can prove it's stolen..?
Requiring the publication to make the change is more feasible. In a hypothetical defamation situation the courts in the US have made this costly to do. In a conviction scenario Google search results can prevent people from being employed. I had a relative of a friend which had a published DUI which made it difficult for him to seek employment years after the issue. Employers have the ability to find criminal convictions and decide whether or not to hire an individual. Almost everyone googles people prior to contact.