skysight-inc/HackerNews huggingface dataset:
I was born in Toronto but grew up on the west coast, then the interior of BC and now in Alberta, and I'll never leave the mountains, but I loved summers on Lake Erie. Ontario cottage life is very different from western cabin life. The recovery of Erie is a huge accomplishment and while humans should get some credit I believe most of it is due to the size and resiliency of the Great Lakes ecosystem.

And if we're keeping track: I'll take a freezing glacial mountain lake over the humid heat every time :)
All of these look like they were caused by politicians making bad choices
I cannot see the video, but it seems that it's the same thing as described here: https://en.wikipedia.org/wiki/Fediverse

If the author of the video is around here: please, put textual transcripts for video-impaired users! (or simply, for people who do not want to launch a video and prefer to read).
That's a far more sustainable AND profitable plan than selling to spammers.

Maybe ... or maybe not.

You point out that "actually unvalidated ideas are near worthless". Selling near worthless ideas or selling addresses to spammers --- hard to say which is more viable and/or profitable.
This is a very insightful and well-thought answer. Thank you.
This is based on a popular and fundamental computer science paradigm. If you're not familiar with it, it's a good read.

https://en.wikipedia.org/wiki/Actor_model
What do you mean by old?

A friend of mine invited me to an art installation made by her and 20+ of her friends which was basically a low-budget version of an attraction at Disney. (You go into a "time machine" and visit different places and times by opening the door it tells you to open)

One of many fun features was a sand table that had a first-generation Kinect and a projector that projected contour lines on the sand that shift when you change the surface. It seemed pretty magical, like AR turned inside out.

It got me thinking a lot about things you can do with projectors, which Disney has been doing a long time. (For instance, Disney puts a Star Wars theme and other themes on Space Mountain by mostly changing audio and video so they can retheme it for special occasions such as when a Star Wars movie comes out.)
Sure, checking accounts and the like.
This sounds interesting, can you tell us more? Were they doing this on their public github to get the role, or internally misrepresenting work as their own?
But market is not economy.
I prefer a security model slightly more robust than "None of the professionals working on this project will ever make a mistake".
Russia's tanks in Ukraine have a 'jack-in-the-box' design flaw
Why do you think this is price gouging and not just expensive to make? Plenty of things cost a heap of money even after years of development - I'm pretty sure you can buy a flying car if you have a billion lying around.
Better article here from the experts at Bulletin of the Atomic Scientists

https://thebulletin.org/2021/05/whats-wrong-with-japans-anti...

The issue is not so much tritium, but rather that claims of removal of some 60+ other radionuclides (products of fission of uranium) to below regulatory standards remain questionable.

> "TEPCO and the Ministry of Economy, Trade, and Industry have acknowledged that more than 70 percent of the treated water at Fukushima contains 62 other nuclides that are higher than regulatory standards. Therefore, treated water may pose significant risks to the environment and public health and could damage Fukushima’s fishing and agricultural industry. The environmental, social, and economic impacts of releasing the treated water to the sea must be more carefully assessed."
Honestly Nim is more mature, has more features, compiles quicker and is equally easy. Crystal has nice syntax but otherwise is lacking features.
Years ago (not Pi 4, something older) I tried it to use one as a small home server where I can ssh into and do Linux things while on Windows but it wasn't for me. Maybe the USB stick I used was too slow, maybe something else, but even typing in a shell and waiting for commands to finish felt too sluggish for me, so I repurposed my old i5 w/SSD.
What feeds are you already following?
Yeah if the content is there... And you run someone of the worlds most exciting companies... You can be terrible and people will still listen. Elon has a bit of awkward charm sometimes but other than that its really all content.
Yeah, one of my wife and I's biggest mistakes was staying here in Ontario and settling even deeper into our property after her mother passed away. We should have moved at least temporarily to Alberta where my parents are, because it's been so hard raising kids (and now teens) without any close support. And now we're kind of stuck here, so. When you have kids, having close and extended family nearby is worth more than anything.
Seems like the opposite to me. I once tried to set up and run a GRPC service (I can't remember which one) but something it depended on changed and so the codebase I was trying to run basically didn't run anymore. It was f-ing weird that (at the time?) there was no way to lock down deps - that or someone didn't care to? I don't know the language baffles me completely.
> I’m super interested in what investing looks like in 50-100 years as the population starts collapsing

I don’t think it’s possible to forecast economics on those scales. If I was cryonically preserved and woken up in 2122, I would be equally willing to believe we were declining or stagnant for the reasons you give… or that we had solved AI and von Neumann replicators and that the planet Mercury had been fully dismantled and used to construct a Dyson swarm whose descendants had already done the same to a similar planet around each of the nearest dozen or so stars.
I typically open the comments first before I read the article, so that I can more easily preserve the link between content and discussion by opening the article from the comments page.

Thank you for limiting my "Nooooo..." to only 5 'o's.
This is an not remotely true:

> and the clinical data was supposed to remain hidden for 75 years which certainly seems odd at the least.

They released all of the relevant clinical data right away - weird antivaxxers sued for the full patient records which the FDA will provide after redacting PII, which they estimated would take 75 years given the huge volume of pages they'd have to review and their current staff size / existing workload that they're legally obligated to address.

The data "wasn't supposed to remain hidden" it's just never made public because the summary data already addressed everything in the individual patient files. The patient files can be made public after redaction but unless congress gives them a bunch more money to hire new staff, they're only capable of processing 500 pages/month.
Good point about the river re-direction.

> I recently proposed a transatlantic natural gas pipeline and people thought I was insane, but it would only be ~5x longer than the longest existing underwater natgas pipeline, which doesn’t sound impossibly viable.

Nordstream is 759 Miles. Newfoundland to Ireland is 1900 Miles!
After the death of Google+, I joined a Diaspora pod that was created specifically for Google+ refugees. Now that pod is about the die (it still exist, but the owner died, so we're not sure how long it will last), so everybody is joining other federated social networks. Many moved to another Diaspora pod, some moved to Mastodon. I moved to Friendica, which has the advantage of being able to follow people on both Diaspora and Mastodon.

I haven't found a good Android app for it yet, unfortunately.
I write in Google Docs mostly for the collaboration features. It's super easy to invite someone to leave comments. I use the Code Blocks add-on to format code. When it's time to publish I use the DocsFlow plug-in to import the doc into InDesign for typesetting.
This is spot on. It's not the metric itself which is the problem, but how the metric is interpreted and formed into action. We can all understand the ramifications if we rated parents on "child satisfaction". Lots of kids would be having candy for dinner. The real metric we probably want is improved patient outcome, which may not be synonymous with patient satisfaction.

I don't think that's necessarily incongruent with the OPs point. If the metrics are being gamed or the metrics are being used to inaccurately gauge provider care, those are systemic issues. Or it could be the case of well-intentioned, but poorly chosen metrics.
All in, it's still averages about 20-30% more expensive in a normal operating environment (before pandemic and all the subsequent issues). This is significant on the largest expense line item and considering it's controllable to a degree.
Tackling multiple tasks with a single visual language model
> Go compiler raise an error if a variable (error) goes unused

It doesn't though. It's not a warning or error to not use the return value of a function that only returns an error, for instance (https://go.dev/play/p/se6-zHHVezH).

There are static error checking tools you can use like https://github.com/kisielk/errcheck to work around this, but most people don't use them.

I've run into a lack of Go error checking many times. Many times it's just the trivial case, where the compiler doesn't warn about not checking the result of an error-returning function.

But often it'll be subtler, and the result of Go's API design. One example is its file writing API, which requires you to close the file and check its error to be correct. Many times people will just `defer file.Close()`, but that isn't good enough - you're ignoring the error there.

Worse still is e.g: writing to a file through a bufio.Writer. To be correct, you need to remember to flush the writer, check that error, then close the file and check that error. There's no type-level support to make sure you do that.
There are tons of e-reader out there, but if you aren't searching it's likely you will only know Kindle. Kobo is also very popular, but there're also PocketBook, Nook, Likebook, Onyx Boox, Bigme, etc.
If this is true ("only b/c of melting ice sheet; will dissipate in next few thousand years") then wouldn't we expect water levels to be continuously dropping? Seems more likely that they exist because rain/meltwater makes its way to the basin and keeps them filled (irrespective of whether or not they were originally filled with meltwater from the ice sheet 15kya).
> cut back on paper-books

I read an article posted here on HN about how using an iPad to cut back on paper basically never becomes worth it (from an environmental perspective). If you already have an iPad, sure, use it for not taking and it will be better than using paper. But don't go buy an iPad specifically to save on paper, because that will make the problem worse.

I wonder how much of that same principle applies to e-ink displays. They obviously use a lot less power, so maybe it would be worth it. I'm really not sure.

edit: did a quick Google search. I believe this was the article: https://slate.com/technology/2011/09/paper-versus-the-ipad-i...
As all new installs of Fedora, Suse, Mint, Ubuntu, Arch, and most others are using merged /usr he is more right than wrong.
It'd be a lot more interesting if it wasn't in Kotlin.
I saw the "copilot.com" domain and an absence of the term "GitHub" and clicked with the assumption that it was not GitHub Copilot.
Interesting. Now I'm curious about the tech used behind it to transmit the info accross the network. I'm wondering if a LoRa/LoRaWAN-based mesh network could do the trick to avoid using some kind of cell data or wired infrastructure, but also be energy-efficient enough to work using only solar power.
First words of article: "The U.S. economy shrank at a 1.4% annual rate in the first quarter". That's an actual shrinkage, not a lower rate of growth.

"Inflation in April was 7%" is indeed a frequent misleading/ambiguous phrase. They should say, "consumer prices rose in April at a 7% annual rate", or say "consumer prices increased by 0.6% in April", though constant incorrect usage might lead people to misinterpret the latter.
This is a complete anecdote, but I am surrounded by new neighborhoods all built in the last couple of years, and some new ones being built now. We also have a BUNCH of new 4 story apartments that have never been seen in suburban Houston before 2020.

I know Houston supposedly got a HUGE influx of people leaving NYC and SV in 2020-2021, but still, my home town of around 20k people just got 2 brand new neighborhoods in 2021 with 500 homes between them all selling for $300k+ when you used to be able to buy a house in town for $50-100k. Even with record breaking housing development, the cost of homes in the last few years in Houston has been ridiculous.
Science is irrelevant. There still hasn't been a political decision in my country on where to store nuclear waste.
The idea that the RCID is a "company town" is an easy catch-phrase, but it is incorrect. The concept of a company towns was one where the company ran all aspects of the town and forced workers to live there, pay rent, buy products at company-owned stores, and payed the workers in company script to ensure that the workers could not move out of the town--all of those profits flowed directly to the company. Disney pays its employees in US dollars, not company script; they don't force people to live in the RCID--in fact there are only a few hand-picked senior employees live there--and Disney charges them $75/month in rent--subsidising rent, rather than profiting from it.

It is important to note that Florida has 1844 special districts. 76 of those are independent special districts. The "independent" refers to those special districts that have ad valorem taxation rights (i.e.: they are able to levy taxes on residents in addition to county taxes). According to Florida law, the Reedy Creek Improvement District (RCID) is required to be an independent special district because it straddles two counties (Orange and Osceola). Other theme parks in Florida, like Sea World and Universal, also have their own special districts. Stripping Disney of their special district rights while allowing competitors to retain theirs is another point proving that legislation is both hypocritical and retaliation for Disney raising objections to the "Parental Rights in Education" (aka "Don't Say Gay") bill.

Disney also pays property taxes to both Orange and Osceola counties at the same rate as all other property owners, a requirement of Florida state law. But, since Disney doesn't actually use county infrastructure or services (or pays for their use, if needed), those taxes end up subsidising infrastructure and services for the rest of the county residents.

Further, the taxation powers for Disney allows them to pay for their own infrastructure and services by taxing themselves 3x more than state law would otherwise allow. The narrative that Disney pays less taxes as a result of their special district is patently false.
What!?, why is that legal??
> These days my backup strategy is redundant USB hard drives

If you're talking spinning rust, beware hard drives that haven't been spun up in a long while have a tendency to "stick". I'd suggest starting every hard drive up at least yearly and scrubbing the contents.
Not to me.

I've been doing "It" (shipping software -which is quite different from "writing" software) for my entire adult life.

Basically, if you want to actually ship a superb-Quality native iOS/iPadOS/WatchOS/MacOS app, in an astonishingly short period of time, I'm a good person to talk to.

What I have learned, is that very few people seem to want to actually ship software. Instead, companies become obsessed with "coding culture," and "process" (which can mean many different things). As it comes time to start preparing for it to go out the door, all kinds of roadblocks start piling up. It's crazy.

I was "frozen out" of the industry, because of my age, which really pissed me off, but that has turned out to be a great thing. It's been a real joy, writing my own stuff. Out of necessity, I have to keep the scope humble, but that's fine.
what price gouging are we talking about?
Great tool, thanks for building
The control group was lost: https://www.npr.org/sections/health-shots/2021/02/19/9691430...

There is also no proof that the mRNA vaccines are safe for pregnancy. Look at what the CDC website has to say about the topic: https://www.cdc.gov/coronavirus/2019-ncov/vaccines/planning-...

They have studies that fertility is not effected in the short term, but that is it. Nothing about how the pregnancies actually progressed.

Basically their evidence they have for the vaccines safety for pregnancy is lack of evidence of harm (which is not even true as there are studies that indicate the mRNA might be harmful in this regard). This is completely backwards. They should be on the hook for proving safety, not the other way around.

I personally cannot trust the safety data of the mRNA vaccines. I anecdotally know a handful of people that have suffered harm after vaccination. This on it's own means nothing, but the part that bothers me is that all their doctors don't want to entertain the idea that their problems were caused by the vaccine, because the vaccine is "safe and effective". None of their issues were even entered into VAERS. This is completely backwards.
I can't agree more. The folks disagreeing with you on some ethical basis are full of shit. We're on a startup accelerator forum for fucks sake! BS crypto startups get glorified...but someone making employee monitoring software is a scumbag.

Most of the people here would happily work for mass surveillance corporations like Google or Facebook.
I am so disappointed that Amazon doesn't invest more in the Kindle. They have deep pockets and a guaranteed market. Currently, I am still holding out for an upgrade of the Oasis, but would be willing to spend quite some money for upgraded Kindles and I think I am not alone (even if they just go to 8" and USB-C/Qi charging, it would be worth it). Of course a 10" Kindle would be nice and a true A4 Kindle just a dream.
TL;DR use C++
I've worked with logics where finding proofs are computationally easy and even logics where expensive steps can be explicitly bound and controlled for. I'm always very skeptical about claims that assert "the same".

Generally speaking, some proofs will be easy in those specific logics and other proofs will be hard or impossible. The problem won't be equivalent to reducing useful subsets of math to such logics however as you will often want to prove a lemma in one logic and a theorem in another. The fact that you don't have a good vehicle for dealing with the union of statements from each distinct fragmented logic makes the entire exercise fall apart.

Instead, most theorem provers need to operate in a single logic so that they can easily build on previous results.
Ah yes this sounds logical.
Yes, many policies have unexpected consequences. The question is whether the experts are doing better at predicting them. The most sweeping educational policy in my lifetime, No Child Left Behind, passed with large bipartisan support, only to be abandoned 15 years later for failing to achieve its goals. I cannot find any expert opinion from the time that accurately anticipated these unintended consequences. If experts are much better than the general public at predicting the effects of policy, I would expect to see education experts on the record predicting the ultimate effects of the policy.

> And gifted math nerds (which I were) that benefited from a dramatically accellerated program have as much knowledge about the subject as a stereotypical redneck saying "We don't need math out on the tobacco farm".

I think the "nerds" would know enough to understand that they benefitted from the accelerated program and would have not achieved as much if it were taken away.
> Go is a language that gets out of your way, encourages you to solve your problem

Maybe I'm just too dumb for Go, but this is not consistent with my experience at all. Go's insistence on pretending that complexity doesn't exist would get in my way all the time. Go's extreme hostility toward FFI calls got in my way several times.
If China invades Taiwan, does half of Vancouver go up for auction?
> This adds a lot more microstates that wasn't available before, and none of the old microstates are now possible since all old microstates had a total energy level half of what each new microstate has.

As I'm sure you know, the microstates of that sample of gas at some fixed temperature don't have all the same energy. For each temperature there will be a distribution of possible energies. If the temperatures are close enough there will be a large overlap between those distributions.

You cannot just count the microstates of the sample of gas. (You can count microstates of the gas plus reservoir system though.)
Yes, but not just in C++. Bubbling up errors is a common phrase in Java and Python.
Chemical photography. You stick a blank piece of paper into a liquid and a picture appears.
I feel the transatlantic gas pipe wouldnt be viable just for the fact that Russian subs/ships would have a field day "accidentally" setting anchor on it and breaking it to keep their economy relevant.
Maybe in your neck of the woods.

I had a solid weeklong period here where no store within 15 miles had any fresh dairy products, meats, produce other than herbs, or bulk grains (flour, rice, pasta, etc).
Of course. I wasn't trying to imply anything to the contrary. But given the prevalence of exceptions, if Go's error handling is performing on par or better, then it seems pretty ridiculous to characterize Go's error handling as "shit". Don't worry Steve, I think Rust's error handling is pretty cool!
Ask HN: Has anyone recently had their Dropbox disabled?
Dropbox seems to be disabling some accounts in waves, if you are part of this wave you're in danger of losing your data forever.

For a little context watch this video:

https://www.youtube.com/watch?v=buduP--pZ1Q

and read this: https://news.ycombinator.com/item?id=31142845

I'm hearing from other people that they are getting their accounts disabled as well. I want us to work together to resolve this issue.

Dropbox has made it clear to many of us they will not restore our account, and we would need a court order for any further communication. Therefore we need to hire attorneys to get an injunction.

I used to think I understood Dropbox's policy, I was wrong, their policy is incredibly abusive and illegal.

Imagine a property manager claiming that drugs were discovered in your home-office, and their solution is to burn down your home-office. The property manager does not show you the actual drugs you are accused of having, nor do they mention the specific drug. They hint that law enforcement is involved but you don't know for sure. Without any due process the property managers says it is their right to burn down your place with the drugs. That's what Dropbox is doing. Dropbox will destroy people's digital files / property without due process.

my email is in my profile, thanks.
There’s No Scenario in Which 2050 Is ‘Normal’
I am more fascinated by their ability to swab the deer in any meaningful number. I feed 24 deer outside my home every day. They wait for me to feed them and yet I can't get closer than 40 feet to any of them unless there is a window between us. Are they tranquilizing them? I would be more interested in testing mine for CWD.
Pick your poison. Last summer was great because the lack of moisture meant a lack of mosquitoes which meant more enjoyable outdoorsing. I went an entire trip in the boundary waters without using bug spray. Unbelievable!
Don't forget to try the beer!

https://www.greatlakesbrewing.com/edmund-fitzgerald