skysight-inc/HackerNews huggingface dataset:
Horses are easy to startle and they will crash into a tree at 35mph just to get you off their back when startled. They also don't like people standing or walking behind their backs; being kicked by a horse is a common injury, sometimes fatal.

> Ten army corps were observed over 20 years, giving a total of 200 observations of one corps for a one year period. The period or module of observation is thus one year. The total deaths from horse kicks were 122, and the average number of deaths per year per corps was thus 122/200 = 0.61.[1]

[1]: https://www.mathsnetalevel.com/2406
They are different things, although "unrelated" might be a bit strong. I'm sure there are interesting things to say about the incompleteness theorem and intuitionistic logic.

Intuitionistic logic is a logic that is weaker than classical logic in the sense that there are some proofs in classical logic that don't work in intuitinistic logic. Specifically, the law of the excluded middle (either A is true or not A is true") does not hold.

You can convince yourself that this is a reasonable type of logic by interpreting "A is true" to mean "I have a proof of A", and likewise "not A is true" means "I have a proof of not A". Then it's pretty reasonable that you neither have a proof of A or of not A.

I haven't read Godel's proof, but my understanding is that he uses intuitionistic logic in some of the key steps. Since facts in intuitionistic logic are also facts in classical logic, then I believe the incompleteness theorem holds in both logics. But I'm not at all an expert here, so someone please correct me if I'm wrong.

"Intuitionism" also refers to a specific philosophy of mathematics. But a lot of people just use the word to refer to the logic that came out of that philosophical school.

Intuitionistic logic is also very common in type theory, so a lot of proof assistants use it.
Cellulose is almost 50% carbon by mass, so perhaps the dry weight is half carbon? That would mean you need to derate the authors numbers by about 75%; it's still a large input for a small output though.
Space collision: Chinese satellite whacked by hunk of Russian rocket in March
To be honest, there's no way that using AirBnb can be cheaper than renting the same place directly with the landlord.

AirBnb charges fees of 14% to guests. Those fees are added to the rent.

That is indeed "AirBnb's fault" that they have their own 14% fees on your rent if you're planning to stay there long term.
I love the idea of Google Voice, but the actual execution has me looking for an alternative to migrate to, especially since they stopped message forwarding a week or two back.

Would love suggestions for feature+ compatible alternatives — and would actually prefer paid over free, since that means the incentives are better lined up.
That’s how we see it too. We didn’t underprice it to simply compete, it’s a mix of how the actual tech is built and how we can keep our net costs per user low. We’re just curious and love to hear how users perceive pricing and want to facilitate a conversation. The major value prop here is around automation; reducing engineering time in manual status updates in tickets and high value actions like assignment or effort prediction.
This is exactly right. About half of the people I've seen leave MIT for faculty positions at better schools engaged in these kinds of academic fraud. I only saw one case of outright fabrication, but publishing results which the research knew they had no support for? Very common.

Re-analyzing data 20 times, changing methodologies (median versus mean, handling of outliers, etc.) typically is enough to get an interesting result, and isn't enough to raise alarms. Most people are competent enough to do something like that.

Credit theft is rampant at MIT as well. Financial schemes too. No one does a darned thing about it either.
I suspect they will be relatively soon, although I never said suffering, just a few lumps. For example I think Amazon is going to have some tough times in regards to workers over the next few years. Similarly, public sentiment is in a place where I can see legislation happening that is unfriendly to capitol. The current ruling party is talking about a new deal fairly often, depending if that pans out over the next few years and what specifically that entails that could hurt a bit.

If you zoom in a little closer you can see lots of little victories happening all the time in the boarder economy. Lots of workers moving into better positions for more pay and leaving behind employers who can only find more expensive and less able replacements, if any at all. My personal observation is workers in service industry jobs seem more casual than a year and a half ago, less hurried, perhaps less fearful of losing a job than can be replaced in a few hours.
The vast majority of industrial production, world-wide, goes to middle and upper class consumption, across the board. From cars to cell phones to pharmaceuticals to beef to central heating.

We either get more efficient at making it or consume less.
I mean, in principle the user might be running multiple X servers with different WMs, but that's probably rare enough. I'm also a bit curious what it's actually used for (but not quite curious enough to dig out ghidra, given the other constraints on my time at the moment...)
Wireshark is passively listening on incoming traffic, so no.

Running tools like nmap have gotten people in trouble though, and it varies by country.

https://nmap.org/book/legal-issues.html
I said baseline standard. EMV contact is the baseline standard. EMV contactless is optional.

If you want to issue a new card today, it must have a chip, but it doesn't need to have contactless. There are currently no (public) plans to change this.
Virologist suggests coronavirus origin theorists are missing this other cover-up
it seems you can get around it by not using the preinstalled MS mail application, for the time being, as suggested by points 5;6;and 7
> Do you think Fort Knox is free to operate.

Compared to value stored it was. The base was already there, they built a small building, effectively reused military manpower, and stored almost 13,000 tons of gold. We are talking well under 1/1,000th the amount stored in expenses per year. At that point fluctuations in golds value are significantly more important than storage costs.

Consider in a more modern context how much security you put around an arbitrary amount of gold vs armed ICBM’s. Store them both in the same building and the gold is practically an afterthought.
I know of one very real case pretty close to home where a group of “enterprising” fellas are fraudulently using the no questions asked forgivable payroll loans to line their pockets. They literally don’t need to work when we’re just handing out relief money and looking the other way. Would they be in trouble if they ever got audited? Likely. Will they ever get audited? Doubtful. One of the guys works with a friend who is still hard at work because he’s honest. It’s pretty discouraging.
No passwords or 2fa? Who's fault is that?
I don't think Newegg configures computers themselves, I believe it's third party stores that do the upgrades and sell the openbox items using Newegg's marketplace.
Anonymously report them?
Palantir Buys Gold Bars as Hedge Against ‘Black Swan Event’
I've used Google voice for some time but I feel that they have abandoned the product for a while and will be giving it the axe like they did with Hangouts and their other chats. It really sucked when Hangouts shut down and now I couldn't get the chats within the new Google Chat app. I miss the old Xmpp Gchat honestly!

Speaking of XMPP I'm in the process of switching over to https://jmp.chat/ for a VOIP text solution which has worked great so far. If you own the Xmpp server you have even more control.
Somehow I doubt you're laughing. You're taking a shot at me without elaborating.

But to reciprocate, although nuts and bolts have informed my opinion, I was indeed writing about broad patterns, something I'm aware that low empathy people on the autistic spectrum struggle with. My comment wasn't for you, Jared.
Also look at NZ how they solved covid, look at thailand how they solved drugs, look at arabs how they solved alcoholism, look at africa how they solved obesity, look at north korea how they solved dissent.

Maybe compare life satisfaction and some other outcomes when looking at places like Japan. I'd never want to live in 10 sq meter apartment and be jammed each morning into train like a sardine...

That's not to say places don't need to solve public transport and bike infra.
Around 10 years or so ago, at a previous employer, one could run any command as any other user, root included. No exploits, no custom binaries accepting commands to be run as root. The cause? One character in the rlogin configs on all servers that allowed unathenticated access. Oops.
So if I'm understanding this, this only works for loops with a finite number of iterations knowable at compile time, right?
What might realistically happen for this to be achievable in an existing or new home? Or as a default for new homes?

I camp a bit and spend more than enough time dealing with 12V lighting, recharging drone batteries from car/aux batteries, etc. Always end up wondering how much of my house actually needs AC, where in the house that occurs (fridge, ducted heating/cooling unit?) and what could get by without it. More and more of my power tools are battery based too. Would AC to the kitchen and garage be enough?
Absent literacy programs and market growth in non English speaking economies, we're fully literate and read as much as we want. So making 100x supply side choice isn't actually "good" except to reduce income per author because in the end I only have 24h per day to read in. I can't read more. There's a disequilibrium here. Sure, choice. But the net effect is Amazon got richer and most authors and publishers lost out.
> inequality is primarily an urban phenomenon, arising from underlying social dynamics

I'd love for West to provide some corroborating evidence for that claim...
I did read it and there I've read others that say this: https://news.mongabay.com/2018/08/earth-has-more-trees-now-t...

I take it that trend held up over the last 20 years given what NASA has reported on plant growth increasing by 5% this century. https://earthobservatory.nasa.gov/images/146296/global-green...

Deforestation and reforestation are separate measurements, but the article does mention both and here is a quote:

"For the past 30 years, temperate regions have seen a continued increase in forest cover through afforestation: you see this as the bars are now ‘positive’ (pointing upwards). Across temperate forests the world gained 6 million hectares in the last decade."
7.5% or so of total greenhouse gases isn't destroying the planet, but it's not helping either. EV's going to take this to about 1% this in about 10 years.
Nginx error and welcome pages get dark mode support
Talking not as a security researcher but as someone who has to work with large corporate IT departments none of the alternatives proposed in this thread will fly.

With corporate IT, it's either MS Teams because it's installed "by default" on enterprise workstations and managed at the O365 level, or Zoom or Cisco WebEx, all managed centrally by IT.

In our experience with these services, Zoom has been more reliable, and the quality of service for video and audio has been generally better than the rest, specially Teams. At the end of the day, this is all that our enterprise users care about.

When running calls across organisations, it invariably ends up as a zoom meeting since Teams is flaky for someone, or WebEx doesn't allow someone to share their desktop.

Another significant but underrated factor is the non-tech and non-enterprise market. Friends and family in their seventies and eighties default to zoom for their weekly or monthly catch-up sessions and get-togethers because "it just works". My neighbour who's in her late seventies is an editor for a small news magazine for the community, and zoom is her choice to collaborate with others on their articles.

People don't want to bother with security until there's a massive breach somewhere, or it affects their business, or it's mandated by legislation or certification requirements.
Obviously, we should just build more world-class metro areas.

Of course, top-down planning a city (as would be needed to "stamp" one out whole) has never worked; but how about we copy-and-paste the zoning plans from cities we already know are functional, and then incentivize all the same major companies that have headquarters in City The First to build secondary HQs in City The Second?

(I'm not sure if I'm joking.)
1) 'It was worse after UK/France intervened' is basically false.

"so what was the point of the intervention" - like I already said, at least to prevent an impending massacre, and then to tilt the outcome to 'one side', in which all things being equal, was preferable, and still is even in retrospect.

There was already a civil war, before any intervention.

If the UK and France had not intervened, there would have likely been a massacre - again, this is what Gaddafi stated he would do, moreover, there's no reason to believe that he would have unambiguously quashed the rebellion, meaning the civil war would have gone on in which he would have been a primary antagonist, possibly with the upper hand.

'The outcome' was titled by Western Powers, and it would have been better if there were more stability, but there's no reason to believe that it's worse after intervention.

The 2011 war was not hugely violent. In the entire war only a few thousand civilians and fighters died, which is frankly minimal. Through to the late 2010's the political instability was not very violent. The mini-war in the late 2010's was again, fairly specific and shortlived with few casualties.

2) 'Noone in the mainstream news AFAIK did its job and asked what will be going to happen next' - first, I don't think that this would represent any kind of fake news, just the media not having foresight, and often they do not. Second, Obama was very public with his statements of 'What Happens Next?' - it's why the US did only the frontline air support, AWACS, drones etc. and didn't do any of the main fighting. The 'big questions' around 'bad outcomes' definitely lingered, there were a lot of question marks about that during the war. Finally - none of that constitutes fake news or 'bullshit' really. If you wanted more specific and detailed covarage in the aftermath, you can see most of it on Al-Jazeera. CNN is not exactly going to have good coverage within Libya.
For reference, and to show how much it adds up, that area you commuted in has the longest average commute in the US[1]:

> In the area with the longest average commute (New York-Newark-Jersey City), commuters are spending an average of 13 days, 2 hours, and 26 minutes driving to and from work. That means that 14 vacation days a year are barely covering the time it takes to get to work every day. So in addition to dropping the average wage from $34.71 per hour to $30.15 per hour, in order to get 14 days of hanging with their family on a beach, New York commuters must be willing to spend nearly as much time sitting in a car.

They're using full days in that calculation. The average commute there results in ~40 8-hour work days of driving a year.

[1] https://go.frontier.com/business/commute-calculator
Heh, sure, if you have $10k+ per user.

(Maybe genomics isn’t as bad as proteomics)
I asked a similar question last week looking for tips on how to use Anki to organize knowledge.

One of the people commenting pointed me at the obsidian.md app. I like the idea; I just want to get the sync to github worked out.
I went on a lot, or at least I thought it was a lot, before I met my wife online.

My usage ended years ago though, while I connected more on a friendship level with a lot of the people I met they all started as dates. I've heard from a few people that's changed and become more ambiguous.

Maybe there needs to be a new system for more serious daters.
> "imba.io and the site for Scrimba are way snappy. ...Is it possible that being elbow deep in this stuff has dulled your senses?"

That.

Yes, it's eons. I get that. But the time/effort required to make modifications to be faster isn't something that my some of my clients - with limited budgets - are asking for.

Some are, and they care about speed. Typically there's lower hanging fruit in server side query optimization, reduced payload sizes, etc. But I'm sure you already know that.

I agree with most of your closing paragraph too, btw.
The only solution IMO is urban planning. If cities and towns are designed for cars, then people will drive. If they are designed for feet or bikes they will use those. If you look at the layout of popular North American towns built prior to the 1800s you'll see very few cars even venturing into town.

Cars are also one of the few greenhouse emissions sources which we have a plausible market driven path to eliminate over the next 2 decades via battery electric vehicles.
Yep. Good point.

I just mentioned NewEgg for sourcing. By "they" I meant Lenovo.

Tangent: I went to NewEgg because they have fought the good fight against patent trolls. I was so disappointed to discover this third party relationship had taken hold there. It's one reason why I hate shopping at Amazon anymore.
That's fair, I somewhat agree - especially regarding the ROI to begin with :)
Wow, the guy who responded is a total douche. I can see it would be easy to tap the wrong button on a phone.

Where do these people crawl out of the woodwork from?
(Warning: shameless self promotion)

I’ve run an app the last 8 years which is the same idea but lets you have multiple numbers, for as long or short as you want. Calling, texting, voicemail (with custom greeting), outgoing caller ID, etc.

There are unlimited plans for $9.99/mo or pay-as-you go plans starting at $2.99/mo which include a few minutes and texts each month but are primarily credit-based (about $0.02 per outgoing text or answered call minute; incoming texts are free)

Happy to answer any questions!

Link: https://www.unlistedmobile.com
Better options need money, unfortunately. And barring a complete change in how the US works [1], that money isn’t there at a federal level. That leaves cities with no other option than to pay for a better option on their own — by raising taxes (e.g. congestion pricing, gas taxes, tolled roads), which also has the side effect of disincentivizing driving

[1] the infrastructure bill that’s looking to pass, while it gives much needed funding to public transit, still centers car-centric planning, and nothing paradigm-shifting (e.g. a comprehensive regional high speed rail network, a dedicated bus line on every street, a protected bike lane on every arterial) will likely come from it.
I would hardly call the person who responded "helpful".
Path App
Sounds like tons of opportunity there!

They use software and it’s not in great shape. They need someone smart like you to take them from where they are now to a better, more maintainable future!

This incremental evolution of working software to better software is a more realistic task than a greenfield set of tools disconnected from the current workflow/tooling.

You’ll be refactoring working code, making it better, more usable, automating manual tasks, documenting, figuring out how real users can value from incremental improvements, and potentially delivering value rather early.

You will be more effective dev learning to deal with messy, legacy code than one that starts a greenfield project not connected to users existing work.

So many opportunities for leadership and learning!
The media is solely responsible for the lack of trust they now engender. Once the news media decided to push ideological agendas over reality in the 1980's the seeds of this crapscape were sewn. Everyone has at least a small pocket specialty knowledge they trust over what "the public" knows because they can prove their knowledge is of higher quality. Examples:

Are you a hacker of any stripe? Do you cringe when anything about technology or "hacking" comes up on the news? Do you know the phrases "the interwebs" and "the internet is not a big truck"? Politicians and the media are technological imbeciles. But we still trust them to get everything else right though...

Are you a gamer? Ever seen the media and politicians try to explain that video games turn kids into murderers? You know this is BS. But we can still trust them about other subjects...

Are you a nurse or doctor? Can you watch any TV show about ER doctors? Probably not, I mean how many heart attacks does the average ER really see in a given 24 hour period... But hey, media can probably be trusted for everything else...

Are you a gun owner? Ever seen the media and politicians say ANYTHING about guns that is even remotely accurate? But hey, they probably get everything else right...

Are you a liberal? Hey at least this news outlet says things that don't split my head with antagonistic ideology...

Are you a conservative? Hey at least this news outlet says things that don't split my head with antagonistic ideology...

Alex Jones was talking about Epstein as far back as 2008. Before Wikileaks became persona non grata with the US government it exposed a LOT of governmental and corporate corruption. Criminey this very week we're seeing the last throws of the Bush W. administration's endless war campaign they sold the American People in 2001. The media ate it up and threw it in our faces for MONTHS that we HAD to go after them WMD's in... not Afghanistan where the Taliban were, but Iraq! Wait, how'd we get involved in Iraq AGAIN?

The news media has made itself into a laughing stock and now they want to cry foul that so many people went elsewhere for their news. And in the massive exodus from them other ass clowns swept in. The only problem with Jones is none of his information is vetted. Most people know this going in, but yea of course you have plenty of people who just mainline it all. I'm not suggesting Jones et. al. are any better, but what we have right now is the ONLY possible way the situation could have evolved. If I were the CIA and I were at all concerned with the public health of the US, I'd start by whacking the idiots at the World Economic Forum. We have real problems to deal with and these ass clowns are out proselytizing the "New Normal" and their version of the new world order. For fucks sake, Mr. head off the WEF himself Klaus Schwab wrote a fucking book called "COVID-19: The Great Reset". If these idiots could knock off their noises about global domination maby people who were already afraid and unsure of whats going on in these crazy times would calm down and listen to more rational voices.
> Nuclear power is something we could have been running off right now, and something we know is feasible to build within or sooner than the same time spans that full renewable rollout will take.

If we had built it in the 1980s, maybe we could be running off nuclear now, but the reactors would be reaching end of life.

What we know about nuclear today is that it is not feasible to construct. This is the crucial road block to nuclear. There are lots of places begging for nuclear to be built, but it never works out, and causes tremendous disaster for all involved in construction. The two "success" stories are China and Russia's Rosatom, but it's unlikely that we could have them construct reactors in the US and succeed. For a while it was hoped that South Korea could build for the rest of the world, but it has become clear in recent years that there was corruption at the root of their inspection process.

As for storage, it is getting deployed all the time, mostly in conjunction with new wind and solar installs (called "hybrid" in the field). It is unlikely that we could scale any sort of nuclear construction to catch the coattails of storage now, we are rolling out dozens of GW per year currently, and that will go up by a factor of 10 by 2026, and another factor of 10 by 2031, with an expected 10-30TWh of storage production annually. Nuclear can't scale like that.