skysight-inc/HackerNews huggingface dataset:
I can think of a few non-porn applications for this.

It also seems like it wouldn't be a million miles from this to being able to generate the 3D armature of a person in a video, kind of like a kinect in reverse (i.e. video file goes in, character armature comes out). Does anyone know of anything doing this? I want to be able to do motion capture from flat videos with AI building the armature.
Well, in a few of his presentations, he talks about the difference between invention, which is what PARC did, and innovation, which is what companies like Apple do.
Who cares? In consumer devices, userspace is the entire system.
One point I’d like to add which a lot of people disagree with is that we should all focus on writing simple and easy to understand code. Enigineers shouldn’t worry too much about optimizing code unles there is a good reason to do so.

A lot of people don't disagree with this. It's the basis of one of the most-repeated programming adages ever, with its own 40+ year literature of talmudic interpretations, guided meditations and contrarian-yet-ultimately-supportive takes.
Not yet- we have to secure SEC approval before any of that can happen.
One of the problems with Tinder is its nebulous ethos. Is it a dating app or is it a hookup app? It seems to pretend that it's both without committing to either one, which muddies the water and I don't think that works terribly well.

Tinder is brilliant in that it focuses entirely on vanity, ego, and lust, far more so than any of its predecessors. Thus, it has taken a large portion of the dating market away from sites like OKCupid, which had virtually nobody on it in the LA area when I last used it nearly a year ago. Once upon a time, I was an overweight nerd with no money, yet I somehow got dates through OKC. Those days are long gone.

The only alternative I can recommend is real life. Nothing beats it, and it's the only way you can know you aren't wasting your time. Go to meetups and actually talk to people and figure out how to improve when you screw up. Being able to get to know people, even if they don't end up being dates, is pretty awesome. It means actually having to grow as a person, but I would bet on a higher success rate than with any dating app/website.

All dating apps I know of are a joke. Bumble is hilarious because it actually makes an existing problem worse and sells that as a solution; women don't want hundreds of messages from random penises, and they're very unlikely to initiate a conversation.(i don't blame them) Match, Chemistry, PoF, and all those old-school sites are borderline scams that charge a fortune. Match will send you daily emails telling you how many likes(is it "winks"? i can't remember now.) you're getting, but none of that seems to manifest on the site itself. It's the ol' bait and switch.
Joined HyperionDev[0] and helped them transition their business model and product to focus on Coding Bootcamps (Web Dev, Mobile Dev, Comp Sci) instead of short courses

[0] https://www.hyperiondev.com/
Yay, QWERTY! QWERTY is being used for legacy reasons ("because we've always had QWERTY"), because its the widely available standard (including on computers not owned by the user meaning users need to ask or configure other computers are swap back and forth between layouts), and because people don't want to relearn a new layout. The original reason why QWERTY was desired is due to typewriters getting stuck less quick because the movement wasn't efficient. That was intentional, a legacy from the 19th century!

Programmer Dvorak or Colemak are alternatives to QWERTY but they suffer from a lack of widespread adoption. Keyboard shortcuts might still be awkward, you're still going to meet a massive learning curve (less with Colemak though since it deviates only 6 key positions from QWERTY). See this post on SO for an in depth, anecdotal comparison between the 3 [2]. A new keyboard layout is going to suffer from these issues as well. Most of these are chicken-egg problems. But that doesn't mean it isn't better in the long run.

Without having used Keybee some things to keep in mind, apart from not being programmer/sysadmin friendly, are that some users use a smartphone with one hand whilst others use two. Another one seems that the screen is being used more than with QWERTY.

I've sticked to SwiftKey because it can support multiple dictionaries, and I like that there's a lot of themes available. However they got bought by Microsoft recently. I also got Hacker Keyboard installed, so if I'm using CLI (local via Termux or SSH) I can easily use common UNIX keybinds. So I'm certainly interested trying something better, even if there's a learning curve attached and even if its only going to be usable during touchscreen usage.

The keyboard you linked seems akin to what I had on a Nokia N900 / Nokia N950 or a Nokia Communicator. Its keys are small, it adds weight/space or takes time to pull in/out. Plus, you're stuck to a Motorola Z (Motorola doesn't give software updates for long). Take for example the iPad Pro case which includes a keyboard. Its not a bad keyboard given its size but even that layout isn't standard given the key spaces are different (small shift for example!). Both very much not ideal IMO. Another thing one can consider is a Bluetooth keyboard for situations where one ends up having to type a lot, or short, quick bursts such as during keynote taking f.e. student during seminar. I'd say that is a very viable use case. Disadvantage is these use batteries which get eventually depleted and cannot be recharged. Plus the insecurities of Bluetooth being wireless & sniffable.

Also important in these comparisons is how people use their keyboards (touchscreen and physical). Which exact layout version do they use? Do they swipe on their touchscreen? How long have they used layout X or Y? For example, I never really got into swiping even though it has been available for a decade. And finally, there's voice dictation which has taken some ground past years.

[1] https://computer.howstuffworks.com/question458.htm

[2] https://stackoverflow.com/questions/23078626/are-alternative...
Exactly my thoughts, too. As other commenters have pointed out, we no longer trust photos as a source-of-truth, and need video instead. Maybe 'verified' live streams are going to be the next trustful source...
Focused mostly on my programming tutorial Youtube channel (https://www.youtube.com/user/iamdavidwparker). Started the year ~500 subscribers and ended around ~1200.
>But automation could verify this.

Yes, that's what I was arguing.

>Except that lots of business logic errors, resource handling errors, and mathematical errors still exist in modern code at all levels. And you're also assuming the "cost" is "stupidly high" which people in this thread are telling you is false.

My experience with formal proofs is it imposes a high cost. I don't think that there are people in this thread who believe that you can impose formal proofs on a system without incurring a significant cognitive overhead (and possibly other costs too). If they exist, they are simply wrong.

>I'm not sure why you think using a computer to write proofs about your software somehow magically excludes integration tests.

I'm not saying that it does. I'm saying that the kinds of bugs unveiled by formal methods are, in most applications, rare and obscure and the bugs unveiled by integration tests are, in most applications, common and important.

When I have limited resources (everybody has limited resources), I tend to take the approach that has the best ROI in finding bugs. For most applications, that isn't formal proofs.

>Cool, except that the module integrating these, if validated, would have caught this.

You still aren't getting it. The module was built upon faulty presumptions. Peter Norvig himself said that no language, no matter how type strict, would have enforced this convention.

>The irony here: BDD is a less formal but similar technique to writing proofs.

I'm sorry, but writing user stories on the back of a napkin (yes, that's BDD too) isn't a similar technique to formal proofs in any way, shape or form.

BDD is simply a means of communicating example driven specs that may or may not be turned into executable user stories.

Automated tests (a common side effect of BDD) are not really similar to proofs either.

>What is the difference between checking if a program properly closes a socket or if a sorting algorithm works?

The likelihood of bugs in the definition are significantly higher the less abstract your code gets. To wit: maybe your presumption that the socket needs to be closed is wrong.

>Why don't you want to make it easier to write better modules, and make it easier to verify the integration of modules?

I absolutely do, that's why I use the right tool for the job.
This year we launched a new service [1] unlimited UI design for startups. What started as an experiment, completely shifted our business and became the core of what we do. Wrote about it on reddit [2]

[1] http://fairpixels.pro

[2] https://www.reddit.com/r/Entrepreneur/comments/6wz5d5/10kmrr....
> The fact that white men hold power shouldn't be worrying.

We've got a few thousand years of racist history that shows us just how worried we should be about mostly white men holding power vs representative populations of those leadership groups.

> What we should worry about is this fact being used as an excuse for anti-white racism and anti-male sexism, which is exactly what is happening.

This is where you lost me. Do you have any proof that this is taking place and at which rate? At which point is the discomfort of white males OK for society given the vast injustices and imbalances created to make white males more comfortable at everyone else's expense?
I don’t disagree (except that it was a one-comment thread, now it’s a two-comment thread).
I really wanted to love Elementary. But the UI lag and general clunkiness compared to OSX is just too much for me. I think the world can only benefit from new operating systems completely free of Linux influence.
There were a few other things going on, but mostly I've taken xi editor forward. It's still almost at the point where you'd want to use it for your daily work, but not there just yet. In the last two months, I've had a strong focus on performance, and now it's paying off. A few PR's are still in flight, and there's a write-up than needs to be done, but it's now scrolling smoothly on my 165 Hz gaming monitor (2560x1440 resolution, integrated graphics at that). I'm excited about the progress and feel that it will become a really usable tool fairly soon.
Yes, although companies can dual list too
Statistics.... No, absolute ground truth is impossible for this problem. There has been some research that estimated the percentage of fake / spam reviews at 2 - 6% but that was from a few years ago. I'm sure the percentage has increased greatly since then [great, another dissertation... My MSc dissertation was on this topic]

Text-only based features are not fabulous, just useful (like 75% correct, using a dataset where ground truth is known). So there is / can be linguistic differences in the writing that indicate the writer is not 'truthful'. Sentiment analysis however, by itself, is abysmal - and the behavior of spammers has changed over the years so they are more knowledgeable how to craft reviews.

But other signals, like relationships to other reviewers, IP addresses, submission time of review... they have been shown to be more accurate - but not in the 90+%. Establishing who is in a spamming group seems to be reliable though, so once that is known, you can more confidently label their reviews as spam [but not 100%, of course, to be fair and objective]

I guess Fakespot takes a stab at estimating correctness and hopes the false negative rate is acceptably low. Yelp OTOH cranks things up so the false positive rate is high....
Not bootstrapped, but am a year in having raised seed funding in May. Would still love to connect. Email is in my profile.
It's open to the public‽ Seems like a bad idea to let a potential spy in there to set up a camera and de-randomize this source of random info. Also, the headline on HN declares it a fact that the lava lamps are assisting in the encryption, but the article is careful to say "maybe", "might", etc.

This seems wildly insecure and much more likely to represent a weak link than to actually aid in randomness.
A very easy assembly game to start with if you find assembly intimidating is Box256:

http://box-256.com

It has a very limited/basic instruction set do it's easy to get going and WebGL based so it runs in your browser.

Technically it probably isn't Assembly as it's such a minimal instruction set with no real target architecture etc. but I find it really fun to play!
Bettering my sleeping habits, sharpening my modern C++ skills, starting a blog, and analyzing high energy physics collisions.
Hmmmm. Fast code for my particular application, in my area of specialization. But not actually very helpful for 99.9% of applications that are actually deployed, which dont really suffer from the type of problem here, and far higher level optimisation would have greater benefit...

E.g. prefer final fields; don't share between threads unless you need to; there is little point micro-optimising a poor algorithm; don't do the same work repeatedly...

Having said that, in a specialised context, very interesting....
There goes my afternoon.
Published The Tao of tmux: https://leanpub.com/the-tao-of-tmux/read. Thanks to the HN readers who bought the book!

Created new design for all my open source projects: https://www.git-pull.com (see sidebar at left, e.g. https://libtmux.git-pull.com)

Rebooted CJK (Chinese, Japanese, Korean) language project, cihai: https://cihai.git-pull.com (see also: https://unihan-etl.git-pull.com). Needs funding.

New docutils based website started, https://devel.tech. Example: https://devel.tech/features/django-vs-flask/

I catalog open source contributions I make while working on the website at https://devel.tech/site/open-source

Updates to https://www.hskflashcards.com. Switching from Bootstrap 4 to Bulma
There's a good Tom Scott video on this too. Like most of his stuff, it's well worth the watch.

https://youtu.be/1cUUfMeOijg
I've seen this argument before, and it annoys me. In particular, to satisfy the second property, there is no need for a multiplication - simply assert the property. This yields the Mean Absolute Deviation error function, or E_1 in the article.

To get variance, you need to be chiefly concerned with distributions that have a variance in the first place - and then the additional information contained in that statistic has an amount of descriptive power over that of the median.
Previous discussions:

https://news.ycombinator.com/item?id=15048655

https://news.ycombinator.com/item?id=15114275
Military and Political Trends of 2017 that will Shape 2018
Do you have any scientific links which states having occasional UV exposure to your eyes is a good thing?
Helping the Poor by Making It Easier for Them to Migrate
It can't do a lot. The language 'specification' is just a buch of lined paper sheets. What I want my language to do, is a layer between the core of a C++ program, and the user-customizable side.

I'm using it to call a zoom function in my skeleton image program.

void toysanta() {
toy	*nbzoom = nullptr;
nbzoom = isVerb(L"setzoomlevel");
if(nbzoom) {
if(nbzoom->hasClaus && nbzoom->sled == toy::integer) {
bool	k = false;
POINT	pt = {0,0};
toy *xt = getToy(L"x");
toy *yt = getToy(L"y");
if(xt && yt && xt->canNumber() && yt->canNumber()) {
pt.x = xt->getInteger();
pt.y = yt->getInteger();
k = true;
}
setzoomlevel(nbzoom->claus.integer, k, pt);
}
}
}

The toysanta() member function is from the VerbCommand class. From the zoom widget, there's

void ZoomWidget::sendzoom_to_target(bool k, POINT pt) {
if(target) {
std::wstring	cc = L"setzoomlevel ";
int	zoom = realZ;//(zPos-32)/3;
cc += std::to_wstring(zoom);
if(k) {
cc += L" x " + std::to_wstring(pt.x);
cc += L" y " + std::to_wstring(pt.y);
}
target->receive(&cc);
}
}

The receive() member function calls the toysanta() function from the target.

What I plan, is for it to just be perfect, to be honest. I hope it may help others create better software one day.
Worked on Safepay, (Venmo for Pakistan). Got the iOS app built and integrated it with Cybersource for visa/MasterCard transactions, and all the banks in Pakistan for bank-to-bank transfers. Currently working on the Android app. Great way to learn how money moves in traditional finance

https://getsafepay.com

https://itunes.apple.com/us/app/safepay-pakistan/id123442758...
This book is wonderful even apart from its interest in Long-Term thinking
Xtomp, github.com/teknopaul/xtomp

A STOMP broker written in C using nginx core without the HTTP or SMTP modules. 2017 and wrote more C than JavaScript.
Yes, and there are tons of research OSs. Most of them suffer from a lack of Hardware support. I'd be ready to switch to OpenBSD/Solaris/QNX/other fancy OS tomorrow if all my HW components were supported.

I doubt anything non-Linux based is ever becoming popular within the next 100 years. ;)
Q.

How much do people have to pay?

A.

If you’re employed, your employer pays 60 percent of your premium. The employee pays 30 percent, and the government subsidizes 10 percent. The government fully subsidizes the premiums for the poor and gives partial subsidies to veterans, the self-employed and farmers.

Q.

How much is the typical premium?

A.

The total insurance premium for employed workers is 4.6 percent of wages. That’s much lower than in the United States, where the average is between 12 and 20 percent of wages for those who are covered by their employers.
I guess we’ll see. Thanks for the kind words
My Zennis have lasted nearly a year, despite a protracted attempt by a toddler to yank them off my face, throw them across the room, or otherwise destroy them.

Even if they did fall apart after six months, it's more affordable to replace them than to buy new Ralph Lauren or whatever frames for $300 apiece.

(How about not letting your toddler run amok all over your face, Dad-of-the-Year? naysayers might criticize. And they might be right, but you can't win every battle.)
The step counts are completely inaccurate. I have the flu and haven't left the house all day. My Charge 2 HR tells me I've done 4,044 steps. Not likely.

What I've always wondered is if it is consistently inaccurate. I really don't care if it thinks I've done 4,044 steps today, when maybe I've done 200 if I'm lucky. However, when I do go and do 4,000 steps, does the cumulative total then show 8,044, or some other figure?
Started an initiative which will allow to tick "{machine, deep} learning, computer vision" checkbox in company's product feature-list.

Technically that means designing an FPGA-based vision system which interfaces with existing control system.
If you're getting to this level of optimization, you could just consider going native. Making a shared lib in Rust that uses JNI and does everything you could do in Java is really really easy.
Theres an algorithm on Tinder? I thought it simply connected people who mutually approved of/liked each other. What more is there?
>What adherents share is a wariness of tap water, particularly the fluoride added to it

At the same time most 'natural ground water' in the west coast has naturally higher fluoride content than what is considered safe. Municipalities remove fluoride, they don't add it.

https://en.wikipedia.org/wiki/Water_fluoridation#/media/File...
Our goal is not to reduce trading
There was a short tale (or maybe it was and interview, cannot remember) where Isaac Asimov retold where - student in chemistry - was given as homework/laboratory set of experiments and the chore to plot them together with a tendency line.

After n tries (as the data from the experiments were spread semi-randomly) he drew a line roughly in the middle of the diagram and called the whole thing a "shotgun diagram" (or something similar).

When he got back to class, he was surprised by the results of his mates, that more or less led to a neat line.

Then the Professor gave him the maximum vote, as the experiment was intentionally leading to "senseless" results, and he was the only one in the class to have actually honestly reported the results, while all the ohers had evidently faked or invented them.

This is on a similar note:

http://pages.cs.wisc.edu/~kovar/hall.html
> you don’t necessarily have to worry about massive surges in traffic. The underlying system will automatically handle things such as load-balancing and the provisioning of appropriate infrastructure in order to meet any massive surges in traffic.

This is wrong. Most cloud providers, AWS included, will _require_ a heads up for even small surges. There are also caps on capacity; in fact, you need to contact them to lift said caps.

It's solving the market of oversaturated shared-VPS that run Node, Python, or Go? Call when you have PHP.
Ran my first 2 ultras.

Also boring enterprise work.
My little side project is News Uniter [1], and it's an attempt to break out of your news media-consuming bubble and help read different news sources.

The most recent update shows the home page of each news site side by side, so you can see what media outlets focus on different headlines. It's interesting to see what is considered "important news" at various places - it can sometimes help better reveal media biases, and, I think, can help people with other political leanings understand those biases more.

At least one friend could not believe another friend of mine when he claimed that Fox News did not have a particular very important headline at the top of their page. This app could help show, "Here's what each news site thinks is important, and how it may be different from what you think it might be."

[1] https://itunes.apple.com/us/app/news-uniter/id1182818371?mt=...
I think what they were getting at is that instead of the community developing one really great desktop environment they have divided themselves and ended up developing two desktop environments that are merely OK.
Yes.

I'm using dating apps for over 10 years now. Dated 3 women via them.

In "real life" I found 12 in that time.

But I still do it, every few years I get some nice surprises :)
"Principal Software Engineer, Fitbit, Inc."

Common practice here is to disclose that when making comments...
> If you want to drink healthful water: use a multi-stage filter

You mean "pure" water. A filter like that removes the good with the bad so we don't know if the end result is actually "healthful" or simply "clean".

http://www.who.int/water_sanitation_health/dwq/nutrientschap...
Isn't that basically Android?
Jobs which machines can do instead of people are by definition jobs which are beneath people.

"Making capital more productive" is in your frame of reference neutral, not bad. And no, it doesn't "shift power from worker to capital" unless you actually think anybody wants the kind of job which is so tiresome it can be done with a machine instead. Don't confuse hard work for wages with job satisfaction -- you'd be doing one of those jobs yourself if you thought them as noble as this.
More details on how it is implemented here: https://blog.cloudflare.com/lavarand-in-production-the-nitty...
If you increase the supply of fast food you increase competition which lowers prices so people will consume more. The economy is obviously driven by a balance between supply and demand, with prices being the mediator.
If we look at the likes of Unity3D, nothing was perfect straight off the bat, and I feel like the same can be said of Serverless architectures.

The people offering serverless are no doubt aware of the difficulties and I wouldn't be surprised if they said they were developing something that would make this easier.

Cold starts are a valid issue though and I feel that the effects of this can be minimized with the use of fast compiled languages such as Go.

Lock-in is also a worry for most, as we progress we need to ensure that we are able to write serverless code in such a manner that they can easily be transported across to other serverless providers.