skysight-inc/HackerNews huggingface dataset:
I have over 500 hours in Hearthstone. I played it on Saturday. It was my main online game. I haven't played it since.

And yes, it's still an easy call. I was in Hong Kong for quite a bit when I was younger. It's a glorious place. Or was, I haven't been back. I don't approve of the Chinese government, nor the United States relationship with China. We've compromised our principals for economic gain (I'm American). Hong Kong should get to stay democratic if that's their choice.

Note I was specific about disapproval of the Chinese government. The Chinese people are an amazing group with a wonderful culture and I appreciate them immensely. But they are governed by communist goons.

And you're right, I'm not quitting Hearthstone. If they say something akin to what the NBA is saying now, I might consider playing again. For now, no.

edit: "say" for "stay" typo.
I've had engineers tap me on the shoulder with a proud look on their face while pointing at some crazy mess of branches they've just spent hours futzing with to finally get "right". It would have taken them a fraction of the time to just fix whatever issue they were having by following the advice above. People really take git histories WAY too seriously.
> And this is such a problem that you think the US should take actions to try and overthrow their government?

I didn't say that. Judging by the successes of forced regime changes in recent history, I'd say there's little actual practical value in doing so. I'm a pragmatist as much as I am an idealist. There are other options to counterbalance China's growing influence and power. The TPP was the most obvious option, but the US scuttled it and abandoned all the Asian countries who were relying on them to protect them from encroaching Chinese pressure.

> I'm not thrilled at the prospect of a Chinese super power either. However, I also view the US as a rather terrible superpower, and unlike in China I have some amount of agency to change that.

Believe me. I'd like nothing more than for the US to gain even a tiny fraction of the moral values and character that they traditionally pretended to have. Still, I prefer a world order where the US is in charge. As abhorrent as they may be, they're the lesser evil here. Unfortunately, Trump and the Republican party are eroding what little faith (and it's miniscule at this point) I have in the US ... if there were any other, better option, I'd be really fucking happy.
WTF, 2500 CHF it's not livable in Switzerland at all.

You have to pay by month:

300 CHF for medical insurance
4 CHF for access TV/Radio (not internet)
30 CHF for mobile phone
400 CHF Eating
100 CHF Clothing

This is for young people having no life. Nice underpayment.
> plans to self-fund the journalism nonprofit

Trust fund baby has a new project and money to burn.
I understand where you're coming from and I thought twice about using that word. I certainly appreciate the work done to give me freedoms, and I agree luck had a big part of it.

But the reality is that as a white middle class male in the US, I do have the privilege to say things and do things in public that people who aren't white or middle class can't. The freedoms we have aren't equally distributed due to systemic racism and sexism.

I'm pretty anti-woke, actually, I hate the term.
Ask HN: How does your local development environment look like?
Just curious to know how other devs do local development around the software they are building, be it a monolith, service oriented, event driven architecture, running in vms/containers around an orchestrator, k8s most likely.

Is your local environment as close as production, or you run everything on the host, or you develop in containers but deploy on k8s, how do you solve issues around that.

Would love to hear what works for people, interesting caveats around it etc

Have a good day :)
heh, I'd take tag out of there and let CI handle that. Good list though.
Hello World doesn't push much to the limits.
Git log is probably the single git command I use most often.

Stash can be useful, but it’s good to know that you can get by without it very easily, there’s nothing you can do with stash that you can’t do with commits & branches, and stash doesn’t have the same safety mechanisms that commits have. I think the biggest git accidents I’ve seen, where people have gotten confused in the middle of a merge and lost their work, are due to using stash.
Today's China is communist in name only. They literally arrested the president of Peking University's Marxist society on ideological grounds: https://news.yahoo.com/china-arrests-marxist-student-leader-...
This attempt on my education has left me scarred and deformed...but my resolve...actually that’s pretty worn down too.

I don’t think there’s enough discussion in spaces like this on how hard it is to continue education while working full time. Working full time is already hard enough. Life is hard enough. We in tech like to pretend that ours is the most meritocratic of industries, but we also contend with job postings that wouldn’t dare a second glance at a candidate without an advanced degree next to their name.

I just wanted a skill set that couldn’t be as easily outsourced or replaced by H1-Bs so I could make art with A.I.

Shit’s crushing.
There's also the fact that western media is extremely popular in oppressed countries. For example: Osama Bin Laden loved Disney cartoons, and Kim Jong Un has a macOS lookalike linux distro on his computer.
That's the founder and lead dev of sourcehut you're talking to. I'm pretty sure he wouldn't object if he agreed.
Those last few paragraphs really resonated with me in a funny way. I find lately that the more bored and unfulfilled I become with my job, the harder I start staring at pictures of that new Corvette...
I have met a restaurant owner who had exactly the same issue. A lawyer came into his restaurant alongside someone in a wheelchair. They noticed paper rolls were not at a correct height, threatened to sue, and let them settle for less. For the restaurant owner, it didn't seem that they genuinely cared about the accessibility problem, but rather making money off using ADA.
> Whereas true understanding occurs when following side by side the Coq code and the evolution of the goals

In addition to the sibling comment, this also breaks down in the presence of using elaborate Ltac tactics to automate large parts of proofs. There you'll just have a big macro step that eliminates the goal, or transforms it arbitrarily, or fails, in some way you don't necessarily understand.

But this kind of automation is necessary for large projects on the scale of CompCert, otherwise you'd die of boredom trying to type out all the cases yourself.

Nobody should comment every line of a proof, but they should document the general ideas and structure, and other proof languages than Coq's tactics language do this better. I really urge you to take a look at some of the proofs in the PDF I linked above. You won't understand everything, and I'm not trying to convert you to Isabelle, but you will see a different way of structuring things.
You'd be surprised. In Florida, there have been cases which have set precedent as websites being similar to libraries, which would mean the ADA applies to purely digital places. The problem is that the ADA has never set explicit rules for website accessibility.
See what I wrote below regarding Spanner. The same thing applies to the CockroachDB solution. If you run 2PC for multi-region transactions that is very slow (increases latency), and prevents conflicting transactions from running for longer periods of time (decreases throughput).
Next startup: Build an ML model and let it feed on Chinese anti-insurrection laws and Apple app review guidelines. Then, let the ML model generate apps that comply. Should be an instant smash hit.
To be fair, those companies are gushing money so bad that using them is only going to cause more losses for Saudi investors.
Isn't there a slatestarcodex blog about the statistical average of people having at least one significant life difficulty they're working through overall result in nearly everyone you meet having serious life-changing problems they're working through? (He listed the average rate of assault, violence, abuse, addiction, etc. in the general populace made it such that every person you meet has or is currently dealing with one of them).

In that sense it makes sense that you'll have a massive amount of pushback when proposing that people should just work harder or work more. Statistically, there's a high chance that a majority or significant minority of your audience will have one many, many conditions that eat up their time: grad school, parenting, caring for parents, caring for siblings, caring for friends, caring for spouses...
Yeah, I can imagine how many things would be different if businesses had been able to decide what blind people like.

"It's a website, which you look at, so clearly blind people aren't interested."
No, I'm just disagreeing with the parts of it directed at the commenter you were responding to. (Edit: basically just So stop spreading this "China is not so bad, it has the same freedoms as in the west!" bs. )
I really enjoyed Thomas Sowell’s _Basic Economics_. It’s a fun read that covers a variety of economic concepts with logical analyses in a narrative format.
The telling behaviour is falling out of our culture. The dispassionate army Sargent basically relaying information without care or cause for it's impact is telling. The kid made to get through class by doing an oral presentation and focuses on rapidly getting through the content that needs to be said without caring about it's delivery is telling. Telling is the most basic form of communicating. Most of the information we used to "tell" each other is done over computers now, there's no need to boringly recite football scores or updates on the weather. The communication we do in real life is more focused now.

I don't know in what places a formal and functionary 'telling' mode still is common. Asking a person who 'tells' to show more encourages them to see the words as if they describe a visual. Show the reader the details in a way that the mind's eye could reconstruct it. It's not the end all or be all of writing, for sure. If you're going to use 'show, don't tell' to silence yourself, then yeah that's not going to work.
It seems, to me, like a normal command line tool that has the operations you want would integrate better with workflows. Here you can use “-c” but then you’d have to deal with quoting and such. Seems like a big impedance mismatch to pay for “working directory” functionality.

... I don’t have a super tree of Vault secrets though (it’s one level, actually).
Yeah, I didn't find it helpful at all. It was basically saying, "Experts do great work!" Thanks, I already knew that.
It's worth reading the prior literature: Markus Covert has gotten pretty good at predicting quantitative phenotypes using whole cell simulations (with very limited cell representations, basically just feature matrices).

https://www.cell.com/abstract/S0092-8674(12)00776-3
did you end up settling?
> gaping hole where United States leadership should be

I've seen this exact wording a lot recently. Is this the new propaganda line everyone parrots? I must have missed the previous administration's strong stance on ANYTHING AT ALL dealing with international relations, besides killing people from the sky. When did the previous administration lead on anything and not just bow down (literally bowing) to international leaders.

Sorry, the gaping hole in leadership was filled with someone who cares about the USA.
>Both are acceptable, even in polite society...

Proprietary is not acceptable.

Profit-driven can be acceptable, but time and again we've seen that companies driven by profits don't make decisions in the best interests of their users, i.e. you.
Also I had a reaction like "that's not how French cops operate when moving an inmate!"
It's exactly because the performance depends on the implementation details that when you understand implementation details, it can guide what you test and help find an optimization peak faster - or come up with a theory of another peak more distant, and journey through the performance valley to find it.

Implementation details follow the contours of the fundamental algorithms and data structures. You understand the outline of the implementation details - the bones, if you will - from that. And you can dive into the source (or disassembler - I've done that on Windows) to fine tune knowledge of other specifics, with e.g. gdb stack traces on the database engine when it is abnormally slow to focus attention.

Without having gone to battle together over some performance problems, or me writing significantly longer battle-story posts, we're probably not going to be able to communicate effectively here.
lustre is crap.

Every single supercomputer meeting I've been to (I've been part of the community for years, they often invite me to their meetings to give an industry perspective), people are just continuously complaining about the filesystems, and it's GPFS and Lustre at the top of the list.
I stopped coming here a long time ago because trolls dominate. These days we understand why and how that happens, and HN is wide open to that kind of abuse, with no moderation tools.

So what changed, if it's true that now it's a place where people are respectful of other people? And where are those comments in this thread (spoiler: they're at the bottom of the list).

Anyway PLEASE let me know when the tech I have participated in is discussed here and if there's some way I can help.

For example, I'm getting a new version of the XML-RPC website ready, based on a new JavaScript implementation. A lot of people still use XML-RPC, after scripting.com it's my most popular site.

My email address is dave@scripting.com.

I'm always shipping new projects on GitHub. I have a new one I'm working on that I'm really excited about. ;-)

https://github.com/scripting?tab=repositories

If Hacker News is a good venue then I want to participate. I'm skeptical but will try to keep an open mind.
5> Vans removes innocuous custom shoe design https://www.cnn.com/style/article/vans-hong-kong-intl-hnk-sc...
I really want to do this, my new employer will even help subsidize the cost but there are major problems.

1. Traditional universities schedules do not work with a full time work schedule. Even getting information on admission and such is a pain because it's all geared towards HS seniors.

2. Most online bachelors are either post-bacc or require me to have preexisting college credits (I went to a CC a couple years back and quit after a month so I have nothing). A few others often a handful of limited degrees such as Nursing or Business or a vague "IT". The latter seems to be the case with most adult education programs.

I suppose I could could take a handful of weekend classes at a community college and then try to get into one of the distance learning programs, but I dont want to spend a decade to get a degree
Credit and debit cards are specifically exempt from sanctions. That said, the card organizations may use sanctions as an excuse to not go forward with the chargeback process (as in, we will gladly take your money, but refund none of it because sanctions).
I'm glad to hear that. Speak up about your boycott. I have a cadre of friends who play Hearthstone, and they know why I stopped. Maybe I've now had .001% influence on them, and that'd be great.
Exactly. By surrendering more and more of our society to the private sector, we're surrendering more and more to organizations in which we don't get a vote.
By a careful examination of Hinduism, Christianity, Islam and atheism I can tell that a large number of people are spreading damaging mistruths about some of the most important aspects of life. Much more damaging than being wrong about gay marriage.

We have to be able to compartmentalise what people are wrong about that affects their work and what they are wrong about that does not. It is distasteful to support someone who is obnoxiously wrong but their being excellent at what they do has to count for something.

Dunno what the story is for this specific political spat at Mozilla; but compartmentalising "relevant to my work" and "irrelevant to my work" is a fundamental plank in the wobbly structure of civilised society. Even the most rabid will support some aspects of freedom and not others. Support compartmentalisation, even if in this case it meant he was the wrong man for the job and had to go.
Quite the contrary. You should assume that if you step out into the stream of general discourse, you will be offended by something. You will have feelings. Be ready.
48.5% of managers say 121 meeting agendas are a “shared” responsibility
On this note, I'm setting up an OSS side project (finally going public after a year+ of internal revisions) for many of the reasons cited in this project. It's something I care about.

With that said, part of my plan is to have a hosted version of the application - at least until the moderation of content makes me regret it, hah. However, I am concerned about the overhead of both writing and maintaining a complex FOSS project, but also handling [dev]ops of the project.

I know enough ops to be dangerous, but not much beyond that. I also know enough to know how little I know. Due to budget constraints, I will likely be hosting this on a very low cost server and exploiting CDN caching/etc very, very heavily - but I do imagine I'll need a cheap VPS. Ie, I don't think I can exploit a fully managed Function as a Service architecture; I think I'll be managing a VPS.

So for a low budget project with minimal ops experience, how can I ensure security and safety? What path to growth can I walk, without consuming my time trying to become an expert in [dev]ops?
Thank you, and seriously; how the heck do you this?

(I just want to know how someone learns this information to begin with)
Chuo is yellow
Because that is what head hunters and employers expect from their "passionate developer for...".
> The Air Force delivered free five-gallon jugs of water to the Mendez home for more than two years. In 2018, it paid to have the house connected to the municipal water system. Ruben Mendez said he now pays $100 a month for water he used to get for free.

Sorry, what? 100$ a month for residential water? Either this guy is running a farm operation or something is seriously broken.
I wouldn't be surprised because I seek employment in areas where my skills are valuable.
Robert Pera throwing the mFI team under the bus was super classy. Worst. EOL. EVER.

https://community.ui.com/questions/is-MFI-dead/2b4211ee-98c1...

UDM and Protect are shining examples of "never rewrite your product from scratch." USG XG was an unmitigated disaster. Dropping controller support for Broadcom-based APs was ridiculous. All seem to be technical debt driven decisions.
Not sure why this meme exists that IKEA furniture is difficult to assemble. I'm no genius when it comes to handiwork for sure, but I never had issues with IKEA stuff.
Yep. I get it. I'm in a wheelchair. But I can't not try, at least in some small way. It's really frustrating that these projects don't take this stuff seriously.
Could the restaurant owner have been biased against the person who is compelling them to take action that they don't want to take? I would probably take the owner's psychoanalysis of them with a grain of salt.
I didn't see it doing any of those things. I saw it as a pretty straightforward story about a social conflict equivalent of a BLIT-style basilisk picture.
Ok, but what user programs will we really need then for it? Other than re-building technology. Isn't "too much technology" basically the single biggest root issue of current state of humankind, and planet in general?
I'm Ashkenazi as well. Don't know if it makes you feel better but there are way worse stigmas on us than intelligence, so I wouldn't worry about that particular one too much :)
Creating any sound by multi-layering dog bark samples
The ANU hack came down to a single email – here's what we know
I agree with a lot of what you say here, and I also think people should be more resilient to offensive remarks by others. I'm only saying that calling it censorship is alarmist and untrue.

Moreover, my above comment is grayed out right now as some people downvote it. Let's all think about that irony for a moment.
> any idiot can see what's going on

Yes? Would you want to try circumventing the great firewall without getting caught?

I fear the Chinese are mostly supportive. Most Germans also supported Hitler before things went awry, and his election results were superb even before massive manipulation began.

There was still a substantial minority that didn't support him and resisted at great personal cost, much like some educated Chinese citizens are resisting at great personal cost now, knowing that many share their sentiments, but assuming that most people will find a way to look beyond the propaganda seems overly optimistic to me.
Full Stack Developer (m/f/d)
I agree with your point that free time should be about rest and recovery, but I think that programming can be a fulfilling and engaging recreational activity that aids in recovery. Maybe not for you, but definitely for myself.

When I program at home, I don't "grind out even more code" in the sense that it's in any way a continuation of what I do at my day job, more than watching TV, reading or browsing the web would be. I work on totally different projects, unrelated to what I do at work, and I do it for myself under no pressure to perform. The playing field is very different.
Censored search engine. Project Dragonfly.
I already wrote FUSE clients for all of Hashicorp's products actually.

https://github.com/jboero/hashifuse
I somewhat agree. I've written about this before, but working on AlgoDaily[1] has helped me develop an amazing amount as a software engineer and entrepreneur. I've gotten to work with tech that I don't get to play with at work, learned what really makes a business tick, and have been able to network with many amazing people.

At the same time, there's been days that I've had to step back and reflect on the time spent in front of a computer, when I could've been traveling or partying like many peers.

It also can be a ton of work on top of your regular job.

[1] https://algodaily.com/lessons/getting-your-first-software-jo...
Thank you for the kind words. RSS is still a robust format with lots of news flowing through it, so we did accomplish something. And the pendulum is always swinging, so I think we may find the open web useful still, esp when the big tech companies like Google move on. ;-)
Might end up difficult to talk about this project. I was pronouncing it "Nathan" till I found the actual name in the docs.
this isn't a hot take. we already live in a society that obligates us to abide by a social contract. so yes people do have rights. it's as real as the fact that you and I speak the same language. looking around and imagining that because some people somewhere sometimes are in breach of contract means that contracts don't exist is stupid. they do. we all signed them and resign them when we use any cooperative produced object (that includes language, science, public roads, etc)
Trouble with that is:

1 In Most developed countries any work related to you day job belongs to your employer.

2 Doing a side hustle like this looks incredibly sketchy and is not going to be a good culture fit.
I have strong feelings about the "making money" reason.

As much as I do like 2-3,000 USD extra in my pocket every year, investing the time directly into getting better skills and better-paid jobs trumps such amounts even if you get just 1% more every year.
Hm? The quality is just fine IME if you set it to high / HD / whatever.