skysight-inc/HackerNews huggingface dataset:
The tone of your comment was unnecessarily sarcastic and confrontational.
Yes, dinner is very much bribery if the bribee doesn't pay for it. Even though I skip past those annoying HR trainings as much as possible, I still gathered that much from them.
Also useful to look at a list of known LAIs (Lab-acquired infections): https://my.absa.org/LAI

Most of these don't spread beyond the initially infected lab workers, but the sheer number is staggering.
GitHub says it's 97.1% python and doesn't list C.

https://github.com/django/django
The 1% that do verify it would report the issue and alert others.
I think MbedTLS requires a memory allocator, which if true then BearSSL seems quite attractive. At least for simple scenarios. The advantage of MbedTLS is that it's starting to have more support for hardware accelerators.
I understand that. I responded with "essentially the list of all other herbicides". I don't know where you could find a complete list, but let me google that for you... this might be a place to start: https://en.wikipedia.org/wiki/Category:Herbicides
Good question! It probably depends on the concept? It is easier for me to picture separation of power or periodic elections as binary concepts than freedom of speech which in its most extreme form might cause severe problems.

However, I think as long as a nation strives for those ideals and consider them when taking decisions, I think it is on the good path to not fall into authoritarianism.
Are you aware that intersex people exist
If someone asks you how to do something or your opinion, give them a thoughtful answer. Many times I would say, “I don’t have a strong opinion” or “whatever you think is best”. It took a friend to tell me people value my advice and they are truly interested in what I have to say. When someone asks, they want to know what I think. Answer them thoughtfully. Ever since that moment I always give a thoughtful answer when someone asks for my advice.
Atrazine, cyanazine, trifluralin come to mind
The realization that if you are successful, there are many who will come at you to steal or share in that success. We creators are prone to trusting others and have difficulty in understanding and dealing with those who have psychopathic traits. That means those who are manipulative, dishonest, narcissistic, un-remorseful, non-empathetic, and exploitative. While this seems like a strange thing to bring up as a 'positive change', for me it provided the impetus to apply a kind of paranoia and the necessary defensive maneuvers to protect myself. This for the first time allowed me to enjoy the fruits of my labors without having them stolen or cheated away from me. It also provided a better understanding of politics and economics, allowing me to more clearly see the war we are fighting with the foxes and the hyenas of the world.
Be my guest to go build one then.

Oh but if you're truly committed you'll need to avoid Cloud computing resources, avoid Twillio, don't use any Google services, no Firebase Cloud messaging... You probably shouldn't use Android phones either...

And remember any delayed or failed messages put people's lives in danger...

Or we can just admit that Google as a whole had some impressive achievements here alongside the Earthquake team.
What's so wrong about revoking profits gained through fraud? If I rob a bank and get caught, I don't get to keep the cash. Why should executives be treated differently?
I think the answer to literally every question that starts with "Why does the US..." is going to always be: profits

Profits are the only yardstick by which anything in the US is measured. Everything else is secondary.
>Mostly this goes unmentioned in US media because the Saudis bank the majority of their oil profits into various secretive Wall Street funds (aka petrodollar recycling). For example (two weeks ago)

It's mostly because they've historically been an ally. Helps with oil and with dirty business abroad.
Then why did you bring up RA at all? You must think there is some salient difference between RA and PA with respect to my proof or (I presume) you would not have brought it up. What is it?

For that matter, what is the point you are trying to make? You originally wrote [1]:

> A theory Γ is said to be complete whenever for all sentences we have either Γ ⊨ φ or Γ ⊨ ¬φ.

If you recall, at the time I thought this was a simple mistake on your part, and that what you really meant was "Γ ⊢ φ or Γ ⊢ ¬φ", not "Γ ⊨ φ or Γ ⊨ ¬φ". But you never conceded this. So I'm going to ask you again, is that really what you meant? Because that is not the sense in which the term "completeness" is used in Goedel's incompleteness theorem. The word "complete" is used there to mean syntactic completeness. To quote Wikipedia [2]:

"A set of axioms is (syntactically, or negation-) complete if, for any statement in the axioms' language, that statement or its negation is provable from the axioms (Smith 2007, p. 24). THIS IS THE NOTION RELEVANT for Gödel's first Incompleteness theorem. It is NOT TO BE CONFUSED WITH SEMANTIC COMPLETENESS, which means that the set of axioms proves all the semantic tautologies of the given language." [emphasis added]

I'm trying to give you the benefit of the doubt here, but you really do appear to be confused on this point, particularly since you keep talking about soundness, which is a semantic property, not a syntactic one.

---

[1] https://news.ycombinator.com/item?id=33250168

[2] https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
With Firefox it’s easy to disable any of those. With Google, they literally hijacked a search box with private information.

Edit: I have another comment below, I agree there’s no excuse for Firefox either.
The HTML way for that is HTTP Referer
https://en.wikipedia.org/wiki/HTTP_referer#:~:text=In%20HTTP...

Your server would need to log and report on those entries. Of course, for privacy and other reasons, this is probably not dependable any more.
"[They] are always 10 steps behind on health"

Covid is one example of 0% efficacy and how basic precautions are a better strategy than chasing variants.

I call it "inferior calories", but common wisdom says low quality food and water just accelerate rot in a body and increase dead weight and unhealthy lifestyles (shooting up insulin and popping pills, instead of responsible health). The microbeads in the water are just another "flavor of the weak" as they breakdown even further and collect in the body.

"10 steps behind" also sums up climate change illiteracy. It looks like the inferior data on co2 is just to wearout people by telling them they failed at preventing climate change and to waste resources/time on the wrong goals with net-zero. It looks like methane leaks are starting to get priority in 2022, but decades of methane leaks with negligence and incompetence make the warnings of "25% to 80% more harmful to the environment" basic science on why temperatures are still rising.

I liken it to a morbidly obese person drinking a diet soda trying to be relevant. They already rotted and serve no purpose. Their data is obsolete and inferior.

The inconsistency does boost GDP and ROI if you know what you are looking at.
> it “unusual” that two military COVID-19 vaccine development teams were able to reach early milestones even faster than the major drug companies who were part of the U.S. government’s Operation Warp Speed program.

That’s such an odd narrative. The major drug companies didn’t join warp speed, and the first western vaccine took 2 days to develop. The slow part wasn’t development it was clinical tests, and getting to market.
The problem is not the hardware nor the software. The problem is that anyone with the motivation and money can destroy the reputation of the system with fake news. It doesn't matter if it truly is unhackable.
Radical New World of Generative Advertising
It's kind of crazy when they could just extract the domain name, or provide options for how much of the url you want (domain? subdomain? path? ...)
I was originally trained as a lad in classic waterfall and was a CMM auditor at one point - I got SAFe certification a few years ago and my overwhelming impression was that they had replicated all of the flaws of these methodologies, just with the word "agile" inserted wherever possible. I suppose that it is the final representation of the principle that any revolution becomes the new orthodoxy in a generation and ends up as ritualized as what preceded it.
The Times also had one: https://www.thetimes.co.uk/article/kathleen-booth-obituary-s...
+1 for The Body Keeps The Score. This book had a big impact on me and led me to focus on the physical components of past trauma. I started doing yoga daily and after a few months suddenly started having a huge release of emotions during the session. It only lasted for maybe 6-7 consecutive sessions, but left me with less daily anxiety and my panic attacks essentially disappeared. I highly recommend this book.
200% faster means 3x the nominal speed:

You're adding speed ("going faster").

You're adding a 200% of speed, which is twice the nominal speed (the 100%). Given the nominal speed is 1x and you're adding 2x, you end with triple the magnitude of the original nominal speed.
So now Google is hijacking private data you input in a site search bar?
Homelab Foundations: Brocade ICX Switches – Cheap and Powerful 10GbE/40GbE
Well, my wild guess as someone that doesn't know much about WW1 is that you might be overestimating how precise artillery was and how large the distance between opposing trenches ?

So "the shells could've been aimed only at the opposing trench, without needing to cover the area directly in front of the advancing soldiers." is not possible because it's the same area ?

Also, I seem to remember something about it not just being two trenches, but several layers of trenches, and also various levels of enemy artillery, so each barrage would have wanted to cover the various layers of enemy defenses, but with different timings, hence "rolling barrage" ??
You can sell support and warranty contracts.

Usually it will be for software you helped to develop originally, or the one you know well (commercial or open-source).

I do this when customer asking for long-term support. Some companies are moving slowly, so it will take time to them to discover bugs.

You just adding XX% to the contract, the added benefit that you will have an incentive to reduce the amount of bugs/defects in your code.

Several times it was like free money, other times it was several days of work fixing bugs. I think worst case it was a week of work.
I agree, but the fact that even if you hold the view that ads are beneficial to society, Google is still a bad actor and a net negative to all of us, is particularly noteworthy. We all pay for Google via folks paying ransoms and other scams, having to indirectly pay for high ad budgets every company has to pay off Google to avoid their own search result being squatted by a competitor, etc. There is no company on the planet that the world would benefit more from being shut down.
Is there some where to get good advice about getting stated with something like this?
They are literally stuff meant to kill other stuff. As such they will be deadly for some stuff and likely also others. So I agree that we have to evaluate which of them is least worse. Or presents acceptable risk levels in comparative scenarios.

And we cannot farm successfully on scale we need without them.
> obeying the law would not scale

I don't know why, but that sentence terrifies me. It's like the silicon valley version of a dystopia.
That is a nice way to describe it.

SAFe puts a bunch of layers between you and the customer.

Agile is about removing layers between you and the customer.
You're >10 years out of date solar and wind have been cost competitive for a long time (wind much longer so). Moreover fossil fuels received (and still are receiving) orders of magnitude more subsidies, same with nuclear which has received significantly more subsidies than solar and wind combined (and that's not even counting the cross subsidies from military use). In many places wind and solar are a factor 3-4 cheaper than other sources.
You’re not wrong. They purposefully funneled opium into China to get their silver bullion to open up trade, whilst also destroying an entire generation.

Destruction of people was basically the EIC’s MO.
Or those even more common, powerful, and problematic, that insist they don't care for race and gender, and preach "democracy" and "openess" as lip service, and then they go and do treat people and countries differently based on those characteristics(race, gender, etc), and even leverage them in a "divide and conquer" way.
Idk I got a grasp on programming because I spent a summer in the library with books on programming and a hard rule of not leaving for even a coffee until i have done at least a full chapter and all exercises.

I kept the phone turned off and only touched the laptop once I was ready for exercises and after 2-3 hours was too terrified to lose focus if I didn’t go straight into code.

Would have never happened with MOOC, as there would have been all kinds of drifting away. I owe my ability to hyper focus to that time
So can this network collect and use phone-generated timestamps to determine the epicenter and the propagation of the wavefront(s) in real time ?
I know, right?

This is why the speed of reforms in Ukraine is mind-boggling. Absolutely nothing short of amazing.
Yeah, it absolutely comes down to how you need to use it.

Unfortunately, there are some types of cuisine that rely more heavily on quick, precise temperature control.
They said “short list” not all.
https://news.ycombinator.com/item?id=33383945
It is contextual. The things like system IPC where 1% would be huge are also typically not written in C, but in a mix of C and assembly.

But writing at that level of specificity for an entire system greatly increases creation and maintenance time costs. You may lose the opportunity to make future performance improvements as a result.
Adopting the growth mindset in lieu of the fixed mindset. I was unhappy with my abilities and used to think, "I just have poor memory", or "I have hit my maximum ability" etc. But somehow somewhere I realized I can work hard to actually improve and change those things, and that they are not fixed.

I came across the concept of growth mindset a few years earlier and has since strengthened my commitment to adopting a growth mindset. I would recommend reading "Mindset: The New Psychology of Success" by Carol Dweck.
Appreciate your generosity in typing the OG 20 and then expanding upon it when people were curious.

Personally I am very surprised you think some of these held up: pos mental attitude, writing things down, value of mba, and - most especially - almost anyone can do anything.
Yea. That can’t be true. I’m in my 30’s and I’ve seen him perform.
This is a stupid question but is the patch not being released until Nov 1, or is the security patch already in the Ubuntu updates and they're just not publicly releasing the vuln until Nov 1?
I always think about thinking and try to write about it at my substack: http://newsletter.smarter.blog
Their incentives are not aligned with those of customers. For example, anecdotally I've heard that many cloud services are configured with (a) out-of-the-box defaults that make it deceptively easy to get bigger invoices than anyone ever expects, and (b) byzantine billing that makes it deceptively hard to figure out how to make those invoices smaller.
DCS allows for something similar.
https://youtu.be/BV8kMeyFp7g
I'm frankly not a fan of hyperstitious social pessimism. Everyone needs to understand that this isn't knowledge, it's justification.

It's justification for being an asshole to people under the guise of 'helping' them. The people who end up believing it are rubes who do the same to others. Making someone tougher is survivorship bias by another name. It fails to account for the people who don't have supportive family members and friends. It's solution to this is saying, "it sucks, but they just couldn't take it," which does nothing to make things even slightly better for the next person. We're left with those who survived.
A few things to keep in mind, as always with these Lending Club studies:

1. The study was done by a publicly traded company that has a vested interest in making their business model look strong

2. The report is TOC-walled now so I can't confirm, but in the past it relied more on people's perceptions of their finances than on actual hard numbers and definitions.

3. In past iterations of this survey (can't verify if that's the case here but it probably is), the majority people who self-reported as living paycheck to paycheck also saod that they never have difficulty paying their bills.
> Does anyone remember the defacto original ad-blockers that blocking popups were?

I was using the Internet Junkbuster (and later: Privoxy) in the mid-90s, many years before that. https://web.archive.org/web/19961222061917/http://www.junkbu...

Of course, back then you could just disable javascript in your web browser to protect yourself from malicious sites and annyances, and practically all sites would work perfectly fine.
It's satire that's making fun of transgenderism. It would only work as satire that isn't intentionally misgendering if it was mocking conservatism's refusal to accept someone's gender. Which is absolutely not what they're doing
For some reason, people really seem to hate it when the rain is sulphuric acid. Also, plants. The experiment ended because of the harms it caused.
Just to avoid no confusion, the issue here is that the URL displayed in the ad (and also when hovering over it) has a different domain from the page the user lands on when they actually click the ad. It's not about whether the advertiser owns the domain.
One that comes to mind, reading your post:

Overthinking is a thing, but sometimes it's also just another overused term of critique that too easily blocks progress.

Sometimes you really do need more thinking, even when it feels like the opposite is true...

However the thinking and its results need to be organized, or prioritized, or scheduled, or rearranged, or all of those.

IMO it's often better to modify one's thinking process than to do less of it, so to speak.
Unfortunately, file system development is a pretty niche skill set these days, and the majority of the experts in the field are employed maintaining existing file systems (ext4, xfs, apfs, etc).

One thing I’ve been bugging Kent to do is to write documentation about the design and internal workings on bcachefs; very little about modern file system design is actually written down anywhere, and a detailed reference manual would attract more people to work in this area.
they censored unbacked speculation and not this particular report. I bet you can find it all over facebook right now with nary a complaint about it being taken down because propublica vets their stuff before they publish or speculate.
> dig +short gimp.monster

194.110.203.75

> whois 194.110.203.75

...
role: IT Resheniya LLC
nic-hdl: ITR30-RIPE
address: ul. Novoselov, d. 8A, of. 692
address: 193079 Saint Petersburg
address: Russia
abuse-mailbox: abuse@rentaserv.su
...
Oh, none of that I can assure you, ha.

With the "it" I was trying to refer to the ruse/game, not Musk, but it came out worded weirdly, I see. Also, can't edit now.
Is there any tooling around this?

In particular, it's crazy that I can't just stick a public key for my email address in the DNS record for my domain, and have email auto E2E encrypt to it.

(No, that wouldn't scale for gmail, but they could do a two level thing, where the gmail key signs the public key for each mailbox -- assuming people bothered to set up their own keys, or that gmail just silently opted them in to server side encryption.)
> I would more easily support a "ban all herbicides" movement... Though I would be somewhat skeptical of the feasibility of going completely herbicide-free.

This is my view as well.

If your skepticism of a herbicide free system stems from the meme that we need industrialized agriculture to feed the world, you can rest assured that small agriculture and local permaculture is more than capable of feeding the world: https://grain.org/article/entries/4929-hungry-for-land-small...
This is so American - to provide (dangerously) high power (great for marketing materials!) and then put it behind a crap interface that gets your kid burned by boiling sauce or spattering oil or whatever. RISKS of inappropriately complex and unresponsive control interfaces.
The British and French have their fair share of the blame for drawing the borders they way they did.
That's awesome!

Thanks so much!

People make entire careers off tuning ffmpeg.
I learned nothing from that article.
Well, I always wanted to be a scientist as a kid, especially when I was watching something like Animal Planet. I was not thinking about studying animals and not about making a great video - I was thinking about doing observations, drawing conclusions and, therefore, uploading some facts about something. But society tells me that I should be rich, relatives tell me that I need to start a family first, my brain insisted that I devote more time to my favorite video game in order to stop being a noob in it ...

After this trip, I began to build my life in such a way that I always have some time dedicated to science, and I also lost interest in spending time and youth in such a stupid way as video games. I became aware of some of the sources of pain in my daily life and stopped being vulnerable to it. Now I am not afraid that life goes on because I do the right thing.

> And what specifically responded to you in stoicism?

Understanding of wisdom versus stupidity. Their respect to mathematics and other sciences. My inability to formulate any criticism of this framework.
GopherCon 2022: Russ Cox – Compatibility: How Go Programs Keep Working
How heavy would the shielding be? I'm clueless about this.
Why is it asking me to sign into my Google account?
This is why I don't understand the opposition to domestic oil drilling. As long as we're still using oil, all that happens by not drilling ourselves is that we enrich and enable the Saudi government instead.
It was probably an incompetent advisor on Musk's side, or maybe he had good advice but still pressed to do the thing in a rush and screwed everything up.

Twitter peeps didn't write and sign that contract :P
It depends on the context. It is written in your comment and I would not want you to be arrested nor investigated.

There is a war between Ukraine and Russia. I am sure there are a large number of angry Ukranians who have made similar unthinking cruel statements about Russians in exasperation and anger. I don't think they are a danger to society.

There has been an ongoing conflict between Israel and Palestine for many years. Some bystander may have been killed by the IDF and their families, in their grief, in a moment of unthinking weakness, said something bigoted. I don't think they are a danger to society.

Incitement to violence is a crime and has some criteria to be satisfied before it becomes criminal. In those cases the words ought to be treated as instructions, and so the act of engaging in a conspiracy to harm someone is the crime, not the words themselves.
Electric vehicles catch aflame during Ian aftermath
Everything you said is technically correct, but I would add something:

> They are literally stuff meant to kill other stuff, with varying degrees of specificity and effectiveness.

The effectiveness bit is obvious, but I think the public thinks much less about specificity, especially in cases where there is a component of fear.
Even in this case representative is getting a tangible benefit that he is possible getting an opportunity to do something which they can in turn take credit for. A lobbyist getting an audience with someone in power therefore may lead to something that is mutually beneficial to the lobbyist and the person in power, without need for materialized bribes.
Shutting nuance out of a discussion will mislead us.
Not only in the US.