skysight-inc/HackerNews huggingface dataset:
it's time for law-makers to step in and force OEM's to have both systems preinstalled, with a choice at boot, like the EU did for browsers. linux doesn't even need more than a few GB of space so with todays disks the space is negligible.
Edge seems to be doing things right in that department. On my phone I see the whole URL and the lock indicating https.
> And it will likely result in a premature death.

Likely is putting it quite mildly - it's likely to cause a premature death in the same way that throwing yourself off the empire state building is likely to cause some injury.
He Had a Dark Secret. It Changed His Best Friend’s Life
I just checked - it doesn’t include any kind of license.
> So what is the expectation for innocent victims, especially the smaller or weaker ones? Just get beaten/killed? I've never seen a real answer to this.

Pepper spray is pretty great. You don't have to worry about killing someone, so you can use it with a lot less hesitation. I've been in a situation where I was in physical danger, but from someone I didn't want to kill, and pepper spray immediately ended the danger for me and allowed me to get away. A gun would not have done that because I wouldn't have used the gun.
> The obvious legalese thing to do in Musk's buyers-remorse situation is to use the information rights to make demands so unreasonable no acquiree can reasonably honor them, which is exactly what he seems to have done here.

They posted an opinion, not interpretation... The part before the opinion as simply for context.
It's long since passed the point where the task of sorting through junk mail for the very rare valid item is a tedious and error-prone chore. Again, the real harm is in missing legitimate postal mail.

You can request junk mail, including bulk unaddressed mail be excluded. And reject delivery requiring your carrier to pick it up and dispose of it.
They can't just demonstrate "fraud" or "gross negligence". They have to demonstrate a "material adverse effect", which, as Matt Levine shorthands it, is something on the order of a 40% drop in profitability --- not the stock price, but the fundamentals of the company. Not happening.
>many of the best and brightest left.

Well... a number of employees left.
In my previous experience with Kaseya in the MSP space they’re just out to consume any relevant product, integrate it into their platform and run up the rates.

They’ve gone on an M&A rampage in the past 10 years and have no signs of stopping. I knew people who started companies to fill gaps in Kaseyas portfolio just with the aim to be acquired.

Not surprised they eliminate any existing culture of the companies they consume.
I don't understand why this is relevant. Regardless of the rationale to add it to the language, if syntactically it's `func main()` I can tell it's a function definition because it's always `func`. You can't do that in C++ since it's often some type.
I think all of newgrounds is now on ruffle, which is nice.
I feel like a few pictures here, illustrating the relative differences between clinically clean lenses and older lenses, would be worth a thousand words.
I believe the agreement would require him to finance the deal directly

From the proxy agreement

> cause the Equity Investor [Musk] to fund the Equity Financing, or to enforce the Equity Investor's obligation to fund the Equity Financing directly, and to consummate the Closing.
I agree with your analysis. This has always seemed a situation driven by ego rather than rational thought and I expect ego will prevail and we will see futile legal + PR trench warfare for a while. However, my understanding of M&A law[1] is it's not enough for him to say that the numbers are missing or even wrong. He has to say that there was a material breach caused by the fact that the numbers were missing or wrong.

So if you say "I went into this deal thinking twitter had no bots and OMFGBBQ there are bots" then twitter are going to say "look at our numerous filings on bots and why not actually go on twitter at all you can see there are bots" and therefore no material breach. He has to show somehow that the failure to provide him with complete and accurate information somehow makes the deal materially worse than he could reasonably have thought going in. And that's pretty hard to prove. I believe Delaware has been very reluctant to find material breach in these sorts of circumstances. (eg even if he was to somehow prove that the bot problem was 100x worse than twitter's public statements I'm not sure that would be sufficient to prove an actual material breach given the difference in ad revenue between "lots of bots" and "hella bots all over the place" is probably not material and he knew the revenue number going in).

My expectation is he wants to make it painful enough for them in court and on social media to drop the breakup fee but they have seen for ages that he was likely to attempt this and would be sued to hell and back by other shareholders if they drop the fee and therefore will strap themselves in for a fight.

[1] I'm definitely not a lawyer but I have been involved in a few M&A situations and have been advised on this kind of thing by pretty good lawyers a couple of times.
You do realize that type erasure is the common way of dealing with (generic) types? Haskell also does type erasure, as well as basically every language outside C#.
I have a t-shirt which has "don't be a" and the equation for the third derivative
most people would not be able to install windows either.

the average user does not install operating systems. linux is perfectly fine for the average user if it comes preinstalled.
I remember the 1960's, at least the last half and yeah. If you took a piss on public transit the bus driver would beat the living fuck out of you.
They should use Discord on their phones or no lol

Using an ancient vestigial telecommunications system as your lifeline is your problem.
Lightfield cameras were briefly a thing, but then I guess the engineers at Google and Apple figured they could fake it well enough with algorithms + depth sensors.

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

It would be cool to see a traditional SLR/mirrorless with a depth sensor, indeed!
Was that the old principal? The one I've always ascribed to was "if you didn't initiate the communication then don't respond to it"
which could easily rebound a bit by EOY.

By EOY we could be in recession.
I would say if you want to engage in the process of dialogue, don't bring a large cache of firearms with you while blocking an international border crossing.

https://www.cbc.ca/news/canada/calgary/coutts-protest-blocka...
a better solution would be to force vendors to have both OS preinstalled, and allow users to choose the default at boot, like the EU did with browsers some time ago.
I guess its a good thing they very specifically didn't claim its <=5%, but instead claim "5% is a guess that we made with some specific asssumptions, but we also applied human judgement to classify bots and so it possibly is higher".
Well, let's look at the case of Facebook Messenger's webapp, which is written in BuckleScript (now ReScript), a language based on OCaml. That's about as solid as you can get academically. Here's what they said:[1]

> Full rebuild of the Reason part of the codebase is ~2s (a few hundreds of files), incremental build (the norm) is <100ms on average. The BuckleScript author estimates that the build system should scale to a few hundred thousands files in the current condition.

> Messenger used to receive bugs reports on a daily basis; since the introduction of Reason, there have been a total of 10 bugs (that's during the whole year, not per week)! *

> Most of the messenger core team's new features are now developed in Reason.
Dozens of massive refactors while iterating on ReasonReact. Refactoring speed went from days to hours to dozens of minutes. I don't think we've caused more than a few bugs during the process (counted toward the total number of bugs).

In a high-velocity codebase, modularity is the name of the game. And you will be hard-pressed to find languages outside the ML family which are that good at modularity. OCaml is just about the only industrial-ready language in this space.

[1] https://reasonml.github.io/blog/2017/09/08/messenger-50-reas...
> How can something be "BS" if it works.

Nobody claimed it didn't work. The claim that is disputed is it is meaningfuly faster.
There was a huge polemic here on HN when they announced the subscription model, so, they responded to it by offering something like an installment plan. But it was abandoned even if people like me bought into it.
What a useful tool! Right now I scan my documents using VueScan, which can add an OCR layer to PDFs automatically, but that only works if I have a physical document — I am out of luck if I want to add OCR to an existing PDF. This tool looks like it can help.

I have some notary documents from when I bought a house. Searching through it manually is a hell, not only because notaries use obscure language and the document is huge, but also because they format the document in a way that's safe against edits. I have longed for a way to Ctrl-F it.
I somewhat agree with your main point, but I don't think most Canadians associate the "Crown" as in Crown Land or Crown Corporations with the literal monarchy. Rather it's just a synonym for the (Canadian Federal) government. Most Canadians don't tend to think about the monarchy much at all. (Certainly the Canadian Governor General, theoretically the Queen's representative as head of state, would never be expected to actually take instruction from the Queen.)
I know we can't actually get perfection. I'm just saying that we should strive for it anyway, rather than intentionally adding/keeping imperfections.
This is absolutely pure speculation, but perhaps that is Musk's motive for this whole charade. He is erratic enough that it certainly seems possible that he did this whole acquisition agreement with no intention of following through simply to unveil information to discredit Twitter. It certainly doesn't appear from the outside that Musk had any ideas for making money on this by materially improving Twitter as a business from anything I've read. The justifications about free speech seem to taint this deal with Musk having an ideological bent to the whole transaction, so it seems possible that he thought he could use the buyout to access damaging information (like potentially lying on SEC filings) and then back out without spending the full amount.

Honestly, waiving due-diligence is so sketchy that it has made me wonder from the start what his true endgame was. If he did want to buy the company, what did he gain by waiving his due-diligence rights?
The most likely scenario is a settlement at a lower price imo. Musk was never going to pay the original offer because it was / is well known Twitter has a bot problem. He surfaced the issue and is threatening to scuttle deal based on twitters throttling the API. Which is limiting the due diligence ability of Musk’s financiers to appropriately evaluate their investment.

Now the negotiations will take place and I suspect we will see something like a $10-$20B purchase agreement. Musk will have opportunity for due diligence if they sue. If they don’t sue him, then the shareholders sue Twitter (ironically probably some of the financiers).
Without diligence, monoliths tent to turn into dependency spaghetti. Microservices can force you to spend more time structuring things.
So what damage has been done to Elon by him not buying Twitter?

Now if Elon wins might be able to claim costs, but they would be minimal by comparison to the original $44B deal.
off-topic but is it just me or is there as much space devoted to advertisements as there is article content?
Basically all of the major news companies took the Bush administration at face value and parroted whatever they were told to say in order to sell the US on attacking Iraq. Then shortly afterwards, it came out that Bush, Cheney, and co. had completely lied to the American people and fabricated a false justification for an unnecessary war that ended up killing thousands of innocent civilians burning trillions of dollars.
Problem with HN being down is can't check HN for whether HN is down.
Contract violations are more complex than that. You can’t simply void a contract over a little technicality. Even if they had given him the data, he wouldn’t have been able to get out of the contract. So a judge is not going to look at that and say, “oh yeah, Musk was paying $44B for the company and the right to review its data, so unless he gets both he pays nothing.” The judge is going to go, “okay the company is worth nominally $44B and reviewing data is worth zilch in light of the rest of the contract, so these aren’t equal parts.”
Quick, call Elon's lawyers! You have incontrovertible proof!
Verizon was already in the Canadian market once before, holding a sizeable stake in Telus. I would say that they, along with AT&T owning a stake in Rogers during the same period, and of course AT&T also establishing Bell Canada earlier, are responsible for the present state of telecom in Canada. There were a number of other players who were trying to compete, but is wasn't easy going up against the offspring of the American behemoths.
Yes, that's exactly what will happen. If Twitter were to say now "OK, let's forget this whole thing happened" the stock would drop massively: not only are they losing any chance at the $44B buyout, they are also admitting they (1) lied in their current contract, and (2) likely have huge bot issues that they would rather not litigate.

The only option for Twitter to continue existing is to sue Musk for the amount he promised.
Looks like Python just had a left-pad like incident
I'd say the page is a candidate for the title worst mobile UX ever.
On the current CNN mobile page, the jobs numbers are more than halfway down, under something about Ford and VW self driving operations.

The point is that, at best, CNN is out of touch with what people actually care about, and also milking tragedy for profit. Less charitably, they’re focusing on stories that could help democrats in the midterms while burying economic stories that are bad for democrats, while milking tragedy for profit. In the last decade they’ve completely dropped the pretense that they’re not openly rooting for one side.

Fox News is partisan entertainment, and deliberately so. I’m not sure why you’re even bringing them up.
He currently owes twitter 44B, but actual damages would be 44B minus the FMV, so closer to like 10-20.
>Doesn't Motorola have location tracking systems which integrate or add-on to their radio systems?

Yes, the APX8000 has support for location tracking but we decided it'd be inappropriate to request anything of the regional communications center since they have their hands full with far more meaningful improvements to the 12 cities (40-odd fire stations) they support. Also, while I see value in tracking unit locations at our music festival events in particular, it falls well short of necessary.

>You could also look at using APRS for location tracking...

APRS would require we all have technician licenses and suitably equipped 2M radios. While a few of us are hams, it's not feasible to request dozens of volunteer EMTs go through that. Also APRS tracker hardware is at least twice as expensive as LilyGo's LoRa options ($55 for a T-Echo or $65-85 for a T-Beam w/case and battery vs $115 for the cheapest APRS tracker I've found--QRP Labs' LightAPRS [1]--not including designing a case and power delivery).

>Also - you should be able to set up your phones with priority network access on FirstNet, right?

We are indeed eligible for wireless priority services on our personal phones. AT&T FirstNet includes data priority but the couple members who got it didn't see an improvement. Verizon Frontline offers data priority but no one's opted in yet and T-Mobile only offers voice priority so low confidence in its viability.

Fundamentally, Meshtastic's attractiveness is not only in its low hardware cost but the lack of friction in not requiring anything of anyone beyond "hey, clip this thing on your bag, thanks."

[1] http://qrp-labs.com/lightaprs
No, the point is just because something became popular doesn't mean it was because it was a high quality product technically or in UI. The early iPods sucked in usability (controversial!) And functionality, but became popular anyway. I had to support them, they, coupled with iTunes, we're horrible. People just learn to use them and eventually one quirky way of doing things becomes 'the norm.'

The 'Linux Desktop' is just as solid as Windows... depending on what you do with it. Just as Windows could be horrible compared to Linux... depending on what you're doing with it
> Because I kept reading about why DNS was created and always encountered the same parroted explanation, year after year. Something along the lines that IP addresses were constantly in flux. That may have been true when DNS was created and the www was young.

Interesting! That runs in direct conflict to what I learned eons ago (pre-web) for "why DNS?". (Or maybe, it conflicts with what my faulty meat brain remembers.)

The gist was "we have DNS because without it, people would have use numbers. people don't like numbers." DNS is primarily there to provide semantic meaning". The fact that it allows the numbers to change is.. a secondary bonus.

DNS exists for the same reason as variable names instead "variable numbers" (like a, b, c, d, &c) For us humans to provide semantic labels to things.

(an aside, "variable number" is exactly how things are still done in math and physics. This amuses me greatly.)
It's an interesting question, but for the purpose of this discussion, it doesn't really matter whether Tesla's market cap is so high because Tesla's investors are deluded fools or because Tesla will really have over US$40 billion a year in profits someday soon, like Apple, Saudi Aramco, ICBC, Alphabet, Berkshire Hathaway, JPMorgan Chase, Microsoft, and I think no other companies in the history of the world. (I'm looking at https://en.wikipedia.org/wiki/List_of_largest_companies_by_r....)

What matters is how much Tesla's investors would change their minds if Elon, or his lender, unloaded 5% of the company's stock on the market. How much would the stock price move? Would Elon's paper wealth evaporate, leaving him unable to follow through on the Twitter offer? Since 5% of TSLA is less than two days of market volume, I think the answer is that the price would move very little, and so he would be able to complete the acquisition.
Yes its public, just as this letter is. Notice that they dont refer to any specific section of the agreement in this portion of the statement, unlike the other references they make to the agreement.
No, he’s not wrong. The exit is about 20 ft further forward than the entrance.

A true circular loop the entrance and exit would be directly side by side.
"markup" is one way to price things, but not necessarily the best way.

A better way, and likely the thing in play here, is to price according to a mix of value provided, and the ability of the market to pay.

If you are spread enough this will result in some markets paying effectively a large markup, and done a much smaller markup, and some, potentially, less than cost.

The reason the package costs $300 is because that is what the market will bear, and the utility to the customer exceeds the value of that cash.

Incidentally that value may also be in support etc.

In summary, markup is one of the least effective pricing methodologies, and invariably leaves a lot of money on the table.
So you want to give the richest man in the world more control over the flow of information?

I've always though it better to avoid massive concentrations of power, but that's just me.
Yes. Magic Leap failed to ship a substantial product. They may have had a beautiful, perfectly working unit and just failed to actually get their ducks in a row. They may have been all flash and no bang.

Basically, regardless of what they had and could do, they didn’t ship. And others are coming to sell a product that Magic Leap Promised.
An extra 2 or 3 might be ok.
>No one imagines homeless and drug addicts riding their transportation.

That's a pretty strong absolute; I'm certain that, at the very least, folk involved with public transportation do regularly consider homeless and/or addicts when covering various aspects of their service. Maybe not so much in the past, but these days it's basically a given.
Some more context would be appreciated on why you think that Java generics are awful?
While other government employee salaries + benefits are sustainable and funded?

What additional benefits do teachers get that make them so special?

Nothing stands out when I compare the teacher pension and state patrol pension at https://www.drs.wa.gov/plan/ .

Military officer pay is up into the 6 figures. Their pension is "monthly annuity for life after 20 years of service. The annuity is based on a calculation of 2% per year served." (https://www.usa.gov/military-pay ) which is what TRS-2 does (https://www.drs.wa.gov/plan/trs2/ ) for Washington teachers. Plus veterans get VA access and other benefits.

I don't see what makes teachers' benefits so special.
Yep, I just don't check my mail. I get emails for my bills, I don't get checks in the mail or anything, I track deliveries of things I've ordered. Mail is sort of useless nowadays anyway, there's no reason to send me paper when there are a myriad of ways to contact me electronically.
1) They provided access to their firehose API, how is that not enough? The crap about rate limiting doesn't apply to the firehose, and decent engineers can get around rate limiting, so either way this doesn't hold up.

2) Twitter's CEO gave a pretty good explanation of how they combat bots and how they calculate their mDAUs, Elon Musk responded with a poop emoji. I get that his personal experience on Twitter is heavily bot-infested, a significant proportion of bots on Twitter engage with his account and use his image as a user profile. Twitter doesn't claim that the bots in Musk's feed are under 5% of users, or that the number of bots overall are under 5% of users, they claim that the number of monetizable daily active users is under 5%. Given the definition of a "daily active user", reduce to "monetizable", and consider the number of users who never post anything but read tweets and click on ads and promoted tweets, and this isn't hard to believe.

On the other side we have Elon Musk, notorious liar, claiming that he doesn't want to buy Twitter because Twitter is lying about the number of bots, despite the fact that before tech stocks crashed, he said he wanted to buy Twitter to solve the bot problem. This isn't hard. He has buyer's remorse and the bots thing is the best excuse he has to get out of a contract he signed. It's a shitty excuse and no one other than Musk fanboys have any reason to believe him, and it's not even an excuse in court.
Americans feeling like the economy is the most important thing and what Americans want to see most on the news are probably two different things.
Wasn't VB5 backward-compatible? I thought VB.net was the first version that wasn't; what am I missing?
But Twitter said that the number was provided on a best effort basis, so you don’t need to prove the number was wrong. rather, you need to prove that Twitter tried to lie. Unless there’s an internal email saying “I’m making up the number 5% because we know it’s higher but we don’t want to write that,” it doesn’t matter at all. If such an email existed, Twitter wouldn’t be fighting the back-out because revealing that email would mean damages for existing shareholders.
Or they could go with Nym with the Pho file extension
> Everyone knows twitter is majority bots, gpt influence accounts

You are writing fan-fiction, not making an argument.