skysight-inc/HackerNews huggingface dataset:
> But would Antifa really just pack up their masks and bats and go home ... ?

You know that "Antifa" has been around in various incarnations since 1930s, right? They have "packed up and gone home" many times over the past 80+ years as fascist/far-right movements have come and gone.

Also, I believe giving agency to the latest version of "Antifa" as some sort of cohesive, organized group is a mistake. I don't believe they have any sort of hierarchy or are particularly well organized, beyond doing a good job consistently showing up at recent far-right rallies.
It's not that a VC company failed, it's that the entire idea looks completely ridiculous from the start.
After contact by SEC, Protostarr Token shuts down post-ICO will refund investors
defined(a,i,j) and defined(a[j+1]) implies defined(a,i,j+1)

is a theorem. It looks like this in Boyer-Moore theory:

(PROVE-LEMMA arraytrue-extend-upward-rule (REWRITE)
(IMPLIES (AND (EQUAL (arraytrue A I J) T)
(EQUAL (alltrue (selecta A (ADD1 J))) T))
(EQUAL (arraytrue A I (ADD1 J)) T)))

Name the conjecture *1.

We will try to prove it by induction. There are three plausible

inductions. They merge into two likely candidate inductions. However, only
one is unflawed. We will induct according to the following scheme:

(AND (IMPLIES (LESSP J I) (p A I J))
(IMPLIES (AND (NOT (LESSP J I))
(p A (ADD1 I) J))
(p A I J))).

Linear arithmetic informs us that the measure (DIFFERENCE (ADD1 J) I)
decreases according to the well-founded relation LESSP in each induction step
of the scheme. The above induction scheme leads to three new formulas:

Case 3. (IMPLIES (AND (LESSP J I)
(ARRAYTRUE A I J)
(EQUAL (ALLTRUE (SELECTA A (ADD1 J)))
T))
(ARRAYTRUE A I (ADD1 J))),

which simplifies, rewriting with ARRAYTRUE-VOID-RULE and SUB1-ADD1, and
opening up ARRAYTRUE and LESSP, to the following eight new conjectures:

...

That finishes the proof of *1. Q.E.D.

"arraytrue" is defined recursively:

(DEFN arraytrue (A I J)
(IF (LESSP J I) T -- the null case is true
(AND (EQUAL (alltrue (selecta A I)) T) -- next element is true
(arraytrue A (ADD1 I) J))) -- and rest of array is alltrue

And yes, there's a machine proof that this terminates.
270x. 27000 pulses/second vs 100.
Kenya's Elections Declared Null and Void, New Election in 60 Days
KARAT
-REMOTE-FREELANCE-PART-TIME

Hiring top talent is a critical activity for all companies, yet the way organizations interview candidates is broken. Interviewing is a time consuming process that is rarely data-driven. Here at Karat, we see a massive opportunity to transform the interviewing experience for every candidate and company.
Karat is on a mission to assess the world's talent. We are the first dedicated marketplace for technical interviewers. Karat's network of seasoned engineers conduct the first rounds of technical interviews for elite engineering companies. Our robust platform saves teams thousands of valuable hours while allowing them to focus on the top performing candidates. Karat's unique approach recognizes that people are central to the hiring process and that they can be supercharged by leveraging machine learning and our rich database of the world's interviews.

We face incredible demand for our service and are delivering significant value to elite engineering companies like Interana, BuildZoom and Minted. We are funded by top VCs including Formation8 and Founder Collective, plus the founders of companies like Glassdoor, Mulesoft, Lookout, OPOWER, MediaLink and CAA. Karat is headquartered in the University District of Seattle, WA.

Flexible, high impact work that is compensated at highly competitive rates. As an Expert Interviewer, you will be compensated at highly competitive rates for your interviewing expertise. The time commitment is flexible---many of our interviews happen on nights and weekends. Some experts do 5 interviews/week while others do over 20 interviews/week. You can work from anywhere, anytime. You will sharpen your interviewing skills and transform the interviewing experience for every candidate and company.

Apply Here: https://jobs.lever.co/karat/d44ab283-c7c0-4bbd-b8c3-4dc0ced6...
If it's not a reference type, then the Option enum value is probably small relative to the rest of the data in the type.
What are some alternative sites that send you guests? I have used hotels.com sometimes (has dark patterns too, but fewer of them). I would definitely prefer using something that was more...sensible.

I would naïvely think that booking directly with hotels would be cheapest, but I have definitely seen deals on these aggregators that were unavailable on the same hotel's own site – which is the only reason I even think about using them.
Aside from unfortunate aesthetic, and puzzling practical issues (like no attempt to replicate TeX's math support), something about the overall tone of the docs and Cozens' web presence would discourage me from making an investment of time in one of his projects. YMMV.

Jeffrey Kingston's Lout was a more convincing experiment but it's sadly no longer adequate for complex or multilingual work, due to limitations in the 90s implementation.
That's not just an anecdote, and not just restricted to outside the US: http://www.pnas.org/content/112/17/5360.abstract
Karat
REMOTE-PART TIME-FREELANCE

Hiring top talent is a critical activity for all companies, yet the way organizations interview candidates is broken. Interviewing is a time consuming process that is rarely data-driven. Here at Karat, we see a massive opportunity to transform the interviewing experience for every candidate and company.
Karat is on a mission to assess the world's talent. We are the first dedicated marketplace for technical interviewers. Karat's network of seasoned engineers conduct the first rounds of technical interviews for elite engineering companies. Our robust platform saves teams thousands of valuable hours while allowing them to focus on the top performing candidates. Karat's unique approach recognizes that people are central to the hiring process and that they can be supercharged by leveraging machine learning and our rich database of the world's interviews.

We face incredible demand for our service and are delivering significant value to elite engineering companies like Interana, BuildZoom and Minted. We are funded by top VCs including Formation8 and Founder Collective, plus the founders of companies like Glassdoor, Mulesoft, Lookout, OPOWER, MediaLink and CAA. Karat is headquartered in the University District of Seattle, WA.

Flexible, high impact work that is compensated at highly competitive rates. As an Expert Interviewer, you will be compensated at highly competitive rates for your interviewing expertise. The time commitment is flexible---many of our interviews happen on nights and weekends. Some experts do 5 interviews/week while others do over 20 interviews/week. You can work from anywhere, anytime. You will sharpen your interviewing skills and transform the interviewing experience for every candidate and company.

Apply Here: https://jobs.lever.co/karat/d44ab283-c7c0-4bbd-b8c3-4dc0ced6...
The law can and will be selectively enforced to the betterment of those in power.

Facebook will be fine giving the government unlimited access to their deeply mined data. Diaspora, Mastodon, those are the sites that will get crushed.
I avoid OS betas. I don't like crazy bugs on stuff I'm trying to use. Even the initial .0 releases are iffy.

Scrolling speed is one problem. The lack of scrolling to the top by tapping the scroll bar is another. Is that fixed too?
It's true that the joke chain actually does violate the terms of hacker news. It's very likely that a mod will remove the comments within a short amount of time.
Fair criticisms, but I maintain we're going to end up tracking our food eventually. It's just going to get cheaper, and there are real upsides IMO.

Wrote this because I got in a similar conversation on twitter:
https://medium.com/@nickparkerprint/in-defense-of-juicero-an...
It wasn't objectification of women, it was a reference to a Bourne (movie series) continuation.
Creator of NewtonScript here… Hi Mikel! I'm glad to hear you say it was good-natured, because I loved Dylan—having been the Newton team's Cambridge liaison and Ralph cheerleader since the Cambridge team joined Apple. I was just head-down trying to build a small language that had at least some of the goodness of Dylan so we didn't ship something that was just a C++ app in a box!
Court Judgement: True Purpose of Search to “Destroy Livelihood of the Defendant”
Serena Williams and Alexis Ohanian welcome a baby girl
Depends where you work? Yearly bonuses seem pretty common in Silicon Valley. (Or other compensation like stock options.)
Without having read the bill, I suspect the titular “sex trafficking” is just a code word for sex work in general, as is often the case with such initiatives. It's very easy to crack down on sex worker rights by claiming all of them are trafficked. Which helps nobody: driving sex work further underground only makes the women working in it more vulnerable.
Hahaha that's the best 99 throwback I've seen a long time! Funny part is the web is just as influential as they thought it would be someday, just in a different way than many expected.

Seems like the hype cycle brings out all the crackpots. Once everything explodes businesses come in and start welding the pieces to existing processes. That's when most of the real potential is realized.
I think people are less shocked that a VC-funded company imploded and more shocked that none of the investors seemed to see the impending implosion off on the distance.
Huh. It's almost like it's not a meritocracy at all.
Here's the meta-study:

https://www.ncbi.nlm.nih.gov/pubmedhealth/PMH0052009/

While the results of this study support the efficacy of modafinil, the main finding is the large literature gap evaluating the short- and long-term effects of these drugs in healthy adults.
This is the future of learning and hiring
Where do you think the foundation gets its money?

http://philanthropynewsdigest.org/news/michael-and-susan-del...
Not if the goal is to prove that an algorithm meets a specification, which is more often than not my goal.
Since cable internet companies are not under Title II, wouldn't that make them de facto illegal under this law?
Even more tangent, this reminds me of a manga where there was a character who could guess your sexual personality based on your code (read right to left): http://imgur.com/a/FJPMS
Product, Design | SF Bay Area | Pek Pongpaet | pek@impekable.com
Does it support complicated things like sharing baselines between arbitrarily complicated box structures which are positioned side by side?
That's my gut reaction to all new cloud services. It has been my gut reaction for over 20 years, in fact. I once thought a lot about building a Dropbox-like service, but I eventually decided it would fail because decentralized services would take over instead. Then Dropbox came along... and did not fail. Against all my intuition, today, it's probably more popular than ever.

I've come to realize my intuition about cloud services is wrong because I consistently underestimate how much people struggle with technology. Dropbox became popular because it solved a problem in a way that was simple for anyone with a computer or mobile device. The same story applies to nearly all consumer-focused cloud services.

If decentralized services are ever going to take the place of cloud services, they need to be at least as easy to use and helpful to common computer users. Personally, I can't think of even one decentralized service that matches a cloud service in ease of use.

That could change with the evolution of the Internet, but I sure don't see that change happening now. I want to be wrong, because I think decentralized is technically superior.
A lot go to SF bay area. I met a large group of them in 2007 when I was doing my coop. My school, University of the Pacific, also had a mandatory coop program, although they started to make it optional sometime after 2009.
I've tried to explain how I tend to come up with properties in my own proptests in http://propertesting.com/book_what_is_a_property.html -- this could prove useful as well.
Coffee Meets Bagel | Engineering Manager, Backend | San Francisco | Full-Time, ONSITE, https://jobs.lever.co/coffeemeetsbagel/70425a5d-b1a1-44c8-88...

Hey I’m Karim, CTO at Coffee Meets Bagel. I’m looking for a new engineering manager for my backend team.

You'll be responsible for leading a team of 5 backend engineers working on building out new APIs for our Android and iOS app to consume, scaling out infrastructure to support millions of users, and working on internal tools and data pipelines.

Coffee Meets Bagel is a dating app that focuses on quality over quantity. We have a great reputation in the industry and are growing FAST. We have a super fun office near Union Square right off the BART line and you'd get to work with a bunch of very smart, driven, passionate, and fun people all dedicated to helping our users find love!
https://coffeemeetsbagel.com/jobs/

PS. We're also looking for a Senior Android Engineer (remote okay):
https://jobs.lever.co/coffeemeetsbagel/c0642b2b-5640-4452-a2...
Isn't that article about you?
> defined(a,i,j) and defined(a[j+1]) implies defined(a,i,j+1) is a theorem. (proof)

Sure. My point is just that a theorem is a proposition equipped with a proof. If the user just enters a proposition into the system, then they aren't entering a theorem. They're entering a proposition that the system can turn into a theorem.
Ticketmaster, Taylor Swift, and the Future of Ticket Sales
At risk of a tar and feathering by the 'lean' crowd, I am going to declare that I don't do MVP's at all, and never really have, with any of my projects.

Why? Well, because almost all my projects are designed for businesses and enterprises, and with that audience - things better work well and they better work first time during the demo or you don't stand a chance of getting a customer.

Perhaps if I was writing a social media app for sharing cat pictures, then yeah, I would slap together an MVP and show it to cat lovers. After all - what is the worst that can happen if your cute cat picture doesn't upload? Just try it again or delete the app and walk away, and there are no consequences.

But what if my HR app doesn't send that crucial reminder email to a department manager that one of your electrical tradesmen's license expires tomorrow, and you end up sending him out to a job next week and he makes a mistake that ends up getting your company sued and eventually shut down, putting hundreds of others out of work?

I am sure as sh*t going to ensure that my reminder email system is absolutely over engineered to ensure reliable email delivery and tracking. You don't get ANY chances to blow that kind of stuff with a business of enterprise audience.
Amazing video, the money they threw to design and build this device is mind blowing.
During my time at MIT, we referred to several explosions in the service and steam tunnels (caused by aging infrastructure) that launched street-level manhole covers into the air as the 'People's Republic of Cambridge Unmanned Space Program'.

Seems the PRoCUSP got several-upped.
This is not specific to programming, but personalities in general. There are people who love the journey and others who love the destination.

People rarely switch from one to the other. It's part of our core ideals.

However, there is a large, vocal, percentage from both these groups that will always voice their opinion against an opposition opinion. It's not a competition and there's no correct answer. It's purely subjective.
RIP, just listed 10 books on half.com on Wednesday.
You see a juice shop sprout at every corner of your yuppie neighborhood, and you read about the success of Keurig, who married the coffee machine with the consumer-level printer, which allows you to control which consumables go into your machine, and you think that this can somehow be translated to said fresh juice craze.

So I don't think it's completely crazy. But a back-of-the-envelope calculation should have shown that it's probably not a great idea.
I guess. There's no one app, but nothing that WeChat does is serving a market that didn't exist in the west first. It's a triumph of integration, not so much innovation.

So... sure. In some sense that makes it an exception that proves the rule. If China can be successful with WeChat where is its Tesla or Pfizer or Intel or Fujitsu or...

I mean, there are times where a single counterexample can disprove a point. I don't know that this is one of them.
Agoda and Booking are owned by Priceline Group, so this makes sense.
Its a constant pain in the butt. We really need a lobbying effort that makes Senators and Congresspeople afraid to even suggest something this stupid.

On a side note, at least one of the Senators won't be a problem after the 2018 election.
I think its embedded into the "maker" mindset in general and does not necessarily have to be one way or the other. It's both.

A writer can have lots of poetry, personal expository essays, journals, unfinished drafts lying around OR s/he can "ship" a best-selling novel, publish a high-traffic blog or something.

Similarly, a painter would experiment with lots of techniques, colors, textures "on the side," again having lots of personal work lying around, yet would probably treat something s/he would put in an exhibition differently.

In the first case, you are experimenting, discovering, breathing; while in the second case you have to think hard about your audience, your readers, or your customers.

It's built-in.
What I don’t understand is how they flopped after getting so much publicity?

Was the price too high? Didn’t manage to turn PR against them? Was it designed to fail?

I think the product is awesome in every possible way.

The model worked for Nespresso (Kruger or smth in US), printers, dishwashers, Soylent, etc.
This happened to me with Expedia. They advertised a lower rate on a different room at the hotel I was looking at... Didn't catch until after I checked out that the advertisement was for a different day than my search results. (Because obviously I'm just as happy to stay at a random hotel just off the interstate in rural Ohio a week after my trip as during it?)

Thankfully, Expedia has good customer service and fixed things for me, even though it was not a cancelable reservation.
Early stage tech/marketing | San Francisco | Jon W | jon@jonathannen.com

Have done tech/product at three startups now. The last now at Series C. Moved into marketing/sales side last 3 years.
Uh, Huawei?
Clever (YC S12) - San Francisco - onsite

Right now the market for educational software is a mess. It’s incredibly difficult for developers to get their products into schools, and it’s even harder for them to scale. School districts spend tons of money on learning applications, but they have no way of knowing if students are even using the apps they’re purchasing. Teachers know there’s great software out there, but relatively simple challenges like getting 30 students logged in at once make using it impossible.

At Clever, we’re working to change all that. We provide schools with a free API and single sign-on solution that makes using educational apps a breeze. We’ve grown fast: after five years, half of all schools in the US (68,000 schools) are using our platform. Our goals are much bigger than that, though. We want to be two things:

-a single place where schools can easily integrate, manage and analyze all the software they’re using, and

-a single identity that students can use to see everything they’ve learned across multiple apps.

We’re a team of just over 100 (40 engineers) based in downtown SF, and we’re looking for engineers who enjoy working in (or would enjoy learning) Golang, Node and React. More generally, we want people who are sharp, adaptable, and passionate about improving the way education works for everyone.

Check us out at https://clever.com/about/jobs !
In Lisbon, Portugal it's like NYC. Any expat or local will tell you that they feel infinitely safer and more comfortable in an Uber than they do in a normal taxi.
Well why wouldn't you hire the minority candidate given otherwise identical qualifications? Among others, this encourages students of said minorities to apply, leading to more qualified applicants. How you construe this as a negative is beyond me.

Furthermore, there's still only around 15% women in CS here. Less among faculty. And you respond with a critique of diversity to a story detailing the awful crap women have to face every day during their studies?
Juice is not addictive as caffeine, perhaps that’s why.
In Chrome you can also allow it to save your tabs so when you restart Chrome they are still there. I've tried Pocket a number of times and I go back to doing this every time.

With Pocket I found myself saving pages and never going back to them.

Perhaps, elaborating on the idea, you could create something like pocket that encourages you to read the things you've saved in a certain timeframe and cleans them if you don't?
pretty sure hn user timaz != reddit user timaz. I'd bet hn user timaz is the author of the blog post ("Brianna Wu").

I don't really care about the provenance of the work; it's a well-written article on tech in China. If it's a team of a western engineer and a local Chinese person (who happens to be far more attractive/better presenter, probably), I'm fine with that.
Kloudless (kloudless.com) | Customer Success Engineer | Full-time | Onsite in Berkeley, CA

We make Universal APIs to simplify your integration strategy. We're profitable (with some big enterprise customers) and growing quickly, and we're looking for a Customer Success Engineer to join our team!

We're a small team, so everyone has the opportunity and autonomy to make a huge impact. We offer competitive salaries and benefits, including free snacks/lunch/dinner, flexible working hours, generous vacation policies, insurance plans, etc.

If interested, shoot us a message to work@kloudless.com (attach your resume, too).

AngelList listing: https://angel.co/kloudless/jobs/273895-customer-success-engi...
That name seems misleading... "zero-energy" and then lower zero?
As in everything: figure out what you are trying to get out of your side project.

If you want something to generate a nice supplementary income stream, or practice for starting a company when you get "that great idea" then this article is very good advice.

On the other hand, if you are trying to learn a new technology stack, develop experience in building scalable architectures or even beefing up your project management skills then this is terrible advice.

So, the real art is figuring out what you want out of your side project.
Samsung is a strange choice of example. It also mostly follows a "well made clone" business model and Korean work culture isn't much different from Chinese.
"My opponent supports sneaking a bill through that would harm you, your family, and the freedoms of true patriots by wrapping it falsely as a cure for sex trafficking, like a snake oil salesman trying to sell you sewage with perfume to cure your ills. What other things will this charlatan support?"
The parallel to Keurig is a key piece of insight.
Investors see "Coffee -> Starbucks -> Kerrig", and think "Juice -> Jamba -> $$$".
The AvE teardown mentioned this. It does give you uniform force across the entire work surface, which is theoretically superior, but I think it's a case where a 5% improvement in results does not warrant 75% increase in BOM cost and design, at least in v1 of a relatively virgin market (if the market were flooded with roller systems, you could possibly differentiate with a press based 1.0, but no need to do that out the gate in a virgin market.)
Wow thanks for the write up? Maybe it's easier to get a patent and try to license it?