skysight-inc/HackerNews huggingface dataset:
No, big O is a kind of loose upper bound, while little-O is a very strict upper bound.

f(x) = O(g(x)) <=> there exists k, x0 such that f(x) < k * g(x) for any x > x0

f(x) = o(g(x)) <=> for any k > 0, there exists x0 s.t. f(x) < k * g(x) for any x > x0

For example:

f(n) = 3*n^2 + 2n + 1

f(n) = O(n^2)?
let's take k = 10
3*n^2 + 2n + 1 < 2 * n^2 for any n > n0?
n = 0: 3 * 0^2 + 2*0 + 1 < 10 * 0^2 <=> 1 < 0 false
n = 1: 3 * 1^2 + 2*1 + 1 < 10 * 1^2 <=> 6 < 10 true
n = 2: 3 * 2^2 + 2*2 + 1 < 10 * 2^2 <=> 17 < 40 true
...
so, yes, f(n) = O(n^2) (n0 = 1)

f(n) = o(n^2) ?
let's take k = 2.

3*n^2 + 2n + 1 < 2 * n^2 for any n > n0?

3 * n^2 + 2 * n + 1 < 2 * n^2 <=>
3 * n^2 + 2 * n + 1 - 2 * n^2 < 0 <=>
n^2 + 2 * n + 1 < 0 false for any n > 0.

so no, f(n) != o(n^2). However, f(n) = o(10 * n^2), and f(n) = o(n^3).

Big-Omega and small-Omega are the same idea for a lower bound.

Big-Theta is a tight bound around the function:

f(n) = Theta(g(n)) <=> there exists k1, k2, n0 such that k1*g(n) < f(n) < k2*g(n), for any n > n0.

There is no equivalent "little-theta", as that would imply that the relation must hold for any k1 and k2, which would at best leave only the function itself as fulfilling the condition.
After the death of Xsan, this product never made sense.
The number of chips within a five foot radius of you at this very moment that were manufactured by TSMC could easily be in the double digits. So imagine that all of the devices containing those chips are no longer able to be produced because nobody else can make the necessary chips.
The same shows here:

> security engineers need to design systems that are resilient to them

The problem here, to a security engineer, is that we need better systems. I suspect they mean the hardware and software systems, although the 'system' includes the participants. The problem and solution space should strongly include people as it just was clearly demonstrated.

Could be an occupational hazard, having seen so many insecure and poorly designed system to have low opinions of them. Having low expectation of security practices sets a lower bar for acceptance of what's authentic. I can't say if I would be caught in similar circumstances without being in the moment. The two things I hope I'd do is see the tx in my own history and not tell a human a code. These are for machines to verify. I recall when everyone switched their system so PINs could be entered for machine verification and the human returning after. A machine sent code should also be checked by a machine.

A practice that does bother me greatly is how many different domain names are used by a company. Only subdomains should be used for any kind of official interaction (or perhaps period).
If I may hijack a bit this thread, I am currently looking for an optimization solver for a specific goal : I wish to constraint the values of variables so that tuples of variables are unique within sets of tuples.

Cf. https://stackoverflow.com/questions/71878354/constraint-prog...

For now, I could not find anything satisfactory, so any recommendation would be most welcome. Otherwise, I guess I'll have to generate a variable for each tuple and use and all_different (e.g. https://cpmpy.readthedocs.io/en/latest/api/expressions/globa... ) on those.
Holland is a region within the Netherlands. It is (was?) the most populous and economically productive region, so over time got used as a substitute for Netherlands.

"Dutch" is derived from a word that means "the people". As is the Deutsch in Deutschland (what Germans call their nation - land of the people, basically). At one time, there were high Dutch and low Dutch, describing people from hilly regions in (what is now) Germany and people from the low-lying area that is now the Netherlands.

Netherlands is just what it sounds like - the low lands. Apt, since so much of the country should be underwater.
They do have news segments. Every News org has news sections and opinion sections that are de-lineated. I’m not really a fan (they do have good investigative reporting sometimes) but acting like they are aberration does not make sense
I mostly agree… but isn’t it possible that they kept the overall cost fixed and spent the extra $30 from the charger making slightly better phones?

I think it’s good they stopped including the charger since i already have at least 10 apple branded ones myself but I have no faith they didn’t also get better margins for this “generosity”.
In general one falling for a scam doesn’t make one an idiot. Though on the other hand it might also be a slick Nigerian prince kinda of filter to push even more stuff onto whoever falls for this genius trick.
Batteries not included.
The worst was ads on the download page that were allowed to say "DOWNLOAD" in green large letters. You ended up downloading JUST the malware and not even the thing you were interested in.
"Many systems get by just fine with a minimal ELF or multiboot loader and a firmware-provided devicetree specification"

Not really, none of those ecosystems has a fraction of the device variation that x86 has. When they do (arm) its a giant mess of incompatibility and non working hardware. Modern DT's are basically still tied to the linux kernel the same way that the old arm/platform descriptions tied firmware id's to individual kernel configurations. Which is why the answer to so many arm problems is "match your DT to the kernel revision", god help you if your trying to multiboot a *bsd/etc as well.

PS: Openfirmware is basically dead, that might have been a valid answer in 1998, but even IBM/etc provide alternative boot mechanisms for linux/PPC at this point. The only thing that comes close to a current replacement is UEFI.
That airships.net is a cool site, ty. My old man, was a huge, zeppelin, dirigible, nut. I never got the story out of him, why, but he would have loved that site. The entry on the "flying aircraft carriers" in particular was cool. The audacity of launching/recovering planes like that, amazing.
You think Eastern European is joke? https://youtu.be/fzLtF_PxbYw
Ok that makes sense, but I thought his other loan from MS was also using his stock as collateral?

If you're MS, why would you want to treat stock as "normal" collateral instead of using a margin loan? Is that Elon only feels comfortable using so much of his stock for a margin loan, and wants to use the rest as "normal" collateral (but is then getting less favorable terms for it)?
Isn't that bit of England/GB/UK situation?
On the bright side, Apple's poor customer support has opened a niche in the market for local entrepreneurs.
CNN+ launched on March 29. It’s shutting down on April 30
Yes, a couple people storming the capital means that the other 150 million people in the US are also "bad guys".

This attitude didn't help Hillary either when she put half of the country in her "basket of deplorables".
Playing rootless triads really brings this home. It allows jazz guitar players to have greater better mobility by offloading the bass to the bassist, but if you play a rootless ii-V-I exclusively on the guitar, the chords loose all their color/character.
The interesting thing about the Axis of Awesome four chords is that they are the same four chords that were in the stereotypical 1950s/early 60s pop song (Heart and Soul, Teenager in Love, Up on the Roof) but the order has changed. In the key of C the 50s version was C, A minor, F, G (or sometimes G7 instead), and in the Axis of Awesome / Adele version it's C, G, A minor, F. Of course Axis of Awesome cheats a little bit because they play the 4-chord parts of those 30-odd songs (though in fairness those tend to be the best known parts).
I've generated my own version of this (i just happened to be working on something that needed gamma correct rendering)

https://i.imgur.com/jeM4RCu.png

top: linear_to_srgb(x)
middle: x
bottom: srgb_to_linear(x)
If someone wipes out my bank account and I can't pay any bills, am I liable for those charges? What about the associated late charges? What about when service is terminated to my home?

If someone takes money from my account, it is absolutely urgent.
That is one of the top-5 best channels on YouTube
"The most stringent protection of free speech would not protect a man falsely shouting fire in a theatre and causing a panic..."

~ Justice Oliver Wendell Holmes Jr. writing for a unanimous Supreme Court about why antiwar pamphleteers should be jailed.

--

"We think ... that [black people] are not included, and were not intended to be included, under the word "citizens" in the Constitution, and can therefore claim none of the rights and privileges which that instrument provides for and secures to citizens of the United States. On the contrary, they were at that time [of America's founding] considered as a subordinate and inferior class of beings who had been subjugated by the dominant race, and, whether emancipated or not, yet remained subject to their authority, and had no rights or privileges but such as those who held the power and the Government might choose to grant them."

~ Chief justice Roger Taney, for the Supreme Court majority in Dred Scott vs. Sandford
Are you sure they're bundling malware just to pay for hosting? It could be the other way round: they realise GitHub might ban them for pulling that kind of thing, so they host elsewhere.

Are the mods generally FOSS? That would enable cleaned-up forks, although in the case of Filezilla this doesn't seem to have happened, which I find somewhat surprising.
this approach of letting people air bs and having them be shamed by the level-headed individuals may work if the people airing the bs are just misinformed but
are open to a discussion and changing their mind.

a lot of people, on the internet, are not open to this and will chose the bs over any fact, argument, reason.
Hash verification does nothing as SSL is protecting ordinary downloads from MITM attacks already.

Actually, binary package managers are arguably strictly less safe than getting the binaries directly from upstream because you've just introduced a (literal) "man in the middle", who might have their own agendas and their own need to monetize. Like, for example ... SourceForge did. In a different context these MITM attacks can go wrong even when they're genuinely trying to be helpful, as we may remember when Debian accidentally patched out important code from a core encryption library and caused everyone to get the same SSH keys.

Generally for security you want to reduce the number of middlemen who can tamper with things, unless those middlemen are explicitly adding some sort of security value by pre-tasting the apps. So, Apple app reviewers: yes. Linux distro maintainers: sorta sometimes. Homebrew, winget etc: no. It's all automated.
I'm pretty sure you can't get the Playdate, unless by get you mean pre-order for delivery in 2023.
Long term debt has a mental tax that does not show up in a bank statement. While it may be "smart" to pay the minimum amount on a subsidized student loan, there's nothing like just paying it off and being done with it, forever.
I once was called by my bank on a Sunday. They told me someone had found my credit card at a parking payment machine where I parked approximately 10 minutes earlier. That was a legit and reasonably urgent call. I could go and get it from the couple that found it at a nearby café.
I like fat chords, I cannot lie.
I had an issue with my iPhone X not charging completely after running it completely empty last week. First the bedside wireless charger seemed to be messing up. Next I tried just charging with a cable and that seemed to work one night but then the phone wouldn’t keep trying.

I decided to go buy a new cable and charger because I needed to have my phone, so I went to Walmart. They had some very cheap chargers and the apple options. I splurged on the 20W USB C charger. That charger doesn’t come with the cable in the box because the cable still comes with the phone. Since all my other cables aren’t usb C to lightning, I had to buy a new one. The only one at Walmart was from Belkin. All in all it was $40 for everything. This makes the Brazilian case in yet another way. They’re selling the charger without the cable you need to use it.

On the bright side my phone did charge to 100% overnight and everything seems to be back to normal.
If you find yourself in the SF Bay Area, do visit https://www.moffettfieldmuseum.org/ . Their docents are actual air force veterans with tons of stories. They are so happy to chat. I had a great experience.
LiquiFi(Carta for crypto and Web3) raises $5M seed round
What a disappointing article. All it answers is where the name Germany comes from and what it means (men of the forest or neighbors) and briefly touches on Alemania (without explaining its etymology), but has nothing to say about the origin or etymology of Tyskland, Niemcy, or Deutschland. Why even bother writing an article if you are just going to half-ass it?
He has 250 billion. He can afford a 20-40 billion dollar laugh once or twice.
According to wikipedia:

An equity swap is a financial derivative contract (a swap) where a set of future cash flows are agreed to be exchanged between two counterparties at set dates in the future.

That kind of arrangement doesn't get you cash today, does it?
You claim 0.3% of the US population have died from COVID, but present no source to back up that claim.

CDC puts this number at 1 million and you can be quite sure that figure doesn't distinguish between deaths from COVID and deaths where COVID was the secondary reason, source: https://covid.cdc.gov/covid-data-tracker/#datatracker-home

So it rather feels like an agenda to support unlimited lockdown, which no free democratic country should support given the nature of the COVID virus.

China is free to do as it pleases, but having abandoned the two-term policy for their leader, they are on the same course as Russia is with Putin.

Right now it's COVID, but tomorrow it could very well be the "inclusion" of Taiwan into the Chinese family.

EDIT:
Updated due to calculation error, my bad. Still I don't think the 1 million deaths purely from COVID is accurate.
Could some combination of a partial vacuum and hot air substitute for helium? Of course you'd need some ultra light superstructure to maintain the giant vacuum, but that's "just" engineering.
TornadoVM Makes It Possible to Run Java on GPUs and FPGAs
Hey, thanks for the advice, how much do I owe you, how do I pay you for your services? Do you have a bitcoin address?
Doesn’t this already happen to some extent with property taxes? You pay tax on the appraised value of the property. If it later goes down, you just pay less from that point onward. It doesn’t seem like a problem.

To me, taxing wealth and only wealth seems like the most straightforward route to a truly progressive tax system. That’s not to say it’s simple or straightforward in an absolute sense, but neither is taxing income, is it?

At a high level, taxing wealth instead of income or transactions ensures that rich people are paying their share, while maximizing upward mobility so that people can become rich more easily. Think about how much easier it would be to become wealthy without income taxes, sales taxes, property taxes, taxes on corporate profits, etc. etc.

This is what we should optimize for imho: making it as easy as possible to become wealthy. Sure, there details to figure out, as with any approach, and maybe some rich people will face some difficult choices or be forced to sell assets; I’m ok with that and it seems well worth the tradeoff.
No it really isn't. Cyclists will use cycle-friendly infrastructure, because it's easier and more comfortable to use.
And when you get bored with the repeats, flip to any college radio or Pacifica Station.
I don't think it's fair to say the national security benefits were tested before 2020. Risks are rarely considered until after they are exploited; everything that happens in an airport security line is based on something that actually happened before they added that requirement.
Do you have data supporting that Tesla replaced 2 million gasoline cars? Selling electric cars does not mean that the buyer has gotten rid of their gasoline-powered cars, and it's not uncommon for one person to own multiple cars.
The reason I didn't try to engage with you is your awful and misinformed reasoning in your original reply, and your post history, which indicates you aren't worth the time. If you had a history of intelligent comments and not trolls, you would be worth engaging with. Maybe clean up your act a little and people will take you more seriously?
See joshvm’s reply here: https://news.ycombinator.com/item?id=31112241
If there was a news bundle app: CNN, Fox, MSNBC, CNBC, Bloomberg, etc. I think that would do fairly well in the long run. I know it would send me over the edge and make me feel better about getting rid of cable.

I think almost no one with cable is looking for more talking heads. Since the back catalog has a value of effectively zero their main audience has to be cord cutters. I do think that would work for CNN+ eventually but it would probably take years to get to scale.

In general though: Single network news subscriptions like this encourage behavior that is a net negative for society. Right now it's hard enough to convince people to change the channel and step out of their bubble to form their own opinions. The last thing society needs is for everyone to only have access to one news channel. Especially one where the viewer is a direct customer as it's only going to encourage these stations to give the viewers more and more of the opinions they already agree with. This will just make people even more opinionated which then drives our politicians to continue down this path of zero compromise and zero legislative productivity.
Nothing.

I believe some Americans underestimate how many forums are actually hosted in Eastern Europe. They're still popular over here.

In Norway (~5M population) you'll find atleast 3 huge forums but also several niche ones.
Hopefully the keyboardist can manage a single sharp.
A reddit style quip that I appreciate. Chapeau.
I get the sarcasm [0], but: Having watched a few of Dr. Knuth's lectures [1], I'm convinced he'd wipe the floor with FAANG interviewers.

[0] I mean, this has happened for real: Bram Cohen (BitTorrent co-inventor) / brew's (package manager for macOS) co-developer couldn't get past Google interviews: https://news.ycombinator.com/item?id=9695102

[1] https://hn.algolia.com/?query=knuth%20christmas
Because SEO is a cancer.
Good riddance. CNN has declined precipitously in general quality, in the last couple of years, and CNN+ was really only a "Get your pure and refined poo, here."

Def not worth it.

BTW: This has nothing to do with perceived (or actual) political bent. I just feel like they threw all pretense of restraint to the wind, and I couldn't trust them; even a little bit.
My kids have a habit of shouting, "Dad joke!" whenever I make a groaner.

The other day, my wife made a great pun, and my son said, "Dad joke!"

"No, it's a mom joke," she clarified. Then she educated them.

"There are two differences between dad jokes and mom jokes. Number one, I'm a mom, not a dad, so I tell mom jokes."

"What's the other difference?" a kid asked.

"Number two," she sighed, looking in my direction. "Dad jokes are relentless."
Elektron Syntakt – 12 Track Drum Computer and Synthesizer
Show HN: Generate a unique cute robot for your public key
This is kind of hilarious. who was cnn+ even supposed to be for? I personally like CNN, and would probably pay <$x/month or something to get it unbundled. But no way would I ever pay for "cnn+" that doesn't even have cnn!
People don't actually do that.

Electricity can be "stored" in hot water in the hot water tank, the thermal mass of the house, and in the battery in the electric car. This can greatly mitigate the demand for electricity at night, for example.
> You see this at the huge backlash you get, even here among relatively educated and informed commenters, when you dare to suggest that the US bears some responsibility for Ukraine's predicament even though Russia is of course wholly responsible for an unjustifiable invasion.

Only 1 country is killing Ukrainians: Russia. There's no US troops massacring and raping Ukrainians... The only thing the US is responsible for is that they could have maybe threatened Russia enough to not invade.

Anyhow, I've been sceptical of US hegemony at times however one thing is clear: the world is far better with the US as the dominant power than it would be if Russia or China were dominant. At least the US allows its citizens and those of its 'protectorates' (or whatever you want to call US allies/countries it protects) a large degree of personal freedom.
SEC has no mandate (nor should it be interested in) enforcing rules created by Twitter board.

SEC enforces laws created by congress.

"Poison pill" is not a law. It's a rule created by Twitter board.

It merely says "if this happens, we'll do that".

If anything, SEC should be looking into Twitter's board authority to sell stock at half price, which clearly harms shareholders.

And one of the things SEC is supposed to do is to protect shareholders from harm, even if the harm comes from inside the house.
I think FAT is a fair baseline. It can be implemented in a few dozen lines of code. Support for it is ubiquitous. It is not encumbered by any active patents. All the alternatives I have seen proposed are both considerably more complex and not ubiquitously supported.
> three comma club members

So you're gonna bundle people with $999B and $1B together, just like that?
I think you've muddled things with a poor quote. I wasn't speaking in general, I was speaking of particular behaviors that reduce stress. The point of my comment was to encourage those who feel that they can't pause to gather themselves. I wasn't talking about quitting or changing careers.
The alternative is the lights go out anyway because of rolling blackouts.
This was a great read. I think the biggest takeaway I had was how some banks and credit card companies themselves are not doing a great job at building trustworthy systems. That leads consumers into treating things that seem gray, like confirmation code texts coming from unknown numbers, as credible.
Interesting, I really disagree. I do agree the page is refreshing compared to a lot of the internet these days, just because it has no ads and no glitchy, laggy SPA animations or slow loading times.

But it's pretty extreme to pretend that none of basic design practices adopted over the past 30 years have any merit whatsoever. This design is not good. The black text on white is too much contrast. The default browser text of Times New Roman is less readable than more modern sans serif fonts (this is arguably a problem with Chrome's default value though, not just this site). The graph titles are not text but rendered into the images, and the images have no alt text to help with accessibility. The double solid border on cell boundaries in the tables looks crazy and does distract from the content. The page content is much narrower than it should be on desktop, it could use an adaptive width. There is no dark mode to make the page easier on your eyes in low light.

The design here on HN is a much better example to strive for, it has a similar minimalist aesthetic but addresses most of these issues.

I wish more of the internet behaved like this, but I do not need it to look like this.
Guess that is implied but not really what I meant. Poor people don't have much assets so it wouldn't do much.

My issue with the whole "Elon has to pay taxes" thing is that there are loads of people (fans?) fighting over why he shouldn't have to. It's the richest dude in the world, he really doesn't need defending for everyday people.

I also like the cool stuff he does, don't like the non-cool stuff he does, as I do with a lot of people really
I am a PHP developer myself.

Don't you think that the very question about if it's dead or not is a warning sign?