skysight-inc/HackerNews huggingface dataset:
I think we've been there for quite some time. iOS is also limiting certain features based on model like this. The new 15 has certain image processing features the 14 Pro doesn't get, even though they have the same SoC.
The reason humans are wrong is because they are not trained, are paid peanuts, and overworked. Basically they are already being treated like bots.

Even a mediocre chatbot with some in-domain training data is fine for their purpose, which is not to maximally help the customer.
this makes no sense at all
The discussion over whether strong typing is better than weak typing
is settled [1], but not over whether static typing is better than dynamic
typing. Adherents of static typing thinks that the compiler should
check "correctness" by verifying type invariants, adherents of dynamic
typing think that is a waste of time.

I'm firmly in the latter camp. Because the compiler can't check
program correctness only type correctness. Type correctnes is
necessary for program correctness, but NOT sufficient. Static typing
adherents fail to recognize this, thus falsely believing that static
typing guarantees them more than what it actually does (blub).

Consider the article's birthdayGreeting example. Author is happy that
static typing catcges the birthdayGreeting("John", "20") bug because
"20" is not a number. But birthdayGreeting(" ", 123) is not
caught (" " is not a name) and neither is birthdayGreeting("Anna,"
-12335). birthdayGreeting("Anna" 4.5), though, is caught, which arguably
is wrong since 4.5 is an age.

This is actually very important since "type bugs" are trivially easy
to catch, while "semantic bugs" can stay undetected for years. An
account balance stored as a uint that overflows, a number that must be
prime at a certain program location, but isn't, a list that must not
be empty, etc. No, not even dependent types can guarantee these
invariants.

If you don't believe me, read up on some catastrophic bugs. Those that
have caused space ships to explode and cars to crash. To the best of
my knowledge, not a single one has been caused by bona fide type
errors. In the overwhelming majority of cases, the root cause has been
a semantic error.

[1] - Most people don't understand that typing is measured over at least
two axes, strong/weak and static/dynamic, and continue to conflate
weak typing with dynamic typing. C is statically typed and weakly
typed. Python is strongly typed and dynamically typed. Javascript is
weakly typed and dynamically typed.
How would this be amazing? It just sounds stupid and a waste of time.
I knew Never Split The Difference would show up. Do note that when it is mentioned at HN, you will likely also get some comments criticizing it.
Agreed, I moved away from Pixels because of size... I'm hoping for a Pixel Mini someday
I suppose it depends on how long they sell this model. If they continue to offer it for three years, you may be getting a new battery, but the support clock has been ticking the entire time.
I find that Apple indisputably has better hardware and build quality, but Android has the better operating system.
Reminds me of a Ford Edsel.
Man ‘forced to drive electric car into police van’ in Scotland after brakes fail
This is great so far btw! Going to watch this whole talk today.
Make with MakerSuite Part 2: Tuning LLMs – Google for Developers Blog
I hope you don't get hit with a malware fiesta.
If you're talking inference speed, it's probably just because simple words are a single token, but complex words or code are much more tokens so it'll output them "slower" (while in reality each token will take the same time)
I don't know who would be telling you that android phones have better hardware specs. And if I did, I would confidently tell you that they don't know what they are talking about.

Signed, a decade+ android user.

However, will end users really notice the gap? Not really.
Forging a coin (profitably) entails using material which is cheaper than the nominal value of the coin.
I don't think a market for health is appropriate or could function correctly at the consumer level. If I'm ill, I want to get fixed with the currently understood medical best practice and in a timely manner - not look for 'cheaper options'. That is what universal/non-marketplace healthcare is intended to deliver - and to a first approximation does just that in many places, and any rationing necessary is done according to need, not ability to pay.
Divorce happens often and the rates are climbing. It makes sense to follow statistical guidelines.

"Who you marry" is not in your control. People change over the years. Marriage changes your spouse, and yourself. Some people realize what they actually want as they mature.

Most of the smartest, most thoughtful people in the world get divorced. They all thought they had control over marriage.
Yes, and it's highly applicable. But how exactly do you fix that practically speaking? Especially if you are a parent trying to ensure that:

1. Your own child get's a good education.

2. Other people's children also have the opportunity to get a good education?

Your options for solving #1 are in many ways more achievable than the options for #2 requiring only a certain level of sacrifice on your part. Your options for #2 require political action against: School administrators and Education Unions, as well as having conversations like this. Allowing a parent to use the public education funding to choose where their child get's educated is a useful safety valve that opens up the same choices that a wealthier parent has while also adding a useful incentive to a school district to get their act together. If a school district's response is that they need money and you are hurting their ability to improve when more money has not in fact improved their performance in the past then maybe it's time to stop believing them.
The Mind of the Machine
Doesn't the article say it also includes a very large park full of native plants in the same area?
US takes action against Chinese companies, people tied to fentanyl
> Yet you made no reference to it in your poorly executed attack.

I am not attacking you and I did make direct reference to this.

You wrote:

> In practice reasonable doubt is generally ignored by juries.
> Interviews of post conviction juries show they often convict
> people who they have serious doubts actually committed the crime.
> They say stuff like, “If he’s innocent it will be reversed on appeal.”

I wrote:

> While the system is not perfect and errors do occur, the claim
> that juries "generally" ignore the standard of reasonable doubt
> is a sweeping statement.

You then wrote:

> It’s a sweeping statement backed up by actual evidence.

I then wrote:

> Actually your post containing the sweeping statement doesn't
> contain any evidence.

It's correct that you didn't support the claim.

Your own evidence didn't substantiate your claim, it directly refuted it.

You posted a Kalven-Zeisel study comparing the decision-making processes and outcomes of judges and juries in trials which concluded that judges and juries generally agree on verdicts in a high percentage of cases (78%). In fact, it is stated that "when they disagreed, the judge would have convicted when the jury acquitted in 19% of the cases, and the jury convicted when the judge would have acquitted in 3% of the cases—a net leniency rate of 16%". The study that you've given me shows that when the jury and judge disagree, the jury is more lenient than the judge. This directly refutes your subsequent claim that "Interviews of post conviction juries show they often convict people who they have serious doubts actually committed the crime. They say stuff like, “If he’s innocent it will be reversed on appeal”" and indicates that the jury err on the side of reasonable doubt rather than ignore it.

The article you have subsequently posted is about the interpretations and articulation of what "reasonable doubt" means to juries. It does not substantiate any claims about "reasonable doubt" being generally ignored by juries or make any claims about them being more likely to convict. It's conclusions are about how "reasonable doubt" might be better communicated or understood.
I actually really like the strip on my pixel. Being able to support the phone by the bottom of the strip instead of squeezing it feels good.
Watching a diamond point turning machine 'cut' a asymmetric lense or mirror is an interesting experience... the whole machine is shaking like crazy as the diamond point stage is oscillating back and forth in phase with the spinning chuck... and yet the relative position between the diamond point phase and the chuck is held to nanometers tolerance. Pretty damn amazing.

Here's a video: https://www.youtube.com/watch?v=OSafzXRfBM0
Show HN: Facebook pays indie musicians .165% of average
It's amazing how contemptuous so many people are about jobs that are different from theirs that they typically know little about.
For context:

Pixel 5 has a 19.5:9 aspect ratio and 85.9% screen-to-body ratio
Pixel 8 Pro has a 20:9 ratio and 87.4% screen-to-body ratio

So the difference is ever so slightly less impactful than it sounds, but it's still a much bigger phone.
That's why I think I'm going with the Samsung A54. It's around that price (if unlocked), but has decent specs. I eventually want to phase out my 4-year-old A50, mainly for android auto reasons. Need to ask online though, there may be better spec'd phones for the price point.

No replaceable battery, sadly, but those don't really exist at this point.
What I like that you're doing and what I used to do with Python annotations is that you strongly define types for your higher level business logic - which may be encode quite complex formats.

In many ways, your point is correct and kind of difficult to argue against (i.e. I agree!).

What catches alot of people is they say how important types are but then just use 3 or 4 primitive types and never build custom types on top of them so they don't get much value out of those types aside from preventing the absolute worst runtime errors. The real value of types is having lots of them and evolving them over time as your systems and capabilities mature (US street address, US state, latitude, ... the list goes on for any piece of software).
Is there anyone making that claim? Apart from straw-men?

As an example, I was once refactoring a Java system. The compiler was happy after about a day, the unit tests after three days.

So if you claim your type system is going to keep your refactoring safe, I'd say that I'm not the one being delusional.

And of course unit tests also tend to, in practice, catch the errors that are caught by types. If you check that a value is equal to 10 rather than 9, you've also implicitly checked that it is not of type PinkElephant.

Now I perfectly understand the feeling that people who are used to the safety-net that static typing appears to give have when encountering a code-base without types. I have the same feeling when encountering a code-base without reasonably comprehensive unit tests (that fail when I poke into the code-base).

The feeling is absolute terror.

I just contend, with reasonably good justification, that this feeling is not particularly justified in the case of static types, because the evidence is just not there.

I haven't checked what the evidentiary status is for unit tests. But then again, I don't make these sorts of categorical claims for unit tests. I just make claims for my experience with unit tests.
I don't know the etymology, but I think it's more likely that the colloquial definition of "rancid" evolved from the condition of rancidity in other oils, such as animal fats, that render them unpleasant and smelly, as opposed to just tasting different (as in the case of olive oil).
> What I'd like is an exit route for my hardware aka LineageOS. But of course the core of Android is Google Play Services, not the OS so that's a painful situation if you want to retain some apps when you switch over.

I'm not following; it's easy to install Google Play Services on lineage
Are those numbers normalized against inflation?
I am very surprised to find out that people are still unaware that this is happening, I had to mention it to my partner this morning who had no idea (or forgot) since he mentioned having a call 10 minutes after it was supposed to happen.

This seemed like one of those things that has been communicated extremely well? Or am I being shocked by being in the tech bubble once again?

Also I just don't get all the conspiracy theories about this. I mean how long has Amber alerts existed? Or whether emergency alerts existed? This really isn't that much different but is just national instead of more locally based. As long as it isn't abused I feel like this is a good thing to have in place.

One of those, well hope we never need to use it but if/when it becomes a necessity we will be glad it exists.
Asian Games: China censors 'Tiananmen' image of athletes hugging
Banning something is not the main problem, per se. It's banning something the people want. You could ban durians in the US and maybe a couple would get smuggled into an Indonesian neighborhood, but it would never turn into a gang war. If you look at the countries that have banned alcohol, they are also mostly the countries where the culture has strong and effective prohibitions on alcohol, and people police themselves for the most part.
I believe the term is gradual typing?
> It was pretty much a classic RMS talk, with a focus on Red Hat, artificial intelligence, and why kids don’t think free software is cool (hint: it has to do with wanting to be popular, which evidently was never an issue for Stallman).

I chuckled ;-)
Build with Google AI: new video series for developers
I think you make a good point about the ivory towers and the social pressure being a turnoff for adopting certain technologies. Though I also think this doesn't detract from their potential technical merits. As in, a technology can be both great, and have everyone about it be pretentious.

> I find dynamic typing similar to how unit testing is a forcing function for writing composable code, it acts as a forcing function to writing simple code; simple to read and simple to comprehend.

I don't agree with this argument, I think it's akin to saying "I like driving blindfold because it makes me drive slower". You can use linters with limits on line length and number of params if this is a goal for you, no need to go indirect with the restrictions.

I agree that typing is not the only solution, I'm just saying that I think the ROI is massive in types, so I think this should be the first tool people go to. Almost no investment, and a lot of benefit.

I agree with "code is the documentation", I even made a point about documentation in the post, but I argue that typing is part of the code. So "the code is the documentation, and typing is part of the code" is how I'd phrase it.
>I'm really glad to see both the partnership with iFixit and the 7 years of support.

Damn, it may be time for me to move back to Android. Do Pixels require the updates to be sent by your carrier, or do they allow direct download?
Full for seven years according to https://support.google.com/pixelphone/answer/4457705?hl=en#z...
no... the sky is clear, and it's the refraction of light through the atmosphere that's confusing you.
Politics doesn't come into this story at all until about halfway through, when it discusses how Reagan brought politics to this fair and started talking about his platform designed to get white rural voters to the polls. The entire first half of the article is all about what a warm, wholesome community springs up for a week.

I grew up in New Orleans and I think it's pretty damn important to discuss how fucked up and racist the South is. It's not gonna get any better if we keep on sweeping it under the rug and ignoring it like it seems you want to.
Yep. My first smartphone was the A50, which has done well up until now. (Though I may upgrade to make android auto stuff a bit faster)
I don't think that filter would like my post at all, if it considers "is" as part of "to be".
It is but I don't want them and half the crap doesn't work without them. I use MSFT apps and OrganicMaps and that's about it.
OpenBSD: OpenSSH 9.5 Released
No, it's based on a statistical model that incorporates biases, like many statistical models.
So... about the strong part in 'strong static typing':

Many years ago I thought that it's a good idea for a game math library to have separate strong types for 'point' (a location in 3D space) and 'vector' (a direction and magnitude in 3D space), and allow/disallow certain operations (e.g. 'point + vector => point' 'vector + vector => vector', 'point - point => vector', while 'point + point' is illegal).

Sounds absolutely great in theory, but in practice it was a royal PITA to work with, but it took me much too long to realize this (how can it be such a hassle when in theory it's such a good idea!)

I soon went back to a general 4D vector class (where a 'point' is defined by .w = 1.0, and a 'vector' by .w = 0.0), and some debug-mode runtime validation (which catches things like trying to add a point to a point).

Of course strong typing also often makes perfect sense, for instance in a 3D rendering API it should be a compilation error to provide a texture-handle where a buffer-handle is expected, but after this experience with points vs vectors (which should've been a classic showcase for strong typing) I would never again "die on that hill" :)

TL;DR: static typing: yes! strong typing: it depends.
I really REALLY wish TickTick had a two-way calendar sync with anything. That's the one thing keeping me with Todoist. I think they were talking about implementing it eventually. Did this ever come to fruition?
I moved away from Android entirely because of size. Currently on an iPhone 13 Mini, which is riiight at the very upper edge of a reasonable size. I would love to go back to Android if only someone reputable would make a reasonably-sized phone.
Noted. I will turn of my phone from 2pm ET for a while.
Oh there absolutely is. Problem is, many different situations all get thrown under the same umbrella term. Not everyone who gets canceled is in a position of power or a bully. Plenty of little guys have been taken down by online mobs over the years. The important thing is to be able to recognize the difference
> Why not just ignore them? Simply exclude them from any good society, and forget of their existence. They don't decide on anything anyway.

Yeah, f*ck discourse and democracy, there is only one right way you can view the world and that's effective altruism. /s
> So again, why is Canada giving this guy a standing ovation?

I think it was mistake and they apologized for that.
I will never get used to this geo-determined internet (i cannot see the phone's page without a vpn)

is like we developed this new amazing inter-connection network. and then due to politics, decided it was much too good... far too much freedom without national barriers, so we've gone on to reintroduce these barriers.

as if the internet was restricted by the same geographical (physical) realities that we commonly encounter.

but nothing will ever be as dumb as the re-introducing material scarcity (DRM schemes) back into the 'cyberspace' just so a few can keep making money out of what they already did; possibly for several generations of descendants
during the presentation it was more clear that it IS 7 years of OS updates
I've been there a few times & spoken to people who live there. It's beautiful but requires a LOT of maintenance. There are 20,000 bushes and 800 trees. Just maintaining the gardens costs $200,000 per month! There are 113 units, so maintenance itself comes to $1,800 per month per unit.

It's a luxury building in a luxury area.
>will they not just collude in that way that bridge players do, without any overt actions that could be punished?

Currently, they get that for free by virtue of being the same company. If they were separate companies, it would require actual collusion and may, depending on the specifics, be illegal. It's also be less likely to occur since they'd need some motivation to do so. Why would the shower curtain company even attempt to collude with the bowling ball waxing business?
Yeah, like construction is known for its ability to deliver on time.
A VP set a goal to improve efficiency by 10%. The jira team went to work and did their magic. When the fiscal year ended, we had a presentation where it was said that they exceeded expectation. We gained 71 days in productivity, or 19.5%.

Yes, there were some changes to jira's workflow, but they completely ignored that the projects we worked on this year were much easier then the last. We built on top of the new system which we had built the year before. The team was more comfortable with the tools now. That's why we were faster. The jira team introduced more ticket statuses which they implied reduced the time tickets spent dormant.

Long story short, the uptick in efficiency was a result of building a system then working on the system. But Project management software will take credit because they added some new statuses on tickets. When you keep your eyes on the metrics, you miss forest and the trees.
(I imagine you did get some downvotes for your request for feedback because it's off-topic)

Your request is honestly a little difficult for anyone to answer. "As a long-time Apple user I've long suspected that despite the public specs, Android phones are crap. Can any long-term Android users confirm for me whether their phone is crap?"

If there is a long-term Android user out there who finds Android phones to be crap I'd assume they would have long since switch to a different type of phone.
In my country, the United States, we have broad protections for religious beliefs.
A complaint about Links the Cat, the Office assistant
I think you're missing the point of the parent's suggestion.

> Regulators should force companies to open source any games and associated server software that consumers paid to "own", yet companies are no longer willing to maintain.

Nintendo shouldn't be forced to support them, but consumers should be able to continue using them. The hardware still works great, and even if not, we have virtual hardware. This should be no different from me being able to pick up a game of Clue that my parents bought in the 60's and play it. These 3DS and Wii-U games were purchased by millions of people, and they are part of our global culture. People should not have to worry that they are legally prohibited from finding ways to play them.
That's the most ambiguous one.

I'd say both QQQ & QWE would satisfy "press any key, 3 times". It's not necessarily saying to press the same key 3 times. "Press any 3 keys" isn't the same, because I could just press one key three times.
Like technical experts like to be precise but I’m failing to see how their use of rancid is not a synonym for oxidized
Been holding on to my Pixel 5 with GrapheneOS for a while hoping a smaller Pixel is available.

I might consider the non-Pro since it now has a 120Hz screen and is smaller.
He he the machine learning naysayers gonna jump on this one for sure.

Consider a human being designing a scifi styled font; how do they get started? By opening references, of course! To examples of other scifi styled fonts that they do not have the rights to, nor will they credit.

Also consider another human being designing a scifi styled font; but instead one that is not allowed to reference the work of anybody else, as some argue machine learning models ought to do. This human being has no references to open, they have not seen any scifi media, be it movies or posters or fonts or anything else. How can they create something like this without any reference at all to it?

If a human being creates a scifi font, and their inspiration is not references to other scifi fonts but instead, I don't know, a general concept of the "vibe" they got from watching Blade Runner, must they credit Blade Runner for the inspiration? Must they pay the owner of the Blade Runner rights for their use of ideas from Blade Runner?
I have and it's great and I'll probably switch sometime this year. I'm just very subscription-averse.