skysight-inc/HackerNews huggingface dataset:
Whenever GOTO comes up, I have to mention Knuth's beautiful paper that was part of that argument: "Structured Programming with go to Statements" (1974). Some quotes:

"At the I F I P Congress in 1971 I had the pleasure of meeting Dr. Eiichi Goto of Japan, who cheerfully complained that he was always being eliminated."

"For many years, the go to statement has been troublesome in the definition of correctness proofs and language semantics....Just recently, however, Hoare has shown that there is, in fact, a rather simple way to give an axiomatic definition of go to statements; indeed, he wishes quite frankly that it hadn't been quite so simple."

I cannot find anything written by Hoare about it, but Knuth goes on to describe it: the idea is that labels have associated preconditions and GOTOs have the semantics { precondition(L) } goto L { false }.

"Informally, a(L) [my "precondition(L)"] represents the desired state of affairs at label L; this definition says essentially that a program is correct if a(L) holds at L and before all "go to L" statements, and that control never "falls through" a go to statement to the following text. Stating the assertions a(L) is analogous to formulating loop invariants. Thus, it is not difficult to deal formally with tortuous program structure if it turns out to be necessary; all we need to know is the "meaning" of each label."

It is a very nice paper. Some sources:

http://www.kohala.com/start/papers.others/knuth.dec74.html

https://pic.plover.com/knuth-GOTO.pdf

https://dl.acm.org/doi/10.1145/356635.356640
Well one assumes it was the choice of a new generation for a reason.
But that is exactly how corporations work. When I worked at Microsoft more than 10 years ago, they set everyone's exchange storage to a small amount and they auto-deleted old email, but the storage per person was too small, with lots of messages with embedded docs, etc. So every developer was wasting time deleting messages, trying to get under the storage limit so you could send and receive new email. And they were auto-deleting chats after a time. I was in some random group of people that were supposed to preserve material for a lawsuit, but they wouldn't give me more storage, I think what I did was store appropriate emails locally on my desk top.

In later jobs we were using slack and they auto-deleted them after a week or two. We were allowed to create persistent slack channels that were private. This whole area is a waste of time, where the lawyers reduced the legal risk of the company from lawsuits, they transferred the cost to their dev teams wasting time managing this. At this company "our developers are our most important resource" but we weren't that important. I told my manager that all the devs were wasting time with this, probably a few hours a week figuring out if they should "preserve something" to remember decisions that were made. He agree it was a huge waste of time.
While you can't argue with that statement at face value, it's also true that in the past these same companies would be fighting each other and bending to Apple's will for a chance to get on stage during the keynote for any new iDevice launch and brag about how much they support Apple. Heck being featured in a couple Apple ads would by itself justify the development costs of converting your iOS app to work with Vision Pro even if it had zero users.

The fact that this usual circus is absent now (that too for possibly their biggest and splashiest new launch in years) kinda shows just how much their relationship with big developers has soured in recent years.
Yes the technology was there already 15 years ago (minus a nicer UI and a slightly better UX). Researchers despite all the talk about innovation are surprisingly resistant to change
The Vision Pro is a $3500 device. That price point is high enough that very few people will be able to afford it, especially because it doesn't really seem to be a game-changing device.

Anyone with the funds to spend $3500 on what is essentially a toy will almost certainly already have a $10.000 television way more suitable for watching Netflix on. Why spend the engineering effort making an app only a handful of people will ever use?
The feature described divulges information such as "timestamps showing when it was unlocked, for how long, how many finger taps occurred, etc" which is absolutely personal information. And no, it is not privacy-preserving. It is an affront to all cryptographers to use the phrase "privacy-preserving" here given that it makes zero effort to preserve privacy.

Have you actually seen what amazing technologies are worthy of the name "privacy-preserving" these days? You can look up items in a database without the database operator knowing what you queried. You can let a server add two numbers without the server operator knowing what these two numbers are. These are worthy of the phrase "privacy-preserving" in this age.
Little keeping up with the joneses moves like these are always great for a bump in the stock price, its not always to shoot for some metric or business profit
There's an impressive amount of detail about what was actually wrong with the system in the judgements from some of the previous cases; I think the main one is this one: https://www.bailii.org/ew/cases/EWHC/QB/2019/3408.html
Stepping back a bit, it seems that prosecutors trusted the vendor's statement that the software was "reliable" in the sense that it provided accurate results every time, a subset of which is that it was tamper-proof.

WRONG

Not knowing all the details, it seems that no independent regression or red team testing was done on the software, apparently by choice of the PostOffice and prosecutors and by the inability of defendants to gain the resources or clout to do such proof of unreliability, and also apparently due to the closed black-box nature of the software.
One hilarious side effect of this protracted timeline is that its central computer is about as powerful as a Pentium 1 from the 1990s.

Not to worry: it’s being upgraded this year to a computer as powerful as the SoC in the first generation Apple Watch.

“Flying supercomputer” indeed…
I’m not a fan of Trump’s domestic policies, but I’m absolutely sure that he has the moral high-ground over Biden right now. Trump used to be a supporter of Israel and to some extent still is, but he did during his presidency see that the Palestinians want peace more than the other side. I can’t imagine Trump going behind Congress’ back to arm Israel as Biden has done.

https://www.timesofisrael.com/trump-i-thought-israelis-would....

Apparently, those still supporting Biden will throw human lives under the bus for a more comfortable home life.
Oh nice, glad you liked it! End Times came out fairly recently and is largely a continuation of Ages of Discord, might be worth a read.
LinkedIn is great. You'd be surprised how many welcoming people you'll find if you communicate like a real person. But be prepared and don't take personally when someone ignores you or give a bad response. Just move on.

Do extensive research first and make sure there is a real potential that what you offer can be valuable to them. And communicate that. Smaller businesses are much easier to sell to. Startups are even easier, but you have to be sharp, deliver very quickly, and be prepared for a more dynamic environment.

I've sold SWE services as a solopreneur to customers in the US, UK, even Hong Kong. All through direct messages on LinkedIn.
Definitely. I don't think you're wrong to want that but I think people who wants teslas buy them for the tech and cloud features.
I think your last question would be answered in the affirmative if you are using a modern phone. They track everything already.
> However, it is important (from a capitalism angle at least) to realize Apple has never falsely represented things.

I also feel like Apple has generally attempted to be well behaved, even as their market power has grown exponentially from a couple decades ago.

They are not the devil. But they are have reached a level of market breadth and power, that behavior not problematic even a few years ago is now an impediment for the market as a whole.

They deserve kudos for their success.

If they don't contort and distract themselves from more productive advances, by prioritizing holding onto leverage that has become too heavy handed for those they serve (and partner with), they are likely to become an even better company.

Microsoft has done fantastically well since giving up Ballmer's scorched Earth, Windows only philosophy. Ironically, if they had given up that control obsession sooner, focusing more on improving Windows shortcomings, they might have skipped the stall associated with that era and be even more dominant now.
> The streaming war isn't over yet

Competition will never be over. But the chapter that began with ZIRP and ended with Covid has concluded. Netflix won that.

> real war is going to be retaining their user base over the coming years

What characterised the "war" was the massive infusion of capital into a set of competitors who could not collectively survive without a massive burst in consumer spending on content. That burst did initially start to happen. But then it stalled. Consolidation ensued, with those who couldn't make money being shaken out. Those who are profitable, now, are on the winning side. Among them, Netflix is king.

Now they may not hold the users they conquered. But that doesn’t make the win nonexistent. It may just be a Pyrrhic victory.
Apple demands €1M credit from alternative App Stores
This goes without saying, but those in the financial industry should be aware that there are stringent record keeping requirements that apply to things like text messaging, Slack, etc. Quite recently a set of firms were fined $1.1 billion for not retaining text messages, for instance.
As far as rooftop solar, it makes a big difference if solar PV is built into the design process at the beginning, rather than tacked on as an afterthought. Similarly, a household battery might be as common in the future as a household hot water heater (with a similar footprint, size-wise).

There's also regional variability - cities absolutely require utility-scale solar, just as they require dedicated agricultural land to feed the population, because there's not enough surface area in a city. Rural/suburban areas on the other hand are ideal for integrated rooftop solar.
Ok...so with 853 standard seats on the A-380, with a 8 hour long haul flight, and assuming a standard seat occupation at 70%, at an average price of 800 EUR per ticket...We are looking at 477,600 EUR income per flight compared to fuels costs ( with reserve fuel ) on the 108,000 EUR.

So 369,600 EUR for insurances, crew, landing rights, maintenance per flight. Opening an Airline sounds like an interesting business opportunity if you focus on busy routes? :-)
Cities are going to have to invest in lamppost and curb charging. These already exist. The good news is that with a modest surcharge to the base electricity cost, they will produce a stream of revenue that can be financialized to pay for the install cost (which is basically AC wiring.) The billing needs to be standardized (this is already mostly done with NACS/CCS.) It’s low hanging fruit and will happen within the next few years.
From what I've heard many electricians are wary because of old poorly designed back-stabbed outlets, thus anything held by a tiny burr & pressure is forever untrustworthy.
Is that some kind of fork of the open source client big companies use?
No, it just shows that the Apple headset is a niche product.
Created a simple app to test Gemini here:

https://github.com/dssjon/gemini/blob/main/app.py
The amazing thing is there basically were no batteries three four years ago. And they can supply about 10% of the max power demand already. So it feels like the technologies we need are now good to go on an engineering an accounting basis. And adoption can be quite rapid. We're not saying in 50 years, 25 years, 10 years. We're looking at 5 years.
But does it have less space than a nomad?
I don't know the master password for my password manager. I remember the way I type it on the keyboard. Disadvantage being I really need to be in front of a standard keyboard to open the vault.

I also use a keyfile too for added security.
> The sheer usefulness and viability of Urban Dictionary attests to the fact that most people don't actually care about licenses.

Urban Dictionary is indeed extremely useful, but I think making this out to be evidence that people don't care is oversimplifying things. As useful as it is, it's still pretty clear that the licensing (along with a few other lacks, open moderation, etc.) severely holds it back from being as comprehensive & accurate a source as it could be. It achieves usefulness through sheer volume: the vast majority of entries on it are nonsense, there's just so many that there are diamonds to be found in the rough.
It's a mix of a bunch of things. CA is more heating day dominated than TX, and as a result of that, more households use natural gas for heating, whereas you're more likely to see supplemental electric heat in TX than, particularly, NorCal.

(2) high energy costs lead to more investment in electrical efficiency in CA;

(3) high energy costs mean that if you're running an aluminum smelter (for example), you don't run it in CA. Or building a new mega data center. so there are fewer electricity-intensive industrial facilities in CA than there would otherwise be.
> Then, when the true out-the-door price becomes double that, act all surprised pikachu when no one shows up to buy.

Double that plus an additional two year delay, while Tesla sells to the customers willing to buy the $80K+ and $100K+ models.
> You should know this.

Anyone who worked in quantitative trading knows you can consistently outperform the S&P500/VTI/SPY over 20+ year horizons.

Buy and hold passive US equity index funds gives a Sharpe ratio of ~0.7 with annual return of 8-10%. Meanwhile, high frequency trading does upward of Sharpe 10+ with 40-60% annual return, with 10+ year track records, of course.

Hell, even Citadel hedge fund, after their ridiculous 50% performance fee, returned 19% _after fees_ annually to outside passive investors over 20 years. And this is billions of AUM, so the ”quant don’t scale” argument goes out the window.

Why is nobody talking about this? Because the elite politicians and businessmen invest in these very quant funds, and thus suppress any news or regulation. Sucks for middle class professionals with <$5M net worth.
So Israel can't enjoy the same right to self defense that any other state would? They can't conduct a war in an urban environment with an actual intentionally genocidal enemy, and must resort to targeted assassinations? That standard is absurd. Surely you can admit some middle ground ,if you're discussing in good faith.
Huh, maybe this is why big-G hasn't been too concerned about the rise of ChatGPT. As long as they have Chrome, they still have direct access to a huge portion of web users - even if said users have shifted from using their search engine.
Netflix specifically opt out of Vision Pro. Their iPad app won’t be available:

https://www.bloomberg.com/news/articles/2024-01-18/youtube-a...
You mean 0 new plans or info outside the new plans and info laid out on Apple’s development website:

https://developer.apple.com/support/dma-and-apps-in-the-eu/#...

https://developer.apple.com/support/alternative-browser-engi...
Netflix isn’t even on most smart projectors. Doesn’t surprise me at all.
The person you are responded to did not make it about cars. They were responding to someone talking about cars
I believe it’s up to developers whether iPad apps work on Vision, and Netflix isn’t even doing that.
This isn’t an answer or even a disagreement. But don’t they have the #1 best selling car in the world?
> that the dollars held by foreign countries

Ah yes. Countries who also made it illegal to hold gold. There's a reason why James Bond villains always used gold, because gold-users were considered criminals in basically the entirety of the 1st world (ie: USA, Britain, etc. etc.)

When everyone's trading paper notes and pretending that Gold was a thing (when it wasn't, and hasn't been since the 1930s for *everyone* thanks to the world-wide Great Depression), its all just... fakery.

Today's system is way more honest about the fakery, that's all. And even then, the Gold Standard of the 1910s was built upon the ruins of the Silver+Gold standards of the 1800s (essentially stealing the wealth from the Silver Standard / Silver Dollars). Its all fakery all the way back to the US Continental Dollar (which was inflated into worthlessness, almost on purpose, to pay for the Revolutionary War).

As I said earlier: its turtles all the way down. Its fake, and always has been fake since the dawn of our country. The important thing seems to be to keep the units consistent (which we have been doing for decades).

> illegal for people to hold gold

Note that "hold gold" was defined by EO 6102 as more than $100 of gold.

So that's like, 1/10th of an ounce today would make you illegal by 1930s through 1970s standards.
Diesel has efficiency of 40% not 25%.
"for arguably less worse crimes than Putin"

How many civilians have died in the Ukraine and in Gaza?

"to the genocide/domicide in Ukraine"

That's very frivolous use of the word 'genocide'.

"Now it’s taking Israel to court."

Don't you think that it should have been done by the countries which took Russia to the court? They have done nothing. Strange.
This seems like a plausible and powerful business model. Hopefully people reject it.
Hostages are undesireable for Israel, as earlier they die/be killed the lesser leverage hamas will have. Besides, they will all be dangerous to official narrative, as they seem to have been treated ok by the militants.
I can be willing to put up with it in my phone but not in my car. They're both qualitatively and quantitatively quite different.
Apple working on AI-powered Siri and Messages features, with help from ChatGPT
I am willing to buy someone who can afford a 3.5k apple vision pro re-subscribing after letting their netflix subscription lapse if it means watching Stranger Things in like IMAX quality or something
Modern Treasury (YC S18) Is Hiring a Design Engineer
I'm outside the Venn Diagram overlap on this one, but I preordered an AVP and do not have an active Netflix account. I subscribe to watch Stranger Things whenever there's a new season and then unsub until the next one. But I just don't watch a lot of tv or movies in general, so Netflix is right on not pursuing me.
> Whether those attributes are applied toward authoritarianism or freedom is largely up to the developer and the backers and users.

That they can be applied at all makes software authoritarian in nature.

software enables something we've never truly had, which is automated, effective force at a distance.
This is a great blog post! just taking the opportunity here to comment on this:

> Finally for full scale high fidelity load tests there are relatively few tools out there for browser based load testing.

It exists as of a few months ago and it's fully open source: https://github.com/artilleryio/artillery (I'm the lead dev). You write a Playwright script, then run it in your own AWS account on serverless Fargate and scale it out horizontally as you see fit. Artillery takes care of spinning up and down all of the infra. It will also automatically grab and report Core Web Vitals for you from all those browser sessions, and we just released support for tracing so you can dig into the details of each session if you want to (OpenTelemetry based so works with most vendors- Datadago APM, New Relic etc)
I think all the units so far are 3 motor (2 motors in rear) and therefore the rear differential lock is probably (planned to be) implemented by software that keeps the two motors in sync instead of with a physical mechanism.
B.C. to restrict cellphones in schools to protect kids from online harm
Right click is fine, but I prefer much completely loathe gesture UI.

If I had to guess, I've probably lost all progress on something around 30 times just from pull to refresh. I'm not even sure how some of these features are legal without any kind of toggle... I can't imagine they're great for anyone with movement disorders.
> Most biological processes are modelled and assumed as being normally distributed due to the central limit theorem.

Things cannot be distributed where the distribution has values the thing can never have. The time until an event cannot be negative. The cdf of a normal distribution always has a non-zero value at zero. There is no chance a sperm is ejaculated before it's made. That's a logical impossibility. Thus time to first sperm is absolutely not normally distributed.
Google is one generation behind?

Google announces TPU v5p with specs competing against H100 when NVIDIA GH200 Grace Hopper is announced.

>The new pods also have 95GB of high-bandwidth memory (HBM)

GH200 has 282GB of HBM3e memory

>These new pods provide a throughput of 4,800Gbps.

That equals 600 GB/sec. GH200 has 10TB/sec of combined bandwidth HBM3e memory.
Same goes for embedded fonts
Hopefully this isn't a paid extra feature like Mercedes locking the acceleration of the car and offering a subscription to unlock the full potential acceleration.

https://www.theverge.com/2022/11/23/23474969/mercedes-car-su...
I don't think we're actually disagreeing, I'm in no way advocating getting involved in just random politics for no reason. But if you need to actively participate in politics -- campaigning, fundraising, testifying at hearings, writing or meeting with your legislators, calling your local paper and giving interviews, collecting signatures because of policy you need or policy that is going to meaningfully harm you then you don't have the privilege to detach from those issues unless you already have other people who will stand up for you.

But obsessively following news or yelling at no one in particular on the internet about issues, I wouldn't bother either.
You could only get on that stage a few updates into the iOS age. It didn’t release with an app store and when they finally provided one they already sold millions of devices.
That’s normal, you don’t just carry on with your day do what you can. Most of us work with ineffective leadership
"Energy" value of gasoline and "energy" value of a battery pack are measuring two very different things even though they are both units of energy. When you burn gas in an engine, the engine has a theoretical upper limit on its efficiency which is FAR below 100%, and electric vehicle does not. So saying that gasoline has an energy content of 115,000 BTU/gal doesn't mean much since you'll be lucky to see 30% of that be turned into useful work.
Unfortunately for the Palestinians, that is not what was ruled. They were hoping for a full ceasefire like what you have interpreted, but they are very disappointed in the ruling because it does not say that.

What it does say is

1. Israel must do more to prevent the possibility of genocide. Genocide is killing a people with the intent of killing them for the sake of destroying them, and not as collateral damage, so it does not mean stopping all death. Collateral damage, unfortunately, remains on the table.

2. Israel must report back in a month with how they are doing that. For example, they could show lower amounts of collateral damage, an increase in aid, punishments for officials that make statements that could be construed as genocidal, and so forth.

That is better than nothing, to be certain, but it is far from a ceasefire, unfortunately.
You should try immigrating to one of the EU countries... I tried helping a senior programmer friend. No amount of experience, proof or whatever else could change the government's stance - they don't have an employer so they surely must be looking to exploit the social system - bye.