skysight-inc/HackerNews huggingface dataset:
Theorem: There are infinitely many prime numbers.

Proof:

[GPT-3's "proof"]

Let p be a prime number. Then by definition, p is a positive integer that has no positive divisors other than 1 and p.

Now consider the integer q = p + 1. We will show that q is not a prime number, which will prove that there are infinitely many prime numbers.

Since p is a positive divisor of q, q cannot be prime.

[...another attempt with the same prompt]

We know that there are infinitely many natural numbers. Let's suppose that there are only finitely many prime numbers. Then we can list them all:

p_1, p_2, p_3, ..., p_n

Now, consider the number

N = p_1 p_2 p_3 ... p_n + 1

This number is greater than any of the prime numbers in our list, so it cannot be divisible by any of them. But it is also a natural number, so it must be prime. This contradicts our assumption that there are only finitely many prime numbers, so we must conclude that there are infinitely many prime numbers.

~~Personal remark: I had to give it the same prompt like 5 times to get a correct-ish proof. The first attempts came out like the first example.~~ The proof is still wrong.
I think this is where insurance companies generally pop up as a solution. I.e. the same solution as with regular bank accounts. Layering humans on top of algorithms makes sense.

We already have SWIFT and networks layered under humans in the fiat system, so now we're just pushing more complex algorithms. In the case of block chains, I'd say the concept of asymmetric cryptography is an improvement over mutual trust in secure backoffice communication channels.

I'm not into crypto (still thinking it's a solution waiting for a problem), but arguing that banks can do reversals isn't fair. Someone moving fiat quickly between banks will make it hard to reverse as well. I can't imagine a bank is going to just say "I guess they stole it from you, transferred it to us, but then withdrew from us. Let me go ahead and reimburse you anyway." That smells like a insurance case, no matter the underlying algorithms.
I think begind 95% of all crypto related products. Coins, Blockchain products etc is someone or something with only one goal. Collecting money and run away.
To me the trust level is at the lowest ever.
Noticed 6 days later lol
No, I was in civil service. Something I've had explained to me since is that even if my boss wanted to (he didn't; very old-school thinking), they couldn't because my position wasn't "coded" for part time.

This was a problem I also bumped up against quite often as someone who has been doing "DevOps" things since before that term was coined, but the government very much wants to pigeonhole people and couldn't wrap it's head around someone with IT experience who was also a software engineer. Even with certs that I basically earned blindfolded, they wouldn't grant me a sysadmin letter, and I didn't want to re-code to IT/IM because I saw how burned out sysadmins got. The turnover in government IT was insane.

If I really wanted, I could go be a government contractor, but I've seen they still want even contractors on-site, and it's completely unnecessary. For now, I'm just "re-tooling" to tech stacks that have piqued my interest, exploring my options (eg, my brother the designer wants to build games with me).

Honestly, I'm not the first, and from people I've kept in touch with, I'm far from the last. Government agencies need a serious kick in the pants if they want to keep good talent. It's not so much about the money, that's always going to be below market rate due to the tradeoff in stability and benefits (and even benefits are dwindling), it's more about recognizing that WFH is a right, not a privilege, and being flexible in hours and horizontal job duty changes. I've watched many a better engineer than myself leave for greener pastures (Micron, Blue Origin, etc), and middle management is still in denial because they've been in the same role for 30+ years and think "nothing has changed", or if they do adopt business practices, it's always the worst ones (open floor plans, etc). FFS, I couldn't get the last project I worked on to enable CI on their GitLab instance.
> The only major web service I've had to use is Venmo since there are quite a few contractors I've wanted to do business with that wouldn't take payment any other way.

They won't even take cash?
The contrast on the example images rated as AA is actually quite horrible though. I can read the header, but the normal sized text is almost indistinguishable.
Of all the properties you mention, that PDFs "preserve presentation across platforms" is the only one that isn't shared with responsibly wielded HTML (e.g. the sort of thing that Zotero produces when stashing a local copy—which uses SingleFile under the hood). It's also the one property that is net undesirable—being more liability than benefit.

Being sent a PDF of an academic paper to read (or do anything with other than send it to a printer) is about ten times lower on the user preference scale than having someone send a link to a blog post on the same subject. (The other reason for that being that when people are in the mode that involves writing an academic paper, they forget how to write anything that anyone would actually want to read. Most academic writing sucks.)

Of the properties you listed that PDF does share with self-contained HTML, on the other hand, there isn't one that PDF isn't worse at—not even "transmittable". (Initially I would have put them on the same level there, but of course that's wrong. When you're in an environment where for whatever reason a file copy is not an option, PDF's binary format makes it harder to transmit the bytestream than HTML.)

Who cares if a PDF looks the same everywhere if that means everyone who encounters it bounces away rather than having to slog through any attempt to actually read it?
Cost on its own is rarely an issue. The thing that matters is payback time.

If one container move generates $10, and the drone moves 12 containers per hour, 12 hours a day, it will only take 6 months to earn the quarter of million mentioned.

Also, it might actually sound like a very cheap option compared to the ship-to-shore container cranes, which cost $20M-$40M each: https://www.freightcourse.com/port-cranes/

As for recharging: if our power train is 28 MW, why not charging it at the same speed as we discharge it? Why settle on 500 kW, which is really low? For comparison, Tesla supercharger is up to 300 kW, and a car is a much smaller EV.
Agreed. VoLTE is VoIP anyway, so there's not a lot of drawbacks relative to changing out a circuit switched landline. I believe at least in the US as well, STIR/Shaken is being implemented on circuit switched networks.
Looked into using paper as an archival for small amounts of data as a long-term backup of very important data, and found this[1], which would allow encoding ~200kB of data per A4 page. Should be applicable for avian IP as well.

[1]: https://blog.za3k.com/paper-archival/
It surprises me how much many posters on Hacker News seem to be against using any sort of AV software - not even the built in Defender solution in Windows, if you have to use the OS for whatever reason, but i often see the sentiment expressed that supposedly the entire class of software is useless.

What happened to defense in depth with all of the layers you can introduce?

Surely if you run a Linux server, you might want a secure password for it, or better yet, key based authentication. Port knocking? Why not, throw it in there as another layer. Maybe deny authentication on an IP range basis? Why not. What about fail2ban or some other solution like that to disallow brute forcing? Sure. Or maybe require using a VPN to connect to it at all? Even better! Actually, even running your SSH server on a non-standard port will be enough to get rid of some attempts to brute force the password.

Sure, key based auth makes many of those moot points so i probably have the order of some of those steps wrong, but surely there's a lot of merit in combining whatever solutions you can to make the end result more secure, right? Hell, if you're running a web service of some sort or an application for yourself, adding basicauth in front of it at a web server level is enough to act as a safety net should the auth functionality of the actual application be broken, until you patch it.

So why should Windows be any different? If i'm stuck using that OS, i'd surely want to use whatever software is available to me to make the uphill battle towards something vaguely secure more doable, no?
Which is a reason for civilians to not get involved.

If you are an irregular combatant they can execute you and nobody can do anything about it.

When Russia first tried to invade Chechnya they sent soldiers who were not in uniform and denied responsibility for them, the Chechens said got on TV and said they would execute them if Russia did not accept them as their soldiers. That is how war goes.
That's because you didn't use an escrow service between your account and the seller. If you did, the escrow service would provide some measure of legally-supported reversibility.
> In a system run by people, the transaction could be reversed, traced, and the culprits eventually brought to justice.

The answer to your question is encoded in the very first block of the very first blockchain.

> The Times 03/Jan/2009 Chancellor on brink of second bailout for banks

https://en.bitcoin.it/wiki/Genesis_block

Some people feel like they weren't being represented by the "justice" you're talking about, so they built their own thing where all the rules are publicly viewable, and consensus is run by the community. It seemed like a weird idea at the time, but the idea got popular, and people who like this new system have moved about two trillion dollars of global wealth into it.

If you like the old way money was managed, by big institutions doing everything they could to extract wealth from the general public with no legal repercussions, then the good news is that the old system still exists. There are just some other options now too.

Also, the idea that all cryptocurrencies are some laissez-faire Randian wet dream is simply not true. An extremely diverse array of crypto governance mechanisms are being experimented with. Many run by humans, all with their own interpretations of "justice", which you can read up on and participate in at will. Governance proposals reclaim funds judged to be unfairly allocated all the time. I doubt that will happen here, because Ethereum governance is generally very harsh on people who suck at testing code, but every person who lost money here knew exactly what they were getting in to when they chose to participate.
From the article, I couldn't see what actually compelled the need to comply with an "EDR". From what I could see, they were not actual warrants or subpoenas that legally compelled performance, they were requests. They do it out of not wanting to have bad PR in case it was real, because the consequences for a screw up are pretty much nil.

The end solution is either an authentication scheme, a $1000 rush processing fee that includes a verification process and the requirement to call it in (It is an emergency, isn't it? Emergencies do not happen often, so what is $1000 to an american organization funded by taxpayer dollars?) or E2E encryption that makes it they can't give data.

Another thing about the $1000 fee, is you get to see the payment information about the account it comes from, and you can further require it comes from a government account which matches the requesting organization. Thanks to governments being very gung ho about their financial surveillance infrastructure being a hard requirement for almost everything now.
There should also be some sort of option for "art for non-majors" since they indicated that an art class was required. That's usually the way colleges handle these type of required electives.
I learned how to write programs from Scratch[0]. Back in the pre-1.4 days (IIRC) there was no native sin/cos functions, so they had to be "implemented" somehow to translate arbitrary angles into delta (x,y). The way that I found people did this was as follows (for sin(A), cos(A)):

Invisible sprite:

[ when I receive "sine" ]:

[ go to center ]

[ turn A degrees ]

[ move 1 step forward ]

Now, anyone that wants to know sin(A), cos(A) just has to read that sprite's X and Y position.

[0]: https://scratch.mit.edu
I think audio and voice are big untapped markets which are worth diving into more deeply.
Ironically, this privesc is in fact only possible because everyone now has root via user namespaces.
Crypto has the biggest bug bounties
I play all of those, I buy cosmetics because I have the cash and realize it’s an optional part of the game. But it’s amazing the quality of game people can play for absolutely free and never spend a dime. My friend for instance has probably gotten at least a couple hundred hours in Apex Legends now without ever spending a cent. On one hand I’m absolutely against micro transactions that give tangible gameplay impact but Im hard pressed to find issues with pure cosmetic purchases other than maybe how sometimes the marketing around them is manipulative and the Skinner box that is the loot box. I think Chivalry II has probably the ideal implementation of this. No loot boxes, just pay cash for the visual you want but it doesn’t effect game play.
>I absolutely would not rent property to someone who has a recent criminal record

This include ANY record, or just the violent ones? Curious how you would interpret a "disorderly conduct" charge/conviction, considering it's an umbrella term used by police to slap on any individual they deem difficult.

For example, I had a conviction of disorderly conduct which resulted in a fine. All because I refused to ID myself to a LEO that demanded I comply even though I was under no suspicion of a crime or that I was about to commit one. Additionally I do not reside in a stop & identify state.

How would you interpret that if I were to submit a rental application and my other prerequisites were in line (mid tier job, mid 700 credit score)?
Git is a Web3 tech like a disk drive, the IP stack, or an 'App' is a Web3 tech.

Which is to say, it's Web 1 tech, if it's a Web 'N' tech at all.
Aside from the reflexive “yikes, dude” that this gives me, I wouldn’t trust the content itself. A manual written by someone who’s worked with you for years would be far more valuable. But my first impression of a person who hands me something like this is going to be “what past interpersonal disasters have you wrought that led you to put time into something like this?”

…case in point is a current coworker of mine, who gave me something like a verbal version of this manual when we started working together. He almost immediately began acting completely opposite to what he said. Turns out his spiel was more aspirational than honest. Seems like he was trying to convince me to like him before his behavior steered me in the other direction. Not that I can’t work with the guy, but I had to learn my own ways to get around his quirks—ways which were certainly not outlined in his introduction.
Yeah, the Schufa is really a horrible system.

https://en.wikipedia.org/wiki/Schufa

It’s proprietary, cost money, is almost impossible to avoid if you want to rent an apartment in Germany. And they have been found to have A LOT of incomplete, outdated, or wrong data.
Log4Shell exploited to infect VMware Horizon servrs with backdoors crypto miners
Where will Federal Marshals deliver the summons to the owner of wallet address 0x8723aa67f823dbe785dc923 ?
I just don't get web3 and what problems it solves. People say it solves centralization but I see no means of accomplishing this. I can't see how it doesn't end up like email. Sure, you can host your own email, but the service is very centralized. Yeah, gmail, yahoo, and hotmail might only host 51% of emails, but how many of those other email addresses are fake, temporary, or for bots? If you sample from people around you it is hard to find an address outside these domains and so the sampling likelihood doesn't match the model's probabilities. Email is highly centralized. We can similarly see high centralization in browsers. Functionally there isn't much difference between Chrome and FireFox yet people will promote one over the other with such religious fervor that you'd think they offer different functionalities.

Web3 has no mechanism to prevent centralization. There are such things as natural monopolies, and these typically happen through network effects. This network effect is so powerful that everyone uses Google Maps. Web3 does nothing to prevent this (we even have to ask if we want to prevent this). So what is it solving? Hosting monopolies? If that's what it is solving then it seems like there are likely better ways and no need for the blockchain.

I even say this as someone that thinks there's value in cryptocurrencies and NFTs. Yeah, a lot of scammers in the area, but I can see some utility in the ideas (but huge noise to signal ratio). I just can't see any signal in web3.
Wash
>If a currency can be used completely free of interference from the government, then it can and will be used for crime.

If a currency can't be used completely free of interference from the government, then it can and will be used for crime.

Governments always want more control. More control requires trust. Governments have not shown themselves trustworthy.
Do we today have any test suites/benchmarks for models along those lines?
“That guy who killed someone is not that bad, because the other guy punched someone and everybody seems happy with that”.

Bullshit. The US is an imperialist, sometimes oppressive pseudo-democracy, but nothing like that mafia-run kleptocracy.
> You can also memorize with an LRU cache.

That's probably not going to perform well for an operation this fast. The computation is faster than main memory read.
> My claim is that even areas away from dense urban environments seem to be getting more crowded. It seems like every place is.

Look at this picture:

http://www.dannyquah.com/writings/en/files/2015/09/2015.09.2...

Notice how even in that circle most of that is water. People are moving out of that area for a variety of reasons, some density, some environmental (both natural and pollution), and some economic.

The current low-density north american way of living is a historical anomaly outside of agrarian lifestyles (farms are just open air biological farms). Expecting post-war living to continue is like expecting the post-war economy to continue.

Personally, I bought a 100 acres that are remote and off-road to build my own place off-grid. This is put-up-or-shut-up. You cannot expect to find less dense living without purposefully securing it.
€40 is not the same thing. If you got scammed out of €650 million, you would have gotten better attention. That's the point being made here.
> As an example, I spoke with someone recently here in Florida that supported the "don't say Gay" bill for no other reason than, "it pisses off liberals." There's far more tribal support/opposition to things that have nothing to do with logic or reason. My neighbor is a prime example.

I think the lesson here is that not everyone has a rational, logical, or considerate reason for supporting what they support. Showing "contrasting views" is more than just putting two earnest-but-incompatible opinions side by side on a webpage.

You also need to include stuff like "I support this bill because it triggers snowflake liberals / gets back at those evil conservatives" and "I support this bill because I am smart and it sounds like a good idea."

> "Believe progressive ideas are dominating public education. Instead, parents should be the ones in charge of their children’s education — especially when it comes to determining what topics their children are ready for."

You also need to be able and willing to see through euphemisms, coded speech, and dogwhistles.
My company did YC in 2017. Raised $5M. Disconnected mentorship. Agreeable coaches with no industry insight.

Since then, we folded, and started a new company. We didnt go for YC, but StartX and directly connect with funds such as First Round and others. We raised $12M, and not having YC in the cap table really helped our investors to dive in.
“Aber mein Vater kam hier oft”?
Yes, port cranes are much better, if they can be used. The drones are suggested as a potential alternative to handle "LA does not allow nuclear ships to dock", so that a transfer from a nuclear- to battery-powered container ship happens in the international waters.

As for can be offered: we're talking about moving a container from ship to ship which stand just hundreds meters away. The physics / math works, see my other comment.
Polygon ID, Zero-Knowledge Identity for Web3
Are we going to regulate this insanity yet?
What's so dumb about the idea of wanting to be responsible for your own outcomes? You make a stupid mistake, you suffer, nobody else does. If you don't want take responsibility for your own actions, feel free to stick to the mainstream financial system. Note however that as a result of that you'll be on the hook for bailing out other people's stupid mistakes when they fuck up, like how the taxpayer bailed out banks that made stupid loans during the GFC.
"Don't take good free software like "Git" and slander it by associating it with platforms that charge fees on top of fees on top of fees"

There's nothing 'slanderous' about 'charging fees' for something, and that has nothing to do with why it's 'Web 1' vs. 'Web 3'.

'Web 3' is a nebulous concept bordering on ridiculous, and Git really isn't part of it by their own definition.

People should stop talking about 'Web 3' because it's mostly a marketing term that's based on a meme, not some kind reality.

The article is not fully unreasonable, it's nuanced, your reaction to it is over the top.
> No need to write an article about this.

To clarify your underlying principles here:

Are you broadly suggesting there should be rules for what type of articles can be written on the internet (presumably that align with your values)?

Are you suggesting that EFF should not have written this article (because of the $/time cost?)? And that it's okay if someone else wrote the article?

Are you suggesting that EFF should not have done the investigation in the first place, because of the $/time cost?

As an EFF supporter myself, I enjoyed the article. I liked the walkthrough of the investigation, and all the steps they used to deduce the source of the tracker. It was interesting on its face, and also educates on a methodology for making deductions for other things.
What makes you say that you can connect to anyone on LinkedIn? You can purchase a premium LinkedIn account and craft a nice message and if you're actually a match for the expectation you can connect. Source: everyone I know receive messages from LinkedIn Premium users - they read at least the first sentence before discarding or accepting.
Federal law requires a lot of things, but that doesn't mean people comply. Robocalls are already illegal. Soliciting people on the Do Not Call List over the phone is already illegal. Yet they happen daily for me.
In a way I get it. I also agree with it.
Europe should also try to reduce dependancy on American tech products for the scenario when the US becomes hostile towards Europe. A bit unlikely now, but you never know.