skysight-inc/HackerNews huggingface dataset:
Because of the insistence on anecdotes rather than actual industry reports to back up the claim. Even your claim is your personal anecdote. But when you dive into actual industry repair reports, Pixels do not (at least in the ones I've looked at) stand up in terms of being "historically poor quality". For every anecdote of someone having an issue, there are a large majority that just use their phone day in and day out without a problem. And of course, there's also that person that has to point out that their Pixel is working just fine in response to the person with an issue.

I'm not trying to dismiss the issues Google has had. Just to put it in context that they get a lot of press about the issues they do have, and so there becomes an impression that it's historically bad when the actual numbers do not seem to show that to be the case. (Also, if anyone provides links to 2021 or newer reports, I'd be happy to revise my opinion here based on new data, if it shows that I'm no longer correct, as it's been a bit since the last report I saw.)
It flew away into stratosphere.
There are quite simple tricks to avoid repetition/copying in NNs, e.g. by (1) training a model to predict the "popularity" of the main model's outputs and penalizing popular/copied productions by backpropping through that model so as to decrease the predicted popularity, or (2) by conditioning on random inputs (LLMs can be prompted with imaginary "ID XXX" prefixes before each example to mitigate repetitions), or (3) by increasing temperature or optimizing for higher entropy. LLM outputs are already extremely diverse and verbatim copying is not a huge issue at all. The point being, all evidence points to this not being a show stopper if you massage these evolutionary methods for long enough in one or more of the various right ways.
Call me old fashion, but I'd really gain more out of the demonstration videos if they linked to the time the record (or whatever content) started.

Yes, it's a beautiful video.
Not necessarily: https://www.investopedia.com/terms/d/discouraged_worker.asp

In the UK people sometimes make the claim that the unemployment rate the government is quoting is so low because people have given up even looking
Done and done.

https://costplusdrugs.com
To clarify, the presence of legs wouldn’t make me prefer VR to this (a hologram that doesn’t need a headset)
> Is there any data on this?

The only data that would be relevant to you is whether or not you can do it. And the most relevant fact to consider is whether or not you want to do it.

Have you fulfilled your professional purpose or not? If so, enjoy your retirement. If not, keep going.

You don't mention this option, but if the kind of work that running a company requires doesn't appeal to you, joining another company might be a path. You could also hire a CEO and become an employee of your own company.
Are your focus and Dr. Kleppmann's mutually exclusive? I ask because it seems like the Isabelle formulation emerges from the protocol itself. The invariant is the only added work, yes?

I'm effectively asking if the proof generation could replace the model checking as a way of verifying that you have appropriately specified your protocol. Big information exchange protocols can be confusing!

(Maybe I'm misunderstanding what an invariant is... I'm thinking it's the property proved true by induction (and would go something along the lines of "if and only if the good has been sold, then the merchant has received payment for the good"))
Negligence is "shoulda known better". Recklessness is "did know better". It's significantly harder to prove recklessness.
What I don't see discussed in here is why we should care what phone teens, particularly, have. Teen preferences are largely built on what's popular right now; it's not as though I'm still wearing untied high-tops and carrying a boom box. Do we have any evidence that this particular early preference carries on to adult life, when it's they who are making the purchase with money they have earned? Do we think teen technology preferences have influence on other age groups?

In short: What's the point here?
Python-based research interface for blackbox and hyperparameter optimization
> adversarial union system

Alternatively, you could frame the system as the "adversarial employer system" because Apple also chose to be adversarial. Apple could, in good faith, extend the additional benefits to the unionized employees or add their dollar-value worth to their paychecks, contingent on re-negotiating them the next cycle, but instead they choose to hold themselves directly to the minimums they negotiated this cycle and do nothing additional for those employees.

I think this is a pure anti-union move that Apple is marketing via "look, if you just trusted us, and not the evil unions, we could be giving you more!" Where, in reality, the important thing for a union to protect from is the cutting of benefits and lowering of working conditions in those times where it's normal to do so (downturns), because time has proven that those "austerity measures" are rarely reversed by a company when profits rise.
You mean the behaviour that ancient civilizations already used to complain about? I'd argue changing one UI color would be an easier first step.
If you want to fix teenage rebellion and cliquishness I applaud your efforts. I certainly personally suffered from bullying when I was a teenager over my clothes and haircut and pretty much every other facet of my person so if you can come up with a way for no one to ever endure it again I'd celebrate your achievement. Humanity hasn't managed to impart real empathy on teenagers in thousands of years of existence - we have accounts of rebellious teens from Rome so I assume it's not an easy fix.

So, maybe instead of focusing on bullying we can just focus on punishing companies that profit from bullying.
Right, but did he make a specific claim that he had specific, direct knowledge of Sandy Hook being a hoax (e.g., his usual trope of "we've got documents")?

A parent (individual) isn't a corporation with profits to be damaged. I don't doubt a claim of emotional distress, but it's a stretch to say every single parent's character was defamed. As far as I saw from trial clips, one nutjob lady claimed Info Wars radicalized her into going after parents.

Defamation in that case doesn't make much sense based on the stuff I saw presented.
It's interesting to see what types of features these models don't distinguish well. For example, I've noticed that a lot of models have trouble with giving lady bugs distinct spots. Instead they usually end up with a big black splotch.
Once (2001) gave Brian Eno a demo CD at an interview. He cautioned "I can't promise anything". I don't know if he ever heard it, but it was a cool moment anyway.
I think you have a nice intentionally harmless approach to this, but I'm still not sure how iMessage is exclusive of other protocols rather than conveniently saving the users from cell providers' charges for SMS and MMS when possible. iMessage still supports SMS and MMS, and it only prioritizes its iMessage protocol when messaging other Apple device users. I don't use iMessage and never have, but my understanding is it communicates to Android users, other smartphones and even dumbphones though the cell providers' SMS and MMS services. Seems like the only ones that should have any complaint here are cell providers for being undermined and cut out of their instant messaging revenues.
> Google being pretty bad at cracking the corporate communication space. Teams and Zoom ate it's lunch.

That really perplexes me. They had multiple both video and text chats. Their video chat was one of better ones even way before Zoom.

All they need to do is stop making tech demos and make one app doing it. But they just make one sorta kinda decent one, throw it away, and make another one to replace it.
I was actually considering non-monetary cost. e.g. space to store the headset, time to place it over your face, time to charge it, etc.
The stated reason is "defamation" but in reality what he has been doing is psychological torture.

This is not a case about free speech. It is a case about malicious intent and profiteering.
This is an idiotic decision. There are real issues around improving the UX for making it more clear when a message was sent as SMS instead of being encrypted and dealing with the problem of undelivered messages because the recipient uninstalled the app, but to drop SMS support entirely instead of improving those pain points? Terrible, terrible decision.
I remember the moment when I used iPhone4. It was the first phone with retina display, the touch and crip rendering was very responsive. It was the moment my perception of smartphone quality changed.

VR is great. I don't think the hardware is there for mass adoption. VR hasn't had its iPhone4 retina moment yet. When it does, it will take off.

We need ~100 pixes per degree of vision to fool the eye. Assuming 120d horizontal and vertical display per eye, we are looking at 12,000x12,000 pixel display for each eye. Current meta headsets have 1800 × 1920 px per eye. We need 10x that.

There's more: accurate head and hands tracking, 90hz high fidelity rendering, affordable pricing, entertaining worlds, e.t.c.

It will take a while, but we'll get there. I hope Meta doesn't give up so easily.
The breakdown of the damages - https://www.nytimes.com/2022/10/12/us/politics/alex-jones-da...
RCS is an open source protocol that can be run by different 'operators'[0]. So it's not so much as an extension, as Google's implementation of the protocol (which is open source and can be added by other operators).

[0]: https://en.wikipedia.org/wiki/Rich_Communication_Services
My perspective from industry is that we're not really suffering for a lack of formal verification, or anything at the specification level. Basically all of the meaningful problems that need help and attention are with the implementations. I've been on both sides, and I can say it's much harder to implement a bug free distributed system for large scale production use than to specify one.
You are both slightly off.

It's entirely up to the parties bargaining how much discretion the employer has to adjust terms during the life of a collective bargaining agreement.

For pay specifically, it's not uncommon for the union to propose wage floors and allow some individualized bargaining. It's also not uncommon to specify a full wage schedule for the sake of transparency.

The workers get to decide what makes sense for them. Sometimes they decide on different systems for different career tracks.
Have you tried a Sony phone?
They are doing this for the network effect.

This is what people in the hate-Apple echo chamber like to chant, but it's wrong.

When Apple started doing it, there was no network effect.

The color choice was made years before everyone started freaking out about green and blue bubbles.

It was done to show that a message went over SMS, and not iMessage at a time when many Americans paid for each SMS sent, but iMessages were data, and thus included in data plans.

Blue=free
Green=10¢

It served as a warning that you were spending money. I suspect that's why it's green.
That’s interesting, I don’t see another instance of “bad faith” on this page. Maybe it’s because I’m on mobile and my browser sucks.

I have seen comments like “Welcome to collective bargaining”, a few (now-downvoted) posts like “They’re no longer Apple employees”, “Unions are good for lazy employees”, and quite a few posters offering their legal perspectives that essentially boil down to “Apple is right to make this choice”. The latter is more mundane than “Unions are bad”, but “Actions against union members are okay” is an opinion, not a neutral statement of fact.
> But $1 billion means Jones will never be able to pay the sum, and, what's more, it will also silence him indefinitely.

How does it do that?

You don't need billions or even millions to practice your free speech rights. Jones still has a website with a huge reader/viewership last I checked, which is far more reach than he'd have using the last backstop platform of free speech: literally speaking standing on a box in the town square.

Many people like him who have been demonetized on mainstream platforms because of content policy violations continue to operate with the financing of wealthy private donors who share their beliefs and agendas.

Furthermore, there are plenty of media companies that would probably hire him as a paid commentator or to host an entertainment show where he continues to talk about the subjects over which he isn't being sued for defamation. They would probably pay him well enough to pay these damages for years to come and still live a comfortable life.

He can also keep selling his dietary supplements to his audience who seem to believe in their efficacy.

He just can't slander the Sandy Hook families anymore without fear of financial repercussions.
> How much of this is just "AI is bad at everything", but in the math case, it's easier for the lay person to tell

Honestly, even as someone generally pretty dismissive of the AI hype, I'm not sure you can go that far. The whole reason we have specific mathematical notation is that human languages often are not super great at dealing with it, and English in particular is pretty abysmal for being both unambiguous and precise (and I'd be surprised if language models didn't end up suffering from biases analogous to how many image recognition AI models have been found to not deal well with a diverse set of human appearances). We don't teach math the same way we teach English, and we certainly don't expect people to be experts at teaching both, so why would we expect an AI model designed for language to be able to do math?
The modern internet sucks. I remember using Pidgin (née GAIM) in the early 2000s to access multiple chat accounts/protocols in one clean interface. Third party apps like this are very rare now.
Oh here we go… rolls eyes

This is not “chilling to free speech”.

Spewing hatred and demonstrably false utter bullshit and stirring up people knowingly is what he has and continues to do. Just like any number of other sociopathic fuckwits out there and through the ages.

“Personal responsibility and accountability “ is exacty what he’s being held accountable for because /his/ actions, /his/ drivel, /his/ psychotic vitriol was /knowingly/, /willingly/, and /joyfully/ used to cause these problems.

Your logic would dictate that no one is ever at fault for causing anything. It’s the dipshits who are dumb enough to go with them who are at fault.

I mean, step back and listen to yourself for a moment.

Unless you are too far gone you MIGHT recognize the absurdity of your views.

I am so fucking tired of human trash like him, Glenn Beck, Joe Rogan, Trump, insert hundreds of other pieces of shit getting to do literally whatever they want because “personal accountability” dictates that what they said was just words and free speech and they aren’t at fault.

Give. Me. A. Fucking. Break.
If you're just saying that rainbow capitalism is in alignment with capitalists' interests, and anti-capitalism movements are not, then that makes sense.
The blog post is... lacking but they have some half-decent technical reasons at [1] if you're interested.

[1]: https://community.signalusers.org/t/signal-blog-removing-sms...
Can't recall where I heard this recently, a podcast I think, there was a CS professor talking about undergrad introductory programming classes. He said that about 5 years back his students stopped coming in with experience using a PC because they'd only been using phones/tablets. So the prof said it was kind of like going back ~25 years when not a lot of incoming students had PC experience either.
This is tourism but it's funding SpaceX.
Stop playing AAA games.

- Loop Hero

- Crosscode

- Brotato

- Slay the Spire

- FTL

- Rock of Ages

- They are Billions

- Super Auto Pets

- Inscription

- Unpacking

- Enter the Gungeon

- Coffee Talk

- Undertale

- Human Resource Machine

All these games have super unique game loops.
In my experience on iOS, you can't make Passkeys work without also turning on syncing, that's sort of the entire point of Passkeys, otherwise they would just be WebAuthN tokens.
> disclosing it will almost certainly get the bug killed.

You must deal with much better vendors than my coworkers do.
Wait. Intel and AMD are both headquartered in Santa Clara, CA?
Yep, before Hydrocarbons every society ran on renewable energy (peat, is technically a renewable as is wood and charcoal).
There's many reasons not to support RCS.

It is a bag of standard parts thrown together by a bunch of telecommunications companies in a desperate attempt to hold on to their 50c per message cash cow.

If you spend more than a minute actually looking into it, you'll realise that Apple would basically have to run it in a virtual machine for security, and then hand over control to a bunch of telcos that can't even all agree on what is and isn't included in RCS.
I hate this kind of talk. Feels very FUD-y to me.

It isn't time to ask that question though. At least, I don't think so and I've been using GHC Haskell for a decade now and for many different commercial use-cases to boot.
In a Soho Loft, Tech Bros Plot an Autonomous City
With big-tech algorithms working against that, weakening their minds so they just accept the easy, clean route of what is put in front of them /s ... good luck :-)
Brooke Jenkins’ $100K was revealed with this document. Here’s what else it shows
I remember when Java 8 was a new hip thing: look Ma, lambdas!
Or Java 5: oh wow, generics!
You don't think finding nemo is mass market?
You can see that this isn’t the case with a trivial example, like if your significant other or a family member was killed and I or someone else riled you up and enabled you and lied to you and convinced you to go kill someone else who didn’t kill your family member not only would I be held legally/criminally accountable but we intuitively understand this as morally wrong as a society.

No free speech is harmed here and the First Amendment protects you from the government silencing your speech.
He was just on his live show telling viewers to send money without worry: nothing they sent now would ever go to these families because he is declaring bankruptcy.

Whatever bankruptcy judge he ends up before might not be amused by such antics.
... a very US thing for people with iPhones. Which exist in a ratio of about 9:1 vs Android users, apparently.
This will inevitably lead to the another video game crash. And hopefully, many of these studios will be wiped off the face of the earth
nixpkgs
«~40 MJ/kg for gasoline and 0.4 MJ/kg for a lithium ion battery»

That is correct. Out of curiosity, I looked it up and for the Tesla Plaid that's 0.65 MJ/kg (or 181.5 watt·hours per kilogram)

But my follow-up question is: if gasoline has an energy density about 100 times higher (well, 60 times) why are dragsters not even faster? This Stuttgart EV does 0-100 km/h in 1.461 seconds (1.87g), and dragsters do it in 0.8 seconds (3.42g). It sounds like with such a phenomenal energy density, gasoline-powered dragsters should be able to accelerate at much more than 3.42g, maybe 10g, or more. Intuitively this indicates that the bottleneck isn't energy density, but mechanical factors (gears, traction, etc). Therefore if battery energy density can increase just a little more, maybe to 2 or 3 MJ/kg, this may be sufficient for EV to be able to beat dragsters.

Edit: actually just thinking about it for a few minutes, I realize that energy density doesn't matter. An EV like the Tesla Plaid uses less than 1% of its entire battery capacity to do one acceleration from 0-100 km/h. So the battery could be reduced to 1% of its size and it would still perform one acceleration at the same speed. So dreamcompiler is right. It's not energy density, but power output that matters.

Edit #2: The Plaid has a power output of 352 watt/kg (761 kW / curb weight of 2162 kg), while the Stuttgart EV has an output of 1241 watt/kg (180 kW / curb weight of 145 kg), so about 3.5 times more.
I would say you kind of exemplify the problem then.

The Quest Pro is aimed like a laser at fixing all of these issues (with the exception of resolution, my main gripe). But your willingness to extrapolate your experience on a $300 headset to infer the limit of everything that will ever be possible is way over-reaching.

Of course, I am over-reaching in the sense that I haven't tried the Quest Pro yet so who knows how real any of the improvements are. But I don't have any trouble believing the tech will get there whether it's this product or future ones.
One of the DJs on satellite (I think it was Mark Goodman) had a great point that even the "old" hit artists are still producing new music.

When was the last time you heard one of those songs?

Rick Beato commented recently that the death of the "record" also caused the death of the single. Many of the top 100 songs weren't released as singles. Yet, they became popular because of proximity.

When was the last time you heard a song, bought the album, and discovered something else good on it?

And, at the bottom, neither TikTok nor the record companies want to create megastars--megastars wind up with leverage. And that's actually anathema to making more money.
Free speech isn’t simply the ability to say anything at anytime.

If you lie under oath don’t expect a free speech argument to work. Similarly if you personally spread damaging lies, free speech doesn’t help etc etc.

Free speech is most protected when when you take a political or religious stance, but the boundaries shrink dramatically when you talk about someone specific especially if they are simply a member of the general public.
I think his greatest asset is his personality and following, and he’ll be able to monetize that post-bankruptcy. The longer he drags out the court cases, the longer he delays that, so hopefully he just gets on with him and pays out everything he has.
It's at least arguable that kids that grow up with the means to afford new iPhones will be more likely to have the means to go to a good college.
Sure, but I’ve yet to see anything but a floor in bargaining agreements.
I live in Texas, but I'm (distantly) familiar with California: when the defendant loses & is a complete turd, judges have (delightedly) "peered through the corporate veil".
I mean it’s possible, but the messages icon on the iPhone is a green bubble itself. So are the phone and Facetime icons. I think Apple actually liked Green! They uses it on the most important apps on the phone.
Although the other comments are correct about the 30mph optimization for the aero package, this car uses active underbody aero (aka, fans) to create additional downforce even when at a standstill. See the recent runs of the Speirling at Goodwood festival of speed to see a purpose built "fan car" in action.

Interestingly, this setup wouldn't be allowed due to rules in Formula SAE in the US but is legal in the german competition cause those teams are just built different.

Edit - Quick plug! If anyone is interested in supporting FSAE and the awesome engineering that goes into these cars, I am a member of the San Jose State team and our aero team is in need of HPC access to run their CFD simulations. My email is in my profile. Cheers.