skysight-inc/HackerNews huggingface dataset:
If there was one comment I could use to describe HN, this would be it
I'd really rather use keybase as it's a lot easier to rotate that key and it doesn't secure anything important. But you picked one of my keys at random and I have to try them all to see which one you picked? And you did all this rigamarole to make it private even though a scan of my passport is required to actually use the proceeds? I feel like the effort put into this was misdirected.
Surprised no one linked Simple Made Easy[0] yet.

Around 30 min, Rich Hickey describes how the opposite of simple is complex, and mentions the etymology, "to braid together".

"It's bad. Don't do it."

0. https://www.infoq.com/presentations/Simple-Made-Easy/
3 a day? Last week I got six in the span of 93 MINUTES.

They all matched the area code and prefix of my number but the last four were always different. Block one another calls 12 minutes later.

I’ve had this number for 13 years, have ported it across carriers and it’s long been known by friends and family as the default way to find me. This problem was a mild nuisance years ago. It’s a plague now.

It may be time to finally give it up.
Just speculation but I think a big part of this is that it is often quite difficult to lay off staff.

The issue isn't that you assess employees poorly...it is very hard to be right based on knowing someone for a couple of hours...but that it is so hard to get rid of someone if you are wrong. Would you marry someone after meeting for as long as the interview? That is the decision for a lot of companies.

I think that is why you see places like Denmark and Sweden, that make it easy to fire employees, do well and places like Japan and France do relatively poorly (the latter is particularly odd, they had a big lead in engineering...tech is miles behind)...ofc, it is hard to fire people in California...so not every example fits.
I failed a hiring code assignment because I didn’t provide a unit test. They didn’t ask for unit tests. I did provide various data samples to provide various end-to-end tests with documentation.

Now I abandon any interview that requires a code assignment. I have better things to do than mind reading or dicking around with subjective code style nonsense. If they are taking this seriously they will provide their grading criteria along with the assignment text.
It's honestly pretty ridiculous seeing your tone in the comments and how you think that highly about your bad interview questions and your flawed conceptions about the solutions, including CSV and TSV confusion. This smile makes it embarrassing even.

Hope I never pass your interview!
Scientists are closer to solving one of astronomy's biggest mysteries
It's in community and uses this 2-line patch:

https://git.archlinux.org/svntogit/community.git/tree/trunk/...
I'm not sure that there are languages more or less amenable to full formal verification. Formal verification of a system is such a complex task that the language-level details are unlikely to be a significant proportion of the effort.

You can also look at existing formally verified software and probably confirm my assumption - there is likely as much formally verified C code (a weakly-typed, memory unsafe language) as formally-verified Haskell code.

And I do not agree at all that a formally verified banking app is a good idea. It would likely be so difficult to do that by the time it is finished it no longer runs on any current version of any OS.

Formal verification is just too hard to be worth it. There are better methods of ensuring software correctness that are far less costly. Maybe something will be discovered in the future that will make it easier, but for now formal verification of any piece of software more complex than a few hundred lines of code is a multi-year research-level project.
I recently noticed that frontend language Mint is written in Crystal - https://github.com/mint-lang/mint

I've been playing around with Crystal for some toy projects as well as some data cleaning/munging scripts. I had a fairly large CSV dump that was making Ruby choke to death - porting to Crystal was trivial and it ran amazingly fast!

I'm super interested to see where the concurrency story goes in Crystal. Fingers crossed!
I expect you would fail the test because of the attitude

How is this relevant? Now you're just taking cheap shots.
This is brilliant! The first "surprise me" mad me smile :)

http://toastytech.com/evil/index.html
That's a fair point, thanks for the reply!
I don’t think anyone was hyping self driving cars in the 1920s. If they were, they already had horses that could do that anyways.
Quad-spaced facepalm....
How come these were dropped out of usage ?!?
I'm sure that "Giant Search and Advertising Company" would never hire me. But they did buy patents with my name on them.
If you implement QBPUs (Quantum Baby Processing Units), you could theoretically produce infinite babies. Of course, we're perpetually 10 years away from working QBPUs.
You are only thinking about the USA, but there are places outside of the USA where SDVs can be transformative. Specifically, huge Chinese mega cities with really really crappy traffic and pollution problems.
I mean, for most competing apps this backup is completely transparent. It's when they reinstall Signal that they'll notice all their messages are gone irrevocably.
Does that make the colour blue a social construct, or the word blue a social construct?

After all, #0000ff is #0000ff no matter what you call it or through whose eyes it reflect photons. ;)
Or they died out long before we appeared:

https://en.wikipedia.org/wiki/Silurian_hypothesis
Adobe Creative Cloud uses your images for ML
Route Dose API – Calculate cosmic ray exposure along a flight route
I didn't take it as bragging; to me it looks like it comes from a position of wanting to teach. Security is basically a collection of things you ought not to forget, so I think exposure is important for people to a hold of it.

I don't do anything cool, at least as of right now, but I still check my locks and I'm happy to impart my knowledge like this. Privacy is a human right! I hope journalists, Uighurs, and whoever else can find their way to decent security information because of mirimir's efforts.
Yes, there's no real general rule (see HN articles for instance) but "if I omit these parts of the URL, I get the same content" is usually a safe bet.
Recommended Books for the Small Business Owner or Solopreneur
Lottie is not just used on Airbnb apps.
We're a penguin-related species...
Does signal still force "require" people hand over your personal phone number to use an internet message platform ?

Out of
Signal + Wire + Telegram - I've found wire better for my personal individual case

Still self hosted SIP and XMPP are better then Wire/Signal/Telegram
Location: CT, USA

Remote: Yes

Willing to relocate: No

Technologies: React + Redux, CSS Modules, Sass, Javascript, ES6+, HTML, Firebase

Résumé/CV: https://bit.ly/31UJHdq

Email: jwenta123(at)gmail(dot)com

LinkedIn: https://www.linkedin.com/in/jwenta123/

Looking for a Junior Front-end position.
Then perhaps I don't want you at all?

I've watched a number of new grad hires pick up bash, vim, and version control from scratch in a month or two and go on the be very successful. For better or worse some good schools don't cover those sorts of ancillary skills, and not every good candidate will tinker with Linux as a hobby.
Will this ever happen to Amazon (AWS) which is in hiring spree ? when you have surplus, can't they easily cut loose some when plans didn't go the way it was supposed to.
I lived in a couple third world countries where grown adults asked if we had cats in the United States.

Should I look down on them for not knowing something about my culture? Or do we have different concerns in our lives in different parts of the world?

I'm not saying that being culturally aware is not good for a person. I'm saying it's not a sign of being better than others. It's essentially the same as me memorizing brain teasers when I was 12. Neat, but not the type of thing to brag about.
> Beginners often lack the experience to appreciate "critical thinking" based learning.

I don't think that is it. _Beginners_ being the critical word.

Most learning is part of a negative feedback loop, if we only ever succeeded we wouldn't know why we succeeded, failure has such bad connotations in our society that it blinds students from deeply understanding a subject. Maybe replace it with experience?

Back to the subject of _Beginners_, we really should be teaching students from a very young age, philosophy, cognitive science, and epistemology. They should embrace experience, it shouldn't be up to the database schema instructor to teach both data modeling and learning by failure. Students should be fully versed in how to care and feed their brains by the time they arrive in the GPs class.
That's not really suprising. I imagine setting up a new deployment isn't terribly expensive (now the R&D is done), but given you are going to be spending a few weeks working with the ISP to get it up and running, you probably want it to be with someone you get on well with.
This thread is actually irrelevant to the radiation question due to the plane radiator thing mentioned above.
Difference between back end, front end, full-stack and super stack development
I think in general Catalina was missing flagship features.

- The split of iTunes into Music, Podcasts and TV (and system integration for iOS synchronization/backup) didn't bring about significant user-visible benefits. I think there was an issue with content not being available in iTunes under 4k the was solved, and Dolby Atmos was added.

- Catalina is not really a user-level feature. The apps which are created using Catalina aren't really draws - Find My is probably my most used, and I could just use the website if it wasn't an app.

- Reminders got a big refactor and new functionality, but the in itself is a limited draw.

- A few smaller changes to Notes, Photos, and Safari, but nothing I couldn't live without

- Screen Time - perhaps useful in families, but my understanding is that the conceptual differences between iPhone usage and Mac usage weren't accommodated for.

There was the delayed release, impact to polish, and removal of features like iCloud Folder Sharing (which I've indirectly been told were all the same issue - that folder sharing was not stable enough to be integrated into the tree and it impacted other development). It was a much rockier-than-normal update.

You also have the anti-features of 32-bit support being removed, and additional privacy-consent-for-access prompts for screen sharing, sensitive folder access, etc. The prompts are IMHO overblown - they are one-time and many of them have gone away as software has been updated for Catalina (as in, there was no legitimate reason for some particular application to be scanning the Desktop to begin with). This doesn't change that there isn't a big draw.

If there is a big feature for macOS Catalina, it would be SideCar. This adds a second screen to the Mac, it enables pencil usage, and perhaps even provides a slight bit more justification to Touch Bar functionality. This is still limited as it is an ecosystem feature - IMHO its real value comes when you are using an iPad Pro.
Still waiting for an Open Source Dot Matrix printer without tracking ink
The best example of induced demand ignores price.

Build more freeways and you get more drivers.
Tempest: An influential video game [video]
Not unless your starting point and ending point are very close to a subway station and you don’t have to make any transfers. I use to commute from 88th and broadway to 45th and Lex. It was a bit over 30 minutes by subway, more like 25 minutes driving. In the evening, if I was leaving work late, it was like a 20 minute cab ride.
They are missing a lot of good engineers by putting sink or float weight on white boardings. Apple does this as many big companies. a lot of candidates can code but can’t white board or they can white board because they studied the cracking the interview. You will get some that can actually get whiteboarding but you are hiring people with very simular minds
My brother-in-law works with various Netflix managers. One of them got a negative mark on her performance review for not firing enough of her team members over the previous 12 months. Netflix pays about 20% over market value, but it's like Lord of the Flies over there.
Engineering interviews borrow ideas from competitive programming.

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

The world's top companies receive a flood of applicants and use this format to filter them.

If you work in simple web applications with mild traffic volume, filtering candidates in this way is unnecessary.
They were uuencoded. https://en.wikipedia.org/wiki/Uuencoding
I'm not sure that's true. There was a highly upvoted post recently on both HN and /r/programming that claimed to have a better sorting algo than libc's sort. After hundreds of comments across both forums, looking into compiler explorer showed that the key difference was inlining.

As a C++ person, basically all micro-optimizations start at "look at the damn assembly" since people really suck at predicting what code will actually be generated.
Yep, I think that the guy who you replied didn't work out that it was a joke. I am not really sure how anyone who has spent time in the real world thinks that tests are effective.

Look at Korea. They torture their kids, and are they smashing the world economically? Nope, economy still totally reliant on chaebols, almost no innovation, GDP per capita is actually quite low for such high levels of human capital. I have seen this in financial services...firms that hire teams of PHds get nowhere (one place even has their own postgrad institute at Oxford...still get shitty returns year after year).

I don't think tests are bad at all, I am not saying they aren't useful...but they optimise for stuff that doesn't always work in the real world. And, unf, hiring is one of those things that is just very hard...trying to uncover talent by doing these tests where everyone knows (roughly) what is going to be asked, and people are just preparing with rote study...that doesn't sound like you are actually trying to uncover talent. It sounds like you have decided hiring is hard, and you don't have anyone who can hire...but if you are Facebook and you are hiring thousands of programmers, statistically you aren't hiring the best of the best so...maybe it doesn't matter.
> Every minute spent on flashcards is a minute that cannot be spent on more contextualized study.

I often spend less than 5 minutes in the morning on my flashcards. There's not much deep contextualizing you can do in 3-5 minutes. Certainly not in areas like physics.

It is a false dichotomy. All minutes are not equal. I'll gain much more by spending less time on HN than by cutting out flash cards.
Electric car isn't a recent invention. It was quite popular at the beginning of the 1900s.
Google does not want bright, creative people anymore. Google only wants drones now. It's a shift that coincided with its change from a technology company to an advertising company.
>some researchers have argued we won’t have widespread self-driving cars until we’ve made major changes to our streets to make it easier to communicate information to those cars.

It feels to me like those working on the concept are expecting that if they keep adding sensors and twiddling with AI they can avoid that.

I get why. It's a vast and expensive undertaking that is out of their control and they want to sell their product asap. But if we started with major city streets and highways it could be a quicker and safer route to get it to market.

Years ago (around the late `90s) I worked on an "Intelligent Traffic Systems" project for the city of Branson, Missouri. The 3M Corporation demonstrated a magnetic tape for street lines and a snow plow truck outfitted with sensors that could detect the lines connected to vibrators on each side of the drivers seat. When the truck got too close to the line the seat would vibrate on the side they were close to. I got to ride in the truck for a demo of the tech and worked well.

We also had street cameras that detected autos and could estimate speed and traffic congestion. These sent video and data to the local 911 center. I created a "traffic congestion map" that ran on a web server using that data that worked pretty much the same as Google Maps that show congestion.

We need "smart streets" to really make this work. Without adding that to mix corporations could be banging their heads against the wall and spending billions of dollars to try and never make the last mile.
Preach! Also knowing everyone in the company and having some sort of personal relationship and impact in their lives.
Sounds like communism
We lose money on every sale, but make it up in volume.
Sadly there are too many people applying to too few jobs. So they’ll hit the archives for CS questions that largely won’t apply to the actual job
You can also type design.new to get a Canva design.
Take the difficulties of IPv6 migration and remove the ticking clock of running out of IPv4 addresses. How long would the migration take? 10 years? 10000 years? I bet it would be closer to the latter than the former.
I think it makes sense. There is absolutely space.

BUT you couldn’t move the people through the city and bay area with current infrastructure.

Money (in big amounts) needs to be taken away from roadwork and poured into public transport.
This is really cool! Can you explain how you factored the velocity and also how the backend works here?
This will probably be lost in the pile of comments, and I'm sure some people will interpret it as humble bragging. But I genuinely do not get the angst and anger over the tech screen, from the perspective of an applicant. So I want to explain why I like them.

My background: I've never taken any kind of CS or programming class in my life. Mediocre grades in college. My first exposure to programming was at age 24, as I fell into it with an IT tech position. Went from there to a series of jobs at several startups. Before applying to a FAANG, I went through Elements of Programming Interviews and solved all the problems in it, which at around 10 hours/week took maybe 6 months of prep. I then sent in two applications, one to FB and one to GOOG, immediately got phone screens, passed, and then two weeks later went through the on-sites. Every one of the questions was either lifted from the coding prep book or trivial.

End result? Offers from both, joined as an L4, at a total comp higher than I had ever dreamed of, and significantly higher than friends in medicine who have easily spent over a hundred times as much time preparing and studying as I have.

So I'm kind of left flummoxed. Am I just incredibly lucky? There are huge issues in the hiring process, but if you want a job at FAANG, as far as I can tell it's incredibly easy to game the system. Set aside some time each week (easy, if you don't have kids), study for a couple months, and then apply. There's literally no other field than ours that is so open to motivated people without paper qualifications and that simultaneously offers so much in terms of lifestyle and compensation. Whether it hires the best candidates is another question entirely, but that's an issue for the company, not for the applicant.

But, when I give an interview to an applicant and use my go-to question, which I initially feared would provide no useful hiring signal for being too easy (and which, yes, I've tested on all my coworkers, who solve without any difficulty), I find that only maybe a third of applicants complete it at LH or higher.

To be clear, I'm calling this out as a blind spot I have--there's clearly a massive gap in perspective here--but hopefully it'll provide a useful data point for why tech screens aren't universally hated and why they manage to persist.
That's all interesting but I'm not sure how we got to talking about his diet.

I looked it up and indeed he had pancreatic cancer eight years before he died. Suggests that it's possible for Trebek to live for some time yet given not all forms are untreatable.
What's the easiest way to get around paywalls?
State and corporate espionage isn't anything new. As well as learning and copying business (your "theft"). Japanese did the same with semiconductors.

I don't know what _exactly_ has been going on with Huawei and other companies, but I understand that the publicized outrage about Huawei and other Chinese companies stealing from America isn't natural. Most people were fine with Chinese advancing and copying, since everybody benefited from cheap labor/products. Until the powerful in the West realized american economy is in bad shape, power balance in the world is shifting and it's time to do something about it. I guess shaping public opinion on China is part of that.
> Klobuchar didn't get any coverage until her outstanding debate performance and then her polls picked up.

Klobuchar was getting lots of coverage, including major media endorsements (like the NY Times, which did a weird split endorsement of her and Warren), before the debate performance, and even after she's still barely registering in the polls nationally, polling at around 5% on average
Self-driving personal aircraft would probably be easier to implement than self-driving cars.
Yank Levy
Why is it hard? Group chats are E2E (in WA/Signal) and solve this problem.

It's not that far fetched to make every conversation a implicit group conversation with n devices on both sides.
> For important proofs, I put them in Anki using Cloze deletion. I just drop in the whole proof, and knock out portions. This has been extremely effective in remembering and understanding the proofs.

Thanks - I still haven't used it for mathematics, but this is good to know. I do have a few proofs of theorems in statistics in my flashcards, but the whole point of the cards is to spend only a few minutes a day on them - and doing a few proofs requires a paper, pen, and time. So I keep those in a separate deck and do them only when I know I have time.

My concern with mere cloze deletion is that I'll likely get the illusion of understanding without real testing (being able to rederive something is a real test). I'll likely go for a hybrid approach - full proofs in a separate deck and either proof sketches or cloze deletion in the regular deck.

> One of the most important things I remember mentioned in that class was that memorization and understanding are actually quite tightly linked.

This stood out to me when I took the course, although my memory of it is different. I don't think she said memorization, but "covering it and reproducing it in your own words" - the latter requiring understanding. But yes, she claimed that the research showed this outperforms things like mind maps, and that nothing has so far been shown to outperform this.
Self-driving stops being a (difficult) AI problem if you force all cars to be self-driving and network with each other. It converts the behavioral/theory-of-mind problem into a distributed computing problem. We could have had self-driving in the 80s with this approach. Imagine where we would be today if we had decades of 24/7 trucks and ubiquitous robotaxis. It would be a completely different world. It's a shame humans are so bad at cooperating. But still, this is not out of the question today. Obviously the only way to pull this off would be with massive government subsidies. It would be worth experimenting in a small country like Luxembourg.