MurphyA/hacker-news huggingface dataset:
by Salgat | 2025-12-17 05:00:04+00:00
You've missed the point of the example, of course it's not the exact same thing. With regard to LLM, the biggest difference is that it's a regression against the world's knowledge, like an actor who memorized every question that happens to have an answer written down in history. If you give him a novel question, he'll look at similar questions and just hallucinate a mashup of the answers hoping it makes sense, even though he has no idea what he's telling you. That's why LLMs do things like make up nonsensical API calls when writing code that seem right but have no basis in reality. It has no idea what it's doing, it's just trying to regress code in its knowledge base to match your query.
by positron26 | 2025-12-17 05:00:36+00:00
The natural can create the formal. An extremely intuitive proof is that human walked to Greece and created new formalisms from pre-historic cultures that did not have them.

Gödel's incompleteness theorems are a formal argument that only the natural can create the formal (because no formal system can create all others).

Tarski's undefinability theorem gives us the idea that we need different languages for formalization and the formalisms themselves.

The Howard Curry correspondence concludes that the formalisms that pop out are indistinguishable from programs.

Altogether we can basically synthesize a proof that AGI means automatic formalization, which absolutely requires strong natural systems employed to create new formal systems.

I ended up staying with some family who were watching The Voice. XG performed Glam, and now that I have spit many other truths, may you discover the truth that motivates my work on swapchain resizing. I wish the world would not waste my time and their own, but bootstrapping is about using the merely sufficient to make the good.
by alephnerd | 2025-12-17 05:01:25+00:00
Delhi's issues are severe due to the coordination problem - you have 6 state governments, 1 municipal government, the central government, and SOEs all with overlapping or competing responsibilities.

Hanoi has the exact same coordination problem as Delhi for the exact same reasons as well - 8 tinhs and 2 TPTTTWs all with overlapping and competing governments.

Beijing had a similar problem both Delhi and Hanoi, but because it was just surrounded by Hebei and Tianjin (a fellow 直辖市) it made coordination easier.
by refulgentis | 2025-12-17 05:01:42+00:00
Other comments cover the “logic” being applied here. Dunno who those two names are. I’m genuinely worried about your grip on reality based on your writing, I don’t say that lightly and am very, very, serious, to the point I’d prefer to eat downvotes and offend you than hide that and possibly contribute to you worsening.

I hope you’re extremely close to one of these events and are extremely distraught, even though that’s tragic, because it would indicate you’re not just comfortable disassociated from reality.

Note the difference in your approach this morning versus now, to wit, you this morning: “ We have no info but he was the department head of the MIT PSFC. It's easy to imagine a deranged individual picking a high profile target by browsing MIT's website. Or it was a domestic dispute or road rage or any number of things that would drive someone to shoot someone in their home. We have no information and can only speculate.”
by Pannoniae | 2025-12-17 05:01:52+00:00
A preprocessor step mostly solves this one. No one said that the shader source has to go into the GPU API 1:1.

Basically do what most engines do - have preprocessor constants and use different paths based on what attributes you need.

I also don't see how separated pipeline stages are against this - you already have this functionality in existing APIs where you can swap different stages individually. Some changes might need a fixup from the driver side, but nothing which can't be added in this proposed API's `gpuSetPipeline` implementation...
by rhet0rica | 2025-12-17 05:02:31+00:00
Although the author appears to be of Indian descent, I think this is just a case of "Silicon Valley Tech Bro Discovers Localization," particularly since he noted he didn't know the word "transliteration." YouTube downloader sites have recognized "d,jd,f" (the wrong-keyboard moonspeak for يوتيوب) as meaning "YouTube" since forever and include this term intentionally in hand-written SEO keyword lists, indicating pretty clearly that it's not just the Google algorithm familiar with this sort of mistake. It's a problem we don't really face in the monolingual English world, but in any region with digraphia, it's just a fact of everyday life. See also the related phenomenon of mojibake, when a computer screws up the text encoding rather than a human.
by ursAxZA | 2025-12-17 05:02:56+00:00
Honestly, the slowest actor here was the regulator. If the name “Full Self-Driving” was unacceptable, they could have stopped it years ago.

“Autopilot” is already a technical aviation term — planes don’t fly themselves while the pilot sleeps — so the misunderstanding comes from the public, not the term.

And without a legal framework defining responsibility for autonomous systems, the liability naturally falls back to the human who activates the feature.

So the root issue isn’t the marketing; it’s the regulatory vacuum that let the ambiguity persist.

(Just my impression as a non-expert observer.)
by vpShane | 2025-12-17 05:04:33+00:00
be sure to add iptables to drop packets if there's no back and forth exchange of data, then you're good2go as fake/wrong keys don't use resources to determine if a key is legit or not. not that big of a deal and wg just doesn't reply anyways

And good choice on the wireguard only, only issue I had is devops/testing things and not being connected to the wireguard because I'd be connected to another wireguard and couldn't ssh in to the server.

WireGuard _all_ of the things
by komali2 | 2025-12-17 05:05:15+00:00
> English is the world’s dominant language and will remain so for the foreseeable future.

Based on the fact that you said this I'm going to assume you can't read/write Mandarin, apologies if that's incorrect because that leads to my second assumption which is that you're unaware of the astonishingly vast amount of content and conversation related to open source and AI/ML you're missing out on as a result of not being able to read/write Mandarin.
by scottcodie | 2025-12-17 05:05:26+00:00
I have a legit laminar flow hood (airclean 600, 32 inch) in my home for plant tissue culture. I gotta say, I thought it was going to be easy street to sterile culture- it was not. Sterile protocol matters so much that I think it would have been just as easy to do what I needed to do in a glove box with all the extra precautions I had to take. It's honestly hard to beat an enclosed container with zero airflow.
by pkd | 2025-12-17 05:05:36+00:00
This didn't get traction but this is big news, mostly for reasons not mentioned in this article:

1. It's a RISC-V chip, which means freedom from licensing fees. 2. It is built on 28nm nodes, which is a far cry from the 180nm fabrication SCL was capable of till very recently.

Now, 28nm is not the state of the art, but it is not very far either. I'm excited about getting to sub-10nm nodes in not too distant future, which may make this viable for daily desktop and mobile experience. Although I'm hoping to see some more progress on the software-side with RISC-V in that period.
by 0xbadcafebee | 2025-12-17 05:05:42+00:00
> learn from our mistakes and convince our teams and management to use community-maintained, libre alternatives

Every company I've been at that tried to self-host something like GitLab, later moved to GitHub. Nobody in business cares if it's open source/free software. They care about managed hosting, centralized services, invoicing, etc. DIY is great for hobbyists and the cash-strapped.
by rich_sasha | 2025-12-17 05:06:26+00:00
Musk's success story is taking very bold bets almost flippantly. These things have a premium associates with them, because to most people they are so toxic that they would never consider them.

Every time when he has the choice to do something conservative or bold, he goes for the latter, and so long as he has a bit of luck, that is very much a winning strategy. To most people, I guess the stress of always betting everything on red would be unbearable. I mean, the guy got a $300m cash payout in 1999! Hands up who would keep working 100 hour weeks for 26 years after that.

I'm not saying it is either bad or good. He clearly did well out of it for himself financially. But I guess the whole cameras/lidar thing is similar. Because it's big, bold, from the outset unlikely to work, and it's a massive "fake it till you make it" thing.

But if he can crack it, again I guess he hits the jackpot. Never mind cars, they are expensive enough that Lidar cost is a rounding error. But if he can then stick 3d vision into any old cheap cameras, surely that is worth a lot. In fact wasn't this part of Tesla's great vision - to diversify away from cars and into robots etc. I'm sure the military would order thousands and millions of cheapo cameras that work 90% as well as a fancy Lidar - while being fully solid state etc.

That he is using his clients as lab rats for it is yet another reason why I'm not buying one. But to me this is totally in character for Musk.
by bsder | 2025-12-17 05:06:48+00:00
> Well we know that vision works based on human experience.

Actually, we know that vision alone doesn't work.

Sun glare. Fog. Whiteouts. Intense downpours. All of them cause humans to get into accidents, and electronic cameras aren't even as good as human eyes due to dynamic range limitations.

Dead reckoning with GPS and maps are a huge advantage that autonomous cars have over humans. No matter what the conditions are, autonomous cars know where the car is and where the road is. No sliding off the road because you missed a turn.

Being able to control and sense the electric motors at each wheel is a big advantage over "driving feel" from the steering wheel and your inbuilt sense of acceleration.

Radar/lidar is just all upside above and beyond what humans can do.
by Fricken | 2025-12-17 05:08:01+00:00
The latest Spider-man movie was shot on the streets of Glasgow this summer, and they went the distance to shoot spider-man swinging down the street practical, having built a massive truck-mounted boom that supports Tom Holland so he can physically swing back and forth like Spider-man did in the old cartoon:

https://www.youtube.com/watch?v=0cjGukBHofM

It was rare for anyone to go to such extremes to get a great shot in the days before digital effects!
by mNovak | 2025-12-17 05:08:43+00:00
While this example is explicitly asking for a port (thus a copy), I also find in general that LLM's default behavior is to spit out new code from their vast pre-trained encyclopedia, vs adding an import to some library that already serves that purpose.

I'm curious if this will implicitly drive a shift in the usage of packages / libraries broadly, and if others think this is a good or bad thing. Maybe it cuts down the surface of upstream supply-chain attacks?
by englishcat | 2025-12-17 05:08:54+00:00
I have a deep understanding of this point, a lack of vocabulary makes reading Japanese materials very difficult.

For this scenario, we will translate the Japanese text completely into English first, then inject japanese words in to the english text, the translated text with the injected Japanese words is displayed next to the original material.

This is the main feature I've been using myself, you can try it out and see if it's the feature you want.
by eszed | 2025-12-17 05:10:18+00:00
In a previous life I was an English major, and (more important to the subject at hand, I think) a professional actor / voice actor. I endorse everything you say - including that it's maybe like the kerning issue. I damn sure, though, that the people who don't see it on the page would feel the difference were it spoken as written. (Which, ask a designer, is also like kerning - or so they say!)
by kcplate | 2025-12-17 05:10:26+00:00
No, I never made any claim that you have any duty to do anything at all, that is something you are inventing. Frankly, I don’t care if you explain anything or not. I provided information about the ease of access of porn among young people pre-internet. You made a claim that ease of access didn’t matter. I asked for clarity on that and you don’t want to provide it.

So be it.
by ssl-3 | 2025-12-17 05:11:05+00:00
I measured it tonight just because I was curious.

Same house, same tap, same thermometer as the previous summer reading. It went from ~room temperature to ~60F/16C in a hurry. That's about the temperature of the basement right now.

It then dropped to about 48F/9C as water from the pipe under the street was introduced, and it stayed at that temperature. That'd be great for an incidental cooling loop, except: It's rather cold outside and it will remain cold for months. :)
by euroderf | 2025-12-17 05:11:59+00:00
> How could this be, when we've gotten so good at giving people what they want?

> Maybe because we've gotten good at giving people what they want in a way that prevents them from wanting anything worth having.

This has a political interpretation too. Have you noticed that online "petitions" have mostly disappeared lately ? Maybe this disappearance is based on now-widespread recognition that the way to get the attention and concern of the political establishment is to get out on the streets and make some noise.

Online activity can _motivate_ protest, but it cannot really express protest in a way that "matters". It's busy work. Keep the monkeys at their typewriters.

Online is the equivalent of hanging a sign in your window; it does not tell you whether your opinion is shared by most of your fellow citizens. Thousands of likes versus the knowledge that social media keeps each of us in our bubble, feeding us more.

But a monster rally in your city and elsewhere can tell you precisely that your opinion is shared by most (or "sufficiently many") of your fellow citizens. Pithy placards to the fore!
by Scaevolus | 2025-12-17 05:12:00+00:00
SDL3 is kind of the intersection of features found in DX12/Vulkan 1.0/Metal: if it's not easily supported in all of them, it's not in SDL3-- hence the lack of bindless support. That means you can run on nearly every device in the last 10-15 years.

This "no api" proposal requires hardware from the last 5-10 years :)
by orange_puff | 2025-12-17 05:12:12+00:00
This seems really impressive. I am too lazy to replicate this, but I do wonder how important the test suite is for a a port that likely uses straight forward, dependency free python code https://github.com/EmilStenstrom/justhtml/tree/main/src/just...

It is enormously useful for the author to know that the code works, but my intuition is if you asked an agent to port files slowly, forming its own plan, making commits every feature, it would still get reasonably close, if not there.

Basically, I am guessing that this impressive output could have been achieved based on how good models are these days with large amounts of input tokens, without running the code against tests.
by seanmcdirmid | 2025-12-17 05:14:17+00:00
Shanghai usually gets the CPC members running it who will lead the country in the future. So...the future president of China is likely to be a party secretary of Shanghai at some point (like Xi in 2007). Any cadre who is favored and wants to be seen making modern impacts will be sent to SH.

Southern Chinese cities are better run than Northern Chinese cities. Not just Shanghai, but Hangzhou, Suzhou, Nanjing, Wenzhou...heck, even Kunming has better drivers and traffic than you'll see in Beijing.
by runjake | 2025-12-17 05:15:46+00:00
Yes, several times a day. I use summarization for webpages, messages, documents and YouTube videos. It’s super handy.

I mainly use a custom prompt using ChatGPT via the Raycast app and the Raycast browser extension.

That said, I don’t feel comfortable with the level of AI being shoved into browsers by their vendors.
by Rebelgecko | 2025-12-17 05:16:38+00:00
I couldn't find Waymo's stats for all crashes in 12 seconds of googling, but they have breakdowns for "crashes with serious injury" (none yet) "crashes resulting in injury" (5x reduction) and "crashes where airbag deployed" (14x reduction), relative to humans in Austin

Austin has relatively low miles so the confidence intervals are wider but not too far from what they show for other cities
by rcoder | 2025-12-17 05:16:50+00:00
We host a fair bit of Terraform code in a repos on GitHub, including the project that bootstraps and manages our GH org’s config: permissions, repos, etc.

Hilariously, the official Terraform provider for GitHub is full of N+1 API call patterns — aka exponential scaling hotspots — so even generating a plan requires making a separate (remote, rate-limited) API call to check things like the branch protection status of every “main” branch, every action and PR policy, etc. As of today it takes roughly 30 minutes to do a full plan, which has to run as part of CI to make sure the pushed TF code is valid.

With this change, we’ll be paying once to host our projects and again for the privilege of running our own code on our own machines when we push changes…and the bill will continue to grow exponentially b/c the speed of their API serves to set an artificial lower bound on the runtime of our basic tests.

(To be fair, “slow” and “Terraform” often show up and leave parties at suspiciously similar times, and GitHub is far from the only SaaS vendor whose revenue goes up when their systems get slower.)
by uasi | 2025-12-17 05:17:18+00:00
> 方 and 頬 (hou vs hoo) is a better example.

As a native Japanese speaker, this example is eye-opening. I hadn't even realized that the u in 方 is pronounced as /o:/ — I believe most Japanese people haven't either, despite unknowingly pronounce it that way.

Also, I have no idea how to Hepburn-romanize 方 vs 頬, 負う vs 王, and 塔 vs 遠. If I had to romanize, I would just write it as whatever the romaji input method understands correctly (hou/hoo, ou/ou, and tou/too, in this case).
by reactordev | 2025-12-17 05:17:32+00:00
To be fair, it was true when they said it, it just didn’t remain true and they kept on keeping on.

The idea of not turning a profit was to keep reinvesting it into the company. Growing the business. This “eat it all and figure it out later” mentality grew Amazon, Google, Facebook, Twitter, just to name a few.

The goal was to become dominant so that the world depends upon your existence. Without being labeled a utility.

You and I agree though that the moat has been carved pretty wide. The market is no longer a free market. It’s a “I must play to stay” market. Meaning that all these companies are depending on each other for specific goods as they have crushed competition to the point where there are, at most, 2 choices.
by _heimdall | 2025-12-17 05:17:50+00:00
Its a matter of approach and I wouldn't say what I've found to work for me would work for anyone else.

In my experience, I'm best served by trying to reinforce awareness rather than relying on it. If I got into the habit of always using blinkers regardless of my surroundings I would end up paying less attention while driving.

I rode motorcycles for years and got very much into the habit of assuming that no one on the road actually knows I'm there, whether I'm on an old parallel twin or driving a 20' long truck. I need that for us while driving and using blinkers or my brights as motivation for paying attention works to keep me focused on the road.

Signaling my turns is zero cost with regards to that action. At least for me, signaling as a matter of habit comes at the cost of focus.
by mikestorrent | 2025-12-17 05:18:24+00:00
In-browser ones? No. With external LLMS? Often. It depends on the purpose of the text.

If the purpose is to read someone's _writing_, then I'm going to read it, for the sheer joy of consuming the language. Nothing will take that from me.

If the purpose is to get some critical piece of information I need quickly, then no, I'd rather ask an AI questions about a long document than read the entire thing. Documentation, long email threads, etc. all lend themselves nicely to the size of a context window.
by fsckboy | 2025-12-17 05:18:26+00:00
>They are suggesting that most F-150s are not purchased for real truck work like hauling stuff

correct, but it's in the context of the their misimpression that "truck stuff" would be the reason to buy electrics. and I'm pushing back on that saying that the people who buy groceries are the people who are buying electrics. people who "have a commercial job to do" are less likely to experiment with a new technology: "if it ain't broke, don't fix it, especially if your income depends on it"
by alephnerd | 2025-12-17 05:19:05+00:00
> heck, even Kunming has better drivers and traffic than you'll see in Beijing.

But, conversely, a poor farmer in Yunnan was less likely to choose to become a migrant worker in Kunming instead of a Tier 1 metro.

IMO, Beijing's craziness can be attributed to the fact that it is the economic center for much of Northern China - and a number of migrants from large neighboring laggard states like Hebei, Shanxi, Henan, and others ended up gravitating to Beijing.

> Shanghai usually gets the CPC members running it who will lead the country in the future

Not anymore. That was more of a Jiang- and Hu-era bias.

> a party secretary of Shanghai at some point (like Xi in 2007)

Xi's tenure in Shanghai was transitory (less than a year from what I remember) and imo was due to his previous role in Zhejiang.

> Hangzhou, Suzhou, Nanjing, Wenzhou...

Those are all closely connected with Shanghai economically speaking, and all part of Zhejiang or Jiangsu.