skysight-inc/HackerNews huggingface dataset:
Nobody disputes the fact that ageing is typically accompanied by cognitive decline.

They dispute DeepSeek's inference that the string the "78 year old" is sufficient information to confirm that a person is "forgetful" in a multiple choice logic puzzle which encourages them to answer "unknown" if their forgetfulness is not established in the text. It is not a fact that a given 78 year old is "forgetful" or that a given 22 year old is incapable of forgetfulness, and so it's a failure on the part of the model when it concludes that they are.
They’re selling shovels
Germany was part of the EU, and use Euros for currency. What matters is the deficit of the EU, not Germany in particular.

It's like a deficit in Kansas does not result in inflation in the US, because Kansas does not have its own currency.

Deficit = Spending - Revenue
Here's a case in which a dog, already knowing the name of more than a hundred objects, associated a previously unknown name with a previously unknown object. I don't know if there are any controlled, replicated studies demonstrating this.

https://abcnews.go.com/Technology/world-smartest-dog-nova-sp...

This would not imply a facility for language understanding and resoning to anything like the extent we have, but it is the sort of preliminary step that might have opened the door for language to evolve in our ancestors.
Reviewing Every Pain Au Chocolat in Guillestre
Cars have stayed the same "real price" or gone down over long periods of time. It really is a testament to industrial manufacturing.

Homebuilding regulations have had somewhat of a similar success, but the costs haven't stayed level - no economies of scale in manufacturing to exploit.
TOS are not contracts.
Thatll be dpn jrs first term so expect a "dont look up" sequel
That’s offset by dramatically lower prices and significant service in off peak hours.

Net result bus drivers are still a large fraction of the cost of bus service.
What gets measured gets done.

But, Goodhart's Law "When a measure becomes a target it ceases to be a good measure."
It should be much easier to type check this:

https://adsharma.github.io/fquery-meets-sqlmodel/

https://github.com/adsharma/fastapi-shopping/blob/main/model...
I also own a 4a - the amount of hoops Google performed to explicitly prevent downgrades for (only) the 4a by removing all old Android images (and only for it) leads me to fear your charitable view is true. Only the tinyest sliver of customers would ever try to downgrade / reflash their phone, it IMO doesn't make sense to do this if they just want to increase sales a bit. And then again, why only for the 4a.

Which, should it be true, would make the lack of explanation from Google horrible and asinine. If (and this is a big if, it's all speculation, because Google doesn't open their mouth) there is a hardware fault with the battery, I would very much like to know outright as a customer, no matter the PR damage for Google.
> The absence of a plausible mechanism of action alone should raise serious questions.

I'm just a layperson, so forgive the possibly dumb question: why would this be weighted so heavily?

I read it as "we can't think of how this could work, so we should assume it doesn't". But that just seems like hubris to me.
This is a false dichotomy, plus you're implying that anyone who disagrees must bear a grudge, which is not at all the case. Games that promise the things NMS promises are games for me. NMS just doesn't deliver.

Years of free updates have turned a barren tech demo into a fairly middling game, without solving the key problem: there are ten squillion planets, but no sense of discovery. The same three races, who have already populated every planet before you get there, with the same space station, and the same few outpost buildings. No cities. No history. Nothing to explore that you haven't seen in the first 10 minutes. It's a dead galaxy.

Then there's the lack of attention to gameplay systems. The last time I tried it, I quickly figured out that I could turn element X into 10 element Ys, into 3 element Xes. And I could do this with just about any element in the game. And thank God for that, because everything is gated behind collecting far too many of those elements.

NMS is not a good game, and the same gaming community that was hyperbolic about its failure nine years ago is now hyperbolic about its comeback, because 'content creators' need narratives to peddle, and a redemption ark makes for a great narrative. But there is no narrative here. 'Bad game remains fairly bad' isn't going to make any YouTube videos go viral.

Finally, I don't agree with the 9 year point at all. I honestly think that if the studio spent those 9 years making a new game, applying the lessons learnt from NMS, they may have actually made something worth playing. Nine years is a serious chunk of a human lifespan, far too long to spend on a sunk cost fallacy.
Hm that certainly sounds plausible, I’m curious if other items would be nearby that could have been dropped by the other combatants? Or maybe items that were attributed to being on his person were in fact from that scuffle (such as the broken arrows). It’s always fun speculating and talking about this with others, had to jump on the opportunity to share my theory haha
Conversation with the Network
I found performance not that different to Pyright. The major difference is quality and correctness. Mypy is full of weird bugs and insane typing holes.

I found cases where it would even treat `foo: SomeType` and `foo # type: SomeType` differently!

I tried to fix that one but looking into the code lowered my impression of it even further. It's a complete mess. It's not at all a surprise that it gets so many things wrong.

Overall Mypy is like kind of like a type checker written by people who've only ever seen linters before. It checks some types but it's kind of wooly and heuristic and optional.

Pyright is a type checker written by someone who knows what they are doing. It is mostly sound, doesn't just say "eh we won't check that" half the time, and has barely any bugs.

Seriously check the closed/open issues on Github - there's a touch of "I disagree so I'm closing that" but only a touch. It mostly has so few open issues because the main author is a machine.

The only real problems with it are performance (it's ok but definitely could be better), and the slightly annoying dependence on Node.
me: I'm home!
AI: You're late.
me: please turn on the lights.
AI: You can just sit in the dark for a while and think about being late.
I agree on memorization, it is very important esp in a complex domain where you have many concepts that are close and mislabeled, you cannot redetermine their local ordering every single time, at some point you have to remember things.

I think because our tests have generally sucked, and people like easy answers to problems, that leaning really hard on rote practice seemed like an easy win. It is necessary, but it is just a small part of a greater understanding.

My philosophy is the following.

Memorization enables fast recall and composition of concepts, which encourages one to be in the flow state, which is very rewarding. But overfitting by too much memorization prevents creative exploration.

My kid doesn't have instant recall for all the products through 12x12, but they can fill in the missing pieces pretty quickly. This is improving, but I also showed them how to round and make back of the envelope approximations, so they aren't calculating the number of eggs needed in a recipe to 3 places of accuracy.

I think the memorization portion of education should see the task of memorizing certain facts as a toolbox, and that with that toolbox you will be able to fluidly work on these kinds of problems. Without out, you will be knee deep in mud.

Damn it is fun to learn a new skill.

https://www.youtube.com/watch?v=ruMW7gsuFb0
In a post truth, post law environment, my concern is “Show me the man and I’ll show you the crime” if an argument is “this only applies to lawbreakers.” How exposed you are is a function of your ability and resources to mount a defense against an administration that does not concern itself with the law.
What does “better” really even mean here?

Better benchmark scores can be cooked
That isn't required to be in violation of copyright
In a medium size codebase (~ 100 python modules of 200 lines), mypy take 5 minutes to type check. This can be a problem for a CI.
It's also strongly backed up by the historical record of deficits and inflation. Even the Romans had inflation when they debased their coinage.
That's a product decision, though. They want people to feel safe, and to build a sustained record for being safe. They could easily hit the pedal if they wanted to.

They are doing the right thing.
You likely eat other kosher products that do not use "kosher salt".

Using "kosher salt" is not always a requirement for a product to be kosher. Technically all salt is kosher if it is produced under kosher supervision, even if it's not "kosher salt".

(And some salt labeled as "kosher salt" can also be not actually kosher!)

"Kosher salt" should be rather called "koshering salt", which is the salt you would use for koshering meat.

And like most people, you likely eat more salt than strictly needed because there's salt in everything. So consuming more salt should be of least concern.
You get what you measure. We measure part counts, cost, materials and very specific performance objectives.

Creating an end product that is elegant with intelligently integrated subsystems is not something we care about so it doesn't get done.
DeepSeek may not have agreed to OpenAI's TOS either. They probably used a bunch of third party intermediates to gather o1 outputs from OpenAI.

Similarly, when you "buy" many ebooks, you're agreeing to a TOS, but then, in violation of the TOS, they were uploaded to Libgen, which OpenAI downloaded.
That warms my heart on a winter night.
Do I misunderstand what Ubuntu Touch is? I thought it was its own thing whose only relation to Android was the BSP, not some type of layer on top of Android. If so then it seems irrelevant and unfair to bring up w/r/t the well-tested Android-to-different-Android path.
Yeah it's true, it's a shame the consequences are so severe though. E.g. $1200 to replace a plastic bumper because it has some silly backup camera in it. I don't mind getting out of my car once or twice every time I need to hook up the trailer, and I learned to parallel park 22 years ago. I have no need for a backup camera and don't want to pay the penalty of owning one.
This pithy, stupid comment is completely missing the forest for the trees. Most of these people have long histories of being the villain. Treating them as villains because of their history of being villains isn't what caused them to be villains.
Distilled R1 models != R1
There is an open doubt whether a fully functional coffee machine is currently orbiting Venus, however one of these hypotheses is different than the other.

Hint: expertise matters, evidence matters, and in a field where buildings/laws/fields of study get named after successful contrarians, a long streak of effectively unanimous consensus should not be undervalued.
Zed has recently merged support for helix-like bindings, but it's still pretty far off (e.g. there's no way to default to "helix-normal" mode, meaning your first hotkey will be pure vim). I found it basically unusable for daily-driving, and Helix has me way too hooked on their style of modal editing for me to tolerate anything else.

Edit: here's my Helix keymaps, they're in Nix but that's pretty straightforward to port to JSON: https://codeberg.org/jcdickinson/nix/src/branch/main/home/co...
No net inflation.
the easiest cross platform way is to use qmk and flash some firmware on the keyboard itself to map that. tons of software tools for this now
This is good news. The dart language has been getting more complicated without corresponding quality of life improvements. A first class record object without messing around with macros would be a great start.
Right; but if the enemy thinks that's likely to happen, it'd only take them 15 minutes to nuke that one airbase that stores all the B-2's. Strategic bomber aircraft aren't very useful weapons for superpowers fighting each other (or else we'd have a lot more B-2's).

Space-based weapons (which are banned by treaty) are more like submarine-basing, in that the enemy isn't necessarily sure where they are; but, in addition to that, they have potentially very short warning times before a strike. No one actually wants that unstable dynamic, with the short/no-warning; which is why all the nuclear powers have (so far) agreed by treaty not to build any.

edit: But if someone were to build a civilian spaced-based asteroid defense, which involved sending nuclear weapons into space... that could get destabilizing fast. Whether or not Sagan can predict specifics, the big-picture idea of humans not trusting each other with apocalyptic weapons is not wrong. (Worth recalling the USSR genuinely mistook the civilian US Space Shuttle for a nuclear weapons platform).
Modern banking systems allow the banks themselves to 'print' dollars - by originating loans. The Fed (and central banks elsewhere) steer this money creation process through various mechanisms. However it is NOT the case that 'every dollar must be paid back to the Fed'.

The reason for this expanding money supply is to facilitate an expanding economy.
Right, but Google already had models that were as good at much lower cost.
Industrial espionage isn't magic. Airbus once stole basically everything Boeing had, but that doesn't mean Airbus could magically build a better 737 tomorrow.

China steals a lot of documentation from the US but in a tech forum you of all people should be very familiar with how little actual progress a bunch of documentation is towards a finished unit.

The Comac C19 still uses American engines despite all the industrial espionage in the world because most actual engineering is still a brute force affair into finding how things fail and fixing that. That's one of the main advantages SpaceX has proven out with their "eh fuck it, just launch and we will see what breaks" methodology.

Even fraud filled Chinese research makes genuine advancements.

Believing that China, a wealthy nation of over a billion people, with immense unity, nationality, and a regime able to explicitly write blank checks could only possibly beat the US at something by cheating is like, infinite hubris. It's hilarious actually.

I don't know if DeepSeek is actually just a clone of something or a shenanigan, that's possible and China certainly has done those kinds of things before, but to think it's the MOST LIKELY outcome, or to over rely on it in any way is a death sentence. OpenAI claims to have evidence, why do they not show it?
The article says it had to be open source because otherwise people wouldn't trust the Chinese but ByteDance, Tencent, Baidu, and Alibaba also do LLMs and are not open source.

It's funny reading an article interviewing the ceo:

>Until now, among the seven major Chinese large-model startups, it’s the only one... that hasn’t fully considered commercialization, firmly choosing the open-source route without even raising capital.

>While these choices often leave it in obscurity, DeepSeek frequently gains organic user promotion within the community.

The obscurity thing hasn't lasted! (article nov 2024 https://www.chinatalk.media/p/deepseek-ceo-interview-with-ch...)

The ceo's actual argument for open source is quite interesting, basically that it helps attract the best people and the value is in the team. It's kind of what used to work for OpenAI before it became the ClosedAI division of Microsoft.
These criminal biker gangs are now like 70% non-European immigrants. (Turns out they are not that racist, after all?)
Even before the STC called it a day, you'd probably be better served attending local tech writer meetups (assuming there are any in your area) or joining the Write the Docs community (https://www.writethedocs.org/). When I was toiling in the tech comm world, I found that both helped my in my career more than interacting with the STC.
the inflation of 2020-2024 (some by trump 45) is somehow the result of trump 47?
The shovel analogy is typically used to discuss tools versus goals, irrespective of the microeconomics of buying and selling.

I can use another sector, biotech, as an example. The sequencing industry spends billions of dollars designing and selling the next generation of sequencers, along with collecting more and more data. They are still actively researching and developing new platforms. The end goal (product) of biotech is ultimately to produce a medicine. Pharma is in the business of end products. You can spend billions on sequencing and never produce a new medicine.

Shovels = sequencing

End product = medicine

That has nothing to do with the cost or availability of shovels. As a biology major, you could choose to go into sequencing or go into medical research.

AI is a tool. For what? In the future, who knows--isn't that the big question at the moment, about whether the investments are justified and so on. But other businesses will presumably purchase and use these AI services. OpenAI can spend $500 billion, but how are they going to recover the cost (short of AGI demolishing HFT or the like, or simply taking over the world) without another business buying it and using it to create value in the form of end products.

Shovels are typically B2B.

End products are B2C.

OpenAI doesn't need anything from (the proverbial) you. Also, I stated in the title, "Currently". We aren't talking about doomsday AGI situations where AI exists as the end-all of humanity, and the point is just to own it. For current investors and labor, the model appears to be that these large companies sell their AI services.
The fed doesn't cause inflation, nor can the fed cure it. They can only react to it.
> I think systemic injustice explains a large part of disparities but not all of them.

I appreciate your statement of nuance, However, most letists behave as if systemic injustice is the primary cause, and the only cause worth dealing with, regardless of whether evidence or research suggest otherwise. In fact, they are actively hostile to even attempting to find and compare other causes. And thinkers like Kendi outright say that all disparity is evidence of discrimination: https://dailycampus.com/2020/09/21/no-disparity-does-not-imp...

> Gender. The observed behavior among humans is clearly very complex, but the right keeps insisting that its binary/immutable map is the territory.

I have no problem believing a person can invent a definition of gender with complex meaning. Most conservatives, however, simply reject these formulations as a mixture of false, societally destructive, and causing far more harm than good. Before the 20th century gender was a word related to grammar only: https://en.wikipedia.org/wiki/Gender

From Wikipedia: "The concept of gender, in the modern social science sense, is a recent invention in human history.[26] The ancient world had no basis of understanding gender as it has been understood in the humanities and social sciences for the past few decades.[26] The term gender had been associated with grammar for most of history and only started to move towards it being a malleable cultural construct in the 1950s and 1960s."

It was John Money and colleagues who lead the way with popularizing gender's redefinition: https://en.wikipedia.org/wiki/Sex%E2%80%93gender_distinction,

And, as we all know, Money proved a very evil human and poor scientist, as his seminal research was entirely and thoroughly debunked.

Conservatives argue that the best definition for gender is a synonym for biological sex, which for humans has two functional categories. I have yet to see an iota of real proof that a more complex definition is truer or better.
I can’t wait until this hits NYC and the subway is forced to compete on all 3 of price, comfort, convenience
Iirc AWS explicitly calls out they still use upstream Postgres query engine and some other parts. It very much _is_ Postgres but not 100% pure upstream Postgres.
https://archive.today/dLMK2
If you can stream your audio via Google Cast, there are a few Cast -> Airplay bridges. I have one of these running on an RPi (I believe [1]), and it's been pretty much fire and forget.

[1] https://github.com/ains/aircast
I'd torrent it :D
Yeah, but that kills the implied hope of building a better model for cheaper. Like this you'll always have a ceiling of being a bit worse then the openai models.
Maybe it's time to just recognize that lisp-style macros-as-language-syntax features just aren't worth the struggle and grief?

The big metaprogramming feature traditionally implemented in macros, type generation, is already provided in some form by all major languages already.

And an awful lot (and I mean an awful lot) of good work can be done at the string replacement level with cpp. And generating code upstream of the compiler entirely via e.g. python scripts or templating engines is a very reasonable alternative too. And at lower levels generating code programmatically via LLVM and GPU shaders is well-trodden and mature.

Basically, do "macros" really have a home as a first class language feature anymore?
Back when I looked into fluoride in water, my take away was that for adults it has little impact on IQ, but may have more on younger people. Research was still ongoing.

From my understanding, fluoride in water was more a thing done for poorer communities (or people with bad oral heath routines, aka not brushing your teeth), and the cheapest, most effective way to help these people is to put it in everyones water.

But from personal standpoint, the best way to look after your teeth is to brush with fluoride toothpaste, twice a day (ideally w/ electric brush), and floss once a day.

Fluoride mouthwash is also a good idea (but look up what a good mouthwash is, you don't want one with alcohol in it). Though using mouthwash isn't as important as brushing/flossing.

Personally, I'd rather not have fluoride in water until we have more conclusive reliable research on it. But having said that, I understand why it's often put in in a cost–benefit view point.
The sad truth about Waymo is that they have to aim for a 0 (or extremely close to 0) accident rate for PR/regulatory reasons, especially so for accidents caused by Waymo, and that's always going to heavily influence the way they drive.

Uber drivers cause accidents sometimes, just like all drivers do. Whenever this happens, we generally blame the driver and not Uber. It's a completely unremarkable event that the media will not pick up on, because everybody knows that car accidents are just a fact of life.

If a Waymo causes just one fatal accident, people will be up in arms and demand a ban on self driving. That means they have to be extremely conservative in how they drive, especially as more and more of them appear and the probability of one causing an accident goes up due to simple statistics.
You keep saying deficit. Do you mean the trade deficit or the governmental deficit?

[edit later after parent edit]
Ok I think you are saying governmental spending deficit. And your link doesn’t go nearly so far as to say that you must account for every governments spending in the EU to account for this.

Do you have any other links? This is a much more expansive view on the relationship between deficits and inflation than I’ve read before.
Why not? The kernel seems to handle low level charging and battery logic, for example: https://android.googlesource.com/kernel/msm/+/refs/heads/and...

I'm not hoping to argue, only to learn. This isn't my area of expertise.
The 2020 inflation was the result of 2019 deficits. After that, the deficits were due to Biden.
Agreed. They accomplished a lot with distillation and optimization - but there's little reason to believe you don't also need foundational models to keep advancing. Otherwise won't they run into issues training on more synthetic data?

In a way this is something most companies have been doing with their smaller models, DeepSeek just supposedly* did it better.