skysight-inc/HackerNews huggingface dataset:
If we get people angry about such things, can imagine that big projects fail because of opinions.
A graph(ical) approach towards Bounded Contexts
Edinburgh had residential buildings up to 14 or 15 stories in the 17th century - land inside the city wall was very limited and building outside the wall was unpopular due to the threat from England.

https://en.wikipedia.org/wiki/History_of_Edinburgh#Union_of_...
I'm so glad that this discussion is held in literally every forum I frequent that mentions bitcoin. I never tire of it. /s
Only if you are that exceedingly queer kind of programmer who thinks that which is not within reach of Coq can never be truth.

I am a programmer, but I like C better, and assert(A && !A) looks like a monster to me.
However- I did also learn that it's easy to hire professional movers to just help you load a u-haul for a couple if that's what you want. Working with those companies and app-izing that labor is something that should be possible.

It is: https://www.uship.com/

(There's even a reality show around it, that's how I know about it)
And what about the other boys who know a thing or two about deep learning? I don't see any of these people submitting MNIST to NIPS in 2017: Yousha Bengio, Yann LeCun, Ian Goodfellow, Andrew Ng, Ross Girshick, Andrej Karpathy, Pedro Domingos, and the whole DeepMind crew.

So yes, submitting experiments on MNIST in 2017 should not be taken seriously.
Netflix cancels 'House of Cards' after six-season run
Real men writer their own RSS readers
I wonder what about industrial use? Wouldn't USG be useful e.g. as a cheaper alternative to x-rays in searching for hidden structural damages in materials?
Performance of Map vs. Starmap
Morte: an intermediate language for super-optimizing functional programs (2014)
How to Extract WhatsApp Data from iPhone
Are there any frameworks yet supporting the advertised 120 TFLOPs mixed precision training?
No, not idempotent operations; safe operations. When speaking of HTTP methods, PUT and DELETE are both idempotent but not safe; you wouldn’t the user agent to DELETE a resource based on merely a hint—it needs to wait until the actual response comes in, at which point it can confirm whether the header is there and to be acted upon.

See https://tools.ietf.org/html/rfc7231#section-4.2 for the definitions.

(Keep in mind with 103’s semantics that we’re not talking about HTTP methods, we’re merely borrowing its definition of “safe”. Speculative JavaScript execution, for example, is perfectly feasible; you’d simply have to pause execution as soon as it tried to mutate its environment or make HTTP requests or things like that. How useful it is is another question.)
Let’s talk about Selenium competitors for UI regression testing
This, to me, seems like a strange way of thinking. They're not 'wasting people's time,' they're making a request of them in exchange for a service.

Instead of turning them away entirely as a full paywall may have, they got some information or at least amusement out of them, and the user still gets their service.

Users benefit either way; the question is whether they have to pay in exchange for it or answer a question in exchange for it. The latter may seem wasteful to you, but clearly it didn't to the owners of that website.
The post where FriendFeed invented the like button
The company I worked for previously paid decent (but not extravagant) salaries, and profits in the order of the low dozens of thousands annually. Meanwhile, our job consisted of outbidding and replacing SAP and Oracle solutions costing $$$$.

Paying $10 to an SMB owner instead of $100 to Bill Gates et all reduces inequality, it doesn't increase it.
A team that can execute is worth something too. The original comment stated (correctly in my opinion) that you want the person with vision to be in charge. But a domain expert with vision may or may not be able to execute against that vision effectively. If they are for real they'll have started, even if it just a manual process or horrible looking MVP. But if this team got together with someone with vision (and were able to check their egos at the door, not a small ask) they could really execute against that vision and bring a great product to market.
Yes. countering it with another anecdote doesn't really help though.
How Do You Like Your Burger Emoji?
I like the name, it means "Pictures" in Swedish. Is that intended?
I do not see a discussion in the paper regarding computational efficiency of RCN detection. The only hint about performance that I found is at the end of supplementary material where the authors state:

> Use of appearance during the forward pass: Surface appearance is now only used after the backward pass. This means that appearance information (including textures) is not being used during the forward pass to improve detection (whereas CNNs do). Propagating appearance bottom-up is a requisite for high performance on appearance-rich images.

I presume from this that in the current form RCN requires much more computations than CNN per detection, but I could be wrong.
Creating a C++/CLI Wrapper
Try the local chamber of commerce or any non technical forum or Facebook group.
Freud is dead. Dead and gone. We moved on. Really, i know he founded the field and made for a nice soap opera gossip generator when discussing other peoples problems sources (generating alot of unnecessary drama, to people who already had drama, like having the genes for schizophrenia in the family)- so please could we stop mentioning him, when discussing modern neurology.

Its like a tribe on a pacific island had discovered boolean algebra first, and every time somebody tried to discuss comp science ever after - out of nowhere someone yells "This calls for a ritual, sacrifice the chicken, you cant discuss booleans, without being ridden by baron samedi."
Www.guidemehealth.com/alpha-burst-no2/
whatever reason some of you think it's going to happen in like fear it's going to take about a year some people Hicks years of weight training to build up their faceless muscle and it also depends on your past so what society's been doing in the past if you're an athlete muscle memory all those sort of things genetics everyone shows muscle differently at some will show that ABS really really easily like all those genetics don't compare yourself to anyone else don't compare yourself to the people on Instagram or YouTube you need to focus on your journey if you follow these steps and potentially get the help from someone as well and you can reach your goal I personally could have helped as well either personal .

http://www.guidemehealth.com/alpha-burst-no2/
That looks like a fantastic app to be working on.

Also, a great job with the demo video explaining what it is.

The only feedback I could give for now is that the "Free" plan should include some extra feature from the paid plans (e.g. User Authentication, Custom Domains, etc.) as it seems way to basic and the first paid plan is quite expensive.

I may sound like a cheapskate but you'll pull in the right crowd if you tax other metrics like traffic/bandwidth/cpu/ram/etc.
Function boundaries, arguments and data types will get you a long way in my experience. Sure there are times when you need to look at local variables in the middle of a function etc, but half of those times DWARF won't have the register information anyway. Remember the use-case here is production, your code will be optimized.

So you'll still end up disassembling the thing to figure out which register to look at. And you might as well do that on the unstripped binary on your development box. For embedded targets at least, that's a small price to pay for a size reduction of that magnitude.
The real origins of the Agile Manifesto
Why doesn't the installation prompt you to set up a password? Firing up a server with a default password has been a really bad choice for over a decade...
I'd guess it'd eat $0.50 of a $1.00 transaction, maybe a bit less if you're lucky. That's bad, but it's workable if you have low operating costs - it certainly isn't a loss. Most people seem to think $5.00 is when credit transactions start making more sense.

Amusingly, Amazon charges me $0.14 every single month for my usage of Amazon S3. I wonder if they've got some sort of sick deal where they don't pay per-tx.
>And usually, you don't need to care if what you're calling is a macro or a procedure. Now you do.

You always do, because macros can change evaluation semantics and procedures cannot.
We've had connection pooling on the client side since forever, just like any other Rails project. This article specifically talks about server side pooling.
Some, yes. I'm doing a few though.
I think this project is about the coolest think I've encountered in a long time and thought some of you might like it as well. It's still very much alive!

https://github.com/Gabriel439/Haskell-Morte-Library

Also, the article mentions wanting to write a frontend for Morte. It seems the author made that happen:

https://github.com/Gabriel439/Haskell-Annah-Library
I think it depends on how you define "nation". I believe for many in the USA, "nation" is far more personal, and aligned with community, than merely the "nation state" presided by the federal government.
In Indonesia, e-commerce is growing, a lot of people trade items online, the problem with so many e-commerce platform is we have to insert our product to those platform one by one.

I wanted to implement something like Buffer, but for posting product on e-commerce platform. However, not all e-commerce platform in Indonesia provides API for you to do so.
Yes that's the one. Thanks
Skulpt: client side Python without preprocessing
> "Stable, prosperous" stands in for "democracy" in most discussions

"But 'glory' doesn't mean 'a nice knock-down argument'," Alice objected.

"When I use a word," Humpty Dumpty said, in rather a scornful tone, "it means just what I choose it to mean- neither more nor less."

I can see where you're coming from, and it's the view that has led the US to support undemocratic rightwing parties over democratic leftwing ones in a lot of places. Including some parts of the US.

> generally non-violent political competition

The US is a little strange on this one, in that armed revolution against the government seems to be something that people talk about all the time but never do.
That's why it is supremely important to read through the lines, and discern which trend will last long and which trend won't.
A refinement type is a type along with a predicate (a function that returns a boolean).

e.g. 'integer between 1 and 6 inclusive' is a refinement of integer to only the integers that satisfy the predicate 'x => 1 < x <= 6'
I resent your being down voted, by a audience running out of arguments.

If something that attacks your lifestyle or a dependency of it and you can not bring arguments forth, this does not give you the right to silence the debate.
Doctors only know what you tell them.
You'll never get "robot arms" or be a cyborg, why? Because there is no need for that.

Machines can already to most things you would want super strong arms for.
I took idempotent and safe to be functionally equivalent. i.e. that which causes no state-change on the server. Thanks for the correction. Effectively a "debounced" operation.
2 cases where Babel fixes your code but it shouldn't
Can someone explain to me why hijacking of the back button is even possible? It's obviously something that browsers could fix, and the fact they don't fix it means that there must be some legitimate uses. But what legit use?
I don't disagree with you concerning OP's claims, so I'm mostly on your side, but I don't see how you're helping by 1) frothing at the mouth at a point of view that, however wrong it may be, is very common, and 2) making an equally unbalanced claim of the opposite based on anecdata.

There's plenty of evidence that pot smoking can at the very least exacerbate problems, which strikes me as blindingly obvious when it comes to any substance that has mood altering effects as strong as weed, and I have just as much anecdata to support that view.

That said, I guess I can understand the frustration. I don't know where you live and what the status of weed is, but as a Dutch person I do realize that I don't (often) have to deal with the 'weed is evil' argument, and consequently it's easier for me to not get too upset about it.
Same stats, different graphs: manipulating datasets through simulated annealing
Tried them out yesterday and they give about 10% of my Internet speed on any server. So my 400 Mpbs connection slowed down to 40 Mbps, which is a pretty rough drop. And I haven't been able to find an OpenVPN connection that could handle more than that 40 Mbps.
Be sure to tell your doctor if you get an MRI
Have you any training or experience in demo skills? I worked in presales for several years. What I am describing is standard stuff for handling this type of situation. Downvotes for literally describing the way that you are taught on a demo training course to handle this exact type of situation, wow HN so smart.

Edit: also anyone demonstrating software that values their career should have backup screenshots and video. I would probably have gone straight to video at that point. Audience barely notice and it's generally only a salty few that will quibble about it not being live, and I expect a video would communicate the message perfectly well.
Cubical https://github.com/mortberg/cubicaltt is a proof of concept programming language based on constructive (cubical type theory https://arxiv.org/abs/1611.02108) interpretation of HoTT.

Agda also added recently support for cubical paths https://agda.readthedocs.io/en/latest/language/cubical.html .

I'm also waiting on Lean https://leanprover.github.io to introduce cubical type theory for HoTT. Version 2 of the language had HoTT based on the univalence axiom which was dropped in version 3. With cubical type theory the univalence axiom can be constructively proved and is no longer an axiom.
Ask HN: How do you manage and anticipate your personnal finance?
I am looking for a tool to manage my personal finances which is oriented on the previsional.

Indeed, for me, the purpose of following my operations is to know if I will be ok to finish the month and if the rest of the year will go well.
It also allows me to create budget "envelopes" (for trips, gifts, etc.) or to make simulations to refine my savings.

Every day, I use Bankin to track and classify all my expenses and incomes.

Then I add them to a personal Google spreadsheet (which contains one tab per month of the year) in which I add future operations.
So, I can see if I will be positive or negative at the end of the month and the rest of the year.

I do it every day and it's very time consuming.
The other problem is that to do my simulations, I have to duplicate the sheet for each case.
As I work on the previsionel, I do not have visualization of the real instant and, sometimes, some deltas appear (I will improve my sheet on that for 2018).

Do you track your personnal finance this way ? Do you have a tool for that ?
I almost missed the part about it being GUI because I rarely play youtube videos. I did not expect it being a GUI tool! Nice!

A small suggestion - maybe show a GIF with a few screens from the app instead of a video? So that when someone opens the repo he gets a little preview of whats inside?
Another solution is to leave javascript off by default and only whitelist.
> We like to think that we’re different from all those industries that judge people based on appearance, but we do the same thing, only instead of saying that people are a bad fit because they don’t wear ties, we say they’re a bad fit because they do, and instead of saying people aren’t smart enough because they don’t have the right pedigree… wait, that’s exactly the same.

This is a great quote and an interesting point. I don't know what it's like in the US but in the UK it's not unexpected to wear quite formal clothes to an interview, even if the position is at a very relaxed company.

I don't think I would judge someone for what they wore in an interview, but I fear I might if they continued to wear something overly formal at work.
I look forward to a day when it will be doable to mine bitcoins by using CSS!
Anyone on mobile?

Anyone who doesn't want a cryptocurrency miner in his browser?

Anyone security conscious?
No right to remain silent: Isolating Malicious Mixes [pdf]
Yeah but the numbers are far lower than OP suggested.
> it was supposed to be the wave of the future some years ago, but never went anywhere.

I remember when Peter Sunde's Flattr was around (circa 2010) and websites had flattr buttons (like those html/css buttons).

Edit: I just checked and apparently it still exists: https://flattr.com/
U.S. business group worries Trump unprepared for commercial talks with China
I also use spreadsheet. Once I got my salary, I make a plan for my expenses for the month. I always leave a buffer of 300 and transfer the remaining amount directly to my deposit account.
Once a week or biweekly, I review the plan to check if my remaining balance will cover all upcoming expenses. If not, I use my buffer.
If you have ever tried to do research you know how vital libraries are. Once you leave the University environment you lose a lot of access to fundamental results. Industry needs to keep up with the leading edge but is denied access.

Hopefully people will stop locking up research results under paid subscriptions, which would make a public library equal to University libraries. That would make them a place where new knowledge could build on prior work.

At the present time my local library is a book exchange program for read-once detective novels.
That said, the ability to read books without fee is important for people who cannot afford to spend a lot of money for entertainment.
one of the central points of the blog post was that the problem of CAPTCHAs / general artificial intelligence is NOT solved until letters like these are recognised:
https://www.vicarious.com/wp-content/uploads/2017/10/image20...

does your network solve/recognise those?
You haven't met Raymond Chen.

https://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-14...
Sick story, but it's nice he comes clean. (even forcibly)
IMF endorses Saudi plan for $500B business zone
Nope, I never saw a single ad. You open up the app, pick and article that looks interesting to you and you can start reading. When you click, you pay a small amount, the price for an article is always clearly displayed.
10 Halloween Horror Code Stories That Will Freak You Out
Also in the UK, and I would definitely not be surprised to see candidates show up with suits at places where that’s obviously not required. No one cares. “Pedigree” that’s another question.

I did show up in a tailored three-piece suit with a tie and pocket for my interview at Deliveroo (a notorious streetwear influencer now). There was an eyebrow justifiably raised (by a guy in a t-shirt who, I learned afterwards, was the CEO) and I felt the need to explain that I had another interview for a very different company just after. That other interview went horribly and I got the job at Deliveroo! I’d still recommend showing up wearing biking gear.
Thanks!

Our infrastructure is all on AWS and designed to scale horizontally, so we're pretty confident we can handle whatever traffic you throw at your app. (Ask about our dedicated-resource hosting plans!)

As for examples, it's a bit Catch-22. Our smaller customers, you haven't heard of; and our largest ones, we can't talk about in public. And a lot of it is internal/intranet stuff anyway.

One customer has kindly allowed us to talk a bit about their app - see https://news.ycombinator.com/item?id=15589020
Twitter Adaptive Icon
This is going to help a lot of people program! more app templates please
TensorFlow meets PyTorch with Eager execution
I did a lot of interviewing at my last job and I used to ask agencies to tell people they could come along to interviews dressed casually - which seemed fair as I'd be dressed fairly casually. To my surprise a number of recruiters insisted that the people they send along came in suits and ties.
Oh c'mon. I cannot endorse a cool product? They're from my home country, I like their product and I'd like to see people use these kind of services where authors actually get paid instead of through ads.
Engineer at Butterfly Network here, very excited to see interest on HN. As you can imagine, we are hiring, there are a lot of very interesting open opportunities
https://careers.smartrecruiters.com/4Catalyzer
Waymo Showcases Driverless Vans Without Humans Behind the Wheel
What happens to a Set-Cookie on a 103?

What happens to hints in a redirect chain?, i.e. 301 103 301 103 200

What headers are applicable to the 103 beyond Link? If a 103 included Refresh, could this be used like a timeout (redirect after Refresh time if actual request did not respond?)

This...

> A server MAY use a 103 (Early Hints) response to indicate only some of the header fields that are expected to be found in the final response.

... implies that all possible HTTP headers from the final response may be in the 103.

RFCs need less ambiguity, lest clients and servers start to fill in the gaps and have divergent behaviour.
Alphabet's Waymo Is Using a Castle in Its Bid to Become Self-Driving Car King
> and instead of saying people aren’t smart enough because they don’t have the right pedigree… wait, that’s exactly the same.

Does this still happen?
Taking a truly driverless ride in Waymo’s Chrysler Pacifica
Although due to the geology of the place you can "cheat" this by building up a hill, it's not quite the same as building a freestanding 15 storey building. There are several places I know round the Bridges that have street level entrances four floors apart.
This is true we still need to work on promoting our documentation and samples.

We are a small team working on it, and we try to constantly improve it.

I will provide you some links here if you can find them useful:

- File explorer using electron: https://github.com/fable-compiler/samples-electron#samples

- Pixi.js samples (quite new we are working on them): https://github.com/fable-compiler/samples-pixi/

- Elmish central website: https://fable-elmish.github.io/

- Bulma wrapper for Elmish: https://mangelmaxime.github.io/Fulma/

- A demo of Fulma + Elmish

- Live demo: https://mangelmaxime.github.io/fulma-demo/

- Source code: https://github.com/MangelMaxime/fulma-demo

And also, a really cool place is Fable awesome: https://github.com/kunjee17/awesome-fable
Silicon Valley's Capitol Hill Strategy: Fess Up
Git delta amplification
I just wanted to add to the arrays and seqs comment.

>Why do I need two very distinct types performing essentially the same function?

Arrays are very simple static blocks of memory and can be allocated on the stack, which is really fast, or at compile time. They can't ever be resized.

Sequences have overhead due to being pointers to pointers, however this means that they can be safely resized.

It sounds a bit like you're overwhelmed. Maybe the language needs a really paired down version of nim-by-example to explain these sort of things.
JavaScript apps. If you dynamically load content using js, the user will likely expect the back button to undo that change.
While the experience itself may resemble psychosis at times, lsd/mushrooms, when taken in a proper setting, will not turn you mentally unsound.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3747247/
"21,967 respondents (13.4% weighted) reported lifetime psychedelic use. There were no significant associations between lifetime use of any psychedelics, lifetime use of specific psychedelics (LSD, psilocybin, mescaline, peyote), or past year use of LSD and increased rate of any of the mental health outcomes. Rather, in several cases psychedelic use was associated with lower rate of mental health problems."

Now everyone agrees 16 yr olds shouldn't be abusing any psychoactive drugs while their brain is still developing, but don't ruin it for us adults, it is an important part of the human experience (though it isn't for everyone, since for psychedelics, expanding the way you view life is generally the end goal.)