skysight-inc/HackerNews huggingface dataset:
You constantly have to correct an AI when using it because it either didn't get the question right or you guide him towards a more narrowed answer. There is only more to learn.
There really are all the ingredients out there for the creation of an animal-human communication model. Except maybe money and will.
Vim 9 introduced new vim9script which improved performance by orders of magnitude from old vimscript.

You can test those benchmarks yourself from late Bramm's repo README file: https://github.com/brammool/vim9

My results are as follows:

Indent time measurements

888890
Vim old: 0.678415
888890
Python: 0.170969
888890
Lua: 0.155279
888890
Vim new: 0.087310

Sum time measurements:

4499998500000
Vim old: 6.286605
4499998500000
Python: 0.439207
4499998500000
Lua: 0.075501
4499998500000
Vim new: 0.119775

The Lua used here is LuaJIT, not standard Lua!
It used to mean someone who's trying to enrage people by baiting ("trolling"), and now it can also mean someone arguing in bad faith. And Chinese troll I guess means someone doing this on behalf of the Chinese govt.
I’m not an expert on at-scale inference, but they surely can’t have been running at a batch size of more than 1 if they were getting performance that bad on 4xH100… and I’m not even sure how they were getting performance that low even at batch size 1. Batching is essential to serving large token volumes at scale.

As the comments on reddit said, those numbers don’t make sense.
Hmm, I'm not that sure.

I did a month of quiet Yoga (no talking whatsoever) and brought my dog with me for the ride. I came to realize that the words are mostly there to help me, she doesn't care. If I switch the word and say it with the same energy/body language, the result is the same.

I don't even need words anymore, body language is more effective with my dog.
Yeah, screw devs for making a industry-renowned product and wanting to be able to eat food or pay the rent for having made that thing, right?!

The pricing on Sublime Text is a steal for what value a frequent user of it derives from it. And they even let you use it forever with just a nag screen if you still refuse to, or can't afford to, pay that fee, unlike a SaaS product which would just lock you out.

I can totally get the high school student not paying for Sublime because they can't, but IMO no industry professional has any legs to stand on for using ST but refusing to pay for it on principle.
A relative had a dog who understood "b-i-r-d" spelled out....
> Imagine SQL was instead based on an actual programming language, with variables and functions.

This is what the entire article is about. That paragraph is meant to illustrate the problem of SQL through an analogy.
I think you are underselling licensing issues, especially of third party libraries I can imagine for things like ui, music, physics, etc.
You should be asking yourself why the US would buy a supersonic military aircraft when they've spent the last 70 years moving AWAY from higher speeds because it doesn't provide any value.

Why would you spend a single dollar on making your launch platform go a little bit faster when the thing you are launching goes faster than Mach 4? And that was true in the 80s.

Power output is important but top speed is not a priority. The B1 Program was cut partially because you could just buy 100 stealthy cruise missiles for the price of one B1 bomber which the Air Force did not think was more survivable than a B52. In the 80s.

Every country has built slower planes entirely because higher sustained top speed just means a more expensive engine, more fuel usage, and more frequent maintenance.

Boom insists they will somehow magically overcome all of those problems.
Thats a great choice. High trust city, super high density.
A 12 hour work day is probably not at all the historical norm, and only existed broadly after the industrial revolution.
You're right that the first claim is silly, but the second claim is pretty silly too — they're not claiming industrial espionage, they're claiming a breach in ToS. The outputs of the o1 thinking process aren't user-visible, and never leave OpenAI's datacenters. Unless DeepSeek actually had a mole that stole their o1 outputs, there's nothing useful DeepSeek could've distilled to get to R1's thought processes.

And if DeepSeek had a mole, why would they bother running a massive job internally to steal the data generated? It would be way easier for the mole to just leak the RL training process, and DeepSeek could quietly copy it rather than bothering with exfiltrating massive datasets to distill. The training process is most likely like, on the order of a hundred lines of Python or so, and you don't even need the file: you just need someone to describe it to you. Much simpler than snatching hundreds of gigabytes of training data off of internal servers...

Plus, the RL process described in DeepSeek's paper has already been replicated by a PhD student at Berkeley: https://x.com/karpathy/status/1884678601704169965 So, it seems pretty unlikely they simply distilled R1 and lied about it, or else how does their RL training algo actually... work?

This is mainly cope from OpenAI that their supposedly super duper advanced models got caught by China within a few months of release, for way cheaper than it cost OpenAI to train.
I'm not going to try to gaslight you since your memories are your own. But consider your memory of 9 years ago in the light it occurred. After huge hype, the entire gaming world turned Hello Games and Sean Murray into a meme. Every video was clipped and cut to make him look like a mustache twirling villain that was lying to trick gamers into buying his shit shovel-ware game. We have this vision of a huckster game developer whose entire grift is to hype and then abandon games and Sean became the poster child for this. This was made much worse by Sony strongly pushing No Man's Sky as an indie success story adding even more fuel to the hype.

But lets consider the next 9 years and ask: does the behavior of Sean match that caricature? If he was indeed the lying manipulative hype man that reddit memes made him out to be, how would we expect him to act? Wouldn't he take the money and run? 5 years after the launch, the engoodening video from Internet Archivist was released. Penny Arcade also has that famous cartoon from a few years ago. His reputation is mostly laundered now. Why do they keep releasing free updates? Why is he not shovelings out a bunch more over-hyped crap? Do you think this is the longest 9 year con job in the history of games?

That is the lack of perspective I am talking about. Sean oversold the game and got called out for it. He was put in the public stocks and people threw rotten vegetables at him. Then he and the rest of the team spent 9 years quietly grinding away to prove they believed in the game and believed in their vision.

You remember some videos cut to make him look evil 9 years ago. I'm talking about 9 years of him showing who he and his team really are.
Keymapper: A cross-platform context-aware key remapper
Has anyone had experience involving the police in matters like this?

I reached out to the German news source that first reported on this issue, but they couldn’t help. The writer of the article mentioned that "The dealer will probably hide behind the supplier."

Here's the response I received today from Böttcher AG, where I purchased the hard drives, after sending them the FARM logs and photos of the drives (translated from German):

---

"Dear Sir or Madam,

Attached you will find the manufacturer's feedback regarding your complaint:

Please send the hard drives back. You will receive a credit immediately upon receipt.

We are currently unable to provide a statement, as we need to first examine the hard drive and the situation. Therefore, please ask the customer to hand over the hard drive to you.

You will promptly receive a refund of the purchase price and the shipping costs. As soon as we have a statement from our supplier, we will inform you immediately."

---

Given this, I am wondering if anyone has dealt with a situation like this and whether it's worth involving the police to ensure compensation for the damages or if this process should be handled through other legal channels. Any insights or advice would be greatly appreciated!
Deep refers to itself as ChatGPT sometimes lol
I did read the article, but my experience is that many companies offer support in a public chat context (Slack, Discord) as their first line. 1:1 is certainly better, but you're still limited in your ownership of the conversation (you literally have to copy and paste it out of Slack if you want records, because they may otherwise vanish outside of your control). I also like being able to find all communication information in one place. I can search across multiple channels and contexts with email all at once, but not with Slack.

I get that it's a preference thing, so I'm not saying my position is correct for you. If you don't care about any of these things, I can see Slack being better.

"Please don't comment on whether someone read an article. "Did you even read the article? It mentions that" can be shortened to "The article mentions that"."
At the risk of sounding like a fanatic, I bet it will be great.

Everything Astral have put out has been a step improvement to my python dev flow. Until they disappoint me, I'm staying on this hype train.
In the case of DeepSeek-R1, they used a series of heuristic reward functions that were built for different data types. The paper mentions the use of sandboxed environments to execute generated code against a suite of tests, for example, to evaluate it for correctness. The reward functions also evaluated syntax and formatting.

In general, the use of externally verifiable sources of truth (like simulators) is referred to as "grounding" and there has been quite a bit of research around it over the years, if you're interested in digging deeper. I've always found it super compelling as a research direction.
A common use of these models is asking for code, and maybe you don't know the answer or would take a while to figure it out. For example, here's some html, make it blue and centered. You could give the model feedback on if its answer worked or not, without knowing the correct answer yourself ahead of time.
Mojo from Modular?

I've not checked it out enough yet, and it's early days for it anyway.

Just saying it may be worth keeping an eye on.

I've seen some videos of Chris Lattner talking about it.

https://www.modular.com/mojo

https://hn.algolia.com/?q=mojo
I haven’t checked but it looks like this has rolled out across all platforms, not just PlayStation.

https://www.nomanssky.com/worlds-part-ii-update/
If asking Deepseek about Chinese war crimes is shocking for you, just wait until you ask ChatGPT about Israeli war crimes.
If I'm at the point of dropping foreign keys, why not just switch to DynamoDB?
Can you explain at a technical level how you view this as necessary for the observed result?
My vote for the name was rype but it lost
false. It seems better than o1 to me.
Many cities are already upgrading their transit systems to implement "rapid ride" where they run buses on a 10min schedule through popular routes.

This eliminates the need for planning routes - go the nearest stop, wait 10-15min (sometimes buses get bunched up so it's not really every 10min), and get on the next bus.

Buses already have drivers, wheelchair (and bicycle!) support, etc. and the stops usually have live tracking of the next arriving buses.
They aren't running at full capacity on AI chips though - TSMC's main customer is iPhones as far as I know. So you could take away production time for them, though it's still zero-summy.

But TSMC is building new leading edge fabs right now.
Thank you! It should be possible now with the G7 to have the watch pair directly with the sensor. We’re still on the G6. Agreed that would be much better than having to go through the iOS app and up to the cloud.

Honestly I don’t remember why I ruled out the PineTime. I purchased a Bangle.js and while it’s very small, it seemed very limited in what I could do with it. Of course with the Pebble announcement yesterday, that might change things.
The title is pretty misleading. They're not even running Postgres, but AWS Aurora, which is Postgres compatible, but is not Postgres.

Also, pausing queries does count as downtime. The system was unavailable for that period of time.
> then OpenAI still holds the keys to future advances

Point is, those future advances are worthless. Eventually anybody will be able to feed each other's data for the training.

There's no moat here. LLMs are commodities.
Keep in mind, two of the functions were translated, and the third was created from scratch. Quoting from the FAQ on the Gist [1]:

Q: "It only does conversion ARM NEON --> WASM SIMD, or it can invent new WASM SIMD code from scratch?"

A: "It can do both. For qX_0 I asked it to convert, and for qX_K I asked it to invent new code."

* [1]: https://gist.github.com/ngxson/307140d24d80748bd683b396ba13b...
I have a very small pool of Androids I consider. Pixels maintain a strong security model (similar to what iPhones have), and they allow you to re-lock the bootloader after installing a non-stock OS. It's between a Pixel, or a FairPhone.

I liked Lineage, but an unlocked bootloader is a security non-starter for a device that's so personal and vital.

For those using the stock OS, Googles are nice because you "only" have Google's spyware built in to the OS.
The article does not actually list the 10 cities. Nor does it link to a source or say the source.
Confirm that the majority of Google first party stack is not sitting on GCP. They are parallel.
Presumably this is Garry Neuman of Garry’s Mod fame. I love that he’s looking to keep these assets from being lost.
I don't think the licensing is really the excuse. It is more of the fact that studios have put tons and tons of effort towards those assets including their creativity towards that partly finished end-goal. They most likely want to keep it in their possession if some point tides turn and they are able to finish the game or even small part of it.

And I totally understand that. After sacrificing years and years + thousands/tens of thousands euros towards project, you really don't want to see it taken by other people and putting their own creative ideas on top of your work(that can be potentially used later).
I'd appreciate knowing what's wrong with MyPy that this project will fix. Check time? Bad rules? Lack of features?
It doesn't show them though. You have to click through a whole bunch of stuff to figure out the data. The title implies it was going to tell me.
It's ok, they'll know it when they see it. Keep trying.
Also, what’s the end game? Current rates are not that bad relative to historical rates.
Senders/Receivers: An Introduction
"We spent a lot of labor processing everything we stole" is...not how that works.

That's like the mafia complaining that they worked so hard to steal those barrels of beer that someone made off with in the middle of the night and really that's not fair and won't someone do something about it?
the packaging one is an odd example because it’s hard to imagine a company that both needs an enterprise packaging solution external to their cloud provider, and is python only

i have a similar concern for the Pydantic folks commercializing via observability platform; how big is the market for python-only observability?

i think both cos will either look for money elsewhere, or find themselves having to deal with at least a few other language ecosystems. Even python+typescript would 10x the TAM or more
Same experience. My local machine at $Job is so slow and locked down that spinning up a VM in the cloud + VSCode remote plugin is the only way I can develop now. I would not have switched if I could edit the remote filesystem without syncing. I've worked on a ton of projects with the paid SFTP plugin but it was too painful in this case.
You linked a study saying that under 1.5mg/L, fluoride is safe. EPA maximum is 4.0, but secondary standard is 2.0. Current recommendations from the Dept. of Health and Human Services are at 0.7mg/L.
> where it never is

This is precisely where the presumption of good faith works its magic. You may learn a new point of view even if you disagree with it.
> Banned in the USA. Only.

The US government has the wherewithal to drag Europe along with it, like they did with Huawei's 5G equipment.
To be clear, I'm much more concerned about the rise of techo-authoritarianism than employment.

And further ahead, where I said your original take might not age well; I'm also not worried about AI making humanoid bodies. I'd be worried about a future where mines, factories, and logistics are fully automated: an AI for whom we've constructed a body which is effectively the entire planet.

And nobody needs to set out to build that. We just need to build tools. And then, one day, an AGI writes a virus and hacks the all-too-networked and all-too-insecure planet.
> now it has to guarantee the bytes just beyond your write stay the same [...] "don't care" buffer between the write zone and the read zone to avoid this.

If the firmware is competent the drive will have TRIM support.

Also it could start overwriting a zone even when there's old live data in it, as long as it buffers a few megabytes to stay at least a track away from the old live data.

And even if it does have to read back the whole zone, it could keep that in RAM to keep the performance impact from being too bad. (Ideally with some kind of power loss protection.)
After the update from Google, my 4a did not seem to hold a charge like it did before. I read the reviews/risks and thought that my easiest options were to either roll-back the OS update, or finally give GrapheneOS a try.
I started learning Python when it was barely at version 1 precisely because there was no real static type checking. If I wanted that, I would just write the program in C or its variants. I wasn't excited about type hints because developers became super judgy if there weren't any. I just want to know why you're using Python if you want stronger typing and feel the need to change the entire language instead of using another one yourself.
Sorry to hear about your experience. I recently considered joining STC in an attempt to bolster my career a bit (as technical writer without a college degree), but wasn't sure the theoretical benefits were worth the membership cost. Sounds like they might not have been able to help much in that area.
I've been with RooCode the slower token speeds are acceptable.

I'll ask it to do a task, then it will do it in a few steps and notify me when it's done. I use that time to take care of something else.
> Also van or bus service is less compelling to individuals, as it makes them beholden to bus stop locations and schedules instead of picking them up and dropping them off when and where they want.

Exactly this. The attraction of self-driving transit is the support for individual planning. Everyone gets a direct route to their destination, no delays stopping or detouring for other people.

There's also increased safety in having a personal ride. You're not being hassled, stalked, or threatened by random people.
that would be suicide - that company only exists because they stole content for every single person, website and media company on the planet.
Get started then
https://www.treasurydirect.gov/government/public-debt-report...

Don't just put other people's money where your mouth is
The most unpleasant "stuck" feelings I get tend to be associated with learning something that's new (could be a musical technique, a new codebase, etc.). At age 42, I now try to treat that feeling as a positive - it means I'm stretching my brain / body in ways I haven't done before.
Can anyone do that though? You need the tokens and the pipelines to feed them to the matmul mincers. Quoting only dollar equivalent of GPU time is disingenuous at best.

That’s not to say they lie about everything, obviously the thing works amazingly well. The cost is understated by 10x or more, which is still not bad at all I guess? But not mind blowing.
Not necessarily, not all tactics can be used symmetrically like that. Many of the sites they scrape feel the need to support search engine crawlers and RSS crawlers, but OpenAI feels no such need to grant automated anonymous access to ChatGPT users.

And at the end of the daty, they can always look at the responses coming in and make decisions like “95% of users said these responses were wrong, 5% said these responses were right, let’s go with the 95%”. As long as the vast majority of their data is good (and it will be) they have a lot of statistical tools they can use to weed out the poison.
> The pedestrian/pet detection is god awful

When I walk in front of a Waymo it stops and gives me space and doesn't come anywhere near hitting me. That doesn't qualify as "god awful" to me. do you have a different experience?
DeepSeek claims that the cold-start data is from DeepSeekV3, which is the model that has the $5.5M pricetag. If that data were actually the output of o1 (a model that had a much higher training cost, and its own RL post-training), that would significantly change the narrative of R1's development, and what's possible to build from scratch on a comparable training budget.
What's interesting is that you can already see the "AI race" dynamics in play -- OpenAI must be under immense market pressure to push o3 out to the public to reclaim "king of the hill" status.
ChatGPT outputs are all over the internet. It is harder to prove that deepseek used specifically o1 for training, instead of a lot of chatgpt output ending up in the training set from other sources.
I am not part of the DSF or anything but I can say with a good amount of confidence that the answer to this is “No”.

Moving to a Pydantic-style model would be a whole different ballgame. Hell of a lot of work, and meanwhile we can’t even really get to “let’s have type hints in some of the Django infernals”.

But! I do think someone who wants to have fun could try to build a type hint based Model subclass as a third party lib! There’s a looooot of stuff to resolve in that world but for any proposal like that the general vibe is “prove the feasibility with a third party package first”.
nice word clearing with "remove bias"

maybe you are the problem
Short answer, ADHD sucks, except for when it rules (about 1% of the time).

I have a very checklist oriented system now. I bootstrap each day by going through my issues and triaging them, blocking out certain portions of the day for particular pieces of work.

First block is short tasks like emails etc that take <15 minutes.

I also make a habit of noticing when I'm not starting a task because it's too complicated to immediately know what to do, in which case I have a primer task for those in which I work out what the discrete steps are and list those out.

Tasks are set into timed blocks. 15 mins for simple ones (sometimes shorter), 2 hours ish for longer ones. If they don't fit in 2 hours they're not chunked small enough.

Another tip for ADHD - if you block out 15 mins for each small task and you finish early, give yourself a little reward i.e. goofing off on HN for a couple of minutes.
There was a word "likely" there...
>Its not nearly as free to market as you seem to think it is. Soil conservation efforts where the government subsidizes you to not grow anything have been a thing in the past, to raise the price on certain goods, and there is always the risk that in an unforeseen emergency that your production is seized.

I'm from a European, but non-EU country and I used to study law before this, and no such regulation exists here, as far as I know, so I'm good there

Also, my parents do agriculture work so I know a few things about it, having helped them with their work

>You might look into vocational training, maybe retrain in a trade like plumbing, hvac, pool maintenance, welding, etc. Its doubtful that AI will take over these jobs.

I know how to weld, but poorly. I can always get better though, so it's not a big challenge for me