skysight-inc/HackerNews huggingface dataset:
The internet expert phenomenon is brutal.

I'll ask a question online and get a superficial answer. It gets all the upvotes or whatever because everyone else has heard some of the stuff in the reply. It's ... not always wrong, but also very generic / not REALLY an answer.

I really want to say "Yeah I watch the Discovery Channel too bro... I saw that episode, but that really doesn't answer my question, those circumstances don't necessarily cause that result." (Discovery Channel is probably outdated but it is often what I want to say).

I often come to HN because you can ask such a question and generally folks think it through a few steps before answering. Elsewhere it is internet expert hell...
> If you're not on the board of directors, the way you register displeasure with your CEO is to leave the company.

What? No!? That is a sure way for your displeasure to never even reach the same hemisphere as the CEO. Even this letter is better, at least he’s aware, and the end result is exactly the same (not at the company any more).
Their speech is less likely to be publicised/reported on though, so they have arguably lost some potential audience. In the same way that being banned from Twitter does not restrict your freedom to speak (e.g. you can go to another website, setup your own or stand on a street corner irl), but it does reduce your potential audience
ab·so·lute
adjective: absolute

1. not qualified or diminished in any way; total.

free
adjective: free; comparative adjective: freer; superlative adjective: freest

1. not under the control or in the power of another; able to act or be done as one wishes.

hmm I wonder what 'free speech absolutist' means. maybe that one's freedom to speak is not qualified or diminished in any way? their freedom to speak is total?
The NLRB would like a word with you. They've held that public complaints might qualify as protected activity - and "right to work" doesn't get you a get-out-of-jail-free card for that. The key is that this was "concerted" activity - a group of employees, not a single individual grousing.

I strongly hope the fired individuals do look into getting a labor lawyer representing them.
> it seems social media has distracted, if not corrupted his line of sight

Social media is the effect, not cause, of his bad behavior.

He was known to be an impulsive bully long before he ranted on Twitter.
So Las Vegas is getting a more expensive, less reliable and weird metro system? I don’t understand the appeal of Musk’s tunnels. Public transportation is a little bit of a solved problem but for some reason in most of US is considered lower class transportation. It’s cliche but you have to really look at europe and learn how to design cities for people, instead of cars.
Isn't this breaking the Rust language into two?
KDE 5.25 is very exciting, it feels great being on a desktop that gets updates where features are added instead of removed. Definitely the place to be in 2022!
Celcius is nice because -30 is the limits of cold that I want, and +30 is the limits of hot
In addition to the project itself being very cool and useful (you can count the number of verified SAT solvers that can solve most problems in modern SAT competitions on two fingers!), it's also an impressive demonstration of its toolchain, which essentially exploits the fact that the purely safe fragment of Rust (augmented with a handful of types that use unsafe code like Vec, which I believe have been proven compatible with the rest of Creusot in another recent paper) behaves like a functional language. This allows borrow-checked Rust code to be treated purely functionally in safe contexts, which allows exploiting the large amount of existing software tailored to proving purely functional specifications, without having to worry about memory-related side conditions, separation logic, etc.

This has always been the hope for Rust verification tools (that Rust would scale to these kinds of large proofs better than other industrial imperative languages due to the restrictions of the borrow checker), and I think this is the first real practical indication that that is indeed the case. Both in terms of verification time and additional verification code, it weighs in at a small fraction of that of the only other verified solver with comparable performance on SAT benchmarks (IsaSAT), which is extracted using code generation from Isabelle (which is a full proof assistant), while other attempts to produce verified SAT solvers directly from imperative code fall far short of its performance because they do not implement any of the difficult optimizations (presumably due to the amount of extra proof effort required).

Incidentally, another paper has come out at basically the same time making a similar observation, Aeneas: https://arxiv.org/abs/2206.07185, which uses a resizable hash map as its case study. Since it just came out, it does not have any larger proof developments yet that could be used as comparison, and it has somewhat different goals, but overall I am also excited about it and am very hopeful for the future of verification tools that integrate directly with Rust code like these two, as I think they are one of the more promising avenues towards the regular integration of verified code with more "ordinary" projects.
You're certainly going to see that and other policies get broken, but only because we don't see everything. There's far too much content here for us to see it all.

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...

The problem with changing that policy is that the front page would see a massive influx of "Foo 1.2.3 release" stories. This would not be a step in the direction of the global optimum (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...).
I do remember thinking it funny how in less than a year the culture shifted from poking fun at .edu addresses to viewing those same .edu addresses as a good signal once all the big .coms like AOL came online.
Turn off the news and social media. That's it.

Edit:
Therapy as suggested by others also. Still, turning off the news and social media can have positive effects at little to no costs.
err, are you forgetting the cost to literally build a rocket? Or are you arguing somehow that fuel costs more than building the first stage of a rocket?

The idea somehow that Soyuz is cheaper than Falcon-9 is laughable.
I wouldn't phrase it the way you did but yes, it also surprises me, that most people are unable to see corporations as authoritarian dictatorships.
Seeing how smoking cigarettes went from being popular to being rare in a lots of places I would say:

1 - make it uncool (no more james bond smoking in cinemas, packaging that reminds of diseases)

2 - make it expensive (tax the hell out of it)

3 - make it a hassle (no smoking in closed spaces, airplanes, universities etc)

The thing is, both weed and social networks became popular right about when smoking stopped being popular. So maybe there is an extra step, a perverse one:

4 - provide a substitute addiction.
As I understand it, there are other computer-controlled cars which are notable further along than Tesla. For example, Mercedes is will to take legal responsiblity for their system, while Tesla isn't.
This wouldn't work for several reasons:

- The coordination required for everyone involved would be more effort than simply choosing to eat at the same time as someone you're meeting with

- The restaurant would have to purchase displays and section off interior space for setting them up

- People generally don't like streaming while eating or watching others eat

- This sounds pretty dystopian
Define "far-left"
Ayup. And if they're smart, they hire a lawyer for that.
Did the Catholic church in Ireland have a register of people who were Catholic? Which other countries have this?

I've just never heard of such a thing.
I'd also guess because (potential) mechanisms to do so would be attacked on forums like HN because they sound too close to crypto/web3 and most people wouldn't bother to separate ideology from technology and create a PR nightmare for internet archive. So it's probably harder to recruit people to work on it.

See Filecoin Foundation and their work with IA.
I worked at Amazon 8 years and it is very manager and team dependent on what your experience is. I got to work on S3 and Alexa, and have no regrets. I learned so much, had a bunch of fun and worked with really smart people. Got paid well too.

Downside, there was no free snacks. shrug
I’ve never been able to make tiling work for me regardless of screen size. Windows constantly end up being awkward sizes that cause scrolling that would be unnecessary in a floating WM, and I’m constantly tweaking window sizes to try to make it less awkward. It’s very micromanage-y, and it drives me nuts.

But I don’t live in a terminal and/or text editor — my most frequently used programs are IDEs, VCS UIs, and graphics editors… stuff with lots of panes and palettes and such. Simpler apps get use too, but it’s skewed enough that popping some apps into floating mode in a tiling WM isn’t enough. My ideal environment is floating-first with light optional tiling, like macOS with something like Moom installed.
Favoritism and enriching themselves with supplying wine to Google for their events. RTFA
You could. It'd just be extremely slow and an utter nightmare to write.

I mean, with the addition of socket functions, you could write it in BASIC if you were so inclined.
Ignore all the employment rules lawyering, and "Elon is for free speech..." / "SpaceX's mission says...", etc. arguments. This is not a computer program, nor a debating society.

Humans, especially most top corporate executives, are definitely primates. Some lower-down members of the SpaceX troop issued (de facto) a very clear and public challenge to the dominance of the troop's alpha macho male 900# gorilla. They failed to get a chorus of overwhelming support from other members of the troop. They don't appear to have any serious 900# backers from outside the troop.

Can anyone give an example of such a situation ending well for the challengers?
https://www.smithsonianmag.com/innovation/california-is-abou...

Canals and reservoirs seem like perfect places to shade with solar.
I have subscriptions to the Economist (never had a problem pausing or canceling my subscription), the Athletic for sports (they always give me a huge discount when I try to cancel), and since the war in Ukraine started I have subscriptions the New York Times and the Wall Street Journal for $4/month each (those will be a pain in the ass to cancel).

If you're worried about canceling and getting billed, put it on a credit card, and if you still get billed dispute the charge as "unauthorized" and block the merchant
FYI - arstechnica thread also here: https://news.ycombinator.com/item?id=31774890
FYI NY Times thread also here: https://news.ycombinator.com/item?id=31774890
Firing someone for belonging to a protected class is only one of many types of wrongful termination. There are several other types of illegal terminations.

There are also laws that prohibit employers from punishing employees in certain circumstances relating to organizing/petitioning when in regard to concerns about workplace issues.

For example:

>You have the right to act with co-workers to address work-related issues in many ways. Examples include: [...] joining with co-workers to talk directly to your employer, to a government agency, or to the media about problems in your workplace

https://www.nlrb.gov/about-nlrb/rights-we-protect/the-law/em...
> If you focus on creating a culture of objectivity, facts and honesty, you'll solve most of your jerk problems without having to figure out what "jerk" means.

I dunno, jerk is arbitrarily defined by society. There’s no objective way to define it - which is why most companies that do end up on “whatever behavior makes us the most money”, ie acquiescing to power.
Implying that academia is anything like the real world that 99% of people exist in is something only an academic would be foolish enough to imply.
There are proper channels for speaking up within a company. Posting an open letter publically after trying to bully people to sign it is not a proper channel.
As I understand it, Polonius is still intended to be the next version of the borrow checker.

The repostory is here: https://github.com/rust-lang/polonius

There doesn't seem to have been any meaningful development for well over a year.

There is some very recent discussion on Zulip which makes it look like there are at least two or three people interested in actively working on it.

https://rust-lang.zulipchat.com/#narrow/stream/186049-t-comp...
> Amazon annual gross profit for 2021 was $197.478B, a 29.28% increase from 2020.

https://www.macrotrends.net/stocks/charts/AMZN/amazon/gross-...

Gross profits.
Anti-GMO is tantamount to being against the extreme overuse of pestisides and herbicides, being anti-GMO is actually rooted in evidence as well as common sense... I don't want my strawberries or my corn bathed in round-up ready. Even if the corn does grow larger... glyphosate is bad.
In theory I agree.

In practice, I literally just got a Chromebook for my daughter and I'm happy to report that Crostini is fine, and I'd venture to say that "a major OS with strong Native Linux Support built in" might even be more valuable than "abstaining" and fully sticking with pure "Free Software."

(For the record, I'm a huge fan of Stallman et al and I want people like him to keep doing what they do -- I just think that Stallman's value isn't in everyone doing exactly what Stallman says, more like looking at him as a platonic ideal that we should try for, but realistically will never reach.)
> when the bank repossesses your home

Most homeowners have been in their homes for a while, refinanced, and have benefited from a fixed payment for their home while wages have risen with inflation.
Probiotics are not necessarily low risk when used during or after antibiotics usage.

Quoting directly from [1] "Effect of Probiotic Use on Antibiotic Administration Among Care Home Residents: A Randomized Clinical Trial"

"...participants who were randomized to the probiotic group were administered significantly more antibiotics for lower respiratory tract infections, had small but statistically significant lower self-reported generic well-being/capability scores at 3 months, and a prespecified sensitivity analysis found a significant increase in cumulative systemic antibiotic days.

These findings should be interpreted with caution, given multiple testing. However, this study does not rule out harm from probiotics. Certain probiotics may delay the return of the host gut microbiome to its normal state after antibiotic treatment,[2] and a retrospective single-center study found probiotic exposure was associated with C difficile infection in hospitalized patients.[3]"

[1] Butler CC, Lau M, Gillespie D, et al. Effect of Probiotic Use on Antibiotic Administration Among Care Home Residents: A Randomized Clinical Trial. JAMA. 2020;324(1):47–56. doi:10.1001/jama.2020.8556

[2] Suez J , Zmora N , Zilberman-Schapira G , et al Post-antibiotic gut mucosal microbiome reconstitution is impaired by probiotics and improved by autologous FMT. Cell. 2018;174(6):1406-1423.e1416. doi:10.1016/j.cell.2018.08.047

[3] Carvour ML , Wilder SL , Ryan KL , et al. Predictors of Clostridium difficile infection and predictive impact of probiotic use in a diverse hospital-wide cohort. Am J Infect Control. 2019;47(1):2-8. doi:10.1016/j.ajic.2018.07.014
It's not necessarily a contradiction. He has his role to carry out and they have theirs. You may disagree with the description of his role or that of others, but that's how it works.
Amazon annual gross profit for 2021 was $197.478B, a 29.28% increase from 2020.

https://www.macrotrends.net/stocks/charts/AMZN/amazon/gross-...
> Fiscal policy will do little to control inflation at this time

The Fed has no control over fiscal policy. You mean monetary?
It doesn't help that the CEO on Twitter has multiple times presented the exact behavior mentioned.
I'm not the person you're responding to, but yes I would argue academia is not the real world i.e. private sector companies. Its academia. There are a whole different set of rules because it is not a privately run for-profit company. And nothing ever happens specifically because that's absolutely par for the course in academia. There's a whole different culture there.
Have you seen how obese we are? Only civil war happening will be for the last packet of Schezuan Sauce at Mcdonalds.
weird comment, many many people considered "pedo guy" and everything else to be shameful at the time
Researchers develop the first ultra-fast photonic CPU using polarisation
Ah! Right. It helps to have all functions be of arity 1 to disambiguate, yes.
With multiple monitors, and multiple multi-monito configurations, window position becomes a complicated concept, full of pitfalls and corner cases. It is reasonable (although admittedly not the only possibility solution) to centralize the window position management in the wm.
Yeah, it requires types of dietary fibre classed as ‘prebiotic’ [1].

1. https://www.monash.edu/medicine/ccs/gastroenterology/prebiot...
No worries, although strangely enough, the one I was reading is not on any of the additional pages neither. Who knows, maybe the user deleted it later. Not a big deal. Thank you for looking into it.
The FDIC operates on a few constraints. One is that is has two roles, both as insurer, and as receiver. The second is that the law requires it to deal with failed banks in the manner that incurs the least costs on its fund.

It should be quite unsurprising that if an offer to buy 100% of the banks assets and liabilities comes in, this is likely to get accepted, since it likely to have the lowest possible costs to the FDIC itself. No costs in insurance reimbursing, obviously, but also fairly minimal receivership costs, as they don't have left over assets to sell, don't have to deal with creditors for any debts that transfer with the sale, leave a relatively small set of creditors (including the shareholders) to deal with.

Whole bank purchase offers are not exactly rare, but offers to purchase only some of the assets while taking on some of the liabilities (often including accounts either in full, or up to the insured limit) are probably even more common. This is obviously more expensive to the FDIC, since they may end up with more unacquired liability (i.e. more creditors to deal with), assets to sell, etc.

The FDIC does move fast, like disturbingly so, but their requirement to minimize their own expenses basically requires it. They generally already have the acquisition offers in hand when they first show up, and for their expected plan of action, have already talked with the relevant state regulators to have them ready to issue any approvals needed. Even things like issuing checks if no-one acquires the accounts, taking any more time than necessary can accrue additional costs.

For things that don't actually cost the FDIC itself any money, like negotiating terms of acquisition, they can afford to be extremely consumer friendly. Requirements on the acquirer for things like keeping all branches open for at least x months, no sweat off the FDIC's back.
It would be wonderful to see something like the Materials Project (https://materialsproject.org/) but for Chemical research/knowledge.
Yep. I wouldn't eat a mushroom that killed someone, sample size being 1
tan·ta·mount /ˈtan(t)əˌmount/ equivalent in seriousness to;
Notability will pop your block off
Common. If your CEO is making extremely inflammatory political statements publicly, and you don’t agree with those statements you are kind of in a dilemma. You either remain silent and and be perceived as broadly agreeing with—or at least tolerating—the CEO’s statements, or you speak out against them. In either case you are making a political decision.

Elon Musk put his workers in this dilemma and he should have expected a subset of them to speak out critically against him. I honestly don’t know other large organizations in our industry that is in the same situation, so there is really nothing to compare it with.
Related:

Ploopy: open hardware trackballs and mouse - https://news.ycombinator.com/item?id=28285427 - Aug 2021 (134 comments)
https://www.androidpolice.com/googles-latest-android-version... hints that ~49% of Android devices will give out the IMEI to third-party apps. [late 2021]
Ask HN: Do you sync SKUs between Stripe and your main (ERP) system?
We are a small business (~35 employees), selling physical goods (natural stone slabs). We have a separate ERP that has our SKUs, inventory management and accounting modules. The ERP does not have an API.

To take CC payments, I'm considering Stripe.

Since our catalog changes frequently, i'm wondering if it's a good idea to keep your products synced between the two systems? Or just create a product (e.g. Stone) and use that for all invoices?

How do you manage your SKUs if you're using Stripe (or any other CC processor)?
At every place I've worked at there were rules on the contract I signed that forbade me to engage in any activity that could be detrimental to the company public image, and I'm sure SpaceX contracts contain such clause too, so technically they can fire those people, but doing so at first strike and without warnings is pure evil and is the sign of just another company in which executives live in a different universe than their workers.

> Gwynne Shotwell, SpaceX’s president, said the letter had made other employees “feel uncomfortable, intimidated and bullied.”

This is absolute bollocks. Feeling intimidated and bullied because some colleagues criticized the CEO? Come on...
Maybe they'd lose the ability to correlate traffic to your ad revenue, but having google analytics or not does not determine if you get traffic
> Is it indicative that "free speech absolutist" Musk believes your right to speech ends where his feelings get hurt? Certainly!

I'm sure you can think of reasons other than "feelings getting hurt" for these firings...
This reminds me of the problem with scrolling on Chromium, and now because of Electron a whole bunch of other programs. A single click of the scroll wheel moves the page by 100 px on Windows, for some reason it’s only 53 px on Linux, which means scrolling is twice as slow. This is not just compared to Windows, but it’s also much slower compared to other native Linux programs.

If you search for this issue, there are countless discussions and half broken attempts to work around this problem, including Chromium bug reports including some that are now nearly 10 years old. It’s 2022 and scrolling in Chromium and Electron apps with a mouse on Linux is still unbearably slow with no way to adjust that. There used to be a hidden CLI option, which was added for ChromeOS which probably had the same issue, but that was later removed.

The best solution I found so far is running patched libinput that multiplies the scroll amount delta by whatever you want, and having a daemon running which watches the window that is currently being scrolled and alters that scroll multiplier accordingly. It’s absurd that this is what I have to do to get acceptable scrolling behavior with a mouse on Linux.