skysight-inc/HackerNews huggingface dataset:
> If the US went the way of Europe, technological innovation would slow dramatically, which I'll argue is a bad outcome for the world in the long run.

IRL datapoints > counterfactuals: https://www.peoplespolicyproject.org/projects/nordic-state-i...

Also I said "Google it" for a reason. You picked an abstract one, and Sweden still beat us! And who could have guessed (me!), but Netherlands, Denmark, and Finland sit there in the top 10 as well :) [0]

> What do you think the cost of basic goods would rise to if all the Chinese manufacturing centers unionized?

You're not only dodging my point, but your own. You asked what was best for society.

0: https://www.wipo.int/pressroom/en/articles/2021/article_0008...

e: Man the "mooching" argument, in this context specifically, is really gonna stick with me. In a work meeting once, someone with knowledge said that each engineer in my org was earning the company $1.5-3 million. This is against a ~$200k salary. This is kind of subjective, but as an """innovator""", the idea that Finland is the one mooching off me is _hilarious_. I'm not gonna comment on what I "deserve" though because dessert theory isn't sound anyway.
> Meta don't want this kind of negative publicity

No, it does not, but it still happens. Most of our internal[1] Q&A discussions leak to the press (especially criticisms of leadership[2]), but Zuckerberg decided it's the cost of internal openness. I'm yet to hear of anyone fired for leaking company discussions, or even witch-hunts to find leakers. Musk is being a baby, I hope they bleed irreplaceable talent.

1. These have remained unchanged post-IPO, have nothing to do with public listing, and Meta would like them to be confidential

2. One of our recently-promoted execs was publicly and vociferously criticized by employees for something they did, and the critics are still employed, because the execs are not petty.
I don't think there is a small mom & pop one stop shop, but if you are willing to buy different things from different stores, you have options. I buy most of my electronics from B&H, and things like fasteners from McMaster-Carr.

Amazon does feel pretty unavoidable for the long tail, though.
The sound is a huge piece, but it wouldn't be as good without the visuals, they go together!
> arguably the menu should appear immediately

I like that the rotation makes it seem like a rack and pinion mechanism, moving the menu in and out.

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

The double bounce at the end seems like a needless delay, though. Access to the menu would be quicker without it.
Turns out one customer's two-year-old got ahold of his phone and spent 3 hours toggling that checkbox.

... but we can't argue with DATA!
“Consequences for thee, not for me” feels pretty hypocritical. In this case Musk wants the consequences for speech be limited to things (like being fired) that he doesn’t have to worry about because he is rich.
The $2 million/mile number is misleading, since Boring Co only includes the cost of tunneling itself, but public projects usually fold in all of the other costs related to the project into their per mile figures.

Generally, the actual cost of tunneling depends on the soil and route conditions; for example, most subways are tunneled under existing infrastructure and buildings and thus the process of tunneling also includes numerous measures to prevent damage to existing structures. Urban tunnels must also contend with undeclared but still utilized utility and power lines which must be rerouted. Additionally, businesses and residents impacted by the construction are usually compensated for harms caused by the construction (i.e., excess noise, loss of accessibility, etc.) When you're tunneling under a city it's going to be expensive, and that's generally where you want to tunnel because that's where people actually want to go.

The Vegas tunnel has avoided that so far because it's built under a low-use private road), but that's going to change when it has to go under the Strip and under the Casinos. They're suddenly going to discover why public transportation tunnels are so expensive.

Note that the LA Metro subways (specifically, the current Purple Line Extension) cost significantly less than $1 billion/mile where they get to tunnel under roads, but more than $1 billion/mile where they are tunneling under buildings or near the tar pits. Similarly, the "Regional Connector" project was ahead of schedule...until it ran into undisclosed utility lines downtown and had to spend a year rerouting hundreds of unmapped utilities lines.
> There is no equivalency between

Sure there is, and trivially so- your employer decided to fire you in both cases, in neither did 20000 hyperonline strangers fire you.
It's probably cost-effective, either compared to buying utility energy or especially compared to backup diesel generators. It could simply be a financial decision with some nice co-benefits...
There was a massive amount of excitement around Light Table when it was first demoed. I remember one or more pretty amazing videos. I don't have link(s) on-hand.

Project: http://lighttable.com/

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

The top submission there is the place to start.
It's not cheap, and it's usually pretty shitty food. It's just convenient when your next class is in 10 minutes.
To each their own. I find the hover states on the jam3 site unintuitive, like the clickable area is moving out from under me, forcing me to track it before perfoming the actual click. Reminds me of a flash ad where the target moves as your mouse gets closer.
Do people at Reddit still use old.reddit.com ?
I sincerely hope that Coinbase will survive and thrive through the difficult times in the next several years. They made trading cryptocurrencies easy and accessible to people, which is a fantastic service. However, if you are a customer, I would highly recommend that you used Coinbase for intended purpose only: as a (pretty good) Crypto Exchange. Do not keep your crypto holdings there. Your crypto is not protected if something, anything, happens to it. Including bankruptcy. It's not a custodial service. I would not keep the USD there either. I would just go in, do the crypto buy/sell and get out.
Q: Are there (m)any COOs who think their companies should focus on activism and not, you know, actual work?

Perhaps people who support activism should just start their own companies - as majority shareholders they could easily mandate that management specify time to be spent on activism... no need for focus.
“The remaining probability was distributed over 01 and 10, which should not be a part of the Bell state. As we discussed before, this phenomenon is due to errors inherent to the quantum processor. As the backend technology improves we expect to get better results.”

Debugging sounds like a real bear.
You seem to be magically appending "with a public sector union" to the real cause of the majority of MTA's problems.

Sorry, but I don't buy this guilt by association: How does the union cause a significant portion of MTA's problems?
Paul Graham's essay on design says good design is slightly humorous. I find the red button slightly funny, yet have no idea why.
He's saying he doesn't want the choice denied to him, as unionization advocates frequently attempt to justify.
Pitcairn Islanders
Why don't they bring the tunnels up to the surface for stations?
Dato.rss: The best RSS Search experience
For that you'd need to use kilotons of water a day, which is usually hard in a desert.

It could work on an arid sea shore though, say, in North or South Africa. But there seem to be closer-by large consumers, and maybe producing freshwater would bring more value than producing hydrogen.
That's one neat trick of capitalism - it's really good at selling you a critique of it as a luxury good.

"Turning rebellion into money", as Joe Strummer sang.
Yes. I think that’s exactly how Mao phrased it. ;)
I imagine the phrase "like finding polar bears in a snow storm" caught on :P.

Jokes aside, there is so much of the world that's unoccupied for various reasons.
https://www.weforum.org/agenda/2016/03/these-maps-show-how-e...

I imagine we're missing a lot, especially if you factor in deep ocean and jungle
Scathing accusation. Is there a citation?

I won’t use another office product from them if so.

Seriously.
I've read that this is the EU's approach, altho I don't know how it works out in practice.
What the New York Times Didn't Say About Crypto Firm Kraken's Culture War
> I wonder if Brian will reply to this

He's too busy dunking on his employees on Twitter
Back in my younger years, I worked a lot of unskilled-labor type jobs.

The starkest difference that I recognize between people in those jobs and people in my career is that in the former people have a hard time showing up to work on-time or at all and in the latter everyone is pretty tuned in and works hard.

It only hit me late in life that success in life really can be just as simple as showing up.

I guess what I would say here is that the kind of people who feel that they need collective bargaining agreements probably overlaps quite strongly with the group of people that have a hard time showing up.
Weird context for moralizing to happen at a company whose model is encouraging people to make interest-free unsecured loans to people who aren't obligated to deliver a thing for them.
The Boring company doesn't have any new tech that makes their tunnels cheaper, they are just smaller [1]. Smaller tunnels also mean less capacity, that's why I would argue that the total cost doesn't matter as much as the "cost per capacity". Even if Boring tunnels and stations are cheaper, how big is the throughput?

A New York Subway car [2] can carry up to 240 people per car and costs $2 million. If four people sit in a Tesla that would be 60 Teslas just to match that and cost $3 million. The Loop apparently can only transport 800 people an hour, for a 0.8-mile track [3]. The one subway car could (assuming conservatively 5min at the station and 5min for travel) transport 1440 people an hour. Two subway cars, 2880 people an hour. A subway can scale, Teslas which each need a parking space for entering and exiting can't. Also, a ticket on the Vegas loop may cost $12, that is not a public transport solution but a joyride vanity project.

[1] https://observer.com/2021/07/elon-musk-boring-company-tunnel...
[2] https://en.wikipedia.org/wiki/R160_(New_York_City_Subway_car...
[3] https://techcrunch.com/2020/10/16/elon-musks-las-vegas-loop-...
I finally beat my digestive issues and chronic fatigue (physical depression) which lasted 3+ years from 2019-2021. Without getting too far into it, here's the stuff that finally worked, weighted by immediacy on a scale of 10:

- 10: Eating a serving of Brussels sprouts, preferably daily

- 10: Taking about 3 psyllium husk capsules occasionally with FODMAP and spicy meals

- 10: Taking a digestive enzyme occasionally with FODMAP and spicy meals (Digest Basic, no affiliation)

- 10: Taking a "stress" B complex with 100% daily, instead of 1000% weekly (Nature Made, no affiliation)

- 10: Avoiding all beans, unaged dairy, whole-grain wheat and most tree nuts for a few months

- 8: Drinking at least twice as much water as I feel that I need, from one big container over the course of the day

- 8: Eating plain giant salads with dressing, preferably spinach-greens mix, several times per week

- 8: Drinking Kefir daily

- 6: Trying several different brands of probiotics occasionally in no particular order

- 6: Eating 1-4 eggs per day, preferably on post-workout days

- 6: Taking an iodine supplement initially, a few times per week until the bottle was gone

I think what kicked this all off was dabbling with keto 5 years ago which might have cost me most of my tolerance to milk, and prolonged dehydration from intense workouts and large servings of protein without proactive hydration. When I lost my gut health, I may have picked up bad bacteria or parasites from food poisoning or raw seafood. I was also under debilitating stress during the last few years at my previous job, so began every morning on an empty tank spiritually. I never listened to my body until my health failed and it made the decision to stop for me.

The biggest change has been that being tired feels ordinary and rare, with no emotional component. Instead of the crushing "universe is against me" sense of being attacked, alone and hopeless knowing there was no end of it in sight, which I endured for many years before my physical health's deterioration finally caught up.
>If the Foxconn factory unionized, you can bet iPhones would cost hundreds of dollars more.

I'd be willing to bet that they don't. iPhone prices are set at the highest price that Apple determines people are willing to pay, not by the cost to produce it; even the costs that do exist are mostly materials, not labor costs. Labor costs are close to 1% of the sticker price [1]. This is the same as the argument that erroneously claims that if you paid fast food workers well it would lead to $10 big macs, when other countries with much higher wages have comparable prices to ours.

[1] https://www.investopedia.com/news/what-it-costs-apple-make-i...
the negative moral connotation of "exploitation" is an effect of anticapitalist propaganda :)
At some companies, some people equate watching video with slacking off / not working.

And even if that's not the case, unless you have headphones, in a multi-person office, playing a video with sound can be perceived as kind of rude, especially if other people are talking on the phone.
I am comparing the statement from op to be subordinate no matter what to nazis not spacex employees.
Very neat project! I noticed that Ante doesn’t have explicit region type declarations. As I recall, existing algorithms implemented for ML can sometimes infer very large regions which causes memory usage to balloon. It looks like smart pointers are part of the plan to address that possibility, but I’d love to hear more about your thoughts on memory management.
I have long wondered the same. What are people doing which makes them so concerned with the efficiency of their editors? I spend the great majority of my work time reading and thinking. When it seems that solving a problem will require me to change a great deal of code, that's generally a sign that I haven't done enough thinking yet. On the rare occasion that I do need to write a lot of new code at once, it's not that big a deal to just... type it out!

I have had a few co-workers who seemed to spend a great deal of time typing, but I have not generally been impressed with the quality of their work. In fact, the most incompetent developer I have ever met, an enthusiastic proponent of his favorite editor and its automation features, was also the most prolific, routinely churning out hundreds or even thousands of lines of awful, bloated, bug-ridden code a day.

The field of software development is large and varied, so of course it is possible that there are competent people doing solid work which really does involve a tremendous amount of fiddly editing, thereby justifying the otherwise inexplicable degree of attention given to sophisticated editors; but I cannot imagine what their working lives are like, and I hope I never have to find out.
Have fun doing so! It will answer a different question than the one we're talking about. Report back if you want.
Why is this surprising to intelligent scientists? Common sense says that unless the bears eat the ice and it's their only source of a critical resource (nutrients?) then of course the bears will find a work around.

Did they really think the bears would just give up and die if the ice all melted?
A lot of big companies went through that, I've seen presentations about eBay running out of scaling room on their Oracle servers in their boom.

Otoh, maximum database server today is a ton bigger. Looking at just Supermicro, you can get 8 TB ram in a dual Epyc server, and 24 TB in exotic, but still off the shelf systems. You can get a lot of qps with 24 TB of ram and a whole bunch of cores.

If you go with Oracle, they'll sell you a Sparc server with 48 TB of ram, and 384 CPU cores.
You are stating you are living an unbalanced life. There are two issues:

-- you have to also take care of your health. It will be a costly and absurd mistake to neglect it, and consequently end up right in the situation you seem to be trying to avoid, of hindering your income. If you plan carefully, you also plan to preserve your abilities - which means, treating your health with the highest care - and ALL of it, not just bits, not picking between body and nerves, nutrition and rest. Manage yourself optimally, do not leave holes;

-- allocate time to assess your concerns properly. You cannot get out of a bad (apparently, cognitively passive) approach towards the frankly dire situation humanity is in, if you "feel" it instead of "considering" it lucidly: if something is a concern to you, examine it. Reasonably, you cannot swamp yourself in the fear of so general ideas: study your enemy properly, if you want to be prepared.
I wrote a lengthy reply in the thread arduinomancer gave but I’ll simplify it here. Game code is largely about making API calls to the engine. You use a relatively small number of blocks to build things. It tends to be object oriented. You tend to use a lot of void functions. You don’t write a lot of algorithms.

When those assumptions don’t hold you tend to prefer code. Most well designed games on unreal will use both.
Removing my skills or value proposition from the equation sounds very dangerous. This sounds like giving power to bean counters and exalting mediocrity.

When I want 'better', I work for it and get it myself, not by schmoozing the union bosses to get on their good side or paying union fees for 20 years to build up tenure.
If anyone is interested, I just completed a Master's thesis on a feasibility study for floating solar on a specific reservoir in southern California: https://bren.ucsb.edu/projects/exploring-feasibility-floatin...

Happy to answer any questions you might have about the possibilities of the technology!
SAT solvers often form (part of) the backbone of other proof assistants and verified software and hardware, which makes them producing correct output quite critical. At the same time, production SAT solvers (the ones people actually use on the critical path of these proof assistants) are very performance-sensitive, which means tons of optimizations that are nonobvious, subtle, and in some cases not obviously memory safe. This makes them ideal candidates for formal verification.

Unfortunately, in the past, the proof effort required to produce a competitive SAT solver was so high that this was considered infeasible, so instead the industry has been focused on non-verified SAT solvers that produce efficiently verifiable certificates for their solution that can be checked by an independent verifier. This was an important improvement that has allowed SAT solvers to continue to evolve, but (as mentioned downthread) they have disadvantages compared to a solver that can be fully trusted without producing a certificate, including in "forcing" people to use techniques that produce proofs which we know how to efficiently verify.

What this project promises is an order of magnitude reduction in proof effort to achieve and maintain an extensible, competitive, verified solver, which may help change the above calculus to favor verified solvers. IMO, it is quite an exciting development, even if it does not pan out!
You can be right and still go broke shorting something. "The market can stay irrational longer than you can stay solvent." And shorting crypto has additional challenges beyond shorting traditional securities.
Elon Musk Reveals Crypto Twitter Plans in Leaked Transcript
Microsoft finally updates store rules to ban paid copycat open source projects
I haven't been part of a union for more than 20 years now. I'm doing great.
> one of the more annoying ones is that loading wheels (which I would prefer to keep because you have to wait anyway) are not animated.

Pretty sure this is due to the fact that being able to disable animations is usually done as an accessibility concern - for people who are motion sensitive it could be problematic to have loading bars etc.

I agree that the categorization of animations could be helpful. Or at least being able to limit it by app.
> raising money to support violence against conservatives

Let's be clear; the title was "Always Punch Nazis", not "Always Punch Conservatives". If you're mixing the two up, that's more on you than the author.
Maybe if Marxists stopped obsessing over their personality cult and congratulating themselves on the scientific nature of dialectical materialism they'd have time to catch up on 150 years worth of knowledge on organizational and collective action problems. An awful lot of leftists prefer historical LARPing in intellectual costumes to operating under existing conditions.
Not disagreeing with you, but elaborating on this 'you can say what you want, but you have to live with the consequences' idea.

It's a situation of monopoly. If consequences to speech prohibit one from an entire category of human need (one's life, ability to earn a living, ability to find housing, etc), then those consequences are in fact limiting speech. A 'cancellation' that makes someone unemployable is much more a prohibition on speech than being fired from a single job without affecting one's general ability to get hired. If Musk were to now work to get the signatories of the letter blacklisted from broader employment this becomes an issue.

The problem is that platforms on the internet benefit from network effects and become quasi-monopolistic. If there were platforms with similar reach as Twitter that allowed the speech that Twitter does not allow, whether or not Twitter censors would be kind of a moot point.
Huh. 25 years of this work and I've never experienced what you're describing. I didn't even know it was a thing. Generally keeping abreast of the industry, announcements generally just look like incremental innovations or productizations of familiar patterns that were already getting proven out manually.

I don't mean to spoil on your efforts or interfere with you getting helpful answers (I'm sure you're not alone in how you experience the industry), but this is just a really interesting question to see someone pose.
By using ice that is calving from glaciers.

They're still hunting from ice that's even rarer than sea ice, and disappearing just as quickly. A population hunting exclusively on land would have been a lot more noteworthy.
Yes, the reading experience is what's so bad. Very often when you're reading it'll suddenly crash, or blank the page, or switch to a random page in the next issue, etc etc etc.

A few months ago they broke swiping, if you can believe that. It's now suddenly hard to swipe to the next article, because it wants to scroll up or down instead. How the hell do you break swiping in an Android app in 2022!

And to top it all off, the insult on top of the ridiculously bad experience: the regular pop-up (when you're reading), to ask how you like the app? Type your feedback here! Which is 100% ignored of course, for YEARS. I've taken to just sending in "fuck you".

What, me bitter?
> Oh give over. Norse gods are european, and with greek, roman and egyption gods, we've had thousands of years awareness & contact with those cultures.

Ah, eurocentrism. It's forgivable since you were likely educated this way since birth, but it comes off as hideously insensitive to other cultures.
Looks like the bare minimum windows needed to fly it. Windows create drag. The overall design reduces drag by "59 percent".
That's still a majority of devices where you can't assume that the IMEI is available. I'd argue processing the IMEI for legitimate purposes (i.e. generating device passwords) is not something you should rely on and instead you should come up with a solution that works in both cases.

It still works fine if your intent is to stalk users, though.