skysight-inc/HackerNews huggingface dataset:
Hi HN! I'm excited to share ODocs with you today. I built it to solve a frustrating problem I kept encountering with AI coding assistants - they generate outdated or incompatible code because they have no idea about which framework versions your project is using or new versions and patches released.

How it works:

1. ODocs uses a CLI tool that provides latest version details of popular packages and also scans your project files (like package.json) to detect which frameworks and versions you're using.
2. It fetches the correct version-specific documentation from our open registry.
3. It runs a local server that AI coding assistants can connect to via API or MCP (Model Context Protocol).
4. When you ask for help, your AI assistant uses the right documentation for your exact versions.

Technical stack:

- Node.js CLI tool for framework detection
- Hono-based API server for documentation serving
- Local caching system to minimize network requests
- Open documentation registry (similar to Docker Hub model)

Current status: The initial prototype works with Hono 4.7.5 (a lightweight web framework). This targeted implementation proves the concept works, but we're just getting started.

What's next: We're focusing next on adding support for:

React ecosystem (React, Next.js)
TailwindCSS
Common Python frameworks

This is fully open-source, and we'd love contributions to expand framework support or improve the project!

Which frameworks would you most like to see supported next? Your feedback will help guide our priorities.
It feels to me that the hypothesis of this research was somewhat "begging the question". Reasoning models are trained to spit some tokens out that increase the chance of the models spitting the right answer at the end. That is, the training process is singularly optimizing for the right answer, not the reasoning tokens.

Why would you then assume the reasoning tokens will include hints supplied in the prompt "faithfully"? The model may or may not include the hints - depending on whether the model activations believe those hints are necessary to arrive at the answer. In their experiments, they found between 20% and 40% of the time, the models included those hints. Naively, that sounds unsurprising to me.

Even in the second experiment when they trained the model to use hints, the optimization was around the answer, not the tokens. I am not surprised the models did not include the hints because they are not trained to include the hints.

That said, and in spite of me potentially coming across as an unsurprised-by-the-result reader, it is a good experiment because "now we have some experimental results" to lean into.

Kudos to Anthropic for continuing to study these models.
I hear this soooo often. If you can't talk to friends about your honest opinions without being respectful to one another and also being willing to listen to their reasoning and opinions, what kind of friendship is that?
To me it seems more like it was the other way round. Sam Altman threatened to destroy OpenAI if he gets fired, and the board gave up.
> Blowing up the economy and threatening a global recession won't actually solve any of these.

But neither will the status quo.
Yeah I see what you mean too :) It is big suck.
There are some legitimate use cases for them, but generally I think web push permissions are best defaulted to “no” so sites can’t harass users with fake, “we need to maintain the ability to harass the users again” in app prompts.
I’ve lived in both and I prefer ::.
Literally none of this is politics, its governance. Politics is the human word for the chimplike "who gets to be the boss" games we play. No matter how well your society is running there will always be politics, put 20 people on a tropical island with no problems and 4 weeks later half of em will want to kill the other half - thats politics
To be fair, while the piece is a deliberate provocation, like some of his others, the rest wasn’t imagined by Cage to take 17 months, that’s just an artifact of someone else’s decision to play the piece for 639 years. In typical performances while Cage was alive, the opening rest wasn’t more than a few seconds.
https://archive.is/t0VCb
If you're in Elixir land, Hermes MCP[0] is a fantastic library for building out MCP clients/servers with both SSE/HTTP support. And will be quite robust given the scalability and fault tolerance of the BEAM.

[0] https://github.com/cloudwalk/hermes-mcp
It doesn't matter. Sue whoever uses it commercially.

If you insist on making it about the model, you will wreck something wonderful.
A crutch is one thing. A crutch made of rotten wood is another.
Is that really a good-faith rejoinder to the point I'm making?
It's both an interesting and tragic phenomenon that seems much broader:

Plausibly, fashion is primarily about sex, especially at the ages when humans are most sexually active. And possibly changes in fashion are really second-order effects of changes in sex:

The most shocking thing, researched and reported but I don't think people grasp the significance, is that young adults are having much less sex.

Sex is among the most fundamental human drives. People can't stop themselves, which is why IMHO it gets such attempts to restrict it, by law and custom and shame, across time and place (to varying degrees). You can be sitting there, clearly knowing you shouldn't do it, and it can be very difficult to stop. All those efforts to stop people, by cultures, religions, governments, parents, etc. have widely failed - people still have pre-marital sex, commit adultry, get drunk and screw, hire prostitutes, watch porn, etc. (I'm not judging.)

Incredibly, now something has actually managed to significantly reduce sexual activity - and among people who are perfectly free to do it. Has that happened before in history (serious question)? Where/when/who is it now happening for and not happening? Speculating on why is perilous without evidence - imho it's just disinformation. But whatever the cause(s), it's a signal of something very serious.

Wearing plainer clothes is possibly just a follow-on effect.
The weights are aware of the end goal etc. But the model does not have access to these weights in a meaningful way in the chain of thought model.

So the model thinks ahead but cannot reason about it's own thinking in a real way. It is rationalizing, not rational.
The content is lies. E.g.

https://tsf.telegram.org/manuals/e2ee-simple#are-cloud-chats...

Talks about "unique distributed architecture" which I have debunked here

https://security.stackexchange.com/a/243172

When people parrot those lies, they're being useful idiots, which Russia has used for ages https://en.wikipedia.org/wiki/Useful_idiot Durov is trained in information warfare and propaganda https://www.nytimes.com/2014/12/03/technology/once-celebrate... He knows what he's doing.
Thanks. I don't really see how that applies, but I welcome us diving into your dissection so that we can clear up any misunderstandings and to learn from it for the sake of the future.
Existing bondholders can't demand anything of course. But the bond price is determined by buyers and sellers. With dropping USD, buyers will pay a lower price for the bonds, i.e. the yield will go up.
We detached this comment from https://news.ycombinator.com/item?id=43555793. Please see the rules at the top of the thread.
Stealing the assets of countries like Venezuela and Russia caused this to happen by making the rest of the world move off of the dollar to secure their asses. Doing more of them is the dumbest idea that can be proposed.
If you asked me a couple years ago, I would absolutely oppose it, but now I am seriously entertaining the idea that it may be better to live in a poorer but more equal society.

It seems that the majority cares far more about comparative wealth than absolute wellbeing, and is willing to destroy the system if they don't get what they want.
See also:

“Simple declarative schema migration for SQLite”

https://david.rothlis.net/declarative-schema-migration-for-s...

Discussed previously:

https://news.ycombinator.com/item?id=31249823

Disclosure: I am the co author of that article
Pretty ironic, considering that Elon Musk supports UBI.
But if you have data to migrate, it is not always possible to infer the diff, no?

Say I have a users table with a name column. Then I alter the table and split the name column into two new columns: first name and last name.

How is it possible to infer this change, just from seeing the new and old columns?
Any links to the research on this?
> They buy flour, they buy gas and they pray their car doesn't break down.

All of which are going to get a lot more expensive, too. We all swim in the same pool here.
> We could have kept that and implemented policies that were far less painful and far more likely to increase wages.

Yeah, but we didn't, so this is what we get.

That's why, ultimately, I blame Democrats for Trump. They had many opportunities to improve things, but they chose to ignore the trouble and prioritize other stuff more amiable to their increasingly upper-class base. The root cause was their neglect of the building pressure, Trump is just the explosion. They keep claiming they're the competent and responsible ones, but they are just irresponsible in a different, more subtle way.
The Eu will take care of that by slapping taxes/tariffs or regulations, and the rest of the world will also do the same. Play stupid games, win stupid prizes.
Nyad | ONSITE (Alabama)| Full-time | ML, Backend, Frontend and Product role

For more details, take a look here: https://www.linkedin.com/jobs/view/4199877025

Help us keep water clean. Literally. Join this Techstars backed startup.
Nyad is on a mission to modernise how the world manages industrial wastewater. Across thousands of factories and treatment plants, operators are manually inspecting microbes under microscopes making critical decisions for billions of bacteria that clean our water. When things go wrong, they really go wrong: bugs die, pollution spikes, and companies spend big on emergency chemicals.
We’re building software tools that empower operators with real-time insights combining image-based analysis, process recommendations, and AI-driven models of microbial health. It’s biology meets machine learning, in one of the least digitised but most essential sectors on Earth.
I used my T420 up till 2021.

I upgraded the screen to a 1920x1080 IPS panel.

SSD.

I have a full-fledged workstation for anything that needs heavy lifting and I primarily used the laptop as a device to remote into my workstation.

It was perfectly fine for standard web browsing and youtube.
The argument is that if the many (maybe the majority) of systems are sending packets with a TTL of 64 and they don't experience problems on the internet, then it stands to reason that almost everywhere on the internet is reachable in less than 64 hops (personally, I'd be amazed if it any routes are actually as high as 32 hops).

If everywhere is reachable in under 64 hops, then packets sent from systems that use a TTL of 128 will arrive at the destination with a TTL still over 64 (or else they'd have been discarded for all the other systems already).
Lack of concern or outright contempt for front end and the users is why front end development is a subfield in the first place, because backend devs can't or won't produce something people can use.
That would be more aesthetically pleasing, but that's unfortunately not what the word rationalizing means.
Ah, so don't use the outputs of an LLM commercially?
That list for Rust is not necessarily comprehensive. What matters more than the number is the segregation; you can’t cause UB from safe rust, only unsafe rust.
Even if tariffs remained for decades reciprocal tariffs mean that no matter where you're located you pay a penalty when you buy manufacturing inputs and when you sell outputs.
I remember there was a paper a little while back which demonstrated that merely training a model to output "........" (or maybe it was spaces?) while thinking provided a similar improvement in reasoning capability to actual CoT.
Being rational in many philosophical contexts is considered being consistent. Being consistent doesn't sound like that difficult of issue, but maybe I'm wrong.
> Still, the near perfect mimicry is an uncomfortable reminder that AI is getting better at copying and closer to

I completely disagree. It's not getting "better." It always just copied. That's all it /can/ do. How anyone expected novel outputs from this technology is beyond me.

It's highly noticeable if you do a minimal analysis, but all modern "AI" tools are just copyright thiefs. They're just there to whitewash away liability from blatantly stealing someone else's content.
>That is not honest presentation of the facts.

They have f'd up in the past, and since they still employ the same incompetent nepo-hirings, they will continue to f up in the future.

Until they own their mistakes and E2EE everything, like they should have done in the first place, I will keep pointing out their incompetence, past and present.

You do not get to rewrite their history by telling people to shut up.
There are still physical limits to computation, even if we had godlike powers to rearrange the universe as we like (Bremermann's limit, Landauer's principle, there are probably others but I'm not a computer scientist or physicist). More practically, the mass and energy we have to build and operate computers with is finite. Until we know what principles the brain actually runs on, we can't do the math to determine if its physically possible to build computers that simulate it.

That said, if we find it uses some new principle that we don't exploit in our computers, things get very exciting because then we can start trying to do that (you see a faint whisper of this in the excitement around quantum computing).
> The policies are different too, but over time we've gone from a world where there were at least some cases where the two parties had different policies for how to reach the same goals, and into a world where the parties policies are aiming to realize fundamentally different visions of the world, based on fundamentally different values.

What difference do the parties have? They are both the 'corporate party' maximizing shareholder profit at all costs including killing brown people overseas or murdering Americans at home if they cant pay for healthcare.
More Predictable Benchmarking with Testing.B.Loop
Won't even have a product if you can't convince people to work for you. Believe it or not, its actually the workers who do most of the work.
Leaders from both parties in US government agree that global trade needs to be rebalanced behind closed doors; I have videos of Pelosi and Schumer supporting tariffs to balance trade deficits with China specifically. For all of the talk about “reserve currency” it doesn’t really seem like sitting back and doing nothing will prevent global trade in RMB, euro, or some BRICS currency, which is increasing every year. So if we’re going to get to that state eventually anyways, might as well start preparing for it now.

For all of the whining about the previous tariffs from the first Trump term, or the TCJA, neither were repealed when democrats had the opportunity, although there were small adjustments. That should really tell you all that you need to know.

It turns out that manufacturing jobs are better for supporting a family than service jobs, hollowing out our economy so there are far less good paying manufacturing jobs turned out to be a huge mistake, originally pushed by CFR, Cato, Brookings, etc. so the only people who are doing well are the rich, because the benefits of global trade accrue almost exclusively to them (although many CPI advocates will make the argument that you’re better off now because you can own a nice cell phone even though you can’t own a house)

The public BSing goes the other way too of course. Imagine getting worked up over classified stuff on a private email server and then letting your cabinet use signal and Gmail.
>> "a photo image of an intergalactic hunter who comes to earth in search of big game."

I can literally imagine hundreds of things that are true to this description but entirely distinct from "Predator."

> used commercially

Isn't that what these AI companies are doing? Charging you for access to this?
Live demonstrations of the Industrial-grade Removable eSlM and EIOTCLUB’s broader IoT connectivity portfolio will be held at ISC West, April 2 - 4, at the Venetian Expo in Las Vegas. Attendees can explore use cases, experience live demos, and consult with experts on tailored deployment strategies.

Learn more or schedule a consultation during ISC West at http://www.eiotclub.com.

About EIOTCLUB
EIOTCLUB delivers industrial-grade SIM and eSIM solutions for resilient, scalable, and transparent IoT deployments. With over 2.58 million users worldwide and partnerships with more than 100 leading IoT hardware manufacturers, EIOTCLUB enables global connectivity across sectors such as security surveillance, telematics, smart vehicles, and wearables.

Its solutions feature Triple-play network switching and satellite compatibility, ensuring seamless global coverage for the future of connected devices.

For Press Inquiries:

EIOTCLUB

Email: business@eiotclub.com

Website: http://www.eiotclub.com/
Yes! The generic form is also supported of course. https://gitmcp.io/docs does exactly that:
https://github.com/idosal/git-mcp?tab=readme-ov-file#usage
Fantastic blog post. I love constrained optimization, it's always pretty to throw a solver at a well-defined problem
> For the last 20 years at least, the leadership of the two main political parties in the US have largely invested in messaging around the values that they represent.

The largest two U.S. parties have been heavily minmaxing the propaganda they release to divide districts on the most effective issues they can convert into election wins. Their values are "get elected to office" but the propaganda can't be so straightforward because there aren't a lot of voters who are easily converted by that directness.

Voters have values; political parties and candidates have propaganda. Game theoretically the winning move is to compete on comparative advantage of an issue within a voting district; because (for example) Democratic voters are split on the death penalty it's a very useless propaganda point for the party as a whole [0]; sticking to one side or the other would lose more elections than it would win. Note that this is very different from ranking the importance of values and focusing on the most impactful to real people; the (implicit) hope is that by focusing on effective propaganda issues then some values may be preserved through the election process. In practice politicians also horse-trade for future party political capital in preference to espoused values.

One fundamental problem is that without a parliamentary style of government where coalitions are required to form a functioning legislature the usefulness of values in elections is greatly diminished. If I may say, the Republican party has done the best at shedding the illusion and explicitly transferring power to the party itself to enforce the values held by one man, which is the ultimate game-theoretically strong position for a political party. Disconnecting the ultimate value-judged outcomes of elections from the political machinations that win them has been incredibly damaging to democracy.

[0] https://www.salon.com/2024/08/31/the-end-of-the-abolition-er...
> It's just doing what many human artists would do

I really don't think so. If I paid a human artist to make the prompt in the title, and I didn't explicitly say "Indiana Jones" I would think it should be fairly obvious to the human artist that I do _not_ want Indiana Jones. If they gave me back a picture of, clearly, Indiana Jones, I would ask them why they didn't create something original.
"Who makes policy this way? The key point is that Trump isn’t really trying to accomplish economic goals. This should all be seen as a dominance display, intended to shock and awe people and make them grovel, rather than policy in the normal sense."

Spot on. It's mob boss / bully tactics.

Appeasing bullies does. not. work.
You can’t talk politics without first overcoming tribalism, so I suggest you start there, since in the US that is sadly the state of things.

If you start by talking about which sports team is better you will also cause these reactions. But politics should not be sports. It’s harmless to support a sports team that makes bad choices. Politics has real impact on people’s lives. It’s important to have exit criteria for alignments and affiliations with groups, to the extent they’re necessary.

> What physical changes in the world do you expect afterwards?

Just like voting, it has no effect in the small. You discuss to form and exchange opinions and ideas that become part of the whole. The benefits are in the aggregates. Thus it’s important that it has some other incentive. Where I’m from it’s not very tribalist, so we get the pleasure from thinking and discussing problems even without having an expectation that it will change policy. That wouldn’t work in the US outside very specific groups that understand the rules of engagement and the point of the game. But the discussions themselves are similar in vibe to board games or puzzles, that it’s somewhat fun even though it’s entirely useless (in the small).
> The obvious solution is not to hurt the economy as a whole, but rather for the government to lower the cost of high-quality education, build out social systems, and invest into onshoring select strategic industries by raising taxes at the high end.

Like... Scandinavia?
No, you don’t need to reach for non-materialistic views in order to conclude that we don’t have a mathematical model (in the sense that we do for an LLM) for how the human brain thinks.

We understand neuron activation, kind of, but there’s so much more going on inside the skull-neurotransmitter concentrations, hormonal signals, bundles with specialized architecture-that doesn’t neatly fit into a similar mathematical framework, but clearly contributes in a significant way to whatever we call human intelligence.
Btw, also, the official bookmarklet also doesn't work. "Please login." while logged-in.

Here's a working bookmarklet: https://xaviesteve.com/6344/add-to-pocket-bookmarklet-altern...
Leaving only the "there is nobody who can afford to buy anything because there are no jobs left" issue.

If you reply with "but surely BASIC INCOME" then I must ask, what are you personally doing to help make that happen?
Still have a T420 I keep in my toolbox in the garage. Use it to watch videos when I'm working on my bike or car. It's covered in grease and oil. Sits out there through summer/winter, high humidity, etc yet always boots up when I plug it in.
ooh cool. Sadly I am far from Elixir land. MCP starting out as largely STDIO definitely has made things harder for server-side engineers. I expect this will sort itself out this year though.
Oh. This actually looks like something I could see myself using, maybe. I thought I'd hate it, but after checking out the examples, this is pretty nice.

There are some syntax choices that aren't ones I'd have made (eg I prefer `ident: Type` and types being uppercase, I don't like `fn type identifier ()` for functions etc), but coming from C, I can see how and why it ended up like it did, and overall this looks really good. Great work!
Capitalism eventually ends up in those with capital making those without capital work until they drop. We are in that eventuality right now.
Same here. Can't we just give the repo URL in Cursor/Windsurf to use the search tool to get the context? :thinking: