skysight-inc/HackerNews huggingface dataset:
Oh gosh you hit the nail on the head. We have very few charging stations in my area. I’ve seen a few Ev’s coming that are on he lower end, but I’m feeling resigned to an ICE car, maybe something used, as a stop gap until I can save up for a hybrid.
This is terrible advice.

So first of all, scientists that study phenomena that started before 1870 are “real” scientists. Not having absolute certainty over something doesn’t mean yours or my opinion has the same weight as a significant amount of evidence that points to a trend over time.

Secondly, telling people to eat less meat, and adjust their thermostat does basically nothing to combat climate change. The amount an individual affects the climate is absolutely trivial compared to the amount that corporations affect the climate. As far as I can tell, most of these actions are best for making people feel like they are making a difference, while doing nothing in reality. It is much more effective to increase accountability over corporations affect on the environment than individual humans.
I generally don't condone "I told you so"s myself. But it's very difficult to stay silent in this case when they've basically doomed the future inhabitants of this planet.
As far as I can tell, this is not quite true. Tactic proofs aside, you can also write functional term mode proofs and declarative "structured" proofs in the sense of Isar. Theorem Proving in Lean introduces that style, so most people who use Lean are familiar with it: E.g. https://leanprover.github.io/theorem_proving_in_lean/proposi...

Additionally, even in tactic proofs you can use tactics like `have`, `suffices`, etc. to manipulate the structure of the proof and make subgoals explicit like you would usually do in the structured style.
In practice, people in Lean still prefer imperative tactic proofs with the option to write in a structured/declarative style where reasonable. The full "structured" mode does not see much use, since it is quite verbose.
As a result, Lean 4 will not support this style out of the box anymore, but you could still add it yourself using the macro system.
Also, I simply wouldn't assume the FDA considers a treatment (this drug) an alternative to something that prevents the disease (vaccines).

They both are used for the same disease but in different ways. They are only alternatives in a very broad sense.
I think this is to be expected. The oscillation between first-principles and empirical models falls out of the scientific method: see a few datapoints, develop a predictive theory, try to prove the theory wrong with new datapoints, and reiterate for alternative explanations with fewer assumptions, greater predictive power, etc...

This happens even in pure mathematics, just at a more abstract level: start with conjectures seen on finite examples, prove some limited infinite cases, eventually prove or disprove the conjecture entirely.

Current DL models are so huge they've outpaced the scale where our existing first-principles tools (like linear algebra) can efficiently predict the phenomena we see when we use them. The space has gotten larger, but human brains haven't, so if we still want humans to be productive, we need to develop a more efficient theory. Empirical models explaining empirical models might work, but not for humans.
Streaming Fatigue? Average Number of Services per User Falls for First Time
Tech Entrepreneur's Tabletop Chocolate Factory
My anecdote is exactly as valid as his. You can't prove the Sun God didn't cure me.
Back in the early/mid 80s (don't remember the year) the brook behind our house dried up. Unless that thing dries up again, I am calling bs on this 1200-year drought.
> There’s obviously no data going back 1200 years

Yes, it's not like there were societies with writing in Europe, Asia, Africa or the Americas back then (probably Oceania too, but they may have been 100% oral tradition). It's not like they would notice and write down major weather events. It's not like we have reports about supernovas from 1400 years ago.
There is a meme going around that "Elites Want You to Eat Bugs". This dish would allow them to characterize the practice as "traditional" instead of "novel".
Please don't post flamebait to HN, and especially not on divisive topics. That amounts to trolling, in effect if not in intention, and it leads to exactly the opposite of what we're trying for here.

https://news.ycombinator.com/newsguidelines.html

Edit: you posted this right after I asked you to stop doing it (https://news.ycombinator.com/item?id=27563671). If you pull a trick like that again, we will ban you.
Sun. Apple. Xerox PARC.

Some more recent ones: Amazon Web Services. Fly.
What should my expectation be for EMs as an IC? I’ve spent time in management and time in The Valley, but not in management in The Valley.

It generally appears they take care of “other stuff” but are generally expensive proxies (in time, cost, clarity… “truth”) with a sprinkling of HR nonsense like personnel management, hiring and firing.
A basis point is defined as 0.01%. And it isn't used commonly outside finance.

I think I stated it how most people would. To be clear it was 38% of men and 28% of women. The ratio says much less about the world than how low both numbers are.

Older people are more likely to say bisexual men are gay and in denial. Or all men who have sex with men are less masculine. Those stereotypes are more common than equivalent stereotypes about bisexual women. I would be surprised if their relationship preferences didn't reflect that. And those stereotypes illustrate how acceptance isn't just about intimate relationships too.
You can use a library that also adds a trailing \O. I used it to interface C++.
> You can ban the sat and grades and still measure for academic rigor

It's harder to normalize performance across schools without a standardized test.

> those who placed in a state math competition are likely to have higher academic abilities

That sounds like a state-run math SAT that would have the same problems.

> And allow the wealthy to better position their kids at the detriment of the middle class.

The upper middle class is where it's actually interesting. There aren't enough wealthy people for the SAT to be a driver of mass inequality. They're already sending their kids to elite private schools, so as long as the Ivies keep favoring those schools, the status quo remains. The most important thing you can to to prepare for the SAT is do lots of practice tests. Those aren't that expensive. Anyone working class or higher can afford them. SAT classes help somewhat, but less than being somewhat familiar with the test. They're moderately expensive. Tutors are where it's interesting, and that's in upper middle class territory.
Chesterton’s Fence and Writing Code Comments
Not to mention it’s good to have treatment options in addition to a vaccine. Vaccines aren’t full-proof (treatment options are then good), some people legitimately can’t get vaccinated, and should there be a mutation the vaccines can’t handle then you still want treatment.
I agree very much that mathlib != Lean. Still, I think much of the talk about Lean will mention that mathlib is classical.

It was an honest question: I don't know where Lean is sold as a constructive system. (Note, I haven't read every part of Lean's documentation or website. I might be missing something obvious here.)
Find them one at a time.
Doesn't work that because putting mouth is free, putting money isn't.
YouTube Deletes Xinjiang Victims Channel with Thousands of Interviews
That's deeply, and I think obviously, not the point. Please stop now.
I dunno how you made the jump from this warning to banning discussion
2001 was intentionally slow to make you feel how boring space travel is. It's a clever idea but it's a movie for a much slower paced world with fewer options for things to do.
I joined a small open source project that had decided to use Neo4J instead of a SQL database as its primary store. Simple queries mysteriously caused Neo4J to gobble up huge amounts of memory. Neo4J struggled even though we had fewer than a million items, sometimes getting so stuck that we had to restart the database. There wasn't any good tooling to explain why our queries were so slow. We'd already upgraded our VM beyond what we originally hoped to spend and were reluctant to spend even more on a larger one.

We had a team member who had used Neo4J professionally for years and could not figure it out. And we only had one; every other teammate and new volunteer had to be trained in a strange new way of thinking about databases and a new query syntax. Setting it up to run locally for development was a difficult process. Progress was slow and our code to access the database was messy. We kept being promised that, in exchange for these heavy burdens, Neo4J would do amazing things for us once we started doing graph queries, but we never got there because it couldn't do the basics.

We rewrote the project to run on PostgreSQL. Five tables, properly indexed, lightning fast, easy to set up and understandable by anyone. A hundred million rows and it didn't break a sweat, on the lowest tier of machine. Even graph queries were straightforward and quick.

Advice: Don't use Neo4J as your primary store, and avoid it altogether if you want volunteer or casual contributors. For us, it was all costs and no benefits.
I think you’re missing the point. Maybe it’s worth it for you but if that is the case you’re in a niche of a niche.
Sweeping reforms to increase the number of rape cases reaching court unveiled
Anyone has the list of sites blocked by Vigilante? For research purposes.
How scammers use language to trick their victims
IANAL. I have a 3 year BSc from Australia. This was very much the norm when I studied; I think 4 year degrees are more common now.

For my visa, my employers' lawyer paid an accredited firm to examine my transcript, confirm it was equivalent to a 4 year US bachelors, and put that in a letter which was part of my application. Interview was at the consulate in Australia, no problems.

Later in life when I was working in the US and applied for a green card, my employers' (junior) lawyers took the view that the 3-year wouldn't suffice - the rules are either different, or being differently interpreted by a separate arm of the US government.

I had 5+ years of relevant work experience before my current company/role, which is considered just as good for the green card process, so we relied on that. Because that was a clearcut option, I didn't fully explore whether good lawyering could make the 3-year degree, and/or my several years of experience for my current employer in an evolving role, work.
The largest exchange, Binance, has had over $50B of futures volume in the last 24 hours [0]. Futures are generally traded with leverage and in crypto trading, leverage can be huge - 100x is available many places.

[0] https://www.coingecko.com/en/exchanges/derivatives
Then he really should know better than to self-medicate and encourage others to do the same.
I haven't heard of this so I'd like to learn more.

Do you have some sources you can point me to? I've studied economics and history quite a lot and have never heard of the idea that Congress intended to migrate manufacturing jobs to service jobs, or that the US would intentionally give another country an advantage in order to achieve this. What is the name of the Columbia deal you're referring to? And is there any specific time period or administration you're describing? Or economists whose views provided the theoretical underpinning of why shifting from manufacturing to services would be desirable national policy?
What would nontechnical engineering be?
> If someone died because of a "Take Ivermectin and you'll survive COVID" video on YouTube, who's to blame?

Ivermectin is a prescription drug in the United States. A doctor would most likely reject the request if a patient asked for it solely on a YouTube recommendation. So to answer your question, a prescribing doctor.

IMO YouTube isn't medically qualified to censor ongoing research or debate, just stick a disclaimer and be done with it.
I’ve been using a vertical tab bar on the left in Firefox for a while, offers many tabs and lots of vertical space
Building a C++ library and sell it?
What constitutes an adult color scheme for you? Why do rounded corners offend you? Are there examples of what you think are appropriately designed products or websites?

This sounds needlessly derisive.
> or is exhorbitantly priced as compared to their purchasing power, I doubt there is a reason to pirate.

I don't think it's an overstatement to say that hundreds of millions of people can't afford an 80 EUR/USD game.
This is exactly why instead of censoring podcasts like Bret Weinstein when he brings on guests to discuss ivermectin, other experts should engage in debate with him.

When people who are credible scientists (like many of his guests) get censored it can reasonably look suspicious.

I'm not saying he's correct, I'm just saying the right answer is debate.

A person who is willing to have a calm, 3 hour discussion on a topic is not the kind of person who needs to be censored.
In addition, there is this summary:

https://covid19criticalcare.com/ivermectin-in-covid-19/

and

https://journals.lww.com/americantherapeutics/fulltext/2021/...

Meta-analyses based on 18 randomized controlled treatment trials of ivermectin in COVID-19 have found large, statistically significant reductions in mortality, time to clinical recovery, and time to viral clearance. Furthermore, results from numerous controlled prophylaxis trials report significantly reduced risks of contracting COVID-19 with the regular use of ivermectin. Finally, the many examples of ivermectin distribution campaigns leading to rapid population-wide decreases in morbidity and mortality indicate that an oral agent effective in all phases of COVID-19 has been identified.

Edit: There's a mountain of data here:

https://ivmmeta.com/

Edit: Clip from that last link:

•While many treatments have some level of efficacy, they do not replace vaccines and other measures to avoid infection. Only 27% of ivermectin studies show zero events in the treatment arm.
•Elimination of COVID-19 is a race against viral evolution. No treatment, vaccine, or intervention is 100% available and effective for all current and future variants. All practical, effective, and safe means should be used. Not doing so increases the risk of COVID-19 becoming endemic; and increases mortality, morbidity, and collateral damage.
I well remember Google's pledge to do no evil. The cofounder was even from East Lansing where I live.

Under pressure from Republican Senators, notably Sen. Marco Rubio, the channel has been restored. What was Google's reasoning in the first place? Or was it pressured to do it?
A mathematical theory of semantic development in deep neural networks
But what about places where electricity is expensive? Places, where charging infrastructure is uncommon (I've seen maybe 2 dedicated charging stations in my country), or maybe even places where the supply of electricity is not reliable? Also, in my country the used car market is about 95% ICE vehicles and most people can't really afford to buy completely new cars or import them.

I do think that electrical vehicles have a lot of potential, but there are certainly lots of things that should be addressed.

However, i also fear that more and more electrical components will eventually make cars harder to maintain and operate. For example, a Nissan Patrol was an exceedingly simple car (had a 3rd generation one). I fear we'll never see that sort of simplicity again.
An even better solution:

https://www.digitalmars.com/articles/C-biggest-mistake.html

With the lengths of strings known, copying becomes fast, safe, and trivial.
Calling it "Vigilante" is a stretch.
Hope the I of J files suit against Texas soon enough, for years the State of Texas board has been sending nasty letters to anyone who uses the word "engineer" on their business card, web page, sign, etc. that you have to pay up to them, and take and pass some grade school exam in order to be able to use the word engineer.

Software engineers in Texas all have given up using that title.
Writing React components.
I am not a lawyer but…
You might look at SDS.

https://github.com/antirez/sds
Tips on How to Reset an Apple SmartWatch
It's hilarious how parent comment's opening sentence is a (easily debunked, as you've shown) conspiracy theory, and in the next breath they're trying to sound reasonable and Definitely Not a conspiracy theorist
If capitalism is geared for short term next quarter thinking like everyone says, why do companies like Plug Power, with their negative revenue have $17 billion valuations?
Citing Roman et al.

> Conclusions: In comparison to SOC or placebo, IVM did not reduce all-cause mortality, length of stay or viral clearance in RCTs in COVID-19 patients with mostly mild disease. IVM did not have effect on AEs or SAEs. IVM is not a viable option to treat COVID-19 patients. [1]

[1] https://www.medrxiv.org/content/10.1101/2021.05.21.21257595v...

I would prefer to see a single RCT with at least a few thousand patients, but the early results aren't looking positive. It's a repeat of HCQ-AZ and that people are lending credence to RCTs with double digit cohorts is what causes people to rush out and eat medications intended for dogs. It _actively promotes harm to individuals who take medications for no reason, which have side effects_. I would prefer that HN not allow discussion of what appears to be medicine advice without a basis in clinical results.
Anybody know where to see this setting. Been clicking around my account for a while and can't see it (Not under personal info or data & personalisation)
Just to preface this summary, it's all a bit hacked together at the moment, and I'm in the process of rewriting the tool from scratch so this description is likely to change.

To generate the suggestions there's an active learner with an underlying random forest classifier, that has been fed ~60 seed sentences [1], to classify positive sentences (e.g. contains a prescription) and negative sentences (e.g. doesn't contain a prescription).

All positive sentences are fed into a sequence-to-sequence RNN, that has been trained on ~50k synthetic rows of data [2] which maps unstructured sentences (e.g. patient is on pheneturide 250mg twice a day) to a structured output with the desired features (e.g. name: pheneturide; dose: 250; unit: mg; frequency: 2). The synthetic data was generated using Markup's in-built data generator [3].

The outputs of the RNN are validated to ensure they meet the expected structure and are valid for the sentence (e.g. the predicted drug name must exist somewhere within the original sentence).

All non-junk predictions are shown to the user who can accept, edit, or reject each. Based on the users' response, the active learner is refined (currently nothing is fed back into the RNN).

[1] https://github.com/samueldobbie/markup/blob/master/data/text...

[2] https://raw.githubusercontent.com/samueldobbie/markup/master...

[3] https://www.getmarkup.com/tools/data-generator/
I used to undersell them HR processes as nonsense. Then a realized that a company’s true values show in hiring, firing and promotion decisions.
Because the U.S. of 2021 is a vastly different country on the international stage than it was in 1939, let alone 1916.

The U.S. barely had standing armies for either of those wars and a highly no-involvement mindset that came directly from the sentiments of the American population.

Flash forward to today. Why do you think the U.S. has ~ a dozen aircraft carriers if not to defend its interests?

The U.S. would absolutely go to war with China over Taiwan. For better or worse. Ground troops? Highly unlikely. Air and naval assets? Yea no doubt about that.

The U.S. interactions with the Soviet Union are interesting but it’s just not quite the same. Had the Soviet Union attacked, directly, a key U.S. ally then the U.S. might have simply retaliated with nuclear weapons. Not worth the risk. There isn’t a sense that this is how a war with China would progress. A lot has changed.

But overall, there won’t be a war unless something catastrophic happens to Chinese leadership (like they get a real Hitler type of figure), because they’re not stupid and the status quo works fine for everyone, despite the rhetoric.
> These companies have no shame.

Do you think this was backed by companies? It seems reasonable to suspect it, but it’s a issue radioactive now so won’t be easy to find out.
Wait till they add chimney sweep, topless dancer, and lap dancer - - - -
I don't think this would solve anything. This is like putting Word macros behind a "do you want to run this macro?". Yes, yes they do want to run it.

If people were willing to put every webpage behind a "do you want to run this webpage" we'd see them all using noscript already - virtually no one wants that experience.

> largely under the theory that we can do it safely with correct design

I blame operating systems and hardware vendors tbh. It's their job to make this safe, and they do a pretty bad job of it. Browser vendors have had to pick up a massive amount of slack to try to compensate, to the extent that browser teams have to make major patches to the Linux kernel.
This is definitely no Stuxnet or even remotely close. In fact, it's not even a very new strategy, themes of this have been done several times to varying degrees of sophistication.
I’ll eat more pasture raised meat, which sequesters carbon and improves soil health.
> it would hopefully keep Facebook at bay (there's no way Facebook can convince people broadly to do such a thing)

I bet Facebook would be able to get users to do it. "Sorry, you can't see this photo from your friend until you upgrade your iPhone by following these instructions." You refuse and your friends stop including you in activities. You basically get peer pressured into doing what a large corporation says.

(I actually wonder why they don't sell peer pressure as a service. "If you don't pay your balance due of $123.45 by 7/1, we'll message your friends saying that you're a deadbeat." Maybe I should patent that before someone else does, because it sounds horrible.)
Why is the California digital Covid-19 vaccine record QR-code broken?
Vaccinated California residents can obtain a digital COVID-19 vaccine record here:

https://myvaccinerecord.cdph.ca.gov/

What, you're back already!? Did you test the QR-code?

After a Photoshop session making wallet cards for myself and my wife, I tested the QR code. It was unreadable for each of us, on several iOS apps including Camera, and with an online QR-code reader. I've seen one Twitter report with the same experience.

It would make some sense for this to be an intentional security measure, but the FAQ says nothing about this. On the other hand, there are newspaper reports of incomplete issues, but no reporter thought to test the QR-code. One would hope that California tested the software?
I don't think anyone is trying to sell Lean as a constructive system. The current developers certainly don't think of it that way, further evidenced by the fact that the typical way of doing computation in Lean does not involve definitional reduction, but using `#eval` with additional low level code for performance. Proof irrelevance (and quotients) were adopted with that in mind.
Love it, especially the no account part.
I meant that would NOT be less you than your inner voice is.
How often do you go on long road trips? I'd imagine most people do their commute and stuff around town like groceries and grabbing a bite to eat with friends and maybe once or twice a year go somewhere that actually hits the range limit. And I'm betting that's mostly visiting family in another city rather than backcountry camping. And for that? Renting an ICE car would be a option.
I have nothing to add but another pop culture reference from my childhood: Coober Pedy is one of the locations that the Cahill siblings visit in the sixth 39 Clues book, In Too Deep.