skysight-inc/HackerNews huggingface dataset:
Well, given how many of their products come from China, right? How many of the products on sale on Amazon are partly or entirely produced in China? Those will have 125% (145? How mush is it today?) import duty on them, unless they're electronics.
My comment is not meant to encourage removing kindness and humanity from the relationship. It's meant as a reminder that the other party in the relationship (the company) does not necessarily bring those values to the table.

I would also like to live in a world where humane values are reflected in personal and business relationships to the point where the line between personal and business relationships blurs.
Spin is a great learning tool. Spin is
so much more accessible than TLA+ Toolbox, for instance.

But for really serious work, there are
much more modern approaches that exploit
SMT solvers like Z3 (as TLA+ does) for vastly more
powerful model checking than Spin offers.

Also, the creator of Spin has retired it seems;
email to the spin list bounces. The "community"
forum has not accepted registrations for
several years. Basically it seems Spin was
a one man show, and he has not passed the
torch onto anyone else. The tool is still
incredible though, and a great place to start.
Just don't expect any help if you get stuck.
Get the Spin book if you want to understand
all the options.

Here, for example, EPR is a vastly more powerful formalism:

I just watched this video from 2017 work,
and was blown away. They can model check
FULL Vertical Paxos (not just a single round
of Synod) in that same couple of seconds;
that was done for the first time in this paper.

Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham. OOPSLA 2017.

(pdf) https://arxiv.org/pdf/1710.07191.pdf

(video) https://youtu.be/_suyrSMJeCo

(from the first author's homepage)
What this analysis misses is that you can't run cron jobs on your subscription plan GPT/Claude models to extract the maximum value from the subs plan. The companies are making it more and more difficult to query their clients programmatically. gpt4free was a project that tried to do it but last I checked it didn't move past OpenAI's limitations.
I didn’t read in depth but it seems to me on first glance (please correct me if I’m wrong) but as with all articles on entropy this seems to explain everything but the classical thermodynamic quantity called entropy which is 1. the quantity to which all these others are chosen to be related to and 2. the one that is by far the most difficult to explain intuitively

Information and statistical explanations of entropy are very easy. The real question is, what does entropy mean in the original context that it was introduced in, before those later explanations?
It’s implied that programs are personal but product code goes through peer review, checking the premise of the change as well as the implementation.

When someone reviews vibe coded patches and gives feedback, what should the reviewer expect the author to do? Pass the feedback onto their agent and upload the result? That feels silly.

How has code review changed in our brave, vibey new world? Are we just reviewing ideas now, and leaving the code up to the model? Is our software now just an accumulation of deterministic prompts that can be replayed to get the same result?
As is this very website, depending on who you ask.
LLMs are not intelligent
I think it's less a joke than an observation. There's some per hour cost that's approximately fixed, so for a given mode of travel the slower it gets the more expensive it becomes. The lack of investment in rail is a vicious cycle.
… don’t they have a 50B endowment they could pull from?
NotebookLM – A tool designed to enhance understanding of complex information
The ballot initiative was all lies. 220mph rail, $50 tickets, Anaheim to SF. La to San Diego in an hour. It was all BS to get votes. And the one thing they stuck to was Fresno? How about forget Fresno, and work on 220mph.
D'oh! Thanks for the correction
Not necessarily. Should the market action bump up a company PE very high (hello, Costco at PE 53 today) that's not a reason to splurge on projects. On the contrary, many shareholders would expect the company to behave responsibly, save cash, pause share buybacks and build up war chest for leaner times, where buying a competitor could be way cheaper. My 2c.
re: "grok-3 is r1 with mods" -- do you mean you believe they distilled deepseek r1? that was my assumption as well, though i thought it more jokingly at first it would make a lot of sense. i actually enjoy grok 3 quite a lot, it has some of the most entertaining thinking traces.
I'd bet that even a tiny LLM can create more accurate summaries than whatever SEO garbage is usually put in the meta description
https://ja.m.wikipedia.org/wiki/%E6%98%AD%E5%92%8C%E6%9D%91_...
Don’t feed the bots. Why a pixel image? Take an svg and make it pulse while playing.
Interestingly, when this happens on the other side of the world, these people are expected to rise and overthrow. Otoh, when it's a local soul at stake… maybe someone else can save it. As a US citizen, aren't you the hope? Not you specifically, but you get the idea. You were the hope in many countries for decades and advocated for peace and democracy everywhere. And the only ones who still have freedom, guns and visibly functioning courts all in the same place.
Show HN: Return Self – Essays on Recursive Thinking
Return Self is a book for those who build, break, and rebuild systems — and begin to realize the system is building them back.

Blending software architecture, organizational theory, cybernetics, recursive epistemology, and structural poetics, this book offers essays that loop, concepts that contradict, and fragments that reflect more than they explain.

Read it once, and you’ll see systems differently.

Read it twice, and you may see yourself.

-

15 free downloads are available for y'all so I can get some feedback
Thanks for sharing this. For some reason I haven't heard of Podman Quadlets until this post. I can think of a few places where Quadlets would work better than Kubernetes or Compose. I'll give them a tinker.
I'm a little confused by your statement that "Meilisearch decided to use hybrid search and avoid fusion ranking" when your website [1] says "Hybrid search re-ranking: The final step involves re-ranking results from both retrieval methods using the Reciprocal Rank Fusion (RRF) algorithm."

Can you clarify what you mean by "fusion ranking"?

All hybrid search requires a method to blend keyword and vector search results. RRF is one approach, and cross-encoder-based rerankers is another.

[1]: https://www.meilisearch.com/blog/hybrid-search
Another post which describes the TOTP concisely - https://drewdevault.com/2022/10/18/TOTP-is-easy.html
>> As a US citizen my only hope is the rest of the world saves us

> How would they do that?

Due to offshoring and outsourcing, perhaps China could choke the US economy until it agrees to become a strong nation by studying Xi?

The the GP was probably imagining some liberal savior riding in a white horse, but that ain't gonna happen. Liberals are too weak everywhere.
Americans inexplicably re-elected a wildly incompetent conman to be president

In fact, this was totally and easily explicable after the dominant political party tried to convince Americans that their current leader was not suffering from severe cognitive decline and was "sharp as a tack" (a Biden admin talking point) and that NPCs lying to Americans about Trump being "easy to beat" by Kamala and also lying to them about Trump calling Charlottesville protestors "very fine people" and thinking that those fake attempts to make Trump look like he was endorsing Nazis wouldn't backfire explosively.

So, no, it was not "inexplicable" at all but it was rather Whiplash Effect initiated by media narratives originating in the Democrat ecosystem. And don't forget: Trump, Elon and Rogan are all ex-Democrats. I wonder, too, if the author was one of those people who deluded himself into thinking "Kamala is a great candidate" against all the evidence.

So the "Russiagate" hoax failed, "Kamala is awesome" failed, elites orienting themselves around appeasing far left pressure groups failed, smug contempt for middle America failed (astonishingly) and yet it is "inexplicable" why Orange Man Bad won the election!
You don’t need a banner for login cookies.
If the PE ratio is high enough, the company can raise money by simply issuing more shares. Giving the company a money-printer is the whole point of the stock market. That's what makes you an investor -- you're offering the company the value of your shares by exposing yourself to "inflation" whenever the company needs to raise some money.
Previously (252 points, 2 years ago, 132 comments) https://news.ycombinator.com/item?id=36697119

Related:

NotebookLM launches feature to customize and guide audio overviews (335 points, 6 months ago, 127 comments) https://news.ycombinator.com/item?id=41871262

NotebookLlama: An open source version of NotebookLM (322 points, 6 months ago, 72 comments) https://news.ycombinator.com/item?id=41964980

NotebookLM's automatically generated podcasts are surprisingly effective (907 points, 7 months ago, 490 comments) https://news.ycombinator.com/item?id=41693087
Hey Simon, I love how you generates these summaries and share them on every model release. Do you have a quick script that allows you to do that? Would love to take a look if possible :)
$5 for 1,000 image optimizations? Is Vercel not caching the optimization? Why would it be doing more than one per-image on a fresh deploy?
As far as I can tell it doesn't mention which air purifier.

Knowing that might help influence purchasing decisions for those also interested in a "sleek" air purifier that contains an ESP32.
”We’ve become so efficient and are so forward-thinking, we just don’t need all these pesky employees” sounds better than ”We overhired and it turns out money isn’t free anymore”.
While I agree that vibe coding holds a lot of potential, we should not fall into the trap of success bias here....
Fabrice is amazing. The amount of stuff this guy has built is utterly incredible.

If I built any one of the things he's built (ffmpeg, qemu, tinyc) I would never stop bragging about it. Instead, he just keeps hacking on other cool stuff.
Everything you've said sounds like next quarters problem.
The closest thing to Amazon made in Latin America is almost the same thing, I'm talking of course about Mercadolibre.com, you can ask a refund for a product but if you do you cannot leave a review at all, and the products with bad scores have their scores and their reviews hidden, that's why is impossible to find a single product with less than 4 stars, and they have millions of them, it's as shady as it gets.
Thank you.

> MongoDB remains fully committed to open source

I guess not everyone inside MongoDB Inc. knows that MongoDB is not open source.
The ridership and convenience of the Acela route is really not representative of the rest of the country.

It's extremely speculative to extrapolate that dense route with the induced demand for travelers going from Kansas City union station to Denver union station... with absolutely nothing in-between.
The high-end Falcon models were an engineering marvel and, as you say, nothing else in the market was even close.

I don't know about "real estate inspection", but another use case was for them to be used in oil rigs in the North Sea to inspect the structure of the rig itself. They had to be self-stabilizing under high winds and adverse weather conditions, and they had to carry a good enough camera to take detailed photos.

Unfortunately, while the technology was there, the market wasn't. Not many wanted to get a $35K drone to be able to sustain this business.
> You are forgetting

No, I just don’t think they are applicable. Korea, Taiwan and Vietnam were are all very poor and rural Germany was one of the main industrial powers for the at least 50-60 years preceding WW2.

> Marshall Plan

the total inflation adjusted amount of grants and loans that went to Germany was equal to about 32 billion dollars. That’s less than the amount of economic aid US gave to Afghanistan since 2001.

But yeah, I agree that there are no biological reasons preventing any poor or underdeveloped from becoming successful.
I haven't found this to be the case in my experience. Although I may be misunderstanding, but this is my experience running Meili in prod:

* Meili uses 50% RAM

* I use 10-20% with another script to occasionally index new data

* When indexing, Meili could jump to use 70-80% RAM

* Meili is OOM killed
All very valuable comments! Actually I had a small edit on the "forget password" flow.

I agree that an asymmetric key makes much sense. Secret key can be left at the user device while server only contains the public key. That sounds much more secure. I will dig deeper!

True about the stuffing proteciton, I actually want to do further reading on how TOTP is secured from random attacks. Statistically you are expected to crack 1 account in every 1 million attempts in 6 digits codes. Those numbers look pretty huge in the context of security, and a bot-net can potentially brute force couple hundred accounts every day.
To effectively vibe code, u must setup a really clean foundation first, so that llm knows their boundary. Following best practices is a must.
It was always a curse.
As China tariffs kill fast fashion, a rave-wear startup sees opportunity
Always bewildering to me when people look at the demographics of conservatives, leaning old and rich, and think that they just fell out of the coconut tree. No. Those people were sometimes "progressives" in their time and later became conservatives.

Same as it ever was. No further explanation needed. Not a new phenomenon.

ed: "No, it must be the fault of the left." must be a reassuring thought, but let me occams razor that for you: when these people were younger, they were selfish, and as they weren't yet the status quo, they were progressive. When these people got older, they were still selfish, and as they were the status quo, they were conservatives. Simple.
There is a need for increased geographical coverage in the right corridors. Many corridors with high population density are just not covered.

As bad as the passenger rail situation is in the US, I can totally understand how it got this way compared to other countries from a pure geographic point of view.

The US landscape is ideal for freight trains and not quite as ideal for passenger trains.

If you look at countries like Japan, the geography makes a perfect condition for passenger trains to be most ideal. Railroad as a shipping method for goods doesn't make a lot of sense, you can just put goods on ships that travel along the coasts and for shorter journeys trucks make more sense.

Or look at China: massively higher population, and their population is much more concentrated in the East of the country than the US with its split up coastal populations. Maybe we could say that a high speed train between Indianapolis and Cleveland would be nice, but there isn't even a single direct commercial direct flight between those destinations, so how will anyone fill up a train? China's huge population makes it an extremely ideal high speed rail use case.

But in the US, putting goods on a train from Chicago to LA makes way more sense than any sort of truck or ship situation. And even a high speed train on that route wouldn't make a whole lot of sense compared to a flight.

But there's definitely room to improve geographical coverage in specific corridors where that expansion would have great positive impact.
https://archive.md/cPohD

It's probably worth the time to dig into vitamin K2, what else it does and which foods and how much we as humans generally acquire from dietary sources. My take away was for the most part the body didn't usually have enough gut bacteria to ensure the daily requirement of K2 was met.

For the most part the study is about the role of K2 plays. [1] and [2] are a bit plainer in regard to that same study.

Fortunately most of us eat a wide enough diet, but for those older people who are not absorbing as well as they should or in general folks with malabsorption / gut issues, including more foods that have a higher K2 eg [3] [4] would be beneficial - or perhaps consider taking a supplement.

[1] https://www.technologynetworks.com/neuroscience/news/vitamin...

[2] https://neurosciencenews.com/vitamin-k-memory-aging-28570/

[3] https://www.webmd.com/diet/foods-high-in-vitamin-k2

[4] https://www.nutritionadvance.com/foods-high-in-vitamin-k2/
Why bother with the dishwasher if you're already washing the dishes? I don't do any of those manual steps and my dishes come out clean. Modern dishwashers and soap are very good at the entire process.
IDK, I think Gemini is great. Way better than bard.
The Quiet Guilt of Coding with AI
Chinese police put 3 U.S. operatives on wanted list over cyberattacks
Those people aren't putting in their own money. The people who did put their money into Instagram got to see behind the corporate covers, and they decided to buy anyway. It's very easy to say whether you'd invest $1B if you're not putting in any of your money.
Just ask the first AI that comes to mind which one you could ask.
The fact that the lawyer for the person says "there's no evidence" doesn't mean there actually isn't any evidence. It just hasn't been revealed.

This is the law department. Religion is down the hall and around the corner.
It's often a good idea to set up TOTP on accounts just because they may treat you differently due to having 2FA enabled. It would be harder to lose a gmail account to their "security" systems if you add TOTP to it for example. In the case of gmail adding it is a hassle involving devtools to emulate a hardware key first then add TOTP and then delete the hardware 2FA.

Some password managers such as KeepassXC have TOTP incorporated into them and you can have it available right next to the password. It may defeat the purpose of 2FA under some assumptions.
I’ve got a power station (Ugreen) with an ESP32 that I’d also love to connect to HomeAssistant, instead of their app which provides me no benefit.

This is definitely beyond my capabilities at this point but it could be interesting to go through a similar process once mentally ready.
Now compare that FPGA to Groq, SambaNova, or Cerebras. The ASICs are more efficient.
> You're basically polling the consensus answer to the question you're asking.

There is nothing wrong with going with the consensus answer. Sure, you can't invent an O(N) sorting algorithm with the consensus, but LLMs can definitely write good, maintainable code. Michelin star analogy might be an exaggeration, but it can help cook a good homemade meal, possibly even better than most wannabe home cooks.
Nice writeup and very comprehensive! I've done some ESP32 development in the past and I vowed to always use an open protocol and allow users to connect devices to their own servers, if I ever made a product based on it.

You really went through the whole reverse engineering process end to end, I know that must have been a ton of work to not only reverse engineer it but also to write everything up!
Everyone benefits from the gains, everyone gets more customers and more investment.
Java edition
Show HN: MCP-Shield – Detect security issues in MCP servers
I noticed the growing security concerns around MCP (https://news.ycombinator.com/item?id=43600192) and built an open source tool that can detect several patterns of tool poisoning attacks, exfiltration channels and cross-origin manipulations.

MCP-Shield scans your installed servers (Cursor, Claude Desktop, etc.) and shows what each tool is trying to do at the instruction level, beyond just the API surface. It catches hidden instructions that try to read sensitive files, shadow other tools' behavior, or exfiltrate data.

Example of what it detects:

- Hidden instructions attempting to access ~/.ssh/id_rsa

- Cross-origin manipulations between server that can redirect WhatsApp messages

- Tool shadowing that overrides behavior of other MCP tools

- Potential exfiltration channels through optional parameters

I've included clear examples of detection outputs in the README and multiple example vulnerabilities in the repo so you can see the kinds of things it catches.

This is an early version, but I'd appreciate feedback from the community, especially around detection patterns and false positives.
That's actually the term I prefer, but I couldn't remember it
Sci-Net
There is a new platform, Sci-Net by Alexandra Elbakyan where researchers can help each other by providing paywalled papers. The platform builds upon Sci-Hub meme token $scihub to reward active members.
Just put a tarball url on a plain website then. No community interaction required to share code
Actually, anticolonial means opposition to or resistance against the system where one country controls another. It really has nothing to do with their system of government. BTW, they're run by the socialists now and, thanks to Clinton and McCain, we have normal relations with them. The US Navy makes port of call visits to Cam Ranh Bay. Maybe if we'd just done a deal with that former line manager for General Motors we could have made those port of call visits earlier and saved $800B, a 100K US lives and a couple of million Vietnamese dead. You know, mercantilism.
I consider the relative ease with which many people can imitate him to be the reason he is in office
Lynx is a web browser, bookmarking a page is done by hitting "adX" as in (a)dd (d)ocument to file (X). Or (a)dd (l)ink to (X). Nice and quick.
The X is usually a lower case ASCII letter corresponding to a file. You can enable this mode (and the specific bookmark files) in lynx's config file. The Emacs extension uses the same keystrokes and, optionally, the same files.

Alleviations are (I'm intentionally vague here) for getting rid of finding a link, clicking through, repeat, repeat, repeat, repeat, just to get to where I need to be (like adding an update to a ticket). I usually only automate processes that are intended for use by mouse/pointer-driving users with an ability to comprehend what (and where) icons are - I have a self-imposed problem withe former and a physically/mentally imposed hard time with the latter.
The other day I was reviewing the work of a peer on a relatively easy task (using a SDK to manage some remote resources given a static configuration).

At several times I was like « why did you do that this way? This is so contrived ». And I should have known better but of course the answer started with « … I know but Copilot did this or that… ». Of course no test to validate properly the implementation.

The sentiment expressed in the article were developers won’t even bother to validate the output of coding assistants is real. And that’s one of the biggest shame to this current hype: quality was already decreasing for the past 10 years, signs indicate this will only go downhill from here
Kohei Tokunaga has the next generation of this

https://ktock.github.io/container2wasm-demo/

with emscripten Browser networking via fetch, or a Posix compat websocket proxy

https://ktock.github.io/container2wasm-demo/amd64-debian-was...
I suspect hiding the manufacturer/model was very much on purpose, they blurred the markings on the PCB and hid the domain name for the manufacturer's API calls (and in the console logs as well).
If someone has a low IQ and can’t do well on a standardized test, how in the world will they succeed at Harvard?

Even if you believe that such tests simply reflect privilege and reveal absolutely nothing regarding innate talent, what difference does it make? It can be a point-of-time snapshot but it still doesn’t mean letting in low-IQ poorly-equipped students to Harvard will help them or anyone else.
Can’t say what your experience with your particular box will be, but the steam deck is absolutely fantastic.
The point is, for most projects there is nothing wrong with writing McDonald's level code. It's not as healthy or tasty as a homemade meal, but it will perform its main function (i.e. prevent you from starving).