skysight-inc/HackerNews huggingface dataset:
I'm the same way in that I just have a collection of quality cables that do pretty much everything one could reasonably ask (i.e. excluding obviously special things like "I needed an optical thunderbolt cable to deliver 40 Gbps 20 meters why isn't it delivering 90 watt PD as well!") however I can see for those that don't want to spend a lot of money (keep in mind "a lot" is extremely relative) on a bunch of cables and just want to use the cheap cables they accumulate the lack of being able to easily look at such cables and see what they are capable of without a secret decoder ring as a frustrating thing type c brought. At least with the older ones either looked like it would fit or it wouldn't or the color of the ends matched.
Chronic pain breaks a rock band on The Dodos' 'Grizzly Peak'
There's also a large element of survivorship bias. Everything that's left is the stuff that was built well enough to last, and we don't see all the other things that are long gone.
> I dont really give a crap about NSO.

Then why -- assuming for the moment that the GP is correct -- is the majority of your comments about defending them?
Bill Includes Passive Monitoring Vehicle “Kill Switch” Mandates for Automakers
Isn't 30 years considered a lifetime for current generation buildings?
Yep that’s the best way to do it. Your game is just a mod on top of a runtime platform/engine.
(Maintainer of Axiom, an open source computer algebra system):

Sure it is sustainable, at least as long as I can work on it. I've been at it 20 years so far. I still work on it as a research project.

I was also the maintainer of Magnus, an open source Infinite Group Theory system. That project died when I left the job. The new person who took over stopped working on it. So that project wasn't sustainable.

So, to your question "Is Open Source Sustainable?"... that depends on the maintainer.

What YOU mean by "sustainable" might be different from what I mean, however.

Are you asking if maintainers / projects can get funding? The answer is no (modulo a few exceptions). I've tried DARPA. I've tried direct company requests. I've tried a contribution fund. I've tried direct requests to funding organizations of various sorts. I've tried the Google Summer of Code (got a yes on day 1, got dropped on day 2).

One of the issues is that funding, such as grants, require "fiducial management". That is, somebody has to handle funds and collect receipts. I asked a large company to set up a very small organization that had some accountants who would manage the grants for open source projects, including mine. That also failed.

Suggestion: Set up an open source account management firm with fiducial accountants. Ask large companies that use open source to give grants to the firm to support the projects they use. Make the funding public, including who contributed and who got funds.

Are there costs involved in running Axiom? Sure. I maintain my own servers (paid for by me). I pay for the network connection monthly. I have (in the past) gone to conferences.
I have prepared and given talks at conferences worldwide. I have Axiom t-shirts, cups, glasses, a hoodie, and stickers. I have created and distributed CDs. I have self-published a book. I have done "remote help" for several people for free. On average Axiom has costs me about $3000 / year, not counting my time. So, doing the math, it has cost me $60,000 over 20 years.

Open source (and Free Software) is NOT free-as-in-money.
Yup, when I encounter these massive abstract code bases, with some tyrant "genius" running the team, I just walk away quietly.
It's part of the inductive proof process. Assuming that it holds for n you need to show that it implies that it holds for n + 1 as well.
> For about 5-7 months or until a new variant emerges

Neutralizing antibody titres remain stable even 13 months post infection[0]. This isn't an upper limit, it's just that there's no data beyond this. And despite whatever you might have heard, reinfection remains extremely rare across all variants. All data points to immunity acquired after an infection being more potent and robust than that imparted by vaccines.

I'm not unvaccinated, I'm not American and I don't work for Google. I don't have a dog in this particular fight. But if you decide to spread FUD and misinformation on your way to find new scapegoats, expect to be called out for it.

0: https://link.springer.com/article/10.1007/s11606-021-07057-0
It may not have been boarded up, but it was nowhere near how it was precovid. Do you disagree?
That's absolutely fucked. The whole story of the Holy Land Foundation being railroaded and labeled as terrorists when all they did was advocate for human rights of Palestinians...it's an incredibly chilling story. To hear that those who merely donated to a worthy cause were also then audited...the outrageous injustice makes my blood boil.
But you don't go from n-1 to n. You'd have to start at the infinite horses case where the conjecture must be true for, well, who knows what reason. Intuitively, "Consider the conjecture proven. If we reduce the difficulty, it's still proven" just seems obviously wrong.
joke aside. we know a language is Turing-incomplete if it has only ifs and bounded for loops. And if 90% programmers' tasks can be done using a Turing-incomplete language, is there any benifits we can get from this?
I use borg indeed, via Vorta. Also, I am a rsync.net customer (I think you should start with a smaller min storage for pay what you use, or keep it pure pwyu).

I am looking for another backup tool that backs up to an S3 storage destination and has a decent GUI (restic doesn’t have a GUI; relica doesn’t count; and borg doesn’t support s3). Since rclone has an experimental GUI I wondered.
Phase 4: It is not "magic" anymore. Was it even magic to begin with. Did people working on computers in the 1950's refer to "magic". Did people describe early electronic calculators as "magic".

Remember the 1990's install/configuation programs that were styled as "wizards", some including a silly pointy hat icon or character with a wand. Personally, I just could never buy into that metaphor.
Every progressive with half a hand at hacking will try to be a hero to take this down. Mastodon is going to get some free penetration testing.
Looking for personal backup and with GUI. Here https://news.ycombinator.com/item?id=29446135
This is exactly who I am. I have gifts. Reversing binary trees on whiteboards isn't one of them. Know what your strengths are.
The root of identity is still not a public key. To perform essential actions on such a website doesn't need your public key. You are only proving that you have access the private key correspondent to the public key stored in the database entry, and nothing else. Authz is still database records and not inherently trustless akin to cryptographic authentication.

Imagine I had a entirely PGP-based comment system, where the key used to sign comments serves as the identity rather than a database record. The software remaining the same, not even the owner of the database can change the text of the comment without also changing the key, which would immediately destroy the utility of such an action. Applications utilizing MetaMask are actually able to develop this kind of application where it's trustless end to end. Furthermore, comments could also be embedded as a transaction to a hash of the URL (or something akin to that), where anyone with an access to a ethereum node, public or private can access a global comments system.

>You don't need a blockchain for identity. The unique feature that Blockchains provide is protection against double spending (without reliance on a single party), but that isn't a concept relevant to authentication.

Blockchain doesn't solve the Authn problem, it only solves the Authz problem. I can hypothetically make my own game which has a DRM that can only be unlocked if your private key owns the access NFT. They are complementary.
The Red Line and Blue Line of the L both run underground.

I once lived in a building that connected to the pedway, so I was able to dress in shorts and a T-shirt in a Chicago winter, navigate underground through the pedway to the Blue Line, then take the Blue Line to O'Hare for a flight to Tampa.

The train part was a bit chilly, but it was better than having to drag a winter coat with me on the plane.
In the past, I've worked on real-time systems which deliberately run in "worst-case" load all the time, basically to avoid your second concern: if high resource utilization is possible, then you have to design for it, and this is an easy way to make sure the system doesn't fall over.

For example, if you're building a system that does controls multiple motors, you'd naively do motion-planning calculations for only the motors that are actively running. If instead you do these calculations for every motor all the time, even the ones that aren't moving, you'll have a worst-case performance profile; if it still works, then you can be more confident about the system.

(I work at Oxide, but only for about a month, so this is more past experience than Hubris-specific)
Those moves do not make sense either.
Certain instruction sequences prohibit you from fully utilizing memory bandwidth and decrease it by as much as 40-60% so this statement is not true. For example, not using store and load buffers in ways they were designed to be used will lead to subpar performance for no apparent reason
It was in "A Stress Analysis of a Strapless Evening Gown", I believe.
"It's common to become very good at doing it badly"
That's just silly. You're basically talking about a magic drug which doesn't exist even in concept form. It's the equivalent of wishing for cheap fusion power or room temperature superconductors or warp drives.

Instead of scifi fantasies, how about working towards something actually achievable?
The inductive step assumes the hypothesis is true for n, and proves it for the n+1 case. The overall proof is then for all positive integers, n.
For a master-planned tract house built in the 1990's... maybe.

Current skyscrapers are designed for a minimum 100-year lifespan.

/Source: I actually asked a skyscraper architect this question once.
Piss smells like urea, and urea has industrial uses.

If you have 0 ideas about what it is, and piss seems improbable, I could see the confusion
Duplicati and a few other self-hosted backup tools provide great client-side encryption and use rclone under the hood for syncing to B2.
A bit off-track question (pls excuse):

Is there way to find all domains with an A record pointing to a particular IP?

Need it for some market research related to a SaaS product.
I believe the "8-bit" descriptor is intended to reference 8-bit video game systems like the NES, but that seems poorly communicated in the project.
I wonder it too.
Post-Conquest Aztec Altar Found in Mexico on 500th Anniversary of Spain Invasion
Ethics Grand Rounds: The Ethics of Vaccine Mandates
A crypto wallet is just a random number. Literally.

Everyone using wallets for identity equals everyone just picking a random number to represent themselves (and then classic cryptography allows you to prove to others that you know this number without revealing it).

The hard part of this is not cryptography — that is already solved quite well. It's the human side. People forget pass phrases. Or disclose them to whoever calls them and says they're from Microsoft Pass Phrase Verification Authority. People break computers they haven't backed up. People click "Yes" on security prompts, and open random mail attachments. With private keys involved, these situations are irreversibly catastrophic.
Isn't making the CPU wider one of the things Apple also did with M1? Doesn't feel like they are the first.
You don’t get to sell other peoples work, so in this case whatever money the seller makes doesn’t belong to them, it belongs to the copyright owner. With penalties of course
We do not have an absolute here. Time will tell.

You want hard facts on political and power motivated behaviors. Over time, as I said, we will learn more.

And hey, I could be wrong. That will come out too.
Hire Cyber Ninjas to use sed
That isn't really a problem, just poorly worded (like a number of sentences in the article.) This is a pretty standard step of an inductive that should read more like: Given that n is some positive integer where every set of n horses has the same color...then you try to prove that holds true for n+1 as well.

The actual problem in that proof is setting up the proofs of the inductive rule. There is an implicit assumption/condition that n+1 >= 3 that is not acknowledged.

If you acknowledge that condition, then it becomes quite clear that you can only prove a base case for n = 1 and only prove an induction rule for n >= 2 .
Hello! I’m next to the Arvada reservoir so more in the foothills.
> Far-right activists reportedly used services like Telegram and Gab to organize against anti-extremist accounts that work to expose and keep track of white supremacists at hate rallies — they sought to get these accounts suspended and have their personal photos removed (via The Washington Post).

So there are accounts on Twitter that "expose and keep track" of people (I won't give them the benefit of the doubt re: their assumptions of "white supremacist" and "hate rallies"). This sounds awfully like illegal stalking to me. Twitter's new system is working as intended.

If you disagree, use that much vaunted empathy and put yourself in the shoes of the harassed.
That just sounds like enterprisey Java to me, which I firmly believe is closer to 2 than 3.
>Yes, she could produce the death certificate, but that wasn't enough. So she couldn't get the car inspected, and therefore wasn't legally allowed to drive it.

What if your dad willed the car to someone else? I suppose a death certificate isn't evidence of being the successor.
I agree with this claim. After years of hoping a “good” bio company to invest in longevity I finally have hope again. Without shilling here, but if you like thinking and discussing longevity in a decentralized autonomous organization (DAO) manner, a web 3.0 organization, than surely check out vita dao (search on google or twitter). This is not a financial advice or what so ever, dyor for always.
I've certainly heard those accusations, but it doesn't really stand up on its own. The supply chain disruptions of the restrictions around it will impact it all the same, even among of a population that wasn't forced into lockdowns and other shutdowns.
There are two parts to an inductive proof:

1. Assuming that a property is true for N, prove that it is true for N+1.

2. Prove that the property is true for some concrete N where the proof for step 1 holds.

The trick is that you need to be sure to pick your concrete N correctly, as the article demonstrates. In particular, the problem with the "solution" in the article is that the proof given for step 1 doesn't hold for N=1, because N+1=2, and then just follow the rest of the argument from the article.
Please add a "buy me a coffee" or something, I really like this concept and want to see it developed further.
The solution is simple and not at all new...stop making the structure so top heavy. The infatuation with making the Federal gov larger and larger, more and more powerful...is great for corporations and corruption...but increasingly it sucks for the rest of us.

Centralization was effective to get out of the Great Depression. It was again effective post WW II when economies of scale worked well. But now? We're a long way from that. We need agility and flexibility. Trying to force feed the square peg of 20th Century one size fits all into 21st Century dynamics round hole isn't working.

I'm not suggesting the fed gov be dissolved. Only that we stop overlying on it and stop feeding it (i.e., taxes).
> Saying it is all ifs and for-loops is completely true. Everything else, all the abstractions and high level features, are just sugar

You sound like the kind of person who thinks the ancient Greeks figured out all of math and everything that has happened since then is just fancy abstractions and sugar. Either software engineering can advance as a discipline, or it can't. You seem to be assuming it can't.

> This comment sure indicates to me where you most likely are on the curve

Never mind, you just sound like an asshole.
> At least, it did until I shredded it.

Is this a compulsion common to paper shredders, similar to how every label maker must be stored in a container labeled "Label Maker"?
"Two wrongs don't make right ... but three lefts do!"

Okay, so it was three rights to make a left, but same idea. I shall call this lift "Zoolander" in honor of [0].

[0] https://www.youtube.com/watch?v=uN4kS78vk4E
The people quoted in the article are clearly motivated by flash mobs to stay away from the shopping area.
Indeed it's there in Joel Cohen, "On the Nature of Mathematical Proofs", pp. 84-90.

(Good recollection!)
is there any tech where one can record themselves speaking all the phonetic elements and then have a program string the samples together to "speak" texts in your own voice?
Really? Your first reaction is that she must be making it up? This is hardly a far fetched scenario. I’m guessing she didn’t bother posting screenshots because most people wouldn’t automatically assume she is lying.
dog is great. You can build a static Rust binary leveraging rustls with:

cargo build --release --verbose --target x86_64-unknown-linux-musl --no-default-features --features=with_idna,with_tls,with_https,with_rustls

and...

alias dog "dog --edns=show --https --nameserver https://mozilla.cloudflare-dns.com/dns-query"
Did you intend these to be read as arguments in favor of secession? Because that's how I read them.
I think it's easy to guess patterns because people all use one of a small number of simple patterns. Everyone uses the geometrical equivalent of hunter2 or 123456, but they irrationally think it's more secure because it's a pattern.
The problem with this is that most software is absolute garbage and most code is an awful, unmaintainable mess. The middle of that curve are all the people who are trying to improve that situation. The right side of the curve are the people who have given up. But maybe that does make them the smarter ones.
You are right. It worked on vpn. So blocked by local authorities then (it’s piss easy here for anyone with a law degree or half).

By the way they seem to offer quite some storage for free! :-o How do they sustain? and even paid prices are unreal.

Also I failed to understand whether they’re a file sharing service or file backup?
She stated she tried the remote steps later in the thread.
> I'm not suggesting the fed gov be dissolved.

Why not though?
I love skiing, and I also love contemplating the engineering that's dragging my fat ass to the top.
The users don't log in with their own identities - we don't have developer accounts on production hosts. They log into service accounts: credentials are retrieved from a vault once the user has been authorized, after which the web application dynamically configures the RDP host/account/credential.
I don’t think that’s likely. The recurring theme with these right-catering sites seems to be “we put all of our user data on a public bucket,” at which point a Twitter rando tends to find them with a Shodan search or Google Dork. Which is the telling part: it’s infrastructural incompetence, not exploits in Mastodon or whatever software they choose to run.
> upending of the family structure that ended up converting the Roman Empire after 300 years

What is that? What happened?
A centralized database can handle the escrow too, and far more efficiently. The only reason decentralized crypto solutions have a head start is that people who work in crypto tend not to care about what is legal.
There are two steps of an inductive proof

one is proving the inductive rule that: p(n) implies p(n+1)

the other is proving that there exists some number i for which p(i) is true. This, combined with the proof of the inductive rule, allows you to prove that p(n) is true for all n >= i.
Shout-out to the Duolingo Yiddish program!
The Last Temptation of Christ was brilliant in this regard. Jesus of Nazareth as a person that didn't really want to be the Christ.
Yes! Azure Text-To-Speech supports that, though I have no idea how much it costs or how meticulous you need to be.
It's not necessary or helpful to focus on a distracting personal detail like that.
> You run maybe a pint of bar and chain oil through a big felling saw in an entire day of running it.

Without getting into whether it's actually a significant pollutant compared to other sources, I think your estimate is considerably low. I'm usually worn out before I can cut for a whole day, but I've gone through more than 2 quarts in a day. And here's someone professional who says he goes through a gallon a day of bar and chain oil with a similarly sized saw (possibly because he's able to keep going longer): https://forestryforum.com/board/index.php?topic=46008.msg662...
Certainly impressive.

... But we are still doing this, today. Though not excactly by hand-crank.

https://en.m.wikipedia.org/wiki/Structure_relocation
Why are Christian movies near the very top of HN? I wish I did more than lurk, this should be flagged for lack of taste as much as the religious angle.
> especially not with video you won’t watch

Dumb, baseless assumption from you not reading what I wrote correctly. Grosskreutz and the other pursuers didn't personally witness Rittenhouse shoot Rosenbaum. If he had, why did Grosskreutz ask Rittenhouse if he had just shot somebody?

> Please just try to limit the amount of time you spend encouraging people to show up armed to protests, or even riots if you want to call them that.

You're obviously not arguing in good faith.
Weather everywhere is extremely variable. Least snowfall since November of 1949, but Denver had one of the worst blizzards ever in January of that same year.
I don't know what it is that makes Microsoft so inelegant. Not only what you've said, but their APIs / programming environment in general is ugly and (I presume) unwieldy. Their apps (I just switched to Excel / OneNote / etc. from Google) have bugs that don't exist with competitors. The other day I couldn't use OneNote because my Internet went down (?!). Same for Excel, it doesn't reload immediately upon reconnect like Google Sheets did.

I don't get Microsoft. They're huge. They hire a lot of people. Their products are kludges.
>> Emacs' biggest drawback…

I should have added a "/s" in there. :) I'm 100% with you on basically everything you've said. I totally agree that the biggest weakness is how bad the default Emacs experience is. I used vanilla Emacs in a terminal for years until I discovered I could install packages. What a world that opened up.
Who is covering that credit risk?

Or is your point that no one is, and that if enough levered trades go the wrong way, the whole system is at risk?
so we should call those things in San Francisco "Rope Cars"?
I live in Japan, there was no lockdown and the disease didn't get worst than any other countries that took very harsh measures. Given how restrictive those measures are in comparison to the epsilon effect they have, it's clear it's better to respect people rights instead of crushing them under some heavy-handed wishful thinking.
It’s a challenging tightrope to walk: You either have to take a lot of creative liberties about Jesus (for lack of explicit background) or you limit your content to just the source material, and end up with a very limited depiction.

Everyone (or at least every Christian) has their own version of Jesus in their head and when media is produced about him, they correlate that version with their own.