skysight-inc/HackerNews huggingface dataset:
Lol this was the most blown out of proportion "gate" ever and a nothing burger really. The issue wasn't what Apple did, as it is a very common practice in the industry and I bet almost every other manufacturer did it too. The issue was that they didn't notify the user.
It's the first non-US city that they've done public testing in. They've been doing test track work in Europe for awhile now, and Cruise did some Japanese/middle eastern testing before they folded.
> - why not just contribute to the community tool?

what community tool? mypy is written in python, and is non-incremental, whereas astral's goal is to build a fast, incremental type checker in rust. there is no way to get from one to the other via code contributions, they fundamentally need to start from scratch with their own architecture.

as for the split in type checking tools, it is not as bad as you think; the syntax and to a large extent the semantics of the type system are defined via a community process and standardised upon, and the various type checkers largely differ in their implementation details but not in their interpretation of the code. so you can freely use several different type checkers without fear of disagreement.
There's still some large enough percentage of laid off folks that perhaps are looking but living on reserves instead of 24hr gig work. This is the pool of idle bandwidth I'm speaking of. G'parent that found another job; not idle bandwidth. Someone that had no reserves and is flipping burgers; not idle bandwidth. Refreshing Indeed, LinkedIn Jobs, etc. daily after about a week or two while living on savings, moving back with parents, living off spouse's income only, and an infinite number of other possibilities; idle bandwidth.

I find if funny you mention economics of 2008 but don't also mention how tech salaries changed over that same time. At a high level, this is the exact population of people that should have some dry powder in the keg and be able to weather this storm. I'm not saying that to be dismissive of how dire prolonged unemployment is to one's personal finances, even with savings. But I am being dismissive of the idea that most of these people are doing gig work so much they can't hack on something.

I do also think the demo here has changed a lot and you're onto something with that comment.
Yes, exactly. What I'm saying is that the blog referenced in [0] says you can get good results with 2.51 quantization. The $6000 rig is running Q8. You can probably get similar results with a lesser rig if you use the quantized model.
Not deflecting at all. Is there significant fear of protesting them though? If there is I’m not aware of it and I consider myself fairly well read. If it exists it certainly is nowhere near at the level of the fear that exists in China which was my point.
The fact they could move towards phonics just illustrates the point that previously they were some ways off from phonics.

The problem of phonics being ignored was widespread just three years ago https://www.apmreports.org/episode/2022/10/20/sold-a-story-e...
My partner and I have been calling them "fun boxes", as in, "Hey, I just started to poop but I forgot to bring my fun box, can you grab it for me?".

I started it maybe a couple of years ago. Was aiming to give myself a verbal reminder of their skinner box nature every time I mentioned them while keeping a fig leaf veneer of comfortability so I didn't have to explain if someone else overheard. Maybe didn't go hard enough with it; about a year ago it came up that my partner had been taking the name at face value and didn't ascribe anything sinister to it.
Not true for two reasons! Azure data center in europe is fine if thr data stays there and generally there is the EU-US Data Privacy Framework https://en.m.wikipedia.org/wiki/EU%E2%80%93US_Data_Privacy_F...
aider jams the backend on my PC, i have to kill the tcp connection or python to stop it running a GPU on the backend, from time to time. I can't imagine paying for tokens and not knowing if it's working or wasting money.
Honestly, it's kind of silly that this technology is in the hands of companies whose only aim is to make money, IMO.
Don't Look Up Vibes
Interesting - would something like `make lint` (which then installs to `$PWD/bin`) work? That's how I've been doing it on the projects I've been working on, and it's worked nicely - including automated updates via Renovate (https://www.jvt.me/posts/2022/12/15/renovate-golangci-lint/)
For me, the connection always fails the first time and after retrying it works.
Licensing is a huge issue. If the game is on consoles, that's a whole big chunk of code that has to be removed from the open source version. Console SDKs are usually under very heavy NDAs -- even indirect references to how the SDK works might get you into legal hot waters. Many middlewares, even for stuff like compression, are also usually under pretty punitive contracts. Older games had fewer of those problems, but practically speaking most well known releases in the last 25 years would have to have someone go through and sanitize the codebase, and that can be extremely time consuming. And depending on the specific game, stripping out all that stuff might leave behind just a useless skeleton of code because so many of the basic components that make up the game engine are third-party. Imagine getting access to a game's source code where the entire animation, loading, physics, rendering and many other small systems had been ripped out. You're usually not left with a whole lot of other stuff in those situations.
The total income of the s&p 500 has never grown by > 100% annually. Not saying Nvidia isn’t overvalued, but your comparison a bit apples to oranges.
They have "open" right in their name, so...

Objection overruled.
Are they even profitable in SF or LA? I don't disagree with you, but if being profitable means charging more than Uber/Lyft and having slower trips on average than a human, thats not gonna work out too well. And these are the highest CoL cities in the us, meaning that if its not profitable there, might not be profitable anywhere.
It was pretty commonly accepted at the time that the 68000 was a "16-bit CPU" because of its ALU and data bus width, despite the 32-bit being clearly ISA. The Sega Mega Drive/Genesis, for instance, is always referred to as a 16-bit console, even having it embossed right on its shell.

The technical truth is that using a single number to describe the "bits" of a CPU is going to be inadequate in many cases (including this) so this was a choice by marketing.

I'm not sure why that was the case; one would think marketers would have rushed to use the biggest, most impressive sounding numbers available. Maybe they wanted to keep something in reserve for when the 68020 came down the pipe? Maybe they were scared of being criticized or even sued for false advertising since the chip wasn't "truly" 32-bit?
Nice to see common sense prevail against such a notorious legal bully.

Nintendo has recently launched a major campaign of unprecedented legal attacks on the historical preservation, retro emulation and fan creation communities. While Nintendo has always been protective of its IP rights, this was largely limited to stopping piracy of current titles and protecting their trademarks from commercial infringement, both of which are appropriate and understandable.

However, the greatly expanded and all-encompassing scope of their recent legal actions now threatens aspects of non-profit historical preservation and adjacent fan activities unrelated to Nintendo's present day commercial interests. Previously, Nintendo's lawyers made at least some effort to distinguish between non-profit or fan hobby activities and piracy or commercial trademark abuse.
It's also funny that there's a scary implication "China could do XYZ and focus on military applications" when Anthropic and Palantir teamed up last year to offer Claude models to US Defense orgs

https://investors.palantir.com/news-details/2024/Anthropic-a...
>Meanwhile a lot of humans have no trouble subsisting of just a carnivore diet without any negative symptoms.

You have any large studies to support this or just "Trust me bro" science based around the idea that consuming other animals makes ya stronk?

There are plenty of dietary studies and science which show that a high meat diet is pretty unhealthy over the long term. GI and colon cancers rates go up, heart disease goes up, along with other cardiovascular diseases, diabetes, etc. Lots of very preventable diseases are VERY prevalent in high meat diets.

You can always find individuals who buck this trend but over a large number of people the data is very clear that a high meat diet tends to be pretty unhealthy for most people.

I grew up near logging towns and the whole "carnivore diet" cult thing reminds me of when rural men will drink motor oil to prove how it doesn't hurt them. They're a stronk guy who will survive anything.
I watch a streamer on YT who plays garbage games on steam and it's interesting wrt the game assets he's able to just call out what engine it was made with.
Virtual DOM has its charms. React is sort of synonymous with Virtual DOM, but isn't the only way to do Virtual DOM and it's probable other Virtual DOM front ends will continue to be built whether or not React goes away.

At very least, Virtual DOM will survive at WASM borders if nowhere else. There's still talk of making it a lot easier to bind the DOM across WASM borders, but even then overhead may always be a strange trade-off making it useful to just pass a full Virtual DOM object to JS code on the other side of the border and letting it diff/patch. Most of the WASM-based front ends I've seen are generally some form of Virtual DOM under the hood.

That said, yes, the possibilities in doing more "direct DOM manipulation" again and "Vanilla DOM" are exciting and it is a bit of flip from the brief period when major React fans thought Virtual DOM was the greatest. I've been seeing some cool results in my own "non-Virtual DOM" projects.
If OpenAi had to account for the cost of producing all the copyrighted material they trained their LLM on, their system would be worth negative trillions of dollars.

Let's just assume that the cost of training can be externalized to other people for free.
No cpu / mps support to train on Macs, apparently.
cosmos/iavl is a Merkleized AVL tree.

https://github.com/cosmos/iavl :

> Merkleized IAVL+ Tree implementation in Go

> The purpose of this data structure is to provide persistent storage for key-value pairs (say to store account balances) such that a deterministic merkle root hash can be computed. The tree is balanced using a variant of the AVL algorithm so all operations are O(log(n)).

Integer Vector clock or Merkle hashes?

Why shouldn't you store account balances in git, for example?

Or, why shouldn't you append to Parquet or Feather and LZ4 for strongly consistent transactional data?

Centralized databases can have Merkle hashes, too;

"How Postgres stores data on disk"
https://news.ycombinator.com/item?id=41163785 :

> Those systems index Parquet. Can they also index Feather IPC, which an application might already have to journal and/or log, and checkpoint?

DLT applications for strong transactional consistency sign and synchronize block messages and transaction messages.

Public blockchains have average transaction times and costs.

Private blockchains also have TPS Transactions Per Second metrics, and unknown degrees of off-site redundancy for consistent storage with or without indexes.

Blockchain#Openness:
https://en.wikipedia.org/wiki/Blockchain#Openness :

> An issue in this ongoing debate is whether a private system with verifiers tasked and authorized (permissioned) by a central authority should be considered a blockchain. [46][47][48][49][50] Proponents of permissioned or private chains argue that the term "blockchain" may be applied to any data structure that batches data into time-stamped blocks. These blockchains serve as a distributed version of multiversion concurrency control (MVCC) in databases. [51] Just as MVCC prevents two transactions from concurrently modifying a single object in a database, blockchains prevent two transactions from spending the same single output in a blockchain. [52]

> Opponents say that permissioned systems resemble traditional corporate databases, not supporting decentralized data verification, and that such systems are not hardened against operator tampering and revision. [46][48] Nikolai Hampton of Computerworld said that "many in-house blockchain solutions will be nothing more than cumbersome databases," and "without a clear security model, proprietary blockchains should be eyed with suspicion." [10][53]

Merkle Town:
https://news.ycombinator.com/item?id=38829274 :

> How CT works > "How CT fits into the wider Web PKI ecosystem": https://certificate.transparency.dev/howctworks/

From "PostgreSQL Support for Certificate Transparency Logs Now Available"
https://news.ycombinator.com/item?id=42628223 :

> Are there Merkle hashes between the rows in the PostgreSQL CT store like there are in the Trillian CT store?

> Sigstore Rekor also has centralized Merkle hashes.
I guess I think they should study what a neutral position looks like, and avoid going beyond it as best as they can. I had in mind a "progressive" who avoids any hot button issues. Someone with a high profile will be asked about politics from time to time. I think Brian Chesky is a good example of acting like a progressive in a way that stays low profile, but maybe he doesn't really act like one. https://www.businessinsider.com/brian-chesky-airbnb-new-bree...

Also it helps to have sincere political views. GitHub's CEO at the time of #DropICE was too cynical and his image suffered because of it.
The entire ML/AI ecosystem is in Python for the most part these days, so if anyone wants to get involved it means needing to touch Python to some degree. So, many developers might get handed projects that require working in Python, but would really prefer not to give up all the nice things that come from a modern statically typed language.

Personally, I'm one of those people that got converted over to statically typed languages, as I spent a large part of my early career in startups using Ruby. I don't think I could ever go back after using Go, TypeScript, and Rust over the past decade or so.
What is your definition of "tech"? A very large amount of the electronics products in the world are made in China (specifically in/around Szhenzen and the wider Guangdong province). Both consumer goods and industrial goods. From the cheapest stuff to the most advanced and everything in between. They provide the manufacturing for brands fron all over the world, including goods "from the west".
The amount of economy that depends entirely on this low-cost, high-quality manufacturing is insanely large - both directly in electronics goods but also as part of many other industries because you need electronics to build anything else.
His company also created Rust which ranks #8 on steamdb/mutliplayer games. They are currently in the process of making s&box on the source 2 engine. I'm just putting this out there, nobody works harder in gaming than Facepunch. Thank you Garry!
In the paper DeepSeek just says they have ~800k responses that they used for the cold start data on R1, and are very vague about how they got it:

> To collect such data, we have explored several approaches: using few-shot prompting with a long CoT as an example, directly prompting models to generate detailed answers with reflection and verification, gathering DeepSeek-R1-Zero outputs in a readable format, and refining the results through post-processing by human annotators.
Like "stereotype", "bias" has a generally negative connotation but it isn't only useful as a proxy for saying "and is statistically inaccurate for the population". The misapplication of the population information comes into the age example used on page 2 - just because you'll score more correct answers if you guess the person in their 70s has memory issues compared to the person in their 20s because it's true of the population does not mean you actually have enough information to just conclude that's how it is for those 2 individuals in the example.
Incredible work - so cool to see Dad being a tech and health champion for their kid. T1D is so tough and to have such incredible support is great to see.
Or it can just be a normal user who's wrong this time. He looks like a normal user. In theory it could all be a cover, but that'd be ridiculous effort just for HN boards. Throwing those accusations around will make this place more like Twitter or Reddit.
It's not a haha situation.
Why go all through that pain when graphene OS gives you a straightforward install?
Creating reasoning from scratch is the same task as creating an apple pie from scratch.

First you must invent the universe.
(Reminder that the original discussion was not about the message being positive/negative, but about being sexy/un-sexy.)
I think skepticism is really sensible with all of this – if there’s multiple mechanisms and confounding factors this is all going to take a lot more study to tease out. I was skeptical myself, but tried it because the downside risk didn’t seem too high, and I’m very grateful that it worked so well for me personally.

That’s cool – I’ll definitely try adding some natto to my diet!
Did she get on the unprescribed Sulodexide before coughing up blood? That could have caused it.
Neat. I was pretty late to the party and have a userid halfway into the 6 digits, but somehow I got extremely lucky and landed a two-character username (my initials).
In this thread you're seeing survivorship bias. We're discussing an editor that doesn't support AI.

AI is Rashomon. It's just an association engine of immense scope. We're not talking to an alien intelligence; we're talking to ourselves. It's an existential mirror, and each person's experience will vary. Some people can control the dance of the campfire flames. Some people just aren't cut out to be shamans.

Evolution is always making failed experiments, as a hedge against catastrophic ecosystem change. I'm convinced that neurodivergents are better suited to becoming AI Centaurs, in the sense Gary Kasparov promoted after he came to terms with his chess loss to IBM's Big Blue.

I made my career by computerizing a branch of mathematics that did not want to cooperate. Now in retirement, I see AI as the key to achieving my dreams before my father's dementia arrives. It has radically transformed my past month.

My preferred language is Lean 4, and AI has as hard a time coding in it as people. This morning's retooling has been distilling the Lean 4 website down to fit well within a 200K token context window. I prefer AI chat at arms length so I make the mistakes not it, but with enough editor integration that we can both see what we're doing.

I loved Sublime Text when I used it. And AI coding doesn't primarily accelerate one's original spec, it encourages tool scopes one might never have dared attempt. So writing a Sublime Text plugin that interfaces with an Anthropic API key is something any of us could probably knock off.
millions of dollars in shitty legacy Java systems
Likewise, the 6502 and Z80 had 16 address lines, but we never describe them as 16-bit.
I think a big difference between dotcom bubble and ai bubble is:

where is the business/how it profit?

there're solid new-born business with dotcom, like amazon and microsoft

but who are the customers of AI(or LLM, to be specific)? for now i can only see limited user such as programers

how will business gain profits by LLMs

and it feels like users are already consumed totally by existing internet and apps, it's a stock market rather than an incremental market

This is not like a gold mine and shovels, it's more like a cliff and ropes
Thank you! That makes more sense now
Thanks! I completely agree.

I'm planning to add more detailed pages for each color too. things like gradients, complementary colors and UI examples so keep an eye out!
I know some drives do it though.

I found a comment saying "Sadly it’s 2024 and WD seem to be the only manufacturer actually implementing TRIM."

And I'd expect it to be more common on the higher end drives where someone might intentionally choose SMR to get more space, as opposed to the <=8TB market where SMR is a cost saving they don't want anyone to notice.
If you can handle running 5 miles, you can handle that terrible refactoring task you discovered this morning.
FYI: your preview image from the html header meta tag is broken.
They're standing on the shoulders of giants, not only in terms of re-using expensive computing power almost for free by using the outputs of expensive models. It's a bit of a tradition in that country, also in manufacturing.
Come friendly bombs and fall on Slough
Thanks for the info! My pixel has already applied the update unfortunately - any ideas if switching to lineageos is still helpful in that case?

They’re not offering the free battery replacement in Aus otherwise I’d do that - hard to be sure that getting a new battery in a local repair shop wouldn’t be similarly affected by the new limits (presumably some sort of blacklist on serial numbers?).
Humans don't improve by "thinking." They improve my natural selection against a fitness function. If that fitness function is "doing better at math" then over a long time perhaps humans will get better at math.

These models don't evolve like they, there is not a random process of architectural evolution. Nor is there a fitness function anything like "get better at math."

A system like AlphaZero works because it has a rules to use as an oracle: the game rules. The game rules provide the new training information needed drive the process. Each game played produces new correct training data.

These LLMs have no such oracle. Their fitness function is and remains: predict the next word, followed by: produce text that makes a human happy. Note that it's not "produce text that makes ChatGPT happy."
There are plenty of humans that display similar lack or control when flying into a rage.
Progressive typing gives you the option to type check when and if you want or need it. You don't _have_ to type. If things get really hairy but you know it's right, you can focus on the code instead of the typing and efficiently complete your task.

There's also something fundamental about taking a dynamic language like Python or JavaScript and adding typing versus taking a static language and adding dynamic typing (e.g.`auto` in C#). The dynamic language allows modifications that are _really_ convenient if not a little hacky that you just can't easily express without big refactors in static codebases. Things like tagging objects with properties, making quick anonymous structs (before that became a thing in modern languages) so you can return tuples of values, other constructs like dynamic functions or whatever. Progressive typing is just so much more expressive
Agree, on reading the title my immediate thought was it belonged to The Register, but would have been even better as the headline of a satirical takedown from Private Eye or The Onion.
I feel like a lot of people in this thread have never done continued training on an LLM and it shows.

Seriously, a set of weights that already works really well is basically the ideal basis for a _lot_ of ML tasks.
Raises the age-old and now-new-again-thanks-to-LLMs of the nature of the difference between recognizing sounds and understanding words.

I have zero doubt that our dog can do the former. Not sure about the latter.
> Where do you get that?

From "when you get low enough but still riding on an external abstraction".

> He is saying implement only the parts you use.

Thanks.
And that on Android env doesn't live in /bin/.