skysight-inc/HackerNews huggingface dataset:
I suspect if you created some kind of a graph between related theorems, you could identify the interesting ones by how many edges a particular node has, or by whether or not it is a part of a previously unknown shortcut between such nodes. I also suspect some form of this has already been done. I know this problem has been identified and there are all sorts of ideas to try to come up with a criteria for “interesting”. Don’t know what you call that area of research or what the latest is/am not a professional mathematician.

But yeah, a world in which everyone becomes dependent on computer generated maps to parse through seas of computer generated jargon seems less like a world where people do math and more like a world where people do mathematically informed seances.

Finding isomorphisms might also be misleading. Formalizing some set of assumptions for a theorem might identify non existent similarities that have more to do with using the same meta language to formalize things rather than the intended meaning of some of the theorems.

Again, pretty sure these issues are well understood, and people smarter than me are doing things to mitigate them, but I think there’s a real big problem here related to translating machine created discoveries into a meta language a computer can make sense of and then back into a language humans can understand better and verify without relying on the machine.
Show HN: ActiveMDX – Use Markdown as a Database
> If someone is trying to kill you and you kill them first, this is more likely to lead to your survival than if you just let them kill you. And if this is more likely to happen, they are more likely to not attempt to kill you at risk to their own life.

Maybe there is a gentleman rule among firearm owners to let the other side the opportunity to shoot first, but there is always the risk of someone not following that rule.
You are talking about this? https://github.com/nice0e3/log4j_POC

No. That was another vulnerability which was for an older version of log4j, end of life 2015. https://www.cvedetails.com/cve/CVE-2019-17571/
Delivering on Price Execution Without PFOF
Leetcode tests screen out several different kinds of people. Similar to government dev positions, there are irritating barriers to entry that a developer with experience simply doesn't have to deal with.
It’s possible to file for an exception to auto liability insurance by proving that you can cover any liability up to and including the state minimum for liability insurance coverage.
> Plus they fire CEOs who are against at-will abortion

I find it really funny that your outrage cannon is locked and loaded, brandished and pointed...but you've completely forgotten your justification for bearing arms.

Hey, any outrage will do, right? Fire away!
Kafka has a lovely telling of how the Great Wall of China was built:

http://www.kafka-online.info/the-great-wall-of-china.html
Adblock is your friend.

There are mobile browsers which support this (Firefox notably), and mobile-device adblock apps as well, in the event you're not on a desktop system.

If you're in a corporate environment, put in a request for adblock on your network as, amongst other things, a security feature:

https://news.ycombinator.com/item?id=28631005
Not ask the question. Or at least acknowledge that people died before asking the question.
Sorry, but your GP comment was obviously unsubstantive flamebait. This isn't a borderline call. If you have some specific information to add to the discussion, by all means post it (in an informative way, not a provocative way). But definitely please don't post like the above. Even your reply here is nothing but rhetoric.

Edit: I just noticed https://news.ycombinator.com/item?id=29427506. Posting like that ("please consider offing as many CBP officials as possible") is very obviously a bannable offense on HN. I won't ban you for a week-old comment now, but if you do anything like that again, we will have to. Actually that comment is so shocking that I really had to think about this for a while. But you've also posted quite a lot of good comments in the past, so perhaps it will suffice to ask you to please review https://news.ycombinator.com/newsguidelines.html and stick to the rules from now on.
Here is a project I built with this https://active-mdx-software-demo.soederpop.com/
Yes, you can. But then you'd need to appear...

obtw there's serious risk of trying to defend a suit yourself. Maybe the judge would take pity on you and grant a continuance for you to find counsel.
I think in the last ~15 years I had to actually update that script once, IIRC that was when Firefox moved to webextensions.
> 1) you can detect that like in the first day, or at least first week 2) the amount of damage they can do before detected is small...

But the cost is actually minimized already by rejecting in the interview. Just like finding a bug while writing unit tests is cheaper than QA finding it after you make a build, even if QA does so in the first hour of testing.
Here it is: https://aws.amazon.com/message/12721/
The bottom 90% cargo cult this and don't get good results doing it, yes. I'm just explaining why the top companies run this.
So is Bank of America misinformed, or are you?

"El Salvador’s Bitcoin experiment has been a relative success to date – the country became the first in the world to adopt Bitcoin as legal tender; a larger proportion of the population has a Chivo digital asset wallet than a bank account"
This is a mischaracterization. We write simple code not for simple people, but because grokking gratuitously abstract code isn't a good use of anyone's cognitive resources--no matter how smart you are, you will have more mental capacity to put toward real problems if you're working in a simple codebase rather than an unnecessarily abstract codebase.
There are profiles. I run multiple profiles in Firefox daily. I also use multi-account containers and temp containers inside each profile for further granulation.
It hasn't been long enough, they will probably do another paper in six months once that data is available.
Contrastingly, I think the GP post is the most useful piece of information in response to the posted article, hence my upvote.
i love everything about multi-account containers except when it comes managing two google accounts (for work and personal). I can never get them to work proeprly with the number of redirects and whatnot. not sure who to blame here but i hope Firefox comes up with a fix soon.
Ding ding ding.

Can't believe this is the issue that shows me the HN bubble I've heard so much about, but seemed impossible
It remains to be seen whether they can really raise the money to do this.

I am a bit skeptical that a double-6U-cubesat will have enough power and RF link budget possible to compete with starlink. I'm saying this as a starlink beta customer for a year now.

If their intended target market is more like a lower-bandwidth competitor to Iridium and Inmarsat's L-band based services for mobile terminals/offshore/industrial/aviation and similar markets, maybe it can find a market niche, but it will have to be a whole lot less costly in dollar per MB.
> Trusting any single author is a single point of failure — eventually the author of one of the packages you depend on will get compromised and an attacker will publish a malicious package.

Thanks, this is exactly the sort of thing I had in mind when writing the "Making _ trustworthy"[0] section and exactly the sort of conversation I was hoping my post would prompt. One benefit I'm hoping to get from keeping the `_` sub-packages as simple/self-contained as possible is that that sort of supply-chain attack will be easier to spot (e.g., with a 0-dependency file, you couldn't use an attack like the event-stream incident, where a dependency was swapped out for a malicious copy – the malicious code would have to be in the repo itself).

Of course "easier to spot" ≠ "won't happen", which is where your other point comes in:

> To combat this, you need package validation by multiple independent identities. The classic ways to do this are to have multiple people sign a package using PGP

Someone else made a similar point in an r/programminglanguages comment[1] in response to part 1:

> One thing I'd like to see package managers adapt, though, is quorums for publishing. A simple majority quorum of amongst 3+ people would naturally make hacking much more difficult

Do you happen to know any details about how something like that could be put into practice? I agree that it seems like something that'd be worth investing in, as an ecosystem and would be interested in any info/thoughts other care to share.

[0]: https://raku-advent.blog/2021/12/11/unix_philosophy_without_...

[1]: https://www.reddit.com/r/ProgrammingLanguages/comments/raau0...
And the amazing music by Bomb the Bass:

https://www.youtube.com/watch?v=bWbJeUEKzc8
It's not fundamentally dishonest. Perhaps it's situationally dishonest.

Unions are a bad idea when management treats employees well. They introduce costs and inefficiencies. The need for a union are a signal that something else has failed or been done unfairly. Amazon workers should unionize. Google and Facebook? Probably not.

The market dynamics work out well too if this is handled on a case-by-case basis. Treat employees badly? You risk having them unionize.

I work at a company with no union. I wouldn't want a union. I don't think many people there would. It's like a family. The CEO makes 5x as much as I do, and probably 2x what I'd earn at Google. People are treated fairly, and spend entire careers there.

In a perfectly efficient market, companies would operate treating employees at a level /slightly/ better than they would with a union, and there would be no unions. In an inefficient market, you'll have some companies with, and some without.
Firefox is absolutely fantastic nowadays, and I strongly encourage everyone to start using it as their primary browser. It's hard to overstate how important it is to have at least two independent browser implementations around.

If Firefox dies then Chromium would become the de facto rendering engine, and we'll no longer have any meaningful specification for web standards. The web will simply be whatever Chromium does including all its quirks. We've already seen the horrors of that back in the days of IE.

Furthermore, Google is fundamentally an ads company and it should not be the gatekeeper for the internet. I highly recommend reading a recent antitrust filing regarding how Google has worked with Facebook and Microsoft to discourage them from increasing user privacy

https://storage.courtlistener.com/recap/gov.uscourts.nysd.56...

Google has a secret deal with Facebook called "Jedi Blue" that they knew was illegal and has a whole section describing how they'll cover for each other if anyone finds out. Google has a team called gTrade that is wholly dedicated to ad market manipulation.

Google had a plan called "Project NERA" to turn the web into a walled garden they called "Not Owned But Operated". A core component of this was the forced logins to the chrome browser you've probably experienced.

Google is willing to do almost everything to prevent people from circumventing their ad exchanges which is what AMP is all about. Google habitually does insider trading on their ad exchanges in every way possible.

The exchanges are also rigged so that google wins on bids where they aren't the highest bidder. A large amount of people inside Google are aware of all of this.

Google has worked with Facebook and Microsoft to discourage them from increasing user privacy, lamenting occasions where they prioritized their reputation over their collective business interest.
There are a number of custom Bedrock-edition Minecraft servers, as well as an official release from Mojang/Microsoft.
It does not make for a good argument to draw a crude comparison to racism. It shows that you see no difference between race discrimination that destroys lives everyday and software selection processes that you deem unjustified. I do not discuss with someone who pulls "tricks" like that in a discussion.
But I do leave such comparisons unaddressed.
You don't have YOUR_LAST_NAME.com as a website, right?

You probably don't have anything to worry about. Having a domain that does not have a business attached means you're clearly not trying to do business on someone else's name. That takes away at least one of the 9 tests for trademark infringement.
Edit: I have a thought but I’ve articulated it in an incomplete and very poor, likely offensive way. The responses are sensible for what I’ve written, which isn’t what I intended to say. But I’m leaving it here because I don’t think the internet should have a delete button.
What if I don't want an overlay but actual VR? Goodbye prism-projection, hello splitlense-screen and all the form restrictions to the device that brings with it.

Besides, the hardware doesn't get much smaller than it is. The chips are not the problem, the problem is the power supply.

We have already reached a limit for phones, and that only because advertising somehow managed to convince people that it's okay for one of their most important personal electronic devices to go flat in less than a day (quick reminder that mobile phones used to last 4-5 without recharging ;-) )

So, what do we do? Put super small Li-Ion batteries into our "metaverse" devices? Not much of an immersive experience if the thing goes down after 20 minutes. So, big heavy battery it is then, and that's that about slim, cool, SciFi VR glasses.

And what about input? Displaying information is not enough, the whole thing is supposed to be interactive. Voice control only gets you so far, and is unsuitable for most interesting things we want to do (virtual keyboards, games, movement, etc.), not to mention it's not even possible in most scenarios without being permanently online to contact the ASR service (oh, did I mention that the WiFi and LTE/5G modules also gobble up power like noones business?).

So it's not just the headset, I also need an input device, or rather 2.
I think the article is missing one key category. Many if these people are laid off in their 50s and are then never able to find work again or find on and off work as contractors.
We can probably do a back of the napkin estimate on this.
The radius of the earth is 6563 km, and LEO is 2,000 km or less.

If we use 2,000 km for LEO and round the radius of the earth to 6,500 km, the "radius of LEO" is 8,500km.

Surface area is 4 pi r^2... so that's a surface area of about 908 million square kilometers.

There's a couple ways we could try to guesstimate the upper limit of satellites.

How many satellites per square kilometer? Maybe 1?
If so, that means 908 million satellites, which is far more than the 114,000 the Canadian company wants to launch. But if we start seeing many deployments in the millions of satellites... that starts to add up pretty quickly.

Given the speed of the satellites, is there a certain amount of distance travelled per second that we need to ensure is kept between them, or significant gaps to leave windows for other launches to pass through safely?

LEO velocity is about 25,000km/hr, so about 7km/second. If we want a gap of 1 second between satellites (I am not sure if that's excessive or insufficient, just a ballpark) but assuming the orbits are mostly "aligned" so we can keep 1km distance in one axis and 7km distance in the other axis, we can round that to about 1 satellite per 10 square kilometers, so 90.8 million satellites as an upper bound.

On the other hand, maybe clusters of launches can be handled more easily by launch planning software by treating them as a group instead of an individual object to be tracked, and maybe for some reason that makes the process easier.

Also, the above estimates are probably wild underestimates, because these are based on the surface area of a spherical shell, disregarding all the shells are different altitudes of the sphere... for example, LEO was taken to be 2,000km, but there are nearly equivalent shells at 1,999km, 1,9998km, etc. Even if we assume 10km between shells for our back of the napkin estimate, if we say anything from 1,500km to 2,000km is basically equivalent, we have 50x more capacity than estimated above.

Going in the reverse direction, if we assume that for some unknown reason these estimates are off by 2 orders of magnitude, 100x, after accounting for all the equivalent "shells", we're back at roughly the original capacity estimate of 90-900 million satellites.
I have one, and have found it quite excellent. Easy to play around with, pretty good documentation, and the eink is really nice. There's something like 30 watch faces already designed, so you can just fork off one you like.

Highly recommend the anodized aluminum case. The plastic one is sturdy enough, but with the thickness of the material, makes the watch feel bulky. Also, the aluminum one has such a good fit (they are precision CNCed) that it can handle water splashes with no problem, and a few gaskets can get it to IP64 or 65
I’m in a similar boat and I hate it. I did both vaccines and I’m otherwise healthy, very low risk of hospitalization or death. My workplace has said vaccination is a requirement (even though I’m remote!) and I think boosters will be part of that.

I don’t want to file a religious or medical exemption because I don’t have one. I want to file a “I shouldn’t have to do this” exemption.
> I don't know why I need to provide a token "thoughts and prayers" just because my question is related to some tragedy.

To show you care about the humans that died. It's not performative. It's called being part of a society. Society prefers members who show compassion to others, and it's an important part of being a social creature.
Reply saying you’ll sell it to them for N and see how quickly they change their tune.
Your jump to conclusions mat is too bouncy. Americans do not call lawyers solicitors.
Does Brave have their own extension 'store' yet? Last I heard they're still piggybacking off Chrome's. I see no point in Brave supporting the old API if none of the extensions do.
Because """software engineering""" is a joke.
Send them a cease and desist and tell them you're going to sue for attempted fraud (or better term):

They have no right to their claim and are using abusive language to make you do something under threat.

You can get quite some money out of it I believe.

IANAL and this is not a legal advice.
Edge Impulse Announces Series B Funding, Edge ML for Developers Everywhere
> the company who sent the letter loses their trademark and domains.

That may not be punishment enough to prevent them from becoming a repeat offender. In an ideal world the result would cost the directors the right to start a business for a long period of time.

I don't see that as too severe in any light - This is pretty close to fraud: trying to undercut market forces by dishonestly claiming rights to the name of a business with 7 years more history.

Their only defence to malicious intent would be ignorance of the author's business existence prior to theirs - which is completely unbelievable considering that's the first and most obvious fact that will be used to settle the issue. Their lawyers would have to claim complete incompetence.
You're missing pieces of the puzzle.

See: Leader of Libya, after discussing moving to a gold standard.
One benefit of watching is that you can ask questions about things the expert doesn’t realize they’re doing. Stuff that’s so second nature to them that they forget it used to be novel.

They wouldn’t put those in a book or blog.

The key bit is active observation. Passive consumption doesn’t work.
You act like getting informed on the law is somehow contrary to hiring a lawyer, which is especially bizarre, since most of the advice was phrased as "in my experience X is likely to happen, but you should consult with a lawyer".

Is it wrong to try to be informed of the law (when ignorance is rarely an excuse)? To find out what rights a trademark or a domain name confer? Or to list precedent and examples, such as nissan.com? We should just stick our heads in the sand, resign ourselves to total ignorance and helplessness, and let the lawyers do all the thinking?

Lets make this specific. Look at this comment: https://news.ycombinator.com/item?id=29522196

Are you saying every part of that comment, except for "This is probably not DIY territory; consult a lawyer knowledgable about trademark law to help you determine how to respond." is wrong?

For example, is the following statement wrong in the U.S.?

> Just like patents have a concept of "prior art," trademarks have a concept of "first use in commerce."
Here's a list of 10 good, popular mathematics books: https://www.theguardian.com/books/2012/jan/18/ian-stewart-to...

Of the list, I've read Goedel, Escher, Bach", and What is Mathematics Really* and can recommend them wholeheartedly. GEB is a bit of a project, but it will bend your mind in a good, math-y way. I first read it in high school, so the material should be pretty accessible.
I don't wanna learn userchrome, I just wanna remove top tabs. Thanks for the help though.
well this is disappointing..."binary toggles" had me picturing a single 3-way toggle switch where you manually entered ones and zeroes.
Algorithm that mimicks the human brain helps Lego robot out of a maze
Not really... I built a block-based IDE like that which compiled to TypeScript/React (you could switch to writing code and back to blocks at any time)... And I just never used it, writing code was much faster, even though it supported custom "macro" blocks and other new ways of making programs.
What makes you say that? If we reprocess uranium fuel, a person’s lifetime energy waste would be barely larger than a soda can and mostly only emitting alpha radiation. You lifetime energy waste from renewables and batteries would be much more voluminous and far more dangerous, being full of lithium.
To be fair the interviewer described my performance as "muscling through it" (exact phrasing changed to protect the innocent) so take it as you will.

And we're supposed to be desperately anxious to work for companies filled with people like that?
Have to agree.

Desperation to avoid "running in conspiracy (theory!) circles" has some forgoing critical thinking.
https://archive.md/Xmxgm
Generally, I would think there's paperwork/procedure/approvals required whenever the insurance protects more than just you.

Auto liability insurance is an example because it protects other drivers. Another example might be homeowner's insurance, which (if you have a loan) protects the lender too because the house is collateral.
It seems the chrome team has been fabricating a hostage situation with their own foot for the past year or two. They keep yelling that they'll shoot it any day now, yet we don't seem any closer to it.

I wish them the courage to finally pull the trigger.
How could they answer #2? Boosters have only been a thing for, what, a couple months now?
That's a shame you've had a bad experience. I've covered many people over to it with most using it extensively with no major issues. I wonder if your issue had been resolved?
You can ignore the optional crypto stuff. I've been using Brave on mobile for years, and I don't see anything related to crypto at all.
Rice so nice it was domesticated thrice (2017)
Hackers square off to close gaps in satellite cybersecurity
Sidebery is great. I do experience one annoying issue: it's unreliable at saving/restoring the tab tree across restarts. Sometimes they end up as a flat list, sometimes not all tabs show up. Closing and re-opening a few times usually fixes most of the problems, but not consistently. That never happened with TST, but it's bearable.

Development also seems to have stalled while a big new version is being developed behind closed doors.
Mentions of "tornado sirens" in these comments are triggering bad memories from my childhood in the Midwest. The house I grew up in had a tornado siren on our property, probably about 100 feet from my bedroom window. It was so f--king loud!!! And it felt like it last forever. Ugh!