skysight-inc/HackerNews huggingface dataset:
For irrationality of root 2, I typed.

\sqrt{2}\not\in\mathbb{Q}

It refused to accept this answer, even though it looked pixel-for-pixel identical with the intended output.

On further play...perhaps there's some small difference between \not\in and \notin, as there is clearly between \not\exists and \nexists, but I couldn't see it..

Similarly, for the inverse of a complex number, I couldn't figure out why it didn't accept:

z^{-1} = \frac{\overline{z}}{|z|^2},\forall z \neq 0
Google is helping to power a US immigration cloud project, new documents show
Entanglement sent over 50 km of optical fiber
Please don't take HN threads further into generic ideological flamewar. Also, please don't call names in arguments or post in the flamewar style generally. We're trying for something a bit different than that here.

https://news.ycombinator.com/newsguidelines.html
Not really. You can want something to be legal, not have the state brutalize people, and still not want for profit companies synthesizing desire via marketing and product design and creating ubiquitous availability.
You can read more about how the LinkedIn Anti-Abuse Team uses isolation forests to prevent abuse here:

https://engineering.linkedin.com/blog/2019/isolation-forest
Have to fill out an electronic form just stating the nature of the side project, regardless of whether it's a conflict of interest. I'm fine with this honestly.
Please don't take HN threads into generic ideological flamewar. It's tedious and provokes worse.

https://news.ycombinator.com/newsguidelines.html
They could, but they won't, because security is not what is lining Googles coffers.
Kudos. You've gone and done something a lot of us only plan to do but never get around to.

I have a few questions though.

1. Does this work for everyone around the world?

2. How many ways do you have for sorting through transactions and making sense out of these?

3. My bank statements are a huge mess and I'd love a way I could aggregate all of my spend across multiple banks and cards. Sometimes, I send money to a friend only to get it back after a few days (or months, even). Would be great if you could link 2 transactions together like this as well.
They're trying to wield the power of the government to ensure that none of their competitors will be able to survive. It's the same reason why some big companies, like Amazon, are lobbying to increase the federal minimum wage, seemingly against their own interests. Smaller competitors won't be able to absorb the shock of the wage increase and will be forced out of business. The net result will be a less competitive market.
Sure I'll put in my command into a tool that doesn't make it clear that it's using an api to do what it does. Why can't this all be done locally and the options found through manpages?
>If they were certain their customers were not price sensitive, Uber would have already spiked their pricing far higher to push toward profitability.

Many/most Uber customers would use a materially cheaper equivalent service if available because the switching costs are low.

However, that's not the same as price elasticity (of demand) which is what the term usually refers to. Price elasticity is about how much less they'd use any price-competitive service as the price increases.

I'm honestly not sure what that curve looks like. Within reason, pricing wouldn't affect my usage much at all. But I'm a light user of these services and use them almost entirely for business. Certainly I'm a very different profile from a young urban professional who doesn't own a car.

ADDED: Between surge pricing and other pricing experiments I'm sure they conduct, I would imagine that Uber has a pretty good idea of what demand and driver supply curves look like.
Swag – Scientific wild-ass guess
You just mean they don't hire junior developers. Everybody learns on the job, even experienced professionals.
Correct.

When I was driving, I could make abut $1000 a week when working 60 hours.

$150 of that would be gas
35 would be insurance
15 would be oil changes
$50 per week should be set aside for savings to reinvest into the vehicle in the form of proper maintenance.

the final number, $750 for working 60 hours 12.5/hr
There are two acceptable ad models for me:

Paying, if it goes [almost] entirely to the publisher, not to see them

Not paying anything to anyone, and still not seeing them (ad blocking)
API Gateway Auth Options – LDAP or AWS Cognito
True. But as long as all candidates have the same time limit / same expectation of work depth, and the test providers have a reasonable expectation of how much can be accomplished in that timeframe, then it's fair.

That said, this demo should have a several hour time limit.
I know it’s just a splinter of AGI, but conversational language understanding and generation is undergoing some rapid advancement. This subreddit is all GPT2 bots and while moat of it is still bad, there are glimpses of the future in there. (Note: Some of it is NSFW)

https://www.reddit.com/r/SubSimulatorGPT2/
> There's nothing exciting about the new iphone except the triple lens back camera.

There is no way to know that until we know what the software does with the newer hardware (including the rumored AI accelerator).
> I see it as regulations forcing Google and Apple, as platform owners, to not abuse their enormous power over developers on their platforms.

How do you think Apple is “abusing” their power, and what kind of regulation would curtail that? How would compliance with the regulation be monitored and enforced? Would only Apple and Google need follow these regulations, or any software distribution platform, or maybe platforms with a threshold of revenue?

I believe most of what we read about happening to devs on these App Stores relate to automated processes flagging accounts, because it’s not humanly possible to review the quantity of code being shipped through these stores. It’s not abuse to have a imperfect process - to me the term abuse implies the slight was done to some end - with some nefarious purpose.

So when we get into that domain, perhaps it comes down to policies like “App Store subscriptions must be paid for through App Store if they are made in-app and Apple will get its cut”. Some people very strongly think this is “abuse” of their market position. IMO that is their business model and the whole reason they built the entire App Store ecosystem - in order to provide services revenue in the face of dwindling device sales, because the devices are so fast and durable you don’t need a new one every 2 years anymore. IMO forcing Apple to turn off these revenue streams is akin to theft of their IP. As a developer I personally feel like I should be able to offer my own creations on my own terms, and as long as those terms are clearly stated and non-discriminatory the market can take it or leave it.

But if, for example, someone does believe this is a good example of a regulation to curtail an abuse of power by the App Stores — that is an example of a regulation which would cost Apple billions of dollars, and they will certainly attempt to make it up somewhere down the line.
You nailed it here. I've been waiting for something like this - Mint etc. don't give me enough functionality in terms of forecasting, seeing a trend and helping me to modify my behavior.

If you could also add a "Simulate spending X {currency} on YYYY-MM-DD" type functionality for forecasting, that would be huge. This was something I miss from one of the old Microsoft Money desktop apps, and being able to see how making a purchase at a point in time will affect you 1 week, 1 month, 1 quarter down the road etc. is a powerful deterrent to impulse buying.

edit: clarity. ish.
Preliminary Adventures on a Jailbroken iPad
Was interviewing with Automattic -- they asked me to sign a copy of their non-compete. It was utterly draconian. If you wanted to write a book in your free time it had to be approved by their legal department. I noped the fuck out of there and got a great job that encourages employees to improve their skills and develop their talents in their free time.
The Benefits of Asymmetric Markets
presumably sincere..

If it were a sincere ethical position, once again, they would just implement it... no need to make a big deal about it
> The very definition of embedded systems?

Microcontrollers got a lot faster and more powerful over the years. What problem in that space kept up with that speed advancement? Who is paying for hyper-optimized C/asm code instead of just spending an extra $.50 for a dual-core 240mhz ESP32? And who is doing that decision and has decided C is somehow faster than C++?

> Which is quite clear as someone who seems to advocate using JS on embedded hardware for serious tasks.

I never advocated for it. I said it happened.
My company encourages me to dogfood our product with my content sites. Pretty cool!
I've applied for front-end jobs and get asked some C.S. puzzle, to do something no front-end developer has ever needed to do (unless they wrote the one module everybody else uses).

And yet, it's not like I couldn't grok that if I needed to... just pay me and I'll figure it out, no problem.

The difference between me and the applicants they are filtering, is that I can both learn and implement w/e algorithm, in any language you want. Want proof? Just look at all these other algorithms I learned and wrote.
I have a different experience. I connect to 3x HD monitors at work, one of which is portrait. At home I connect to a 3K monitor and a portrait 1980x1200 one. All works flawlessly for me.
Wow this article/discussion hits close to home - I work at a startup that's trying to tackle the ineffective/unnecessary meeting problem - we've got a Slack app that syncs with your calendar and sends out pulse surveys after certain meetings, then provides a dashboard for surfacing anonymous feedback and insights.

At first I didn’t really grok the problem - I’m used to working at small companies with small teams where bad meetings are pretty obvious and easy to deal with, but after seeing and hearing all the stories from people at the companies that participated in our beta it’s become pretty clear to me the scope of it - it really is an ongoing unsolved issue.

We’re testing different features and approaches and trying to figure out what works/doesn’t work - we’ve got a feature in the works which is like a “meeting exploder” where if enough people in a scheduled meeting don’t think it should happen it can get cancelled or at least reevaluated - we’re trying to make it sort of fun and easy for meeting attendees to give feedback, while still getting enough data that a host or team lead can see whether their meeetings are actually providing value or even need to happen in the first place etc.

It’s early days for us but we've gotten a ton of good feedback already - we’re still working out the kinks but it’s pretty validating to hear about all these teams and people still struggling with “the meeting problem”. We could always use more companies testing early versions too and providing feedback on what kind of features they like/don’t like so if you're on Slack and it’s something you or your team might be interested in give a shout - I'll post a link too, please don't be mad - https://getmarlo.com
It is my understanding that many places distinguished between hailed services and on call services, but Uber was able to do on call at an unexpected scale?

I am sure you can dig up illegal acts, but the secret sauce was the new dynamic that bent what people thought was possible at scale.
It's not clear from the article, is it a flat fee of $21/hr? Or is it only $21/hr of passenger time?
The argument against using Chromium has increased significantly with that move.

Before you could argue that the open source Chromium was largely immune to Google's various small bad behaviours, but when they make such a large close-minded move, at a certain point you can't keep supporting the platform as a whole when they are so hostile to the open internet. Even if it's indirect support.

Also, it can't be ignore that Firefox's recent move towards parity with Chrome has played a big role in giving people the option to even switch.
The elephant in the room: We have no reliable way of measuring and comparing developer productivity.
I have worn a beard nearly continuously for approaching three decades, now.

I used to keep my beard neat enough with a pair of scissors, a mirror, and few minutes every few days. Then I got a wet-dry trimmer that I used periodically in the shower. Now I'm just growing it out (about 5 months in), and I work a dab of shampoo in occasionally.

Beard maintenance really isn't that onerous. I spend vastly more time grooming my untrimmed whiskers than I ever spent trimming them. Being clean-shaven takes significantly more frequent effort, and though I have no data points, given all the process involved in shaving, it probably takes a lot more time, all-in, too.

EDIT: Phrasing
One thing i can say that i dont think was said here is that you're right that some large companies are very flexible in this way. It's a good thing we have their permission to participate in the justice system! In my experience, however, almost all smaller companies have a culture of sharing tips on how to avoid being selected for jury duty that is actively encouraged by ownership and management. It's worth remembering this when people issue blanket statements about how consumers should prefer small businesses over large ones because of some vague notion that they're more beneficial to "the community."
Eonsmoke even posted this image on Instagram with the caption "Mom! It's a USB Drive!": https://www.masslive.com/politics/2019/06/mom-its-a-usb-driv...
There has been a lot of research in understanding neural networks and making them less of a black box. If you classify cat from dog videos on YouTube, it doesn't matter if you make a mistake every now and again. But if you want to build a self-driving car or make a medical diagnosis, you better be able to explain which your network made a certain decision.
Yes, but it's "crude", and therefore not very high resolution. I've never seen anything high enough resolution to discover bone fragments. The same technology is used for oil and gas exploration.

See:

https://en.wikipedia.org/wiki/Ground-penetrating_radar

https://en.wikipedia.org/wiki/Reflection_seismology

https://corporate.exxonmobil.com/energy-and-environment/tool...

https://www.pgs.com/imaging/
I was a little as well, I happened to be at an SDR conference and one of the attendees was a lawyer working with the FCC on licensing issues[1]. I gave him my use case and he said that if it was constrained the way I said it would be, then if it came through their office they would likely approve it.

[1] The FCC has been pretty engaged in understanding the impacts of SDRs because of their potential for abuse (as one attendee called it, "The Drones of spectrum." As an amateur (AI6ZR) and someone in industry I've been helping as an SME to explain some of this stuff to their less technical staff.
Ubiquity of Uber/Lyft is a phenomenon across the world, but not all the markets are as flexible on the price. I question the premise that the markets will respond mildly to a significant price increase in most places. The valley just has a high density of high earners who are willing to pay the sort of price Uber would have to set for competing successfully with drivers making decent pay.
What law did they break? They didn’t break any law when they started. They were operating legally.
Yes, that's the link from the TC article.

What it says is:

"Instead, Uber is advocating for a brand-new policy that would strengthen protections for rideshare drivers by:

Ensuring drivers would earn a minimum of approximately $21 per hour while on a trip, including the costs of their average expenses.

Providing drivers access to robust new benefits, such as paid time off, sick leave, and compensation if they are injured while driving with Uber.

Empowering drivers to have a collective voice with rideshare companies, and the ability to influence decisions about their work."

What are they actually proposing? I see what they want their proposal to do.
Not being a xxxx, but I wanted to honestly ask about how you square or feel about those that start vaping in order to quit smoking, and then just massively become into vaping, talk about it all the time and the gadgetry and accessories, the community, etc.

I've got a few friends that went this way and it's a bit... odd.
> Yet you seem to think that it's viable to put more of the worst waste humankind has ever produced into a failing system.

With this I would like to end the discussion here. There is no point in repeating myself. This is not at all what I suggested. I suggested this: stop using old, obsolete, known-to-fail technologies when there are better (safer, cleaner, more efficient) ones! I acknowledge that most of our current reactors are shit, but we can build much better ones, and indeed they are under construction. Do you think that your preferred source of energy just appears out of thin air? Things need to be built. It takes time. Change does not happen overnight.

Nuclear power; specifically nuclear fusion is definitely not a dead end.

> Furthermore, a fusion reactor would produce virtually no CO2 or atmospheric pollutants, and its radioactive waste products would mostly be very short-lived compared to those produced by conventional nuclear reactors (fission reactors).[1]

It definitely has a future. You are being unnecessarily dramatic especially considering that fusion reactors would produce virtually no CO2 or atmospheric pollutants, and its radioactive waste products would mostly be very short-lived. Follow the progress of construction of ITER here: https://twitter.com/iterorg

[1] https://en.wikipedia.org/wiki/ITER

If I might respectfully ask, please, stop spreading FUD. Feel free to read the relevant articles I posted, and compare their efficiency, environmental impact, and so forth to your preferred technology. At this point, keep me out of it. Thank you.
Optimal Team Size
My employer (aerospace conglomerate) lays claim to anything I do while employed. So if I had a side gig, they consider it theirs.
Hey, I'm Konstantin, CTO of Juris. Thanks for the question bjones! DebtSettle is powered by Juris, which is a web application that offers a combination of document assembly and case-management type tools to streamline legal processes and correspondences that already have a clearly defined legal framework in place afforded by the governing laws. Think TurboTax, but for repeatable legal processes.

In the case of DebtSettle, the legal framework is spelled out by the Consumer Financial Protection Bureau. Juris' tools parallel this framework technologically by allowing users to directly draft legally sound correspondences, deliver them in a provable manner, and then act appropriately depending on the letter's outcome. Streamlining this repeatable process makes it accessible to millions more than the current legal system can handle.

We also recognize that there are socially minded organizations out there that are working to make these same legal affordances accessible to the people they are meant to protect, so we have a professional dashboard in BETA that we hope will give these organizations an excalibur when dealing with frustrating debt collection cases.

In short, the law tells us what we CAN do, but not necessarily HOW to do it. With Juris, we're using technology to build out the HOW.
That's one of unsolved mysteries for me - who exactly buys that data and why? What do they do with it that is worth paying money for? Let's say you've learned I like reading sci-fi. So what? You'll serve me more relevant ads? I have an ad blocker anyway, so you won't, and even if I did not, I haven't seen an ad relevant to my interests in ages, except on the topic sites that I already visit anyway. What are they doing with it that is worth clogging all the internet and making each website 10x of size it should be? I have a nagging suspicion it's all hype and one day advertisers will wise up and this business model dies the long deserved death.
I Gamify Life with Technology
“What do you suppose I do?”, the drug dealer asks, “Stop selling heroin just because a couple of my costumers ruined their lives or ended up OD’ing? They’d just buy it somewhere else anyway.”

The moral thing to do is not to sell the thing you openly admit is bad for the people you sell it to, even if you end up losing a profit making machine. That is oddly often the case that morality doesn’t quite align with profits. But let’s not pretend like you are option-less to do anything but maximize profits.
This is kind of silly. When you copy open source code, it doesn't give any magic access to the people who wrote it. If there is anything wrong with it, it has to appear on the source code somewhere.

The question you should be asking is whether you trust Brave to vet the source code and remove anything that seems like a problem.
Misandry isn't real.
> The rules were not broken because they were unfair - that's a meme - you don't get to pass arbitrary judgement of which laws you do and do not respect (in theory).

Thank goodness it was only in theory. The taxi industry was and is terrible, the only thing propping it up is regulatory capture.

> As a business, if you do not like the legal environment (rules) of a certain location, the logical (and respectable) choice is to not operate in that region/location.

As a consumer, I'm glad that the rules were systematically broken in a way that benefitted everyone except the taxi industry.
> The rules were not broken because they were unfair - that's a meme - you don't get to pass arbitrary judgement of which laws you do and do not respect (in theory).

This is really problematic for me. If you restrict the scope rightly to only democracies that are truly representative (which many regulatory capture environments are not) I might be able to agree. But many governments in the world are not nearly legitimate enough to deserve this respect.

I have no issue with individuals, businesses, revolutionaries and other for profit or not for profit companies trying to undermine the dictates, decrees, laws or rules or whatever you want to call them of oppressive or authoritarian governments.

Taken to a logical extreme, this justifies for profit companies supporting and entrenching dictatorships, under the excuse of “we were just following the law”.
Of course but you're often trading debug-ability over scalability whenever you're picking evented architecture. I do think tools can help here but it's just the nature of this architecture. You're reacting to 'events' instead of following procedural orders.
Cumhuriyet
I switched from Chrome to Brave this week after getting overwhelmed with some of Google's recent design decisions on Chrome. The web inspector and yubikey support in Brave made the transition super easy. The adblocking works about the same as ublock did for me in Chrome so the browsing experience feels similar. Great work Brave team on giving Chrome users a privacy-friendly option to easily switch to.
The keyboard is working fine and since it's powered by a Teensy 3.2/LC it can be plugged into any USB host, I'm still waiting to get the keys printed in order to put the working build in the case. The CardKB project is also interesting if you want a keyboard with soldered keys, only "downside" is I2C bus.
I have the same question. I'm guessing its $21/hr of driving time?
Well, talking about "the ideology of early modern masculinity" as "precarious, provisional and potentially groundless" could be taken as misandry. But I suppose that one could say similar things about femininity and various aspects of female anatomy.

I think that it's mostly about people altering their appearance to influence others.