skysight-inc/HackerNews huggingface dataset:
It's this thing where US political dialog has basically become "Well _I_ would like this but what about all these other people the media say won't like this? Won't someone think of them?" which short circuits to "Oh I don't want this"

Lots of people who worry a hell of a lot about the federal deficit when talking about whether they would like to be able to afford going to the doctor. Nevermind that this discussion rarely covers the deficit when it comes time to give tax breaks to "job creators".

Also the Democratic party is comically bad at politics in the US. Like "oh but you might lose your private insurance" is a discussion people in the primary are having _when you would be replacing private insurance with free healthcare_. What sort of positioning is even being had here? So many people are stuck in the 90s
Kangaroos enjoy rare snow in Australia [video]
This is very much a problem but it is incorrectly stated as California's problem. This America’s problem. It just so happens that because California is relatively rich, tends to have some of the most tolerable year round weather and the people are relatively compassionate a large percentage of the homeless of all of America are moving to California.

How many times have you heard some politician or just an ordinary person from the south or the midwest say something to the effect “we have a great homelessness policy, we buy each homeless person a bus ticket to California and send them on their way!” They usually say this with pride or with a laugh instead of being embarrassed as they should be. In fact if i remember correctly this was part of the plot of a south park episode (although i do not exactly remember whether south park endorsed or mocked that policy).

So lets not treat this as some failure on California’s part. It is failure of the entire USA. The reasons are the usual ones— lack of mental health treatment for the poor, drug addiction, lack of social safety nets in general. And of course there is one new very scary reason — out of control health care costs that force people that were and should be fully functioning members of society into suffering and homelessness.
The man who wants to make university degrees obsolete
Maybe read the Twitter thread and then comment.
Generally speaking, the mainstream media do whatever is possible to hide away serious politics and social issues under a veil of entertainment, voyeurism, or pornography. Whatever serious issue is at take is dumbed down until it's completely harmless. Healthcare. Gun violence. Plutocracy. Corruption. The death or democracy and rise of a new feudalism. Imperialism and endless war. Climate change and fossil fuel industry. All of the details of these are turned into entertaining stories, preventing people from going to the pitchforks.

You know the famous Henry Ford quote: "It is well enough that people of the nation do not understand our banking and monetary system, for if they did, I believe there would be a revolution before tomorrow morning."
I'm a US citizen who does not want the government to run healthcare. I'm also an immigrant from a country where it does. I've seen what my family in my country of origin has to deal with and...no thanks.
I understand, wow...

I only lived in the UK and Hungary and both places sell stuff I mentioned. I'm very suprised to learn about the USA practices regarding this.

> If it really, truly cost less to go without plastic, poor people would do it, they do any and everything to save a dollar on food.

Then it seems like the problem is with the system indeed, if people are easy to motivate with savings. People try to save on food here too, that's why almost nobody buys the prepackaged meat from supermarkets (happens more in London where people are not that price sensitive).

Based on the quantity of meat I see in supermarkets in Hungary (not that much at all), I estimate 98% of the meat sales happen at butchers where you ask for a certain weight (let's say 2kgs of chicken breasts) and they put it into a thin plastic bag.

Very weird differences.

> And in the aggregate if I substituted cheap plastic bagged cereal, prepackaged frozen meals, and juice jugs for a farmers market / bulk store meal plan, my food budget would skyrocket.

Very sorry to hear about your frozen meal habit, I did that for a year and it took me about 5 years to recover from the weight gain and a general bad health state.

You have not asked for advice but perhaps you can try to make one dish meals in bulk using mostly cheaper ingredients like bulk rice & beans, cheaper veggies, eggs etc. It's generally much cheaper and healthier (again, we are in different contries, so YMMV).
That’s also a caricature. Some of the homeless are indeed able to hold job, and pay bills, etc., and just need a little extra help.

They are not usually the ones defecating in the streets.

Others need serious mental help.

The line between the two is not the subtle “infinite variety” you make it out to be.
It’s as daft someone complaining that they have a family
and can’t go to the after work drinks, but the people who
do go are perceived to be the important, hard workers,
taking decisions with limited input and documentation.
And then you say “I chose not to have a family so it’s
all your fault”

Blaming Slack is like blaming the bar in this situation.
That's the most fundamental question: why life matters, and how do you use the infinitesimal small amount of time you have in this universe.

Of course only you can answer the question, but something that helped me in my own introspection was Clayton Christensen's book "How to measure your life" [1].

Also, for those in the mid-twenties and unsure about career, family, relationships and body/mind, I highly recommend "The Defining Decade: Why Your Twenties Matter" [2]. It may not be relevant for you anymore (I read in my almost forties), but I wish I had read two decades earlier. Here's a short summary I wrote on Quora [3].

Good luck on your journey!

[1] https://www.amazon.com/How-Will-Measure-Your-Life/dp/0062102...

[2] https://www.amazon.com/Defining-Decade-Your-Twenties-Matter/...

[3] https://qr.ae/TWrUXi
Let's also not forget the animal element of street poop here. I live in Russian Hill, a not rough part of SF, and I daily see people neglecting to clean up after their dogs. These people belong to no particular group: young, old, rich, poor, students, tourists, your neighbors.

There's something about this city that attracts people who just don't give a damn. It's unsustainable for those of us who do.

Also, homeless people tend to poop in between parked cars on the street or in doorways. If you see a fresh turd in the middle of the sidewalk, I'd say better than 75% chance it came from Fido, not Frank.

EDIT, I might live in Russian Hill but I walk through the Tenderloin every work day for my commute. I see it all.
There are definitely ways to talk about your work experience in enough detail without breaking NDAs..

I would be honest and say "I'm under NDA for a lot of that but I'll do my best". If neither of you are jerks, you should be able to manage it.
It's a fair complaint, but often is over-stretched to situations where it doesn't fit well.

e.g. Those kids who came up with a creative solution for a disabled 2 year old to play and be entertained deserve to be commended.

Yes, it's horrible there's a disabled two year old, but...
Next time I have to apply to a job with a resume, I swear, I'm just going to use one formatted in raw markdown and limited to a page in readable font.
Also the #1 rule to creating a successful profile on a dating site. Say the absolute minimum and nothing more. Better to remain quiet and be thought a fool than open your mouth and remove all doubt.
Building Organization as a Dancefloor
Hopefully it can be made to work with Realm of the Mad God, a popular game from years back:

https://www.realmofthemadgod.com :)
it's not actually turing complete
The reason is pretty simple to understand- Those who can afford health insurance dont want their standard of care reduced on a 'free for everyone' system. Looking at the existing bureaucratic issues the current 'free' health programs have ( VA, Medicare, Medicaid, etc.. ) seems to indicate their fears might be well placed. In the VA for instance, you can go months just to get a first visit.

Basically, people who have a job and get health insurance dont want to be lumped in with the commoners and get worse care/longer wait times/less options/etc... Its fucked up, but its not hard to understand the pushback. They dont want their health care experience to turn into a 6 hour trip to the DMV.
I stopped taking the subway with my daughter after running time and time again into subway masturbators and dudes who unzip, whip out, and urinate in public without even bothering to hide in the tunnel. Closer to home on the Upper West Side - a self-described bastion of progressive thought in the city - public urination by the homeless and/or insane is a common sight. Nobody pays attention anymore. The police don’t cite or remove these people. Everyone celebrates “decriminalization” of antisocial behavior as if it’s some kind of an accomplishment. I say destruction of the social public is anything but.

Is SF’s poop problem the next stop for NYC?
Bulgarian alphabet is perfect. There are no things like хорошо, where the first vowel is an 'a' and the others are 'o'.

I can read all words, even if I don't know what they mean, or what accent they have.
I agree that verifying programs using dependent types is impractical for large programs. I think that the reasons are mostly practical rather than theoretical, however. There's too little benefit for too great a cost if you want essentially 100% correctness guarantees for every single part of a large, existing program.

Humans regularly do "outperform Turing machines." Most of the complicated mathematical proofs that have been produced by humans, cannot currently be automatically produced using an algorithm in reasonable time. Pick almost any non-trivial mathematical theorem, and you would be hard pressed to write a program that could prove it in a reasonable amount of time given just a list of the axioms. In theory, humans might not be able to outperform TMs, but in practice they regularly do, as attested to by the large amounts of mathematical proofs that we have produced by hand.

Model checkers also outperform humans for some tasks, but then again this is because human intuition has been used to write the model checker in the first place. My point is that using theoretical computer science results to talk about the difficulty of finding mathematical proofs in real-world cases is a bit of a non-sequitur. Yes, the Linux kernel would be practically impossible to verify completely using semi-automated tools, because it would take too much time and effort. But is this because of some theoretical result about the model checking problem? I don't think so.

One difference between having a model checker call a proof assistant and using a proof assistant to implement a verified model checker is that if you write a verified model checker implementation, you can be almost 100% certain that it's bug-free, because it creates proof terms that can be independently checked by the (ideally small and simple) proof kernel of the proof assistant. You don't have to trust that the model checker has been implemented correctly. This difference does not matter that much in practice, however, since model checker implementations probably receive a lot of testing and are quite trustworthy.

You're right that I am mostly talking about Coq, and that a different style tends to be used in Haskell/Idris. Note that dependent Haskell is actually logically inconsistent for backwards-compatibility reasons anyway, so there's not much to lose there by cutting a few corners for pragmatic reasons. It is not necessary to verify every single part of the program. Dependent types in Haskell gives you the freedom to do more. You can choose not to use that freedom where it doesn't make sense.
We're talking about advertising. Getting noticed is king and the content is essentially irrelevant. There is a reason why Apple buries the tech specs for the iPhone deep in the website where most people will never find it. Most people hiring care about your resume's "tech specs" about as much, but flash gets you noticed.

Resumes have seen a trend towards more and more design because early adopters of excess design had resumes that stood out, leading to greater success in their job search. However, as more and more people do the same, the effects quickly diminish.
Lime and soda? No thanks, say non-drinkers
Do you ever recommend that the resume writer puts his/her picture on the resume? It struck me as really odd when Linkedin started to encourage this, as I was told ages ago that a photo on your resume will get it thrown out instantly because it opens up the potential employer to discrimination.
The people who are writing resumes like this are doing it to avoid working at a place like yours. It’s a resume for people who want their company to care about its employees’ interests.
People weren't just using their own bags, they were scavenging bags from the garbage (or the streets—discsrded single use bags were eveeywhere.) Banning designed-as single use bags (and encouraging reuse with a minimum charge per bag) greatly reduced the number of scavengable bags.
> Afaik the only exceptions are when the content is being moderated

Depends on the type of illegal content. There is no established case law that protects you as a moderator of CP. Yes, LEO will not arrest you usually for it, but there is nothing that positively makes you safe as a moderator working to remove and report CP content.
There is a pretty good video on YouTube from a younger person recycling HDPE plastic. It is pretty easily formable at 350F, so can be melted in a common oven.

https://youtu.be/rpXq6mnbCus
AV, always reminding you you’re under attack since 1986.
It isn't that these stories exist, but the tone one takes with them.

I mean, sure, Home Depot employees can't change everyone's attitudes to health care, but the folks talking about it and giving it national attention could frame it differently.

"If we had national health care, our Home Depot employees could spend time helping folks with fun things or growing food instead of building children wheelchairs"

You can still pile on the praise of the individual while denouncing the system that made this situation be necessary.
Though the movie "Matrix" is obviously fiction, these lines from Smith always hit home to me:

> Every mammal on this planet instinctively develops a natural equilibrium with their surrounding environment, but you humans do not. You move to another area, and you multiply, and you multiply, until every natural resource is consumed. The only way you can survive is to spread to another area.

No areas left.
Here's the explanation:

"Why doesn’t the United States have universal health care? The answer has everything to do with race."
https://www.nytimes.com/interactive/2019/08/14/magazine/univ...
> I feel like if people writing these types of articles bought an electric drill, they’d end up drilling holes in all their walls

A more apt analogy would be finding holes and injuries all over the office after handing out electric drills to every single person. It would happen.

Slack is a tool that requires user discipline, yet it is generally deployed company-wide. Its major flaw is that it brings together people who need urgency (sales/support) and those who must avoid it (development).
I think this project has immediate merits when it comes to productionizing small, sparse networks for running on the CPU.

I do research and prototyping in Python, but I have to deploy on mobile devices. I was going to roll my own implementation, but now that this exists, it's something I'm going to look into.
Good to know, I would tend to agree. I’m interested in any contrary opinions (because I may not sufficiently account for anxiety, or other issues).
Young Mr. Bueno has a bright future ahead of him designing WeWork SEC filings.
>I may learn react via books/tutorials, get a great score in the test, never use it and/or forget it by the time

Thats one of the point of programming test, there are tons of framework/language out there, every company might use different language/framework, a standardize test streamline the interview process, make it easy for you to interview in many different company.

>Given that it's not clear as to what problem such a test will solve

It very least shows that you are care enough for the job that you willing to prepare time to prepare for it.

>Some people are better test takers than others

Sure, life is never fair, but for those who are worse test takers then it just mean you have spend more time and effort to practice it.
Have you yet seen what you have to deal with here?

All systems have problems. Other systems don’t seem to bankrupt or kill as many people.
Scots is not a dialect of English!
>We don't even prioritize homes for taxpaying citizens.

There's way too much oppression against simple or niche home designs. The government backlash against Tiny Homes, for instance. And of course taxing homes to death also probably isn't a good thing. Tax bad stuff like gasoline. Don't tax things we need more of.
> was having a bad day

Then ask for a reschedule or try to get it as the first thing in a day.

> I found the interview process stressful, or felt nervous or uncomfortable in the moment

Need to grow confidence. Walk into interview - like you own it. You are the best. Think - you know everything {only during interview :-) } but also keep an open mind. Don't think - it's an interview - take it as you are going to teach them about what they will ask.

Irrespective of this - mistakes will happen. Fail -> learn -> try again.
GoFundMes are still pretty common in Canada, it might not be the same as some European countries but at least here having an expensive illness can still rack up a lot of peripheral costs, like childcare, food, transportation, while at the same time your income will be reduced. We're pretty good about covering the direct costs (except pharmaceuticals unfortunately) but the social costs are still typically left to the individual.
I would be curious about your particular implementation with SQLite. When enabling WAL, I am able to saturate a NVMe disk on which the the database file resides. In the single-node case, I have yet to see SQLite (when optimized) run slower than any other SQL implementation. I do agree that SQLite with 100% defaults will easily be overtaken by Postgres, and that if your use case requires that more than 1 node persist transactional data you should definitely be using Postgres.

We are currently using SQLite (C#/System.Data.Sqlite.Core/WAL=on/synchronous=normal) in production for multiple customers as the principal store of transactional business data and application state. We have had literally zero downtime or performance concerns as a consequence of SQLite being used for managing this data. The longer this goes on, the more I am led to believe that using a client-server database system for any single-node persistence scenario is never a good idea. The part that I really like is that I don't have to install anything on the customer's box along with our software. We use a self-contained deployment of .NET Core, and it brings the SQLite engine along for the ride.
I don’t care about my colleagues’ interests. I treat them decently and with respect when we’re working together, but at the close of business we go our separate ways and pursue our interests any way we see fit.

Likewise, I don’t expect my coworkers to care about my hobbies. Most of them would be horrified to find out.
> In New York we have more homeless per capita...

At least based on latest 2018 numbers I found for both cities, that's not true.

NYC 78676 homeless with 8398748 residents.

SF 9784 homeless with 870877 residents.

106 residents per homeless individual in NYC.

Only 89 residents per homeless individual in SF.

> And for fuck's sake, it's not the weather. Our parks aren't by any means pristine but we don't suddenly sprout tent cities every summer.

I'm certainly not blaming it on the weather either. But this statement kind of misses the point on how exceptional our weather is. Our tent cities get to grow year round without interruption because it's mostly warm enough in the winter and cool enough in the summer to live outside full time.

The rest of your points stand without caveat. We don't build enough housing at all and we're incompetent at building shelters (at least ones that the homeless are willing and able to use)
This article doesn't present the case that this is something wide spread or increasing in frequency. It just contains links to various articles but gives the reader no idea of the relative numbers of this type of reporting versus other types and whether or not this type of reporting is increasing in frequency. This is a complete non-issue if these are the only 10 or so articles in the last 3 years.
Why Some Doctors Purposely Misdiagnose Patients
I started doing that a bit ago actually. I’ve been successful. One pages document, all text, bullet points, font size/weight and document structure to mark significance levels.

One other plus is that it makes the automatic resume importers work much better.
This may be surprising, but there's people outside the US.

In fact more than 95% of people are not presently in the US.
So the weird thing is, that people who can’t solve these kinds of fizzbuzz type problems are often employed as programmers.

And, in my experience there are definitely situations where the majority of candidates can’t solve these problems.
This is a little misguided. The only reason that AMD is so cheap on the consumer side is that they genuinely want to take a crack at Intel's market share. With GPUs, they're only competitor is Nvidia, and as long as they are cheaper than Nvidia at a reasonable performance, they are fine.GPUs are extremely profitable while CPUs aren't as profitable (yet)
A few months ago I directed my team (size 12, co-located) to turn off Slack and Email from 9am to Noon every day. From noon to 2 we decided to prioritize being “reachable” for ad-hoc meetings and whatnot, and then we go back to normal “use your discretion” work for the rest of the day. We ran this as a trial for one month, then evaluated the results.

In the end, productivity (as measured in completed story points) was up about 50%. I’m glad, because the change was popular and would have been difficult to reverse if it had gone the other way.

This doesn’t fit every situation. We’re part of a very global company, and responding quickly to a ping from a team on the other side of the world can mean the difference between solving a problem today or having to wait another 24 hours. But for my immediate team this is easier. Because we work together in an office they can just, you know, say something, if they have some urgent reason to break focus time.

So, not universally applicable, but I think many teams could benefit from prioritizing focused work in this way.
Gen Z is smart. If you can look good, which isn't hard to do when most resumes have no photo, I have no doubt you'll get ahead.

20/20 episode on "lookism":
https://www.youtube.com/watch?v=PTfRRmFC4-c

TL;DR of the video: Good looks will get you hired, make you more money, and make people think you're smarter.
Swift is not fun on non-Mac platforms. It feels a lot like Google's Dart in terms of how it was positioned and advocated.

Modern Rust isn't difficult to use. This is becoming a really tired meme from detractors. The compiler is incredibly helpful, non-lexical lifetimes are a thing, and unless you're doing a lot of sharing and parallelism, you can avoid many borrow checker problems until you learn RAII.