skysight-inc/HackerNews huggingface dataset:
I agree that the compilation process is part of the C++, however (and that's from my teacher's experience), teaching it to beginners as a first lesson may be complicated (and you have to teach it early so they can build their first program). Besides this is not rewarding when your students are familiar with other languages like python where they can write some code and have immediate results without any additional step.

So having a good interactive environment is really useful for the first lessons, then you can teach the compilation chaintool and switch to a real environment.
The problem is that a 3 second gap is large enough for someone else to put their car there, so that's what happens.
China is authoritarian until it’s not. Most authoritarian countries are weak on rule of law and more aptly practice rule by law, where laws are just used to control the people vs. applied fairly. So laws are just used to get what officials want (e.g. get rid of a pesky dissident), and most of them don’t care about traffic safety.
I wonder if the finished product is smart enough to distinguish between Alexa "speaking" and playing audio. It would be really annoying to constantly hear those gears moving while listening to music.

On the other hand, I'd love to code the pi to randomly make the eyes blink and move on occasion.
I'm going to argue that this is a feature, and you're already less likely to die on the road, thanks to those annoyances. We've known that humans tailgate like hell for decades, and haven't found a cure. Cruise vehicles have pointed out that you (like almost everyone else) tailgate to a dangerous degree, and have at least slightly changed that behavior. If that saves you from a violent high-speed collision in a year or two, you owe them your life. Having a sprinkling of more "ethical" vehicles around might be a good thing.
> TLA+ isn't, like, a 'better Haskell'.

I dislike the notion of "better" altogether when it comes to software. My point is that FP is not the only nor the most convenient way to reason about software. It has pros and cons, like any other approach; it sometimes very elegant, and sometimes less so. Preference is determined largely by a personal aesthetic preference. I have no qualms whatsoever with those who are more aesthetically drawn to the functional representation of programs. I have a problem with those claiming it is superior to other approaches without any reasonable justification. I am also extremely opposed to claims that people who prefer a non-pure-FP programming language over Haskell do that only because they don't know better. There are very good reasons to prefer either, and they're almost never universal, but depend both on the domain and the team.

Also, I'm not comparing TLA+ to Haskell, but rather TLA+ to Lean/Coq, and Eve to Haskell. Synchronous programming languages like Eve (or Esterel/SCADE for realtime systems) are to TLA+ what Haskell is to Lean/Agda (roughly).

> You _can_ use it in the way pron is talking about, but that's not how most people outside academia use it that way.

I think that you'll find that once you start specifying complex systems (like a distributed database), the refinement relations is extremely useful (in fact, pretty much essential), and is used in practice often (for whatever definition of often is reasonable for formal methods). It makes model-checking (and proofs, but those are rarely used outside academia) much more tractable. I used three levels of refinement, with refinement maps between them, when specifying a distributed database.

Refinement is the killer-feature that allows TLA+ to scale. For simple algorithms it is indeed overkill.
Maybe it's just me, but as a programmer the first thing I ever asked when looking at the wall of CloudFormation JSON was "so how do we make this not suck?".

Our job is not just to automate servers, it's to automate processes, including stupid developer-facing ones.
The aspect of freedom derived from cars is based on ones ability to get themselves from where they live to the point of destination at anytime, no matter where that location may exist. Self driving cars only increase the degree at which that freedom operates, as they will always be able to let you out at your final destination as you will no longer have to spend 30 minutes finding parking as is the case in many cities today.

Yes, people will be skeptical of shared self driving cars, but to suggest the problem is the self driving aspect seems a bit off.
> There is a whole class of people you will miss

I'm acutely aware that there's a degree of arbitrariness in hiring. That's why I was quite honest in saying that I'd appreciate suggestions for better process.

> One, let them take 5-10 minutes of silence to solve if they need it, and discuss AFTER that.

I do that; as you mentioned, people are diverse - some are bothered/ inhibited by silence. If they are silent, I say something like "I can leave you think about it for a few minutes in silence, but it's best if you can just talk to us about how you'd approach the problem, even about the approaches that you know are not good enough; and you can ask clarifying questions if you need to".

Thing is... if you kept silent for more than 30s without writing anything on paper, and I felt the need to intervene, it's either a problem that I consider "easy" and you should've figured out already - or it's one that is probably "hard" and you stand little chance of figuring out by yourself during the interview/under pressure (I've had a few people ask for silence, but can't remember a single one of them that found a good solution in due time). At that point, the only solution is to fall back to the "homework", because while you may be a good programmer, you're not giving me the information to assess that during the whiteboard/in-person interview.

[edit] I should also note that this is valid for algorithmic questions; and not all jobs require that sort of questions to be asked - for some, I might ask some basic stuff to figure out that you know the basic algorithms, but I won't go into hard stuff if I'm asked to hire a junior frontend dev.
Uninstall the app since it’s just doing the job of a webpage anyway?
I disagree completely. Cash settled futures let people bet on bitcoin without ever touching bitcoin itself. For example, suppose I am a huge bitcoin hater and want to bet that bitcoin will go down 100% in the next 3 months. Why force me to worry about wallets, etc.? I just want to have a way to express my conviction without messing with all that stuff.
Very true. I mean, I have an iPhone for work. And a dumb cellphone for personal stuff. I do use social media with family and close friends, but that's from notebook and desktop. I don't mix social and work on the same devices, and I'd be out of work if I did.

However, I strive on such insecure channels to be very uninteresting. I restrict everything that's potentially controversial to channels that are more private and anonymous, using VPNs and Tor. I share about that stuff with nobody who knows who I am in meatspace. And vice versa.

So it's not that I'm "cut[ting] [my]self off from all of society". But I am revealing different aspects of myself to society through channels that would take considerable effort to link. That is, I compartmentalize.

I realize that I've gone to extremes. But for me, it's mainly become a hobby. Or rather, LARP. Still, anyone can start compartmentalizing. Just get a used low-end gaming machine, install Linux and VirtualBox, and learn to use VMs. Run a VPN client in the host, and learn enough iptables to lock it down. Run Linux VMs with other VPN clients, to get nested VPN chains. Run Whonix VMs to connect via Tor.
But from what I understand, I still owe you $10, even if I pay you in pounds or euros.
I think it comes down to personal preferences.

I love listening to entire albums. I don't have favorite songs, I have favorite artists. If I like the artist, I listen to an entire album by them. I have never once in my life paid for a single song. If and when I buy music, it's by the album and not by the song.
Yeah, we do more than let people skip phone screens (although don't undervalue skipping phone screens and take-home projects at 8+ companies). Companies really do look for different things in interviews. Not all companies look for CS trivia. So in your case, if you went through our process, we'd suggest 20 or so companies that look for more practical / architecture skills (depending on your skillset). Because we do this, engineers who go through our process get job offers at about 2X the rate of engineers who go through regular channels (we avoid the cases where engineers who don't like CS are rejected for being bad at CS)
The birthplace of the illuminati
Practically, with the low interest rates, cash isn't worth a whole lot to an average Fortune 500. You can already see how Apple is getting heat for having so much cash on hand, only reason there isn't more is that people are hoping for a tax repatriation holiday. With most large companies being a) well capitalized already and b) able to borrow large amounts cheaply, you have to make a really hard case that holding onto cash (or spending it internally) is the best thing to do.

Funneling all profits back to the shareholders is only a duty when there isn't much else to do with the cash, which is mostly what's happening.
I also make less than $100k in Canada and I can live a comfortable life with no issues
Radio used to be advertising for albums. Two are three singles from an album would get featured over the course of 6 to 9 months and if you liked them you'd buy the full album.
> Before we reduce this to a slippery slope, what scenario do you envision in which FB could coax its userbase to upload nude photos?

The one where FB asks its userbase to upload nude photos[0].

[0]https://news.ycombinator.com/item?id=15651710
There are two I use the most;

1. Histogram of frequency by distraction type [0]

2. Histogram of frequency by distraction type filtered by person [1]

[0] This lets me know what is distracting me the most. If I find a particular type is a clear leader in frequency then it prompts me to find a way to reduce that particular type of distraction.

[1] When I'm investigating [0] if the type is not descriptive of the cause I look to this graph to determine the person who causes it the most.

For example the "codehelp" type tends to be pretty strong over all. When we launch a new feature or introduce a new software component on the back end I tend to see a spike in these coming from the junior members on the team who need extra guidance understanding the feature or technology. However when it starts to move away from the average by looking at [0] I'll sometimes look through each person using [1] until I find that there are one or two team members that need extra guidance.... then in a week or two I usually see [0] return to "average."
And dynamodb style "serverless" functionality / billing for aurora, looks like. I would have loved that about a week ago.
I don't know if it has become better in the meantime, I tried it some years ago and found that it's a nice idea but in practice most modules (i.e. games) are rather primitive implementations.
"Public Records" is part of the maximization problem

The Government is more guilty than any business on collecting, hoarding, and making public all kinds of personal information about you.

If the government wants to curb data breaches it needs to start cleaning its own house. 90% of "public data" should not be public at all
AWS Systems Manager – A Unified Interface for Managing Your Resources
Every algorithm for promoting certain articles over others favors some groups over others. Even if you evaluate on neutral grounds, you're still favoring the groups that are in fact able to get you to consider things as news (eg, news wire services, active contributors, etc).
Are you releasing any prebuilt models, I searched but couldn't find any, so people can go and play with your work without training?

Edit: NM found it under releases: https://github.com/mozilla/DeepSpeech/releases.
These numbers can be misleading. I don't work for the big four or five, but rather for a boring enterprise company. One of our top UI developer pulls in more than 500K. How do I know that ? Because I can see his comp statement as the manager of the group.
I understood your question. What I am pointing out is that when you submit an artifact to FB, it is a trivial matter for them to store as 'extended-attributes' your facial biometrics. This has nothing to do with the ML pipeline that munches on data in the aggregate.

As to whether it is possible to extract such information, per my understanding the internals of ML pipelines are rather opaque, so it would be non-trivial, if not impossible. I have no idea either way.
True. I was surprised how easy OpenStreetMap was to edit. My own tiny street was misnamed. Many low-end GPS devices use that data. After I fixed that, deliveries and service became more reliable, and I stopped getting calls from people nearby but lost.

I never edited again after fixing the map for my own neighborhood. But that's fine. That's what you should do; check OpenStreetMap for places you know well and, if they need fixing, fix them.
More directly, it has hurt the monetization of those concepts, which inevitably affects their popularity. The concept of the album is still dear enough to many people that there it will continue to exist in the fringes until something else comes along.
In daylight and dry weather. As a CA resident this would allow the AI to take over the vast majority of the miles I drive throughout the year.
This is a huge contrast to the south and particularly in Florida. I'm a project lead in Florida, started programming when I was 8, have won multiple national competitions, and now a project lead with people working under me (most that apply have an MS degree) but as a government worker making only 58K. I work for the government because in this area of the country there have been problems with finding companies that hire based on merit (I'll just leave it at that). It's shocking to hear these numbers and think that this is the norm in other places. Maybe I just don't know Florida like I thought I did but for being a state with the 3rd largest population there are a serious lack of opportunities in technology. Maybe I'm missing something maybe someone can recommend how they've been able to 'make it' in Florida with a job here doing development. Otherwise I think it's worth putting it out there to encourage people to think about this very circumstance before ever moving here.
Institutions skimming sometimes up to half of grants is basically theft and using grad students as super-cheap skilled labor is exploitation.

This should be the straw that breaks the camel's back.
Object Models in Python 3, Lua, JavaScript, and Perl 5
One point of anecdata: I've typically found that recruiting sites like Hired and Triplebyte lean low on the comp scale when it comes to senior engineers.

This may be less of a gap in salaries, and more a gap in the kinds of companies using your service.

The last time I used Hired, for example, it asked me to name a salary expectation - I put in ~my base salary at the time, and got an email soon after asking me to lower my expectations since nobody using Hired in NYC was willing to bite.

Someone else brought up the fact that the data for major established companies look very different - AppAmaGooFaceSoft comp for seniors is overwhelmingly higher than this.

But even within the realm of startups, I've interviewed at, and negotiated offers with startups in my area that are in a range that major recruiting sites (and their clients) seem unwilling to contemplate.
If the credit agency is harming your reputation with an incorrect credit report then the proper term for what they're doing is libel and you can sue them for it.

I'd like to see a startup or non-profit that automates libel civil lawsuits against the reporting agencies. At least then maybe we'd get some responsibility from them.
FaceID is unique in the sense that it's supposed to be on-device only in the form of an ASIC coprocessor.
Ask HN: Is there a space for another JavaScript framework?
With the rise of React, Vue, Angular and all of the paradigms, is there a space left for yet another JavaScript framework?
Infobitt had a more radical strategy - to strip the news down into individual facts and then reconstruct articles from them. The problem was that the site used crowdsourcing, which is too slow a process to use for news - a problem Wikitribune will also come up against.
> You can't just tell every person to "get a car with better proximity detection systems".

Then it's a good thing I didn't.

I was replying (with a bit of humor) to the upthread posters notion that because these cars behave in a way that s/he personally finds confusing they are more dangerous (they aren't) and by extension shouldn't be on the road. And that's ridiculous. And the proof to the contrary is that exactly the kind of unsafe situation the poster was complaining about is something that automated systems can almost completely eliminate.
Listing Strongly Typed Enum Options in C#
The reason you're surprised is that you're only seeing the salary they get when they start at the company. It's not unusual for a senior engineer to double comp in 12 months. I suppose that sucks for recruiters like triplebyte who get paid a % of first year's comp ;)
I've lived in many major cities around the world (and have done enough partying to confidently say) I haven't seen one nightclub that forbids taking photos. That would be stupid.

I've seen a couple of bars where they ban it, but not in nightclubs, especially high end ones. It's too hectic to "ban" something there, and the more exclusive the place is, the more likely the visitors want to instagram their visits, the better marketing it is for the club, therefore they allow it.
Man, this is just weird. I just bought 0.05 Bitcoins (you know FOMO and all that) and it just feels so much more empty than back in the days when I mined them myself with my brand new dual Xeon CPU and later on was thinking grand thoughts and building little projects with epaper ink displays to display QR codes on small devices that would work on low bandwidth connections and maybe offline. Lots of problems to be solved back then, but Bitcoin is just the same now. Nothing was solved. No progress and scams everywhere and people being all religious about Bitcoin. Every man for themselves and to the moon... These days I am even getting scam calls from something called the Bitcoin Academy with people cheering in the background, when it reaches the all time high. No kidding...

I have no idea what to do with my 0.05 BTC. Just let them sit there, I guess as a curiosity of old days. I don't really feel that I fit into the moon community and I don't really feel I want to build anything around this tech just because it is not about tech anymore.

Had lots of Bitcoin sift through my hands. Anyone remember the Bitcoin faucets? Those were the times.

Sincerely,
One of the first 1000 users of MtGox (proof in the leaked MtGox database :P)
wow thanks for this, making something like this is what I consider my life's work but I had never heard of these projects.
Saw the word 'mansplainer' and immediately closed the tab.
Italian oil company gets federal OK to drill in Arctic waters off Alaska
Steelseries the gaming peripheral company has a growing support problem
I believe the point of the article is that the data belongs in 3rd party hands. You might not be doing anything nefarious with the data, but that data does not belong to you and it is outside of your control to protect your users.

Given IP addresses, device identifiers, application identifiers, and timestamps - these 3rd party applications now have some pretty valuable signals that can be aggregated with other signals from other tracking methods to create a detailed profile linking users across devices, browsers, and geo locations.
It's more like oblivious high-paid product managers and devs who can't fathom why people wouldn't trust Facebook or that Facebook might not be a purely beneficial organization.
The problem with VASSAL and Tabletop Simulator and Tabletopia is that... it's awkward to play a real time board game online.

There's a lot of down time while everyone else takes their turn. You have to set aside one to three hours to play uninterrupted. In real life, you have the benefit of hanging out with these people as you play.

However, I've become a huge fan of http://www.yucata.de/ and http://boardgamearena.com recently and not playing games in real time. Making one or two turns a day means there's no down time, and I can be much more flexible making my move(s) fit into my schedule.
>> “Please upload a photo of yourself that clearly shows your face. We’ll check it and then permanently delete it from our servers.”

>> To determine if the account is authentic, Facebook looks at whether the photo is unique.

I assume this means that the photo itself is deleted but a one-way hash of it created to test against later.

However, if I change one pixel of a picture of my face, A, to produce a new picture of my face, A', the hash of A' will not be the same as the hash of A, correct? And I can repeat this process n x m times, where n, m the dimension of the image, ja?

Additionally- when they say "unique", do they mean "known as unique" to Facebook, or "unique in the entire world"? If I take a picture of myself and put it on, dunno, my blog on Blogger, what's stopping someone copying it and uploading it to Facebook to pretend it's me? Will Facebook search the entire web for images potentially matching an uploaded image?

For the record, I don't use Facebook. And there are no pictures of myself anywhere on the internets. As if.
CME is the largest options and futures contracts exchange in the world...

> Seeing NASDAQ is adding it will add to the hype.

Alright, I see your point. You’re considering how this announcement will affect the bitcoin price.
You can't tell with closed source. Anyway, what about "iCloud backup"?
Google on mobile needs work, according to Google
It's not even about skill at CS. I have no problem in that regard. I just see it as a stupid, irrelevant hazing ritual.
Reasons Not to Buy from Amazon
It depends a great deal on your household situation and where you are on the pay scale. If you are an average skilled dev in a single income family with multiple dependants who require separate bedrooms, you are probably going to be worse off in SV. Your housing cost will be a relatively high proportion of your income, so you won't have as much left over.

If you are an above average dev who is decent at negotiating salary and splits housing with other income earners, you have the opportunity to build a ton of wealth. You can save six figures annually and buy a million dollar bungalow if you want.

SV has absolutely huge opportunity for advancement compared to most regions - I think any good software dev should spend some of their early career years here to see if they can make it big, family attachments permitting. Worst case scenario, you don't like it and go home with a stack of cash after your RSUs vest.