skysight-inc/HackerNews huggingface dataset:
Yes, I know global warming doesn't mean the end of the (human) world as many suspect and are skeptical about. Humans will find a way to survive in special habitats and in much smaller numbers. What's at stake is the current civilization. With civilization's collapse we're bound to repeat this progress to self-destruction cycle.
I think you misunderstood, if you buy any amount of gold the amount of currency in circulation is identical before and after sale. The only difference is who has that cash and who has gold. Essentially the gold seller must value gold at or less than the sale price and the buyer values gold at or more than the sales price just like every other transaction.
There is only money to be made by completely destroying our environment.
Could you expand on what you mean by this? Because it sounds like a level of hype bordering on nonsense.

1. How is a SAT solver going to do formal verification? How do you turn a formal verification into a SAT problem?

2. You can only formally verify what your formal verifier can handle, which is usually somewhat less than "everything". Can your SAT-driven formal verifier verify that the worst case response time of the system is less than X?

3. Formal verification tends to be slow. If I can write and run unit tests orders of magnitude faster than the formal verifier, then the formal verifier is going to not be used much.
Five-Disk Floppy Raid: 4MB of Blistering Fast Storage (2009)
Investing in America's infrastructure will yield big returns
They're currently selling the dog robot for $75k. You can see what their current customers are doing here: https://www.bostondynamics.com/resources/case-studies
I'd wager those devs will be told to use the official Slack client.
Hi - I'm building a networked spreadsheet product and had heard of this auto-correct problem in genomics research through word of mouth a couple of times, so have asked this question myself. (I was astonished to learn just how much of genomics work involves sending Excel files back and forth!) Here's the conclusion that I have come to:

- It's definitely possible to build a custom spreadsheet product with a small team, even one targeted at such a "niche" user group. So it's an idea worth testing.

- Product can be "backwards compatible" - you can export to xlxs and import from xlxs - so you don't have to change behaviour of the entire industry on day one to get this to work, only a single genomics researcher or lab.

- Pricing, unit economics, etc are unknown to me (I have no background in genomics or scientific research). But presumably you could leverage standard SaaS models and build a viable model up from there using a few case studies. There's definitely schleppy behaviour going on here that can be solved.

- Even a "lifestyle business" has significant upside beyond the financial: improving genomics research improves genomic research!

- The product advantage over time presumably involve building more custom tooling into the genomics / data ecosystem. "Not creating typos" is just the beachhead.

I've never actually interviewed genomics people about their need here, but if anyone knows people with this problem I would love to talk to them: @mceoin on twitter. (DMs open)
Why wouldn’t a stock (e.g. a gold mine or google) escape a USD devaluation?

The only companies I see screwed are those that make long-term loans at fixed interest rates.
> that every tick is going to unload a clown car full of pathogens

They mostly are, though. Lyme is not the only horrible disease. There's Tick-borne encephalitis (TBE) and other nasty shit. As a kid, I was in the woods every day. Didn't get a tick for years, despite walking through thick woods in shorts. Then I got stung a few times, didn't think much of it. Then I got Lyme. Had terrible joint pains for months despite immediately taking Doxycycline. Since then I almost never went deeper into the woods again. You're immediately full of ticks. I once picked up a piece of trash that was on the side of the path and immediately had a tick crawling on my hand. What a nasty infestation of our woods. Did you know that Lyme is a sexually transmitted disease (STD)? Yes, if you have intercourse with someone who has Lyme, you may get infected as well. Lyme is a horror show.
> that Apple will let them get away with

Apple has no interest in supporting FLOC at all though right?
Well, that's another thing.

People lost ability to read anything longer than a tweet with focus and comprehension. Especially new developers.

I know this because whatever I put in third and further paragraphs of my tickets is not being red or understood.

I sometimes quiz guys on review meetings and I even sometimes put the most important information somewhere in the middle of the ticket. Always with the same result -- they are surprised.

Now, to read a paper is to try to imagine being the person who wrote it and appreciate not just written text but also a lot more things that are not necessarily spelled.

The same with code -- when I read somebodys code I want to recognize their style, how they approach various problems. Once you know a little bit about their vocabulary you can really speed up reading the rest because you can anticipate what is going to happen next.
The point is investors can just buy gold. They don't need to buy stock in Palantir and then have Palantir buy gold for them. If you don't need cash and can't buy productive assets, give cash back to your investors and they can find something else to do with it, possibly buy gold.
In the title, should "To" be "Do"?
> while population has tripled (300% growth).

Tripling would be 200% growth, quadrupling would be 300% growth. Therefore I wasn't sure which one you meant, and I checked: according to [1] there was roughly a tripling from 1.5M to 4.5M between 1980 and 2020.

[1] https://www.macrotrends.net/cities/23099/phoenix/population
Add "regime change" to the list of things you might have to worry about, even if you "have nothing to hide".

Add "regime change elsewhere and those to whom it might impact" if you feel that odds of such an event where you presently reside are low.
Water prices so cheap that they do not reflect externalities, such as water supply per capita being lower in the future.
Because the Internet of Things is not about Convenience to the Customer but Surveillance from the Supplier.
A 300 kcal cheeseburger? I don’t think so. The baseline metabolic rate of an adult is ~1700 kcal/day.
You can also write an address on a fresh coconut, add postage, and mail it, at least from some locations (pretty sure this doesn't work from Floida to California).
> ...til the bitter end

I'm of two minds.

#1 Any progress has to done on the down low.

Consider our history. Advocacy for fairness, justice, balance always triggers a massive backlash.

Meanwhile, massive decades long investment strategy created a rich ecosystem for deeply unpopular policy agenda has resulted in a nearly complete takeover of our government and society.

Don't storm the castle. Rock, paper, scissors. There's got to be 100s of small wins which cement a lasting victory.

Neither Rome or our liberal democracy were toppled in a day. The attacks were tiny, incremental, seemingly insignificant at the time.

What are the administrative, procedural, non-threatening pro-YIMBY reforms which can be rolled out over decades, peicemeal, scattered across the land?

#2 Settle for Pyrrhic victories

Opportunity for large scale, durable reforms are rare. Maybe every 20 to 40 years. And the effort consumes the coalition advocating the reform.

As said above, any amount of progress triggers a massive reactionary backlash.

Further, the reform coalition was only held together by the shared goal. Once attained, the coalition will dissolve (or worse). Whereas the coalition of reactionaries is evergreen; their individual motivations don't matter so long as they agree on "No".

So go for broke. Maybe someone like Gov Newsom is willing to burn whatever goodwill and political capital they've accumulated in one final glorious battle to cement their legacy.
Cargo Ships Are Again Idling Off Jammed Southern California Ports
I don't recognize fonts by name, but I certainly notice differences between fonts all the time. Too thin, too bold, too much space between characters, too italic, more or less impact, how difficult it is for me to read a passage with a given font.
First of all, not all the changes have to be implemented immediately. Andreas often livestreams hack sessions where he changes some part of the OS or the APIs, so things are very dynamic.

Secondly, why do you expect that this OS is ready to show to any non-technical user? If you did, they wouldn't realise what they are looking at, nor why it's a valuable contribution to the ecosystem and the fight against the "modern" UX trends. The effort would be wasted until the project becomes more prominent
When you see [flagged] on a submission, it means that users flagged it (this is in the FAQ: https://news.ycombinator.com/newsfaq.html). We can only guess why users flag things, but in this case, I'd guess because it's a sensational opinion piece on a divisive and often-repeated topic. I'm not seeing significant new information here (https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...).
This is deeply fascinating to read.

But what about projects like Iter? There's a lot going on in fusion that has no alternative government justification. Surely those provide little to no value for weapons programs.

If fusion for grid-scale energy is really accepted to be non-viable (and if we're honest... it is) then that has some pretty far-reaching consequences.

I don't think that fusion is categorically non-viable, but the approaches of the currently funded megaprojects all seem to be. More creative and compact approaches could still have potential. Of course, there's always PACER, which illustrates our cognitive dissonance.
It's important to note that this is not a clear cut endorsement. In fact Azure also sponsors Rocky Linux.

https://rockylinux.org/sponsors/
> If you were in Zimbabwe 15 years ago would you rather buy shares in the top 100 Zimbabwean companies, or gold?

The interesting thing about that context, is you're likely screwed either direction.

You're existing under a very dangerous dictatorship 15 years ago, totalitarian. Gold isn't going to save you either, they'll just confiscate it. Gold in particular they'd want.

It's the very rare situation where things are so dire that a giant pile of gold is particularly useful, and somehow you're not going to get it taken from you by the people with all the guns.

Even in the US, at its most dire, and minus a dictatorship, gold was taken from everybody, confiscated; revoking the ability of companies and people to shield themselves from the substantial debasement of the currency.

One of the first things the dictator of Zimbabwe would plausibly do during hyper inflation is go after large piles of private gold.
> I think you might be literally the first person I've ever encountered who has touched on this, whereas, whenever I mention the possibility, any response I get is disagreement or negative.

So they give you a downvote, a quippy snarky Tweet in response to disagree with you that there is a lack of thoughtful, deep thinking about topics.
Full automation—without drivers—would typically require platform edge doors, which are expensive and troublesome to introduce without disrupting service, and very difficult on some of the curved platforms.

The benefit for the cost involved really just isn't there; while drivers aren't cheap they aren't impossibly expensive in comparison with the average number of passengers per train.
Right, as other commenters have pointed out, this is low-level radioactive waste. It, along with tritium, is great for dirty bombs and catnip to terrorists.

A dirty bomb is a weapon. They are talking about “atom bombs”.
It says it's in the northeastern US.
https://www.ishn.com/articles/93505--dirty-jobs--guy-says-sa...

> The job sites were no more dangerous than they’d always been, but the mishaps among my crew were skyrocketing. Then one day, a man was killed while we were shooting in a factory near Pittsburg. He was crushed by the door on a giant coke oven. In the break room, where I was told of the accident, a large banner said, “We Care About Your Safety!” That got me thinking about things like unintended consequences, and the dangers of confusing compliance with real safety.

My mistake, it does not explicitly state they were a member of the camera crew
From the looks of it, they're leveraging a fork of a library I ported from Compiz a few years ago (called libanimation). I'm quite happy to see this, as I thought it was a dead end and wouldn't get any users, but it looks like its been very useful to this project and I'd be interested to see where the development is continuing so that I can help them out.
> These fake fusion energy programs contribute to that; some of the most capable scientists don’t want to work on weapons, so they can kid themselves that they are working on “energy”.

This sounds quite anti-progressive and anti-scientific, I have trouble understanding where this sentiment comes from. If Fusion reactors could be realized, this would solve all energy problems. As you mention, renewables done right doesn't stop at production but also includes global deployment of Smart Grids and Energy storage capabilities. It's nuclear energy done in a reasonable way. Apart from that, it's really not clear if production fusion reactors will ever be possible so it's clearly a research topic. Perhaps better availability of computing power (to engineer the confining magnetic fields) and better abilities to orchestrate such complex projects will also help if you look at the challenges of the ITER project.
I'm pretty sure this is the joke in multiple John Oliver web segments [0]. It's pretty well-understood that the YouTube design is not conducive to long-form discussion.

[0]: https://www.youtube.com/watch?v=knbw0gJHHBk
> No, it's not misleading. The Office 365 desktop apps are written in React. As is Teams. As is Visual Studio Code.

Is there a source for this? I searched around and can only find rumors from 2018, and announcements that the mobile apps are using react.
There is also Anduril. I have no idea why those people love Tolkien so much.
Especially the bigger companies have procurement that deals with contracts and are so used to having a salesperson as contact. I can imagine that your salesforce would be one of the limiting factors for these customers.
Ok, but please don't react to that by posting a shallow, information-free dismissal to HN. If you want to say something about what a 'good take' would be, that might be better. Otherwise it's fine not to post.

https://news.ycombinator.com/newsguidelines.html
Some delta compressors like Google Courgette actually do this.
Why would we want to give more money to the people that simply want more money? Aren't those the worst people to give more money and power to?
The answer is in FTB Pub 1004. It depends on whether you sell NSOs, ISOs in a qualifying disposition, or ISOs in a disqualifying disposition.

https://www.ftb.ca.gov/forms/misc/1004.html
I think this is the eventual goal. Andreas implemented a code editor within the OS, and I think some compiler could be ported quite easily too.
Or maybe it is more difficult to return something to a state of lower entropy from a state of higher entropy than vice versa.
Source for this, and the amount of time that we were only vaccinating women? If it was just a year or so, that's a very different story from decades.

I recall there being a sudden, loud push 10ish years ago, for everyone to get the HPV vaccine.

There were some anti-vax arguments against it for the same reason as there's resistance to sex ed; but no "men can't get cervical cancer" arguments, that I recall.
And yet I still want a Nabaztag.
Are you sure that you aren't confusing Tornado with Bitcoin Fog?
The government was hoping to hit 70% quickly, and then work its way up to 80-90%.

70% was their notional "herd immunity" number. It didn't have a really firm scientific grounding, but it was a useful target. They were hoping that people would get behind pushing it up to that number without coaxing, and then a combination of momentum and coaxing would push it well past.

They assumed that perhaps 10-20% would be just plain ornery about it, but given the hundreds of thousands of deaths, most would err on the side of getting it. That assumes it was generally seen as safe and effective, which means that they see lots of people getting it and contrasting that with the vast numbers of people dying.

Those assumptions turned out to be faulty, for a number of reasons. And that has caused them to flounder for alternative messaging.
Best Buy Yelp Reviews
"I know almost nothing about the subject at hand, so here's my expert opinion on it"
What do you think the goal is?
Would it be incorrect to say that the primary problems Boston Dynamics works on, which is planning and controls, is already mostly a solved problem?

My understanding is that the majority of research was completed within the past few decades, in comparison to the relative nascency of modern deep learning techniques.
> If insurers couldn't price accurately then insurance as a business couldn't exist.

Or they can totally stop pricing people reasonably at all. Insurance is predicated on sharing the risk. If "risky" people get priced out of driving (especially based on things they can't reasonably control!) then its probably bad for society.

This is even more true for medical insurance (although laws are probably stronger here). That said, i personally think the government (in us) should be handling medical costs on some level so maybe my opinion on controlling capitalism w/r/t medical insurance isn't the market-driven.
> This is generally against the terms of service for the initial font, however, which would make it a legal matter...

I doubt there's anything in the ToS for most fonts prohibiting me from rendering a short story that just so happens to contain every character and post it online for everyone to enjoy. I couldn't possibly predict that my friend who doesn't even know the name of the font, let alone ever agreed to any ToS, would take that render and trace all the characters on it.

Note that I generically said "render", not image or raster, since from my understanding, an SVG or vector PDF render of the font (not embedded, but turned into paths) wouldn't be any more copyrightable than a raster, but far easier to clone.
I get bitten by Excel's auto-correct all the time and I work nothing related to genomics. It's in my opinion just a dumb decision of Microsoft to not let you disable all those smarty feats (like, thinking you have a date if your string kinda looks like one)
Enumerating .gov.af for Archival Purpose
Brit student, 21, ‘evacuated’ out of Kabul after ‘insane Afghanistan holiday'
What would these legged, ground-traversing robots be better at than the flying variety?

Sweeping tunnels?

Construction?
"do you love me?"
I'm impressed with the website design. A bit slow at the moment but it looks very good. Good job!
If we're honest with ourselves then we'd have to admit this was going to happen. After all, no government voluntarily downsizes itself,so it follows that they wouldn't let go of powers they gave themselves to deal with it.
Non paywall archived link: https://ghostarchive.org/archive/bN8ou
Just wanted to say thank you for the purchasing power parity discount on scrimba.com

Very very cool!
"public health and safety rule that saves lives"
Citation needed. https://www.covidchartsquiz.com/
Peter Thiel, himself, mocked this type of behavior from Google when Eric Schmidt couldn't find anything else to do with Google's hoards of cash rather than buying back shares. Thiel likened paying a dividend to admitting that your shareholders know what to do with the money more than you. It's even worse in Palantir's case because it is supposed to be a growth company that should be reinvesting the capital into growth.
Nothing says growth like blowing a bunch of money on unproductive assets.
I think the idea is that everyone else in the world is doing that right now, and a huge portion of gains in recent times has been from a handful of companies, so I guess there is the choice between productive assets that are overpriced because everyone is dog piling in, debt that is basically negatively yielding against inflation or something like gold.

But 50 million isn't that much for a company like Palantir I would imagine.
Yes, if a precinct is in reasonable danger of falling into someone else’s hands then it makes sense to destroy sensitive data.

The issue is that a lot of us don’t think that that precinct was in any actual danger of falling.
Saying "well they could be lying" kinda makes the whole discussion moot doesn't it? Why even bother talking about FloC because they could be lying about that too.
Currently the US economy has the stimulus knob turned to max.

It’s almost expected to see this kind of stuff in the interim as markets are awash in liquidity.

Check out the Fed RRP use lately…

There is over $1 TRILLION dollars going through the Feds reverse repo system right now.

If you’re interested in this stuff I’d suggest following @arishisays
HN has always allowed videos: https://web.archive.org/web/20071109094837/http://ycombinato.... It has also always allowed Youtube: https://news.ycombinator.com/from?site=youtube.com&next=2500....

No doubt occasionally a video appears here which is also popular on YouTube, but that's to be expected from randomness. Let's not overinterpret it!
Not even proven side effect. Just something that might be theorized to be the effect of the vaccine.

It's really haunting that exactly the same FUD that tanked safe and efficient Lyme vaccine hinders covid vaccines adoption. And people wonder why companies that make covid vaccine wouldn't budge on being exempt from litigation on the basis of percieved side effects.
no but back to the economic argument the supply is so significant that no one person's data is worth jack unless they're a politician or something like that. Individually its basically worthless.
This is great. I use this feature quite a bit and its been in use in major OSS projects like Servo for a while now.
I was bummed about the target third party stuff - how hard is it to add a target only toggle?
His words not mine and since he's dead there's no opportunity for clarification here. Also, I used to see them wandering downtown Palo Alto dressed as monks or as people from The Matrix etc. The LARP was indeed strong with these folks.
You can manipulate surveys to generate any requested outrage. Generally you can assume any mention of a survey is propaganda and can be ignored.

Its pretty trivial to imagine how this desired result was produced:

"Would you be angry if you paid a falsely advertised full 'new' price for a garment actually worn by others at least three or more times?"

I know I'd be pretty annoyed if I paid full "new" price for shoes and they arrived and someone else has been wearing the tread off of them for the last six months, LOL.
I don't work in bioinformatics, but what you are describing is a completely accurate description of what I experienced working in manufacturing quality control. Raw data came in from suppliers in the form of spreadsheets, and management wanted to see results in spreadsheets. Meaning all our quality data was subjected to these issues. The date formatting issue was a particularly annoying "gotcha", particularly when features were defined with a XX-XX numeric code. The number of times I had to deal with someone in a meeting saying "hey, why is this feature called October-13?!" Super frustrating.

If I could choose the tools used by the whole process involving multiple different companies and departments, hey I would! It would be python all the way down. But I was but a cog in a massive organization.
Roughly how long have you had your Airpod Pros?