MurphyA/hacker-news huggingface dataset:
Show HN: EdgeVec – Sub-millisecond vector search in the browser (Rust/WASM)
by matteo1782 | 2025-12-12 22:39:47+00:00
Hi HN,

I built EdgeVec, a vector database that runs entirely in the browser. It implements HNSW (Hierarchical Navigable Small World) graphs for approximate nearest neighbor search.

Performance: - Sub-millisecond search at 100k vectors (768 dimensions, k=10) - 148 KB gzipped bundle - 3.6x memory reduction with scalar quantization

Use cases: browser extensions with semantic search, local-first apps, privacy-preserving RAG.

Technical: Written in Rust, compiled to WASM. Uses AVX2 SIMD on native, simd128 on WASM. IndexedDB for browser persistence.

npm: https://www.npmjs.com/package/edgevec GitHub: https://github.com/matte1782/edgevec

This is an alpha release. Main limitations: build time not optimized, no delete operations yet.

Would love feedback from the community!
by Nextgrid | 2025-12-12 22:39:49+00:00
> a polite rejection email is also sufficient

The reason for the lack of those is that employers want to hedge their bets - emailing a rejection will make the candidate move on and potentially take another offer which would make them unavailable.

Letting them stew means the candidate may remain available if you suddenly change your mind or your top pick flakes out and you need a replacement on short notice.

It's understandable - what's less understandable is being butthurt about it when candidates start playing the exact same game and flake out because they too hedged their bets, picked another option and need to let you down.
by Enginerrrd | 2025-12-12 22:40:10+00:00
You say that like it’s even remotely feasible at the frontier of mathematics and not a monumental group effort to turn even established proofs into such.

Most groundbreaking proofs these days aren’t just cross-discipline but usually involve one or several totally novel techniques.

All that to say: I think you’re dramatically underestimating the difficulty involved in this, EVEN if the author(s) were a(n) expert(s) in machine readable mathematics, which is highly UNlikely given that they are necessarily (a) deep expert(s) in at LEAST one other field.
by sublinear | 2025-12-12 22:40:11+00:00
I think what many are saying is that of all the things we know best, it's going to be the machines we build and their underlying principles.

We don't fully understand how brains work, but we know brains don't function like a computer. Why would a computer be assumed to function like a brain in any way, even in part, without evidence and just hopes based on marketing? And I don't just mean consumer marketing, but marketing within academia as well. For example, names like "neural networks" have always been considered metaphorical at best.
by vkou | 2025-12-12 22:40:14+00:00
That argument is bullshit, and I'll tell you why.

An employer can't fire people for unionizing, but there's no law that requires them to accept a union's negotiating demands... Or prevents them from bringing in scabs if the union chooses to strike without pay.

The existence of a union by itself doesn't do anything.

The only power that a union actually has is not showing up to work. And when the union doesn't show up to work, the employer is free to hire someone else to do the work. It's wild to comparing people not showing up to work because an employment agreement hasn't been reached to 'being held hostage'.
by raw_anon_1111 | 2025-12-12 22:41:03+00:00
Are you looking at the article you linked to? The Harvard survey says:

- 39% say the country is on the right track

- 36% say the economy is good

- 53% say the economy is weak

- 33% say their personal outlook is improving.

In the survey the only one that reaches 50% are about “values”

A senile old man during better than another senile old man is not exactly a raving endorsement.
by accidc | 2025-12-12 22:41:47+00:00
I think nuclear has parallel to mainframes. Capital intensive, long lead time, expensive to operate/maintain/dispose and practically irrelevant in the day of distributed (computing) generation and storage.

It’s uncanny how the narrative rhymes: we have insanely capable portable computing devices at price points that are accessible to every person across the planet. Similarly, distributed generation (and storage) are already bringing electricity to people who have no real chance of being on the grid ever.

I see no way the economics working out for nuclear, except for niche uses.

I can even imagine the grid being something relegated for long range / high intensity applications (instead of household distribution) in a few hundred years
by jaredcwhite | 2025-12-12 22:42:19+00:00
Every time I see a CyberTruck out in the wild, I feel like reality is broken.

The level of disaster of that rollout, combined with D.O.G.E. and "Mechahitler" Grok, has forever tarnished the Tesla brand. I suspect there is a sizable group of people who will never buy a product by that brand ever again (or at least as long as Musk is at the helm).
by wongarsu | 2025-12-12 22:42:20+00:00
Is it not? The style of block letters I learned (in 90s Germany) has the capital I as a straight line, the digit 1 as a straight line with an angular downward hook at the top, and the lowercase l as a line with a smooth 45-90° right hook at the bottom. I always perceived that style as quite common in handwriting, just uncommon in print (just like close to nobody does the fancy a in handwriting but it's common in print)

And of course in cursive I and l look nothing alike, no matter which cursive you write
by ashton314 | 2025-12-12 22:42:35+00:00
I hear you: I don't like how skinny the letterforms are. There's an "extended" variant that I find much more pleasing. I put together a customization you can see here: https://codeberg.org/ashton314/iosevka-output (there's a nice screenshot on that page).

You can probably get the proportions you want if you find a way to tweak the line spacing (also possible by adjusting the `leading` option in `private-build-plans.toml` and rebuilding).
by t23414321 | 2025-12-12 22:42:42+00:00
Wouldn't 'thinking' need to be updating the model of reality (LLM is not yet that, just words) - at every step doing again all that extensive calculations as when/to creating/approximating that/better model (learning) ?

Expecting machines to think is.. like magical thinking (but they are good at calculations indeed).

I wish we didn't use the word intelligence in context of LLMs - shortly there is Essence and the rest.. is only slope - into all possible combinations of Markov Chains - may they have sense or not I don't see how part of some calculation could recognize it, or that to be possible from inside (of calculation, that doesn't even consider that).

Aside of artificial knowledge (out of senses, experience, context lengths.. - confabulating but not knowing that), I wish to see an intelligent knowledge - made in kind of semantic way - allowed to expand using not yet obvious (but existing - not random) connections. I wouldn't expect it to think (humans think, digitals calculate). But I would expect it to have a tendency to be coming closer (not further) in reflecting/modeling reality and expanding implications.
by aakashprasad91 | 2025-12-12 22:43:10+00:00
Awesome — thank you! Easiest is email: aakash@inspectmind.ai or they can book a demo call on our website or upload plans directly on website. If they can share (1) a representative drawing/spec set (or a small sample) + (2) what trade/Division they focus on, we can run it and send back findings with sheet refs.
by f30e3dfed1c9 | 2025-12-12 22:43:30+00:00
I get this with your curl command:

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN"> <html><head> <title>402 Payment Required</title> </head><body> <h1>Payment Required</h1> <p>The server encountered an internal error or misconfiguration and was unable to complete your request.</p> <p>Please contact the server administrator at www@virtualbox.org to inform them of the time this error occurred, and the actions you performed just before this error.</p> <p>More information about this error may be available in the server error log.</p> </body></html>
by daveguy | 2025-12-12 22:43:49+00:00
Just say "Hey, I gotta run. It was nice talking to you." Or something to that effect. Most people aren't going to get upset if you need to wrap up a conversation. And if they do get upset (assuming they aren't having an emergency), it's a red flag.

Alternatives: "can we talk later, I'm really busy with ___."

Or in a work setting, "I'm in the middle of something, do you mind sending an email?"

Social settings, excuse yourself to the bathroom, they'll move on.

If you don't like the conversation, "do you mind if we talk about something else?".

There are tons of ways to wrap up or avoid conversation. The more honest you are the better. And take note of how others gracefully end conversations with you and use those phrases too.
by nostrademons | 2025-12-12 22:44:08+00:00
I said "without risk of lawsuits", and that phrase is doing a lot of work. Also, you're looking at it only from the employee's side.

Multiple statements can be true at once:

An ordinary employee who is just doing their job and hoping to continue doing their job can be laid off for any number of reasons that are outside of their control. The most common of these is company financial performance, which is both completely invisible and completely uncontrollable for an ordinary employee. Behind the scenes, the decision-makers in these layoffs have very scrupulously designed them to ensure that the people deciding who is laid off have no knowledge of an employee's membership of anything that might be construed as a protected class. This is why they often look so illogical.

A manager who has a problem employee can have a terribly difficult time getting rid of that employee in a way that is legal. My boss had one such problem employee, who did literally zero work after being hired. When my manager had an experienced engineer pair program with him, he literally had to be told what to type, keystroke by keystroke, to get him to produce anything. When my boss called him on this, he produced a doctor's note saying he was depressed and went on disability. Short-term disability can last up to a year, and you cannot fire someone on disability without a paper trail that says "You fired someone on disability, you knew they were on disability, and that is a protected class." Now your lawyers have to argue in court that the fact they were on disability had no bearing on why they were fired.

A person who takes the law as a tool with which to screw others over will do a better job screwing people over than the employee who is just trying to do their job and incidentally wants to keep it, or the manager who is just trying to provide a supportive environment for their reports to do their best work. Because that's what they're paying attention to. If you've got a lawyer combing over case law and statutes to understand the fine points of what you can and cannot be fired for, you can act in ways that ensure that you will win a big payout if you are ever fired. These ways probably bear no resemblance to what our notions of a "good employee" or even a "decent human being" are. But they are effective at collecting a paycheck, potentially from multiple employers at once, and being able to collect a bigger paycheck if your employer tries to get rid of you.
by james_marks | 2025-12-12 22:44:17+00:00
If we say “artificial flavoring”, we have a sense that it is an emulation of something real, and often a poor one.

Why, when we use the term for AI, do we skip over this distinction and expect it to be as good as the original—- or better?

That wouldn’t be artificial intelligence, it would just be the original artifact: “intelligence”.
by bastardoperator | 2025-12-12 22:44:29+00:00
Thats after you make a million dollars though. It's free until then.

"0% Store Fee For First $1,000,000 in Revenue Per App Per Year Starting in June 2025, for any Epic Games Store payments we process, developers will pay a 0% revenue share on their first $1,000,000 in revenue per app per year, and then our regular 88%/12% revenue share when they earn more than that. "
by Kim_Bruning | 2025-12-12 22:44:30+00:00
Provocative title with a much more reasoned lede.

I'm pretty sure a set of workshops isn't ACTUALLY going to solve a problem that philosophers have been at each other's throats for for the past half century.

But BOY does it get people talking!

Both sides of the debate have capital-O Opinions, and how else did you want to drum up interest for a set of mathematics workshops. O:-)
by nifemi1234 | 2025-12-12 22:45:33+00:00
Greetings everyone,

I am a junior backend engineer. My main objective in sharing this project is to connect with seasoned experts who can provide quality feedback. I joined this community as I am ready to learn, and I am willing to be corrected.

I just wrapped up PharmVault—an offline-first secure notes app using Spring Boot 3 and JWT.

I’m seeking honest feedback on the codebase and architecture. I want to ensure that my implementations and back-end architecture follow industry standards.

If any feedback on the structure or security could be given, it would be much appreciated.

Video Walkthrough: https://youtu.be/D8ZgmBePmus (You can skip to 1:45 to see the Backend Architecture, API testing, and the database flow).

I look forward to your responses!
by sh34r | 2025-12-12 22:45:34+00:00
I like Haskell, but I never want to work with Haskellers, ever again. I’ll do personal / solo Haskell projects. But never professionally on a team. Haskellers are not team players.

Rustaceans should really take Haskell as a cautionary tale. It doesn’t matter how good your tech is, if your community is actively hostile to newcomers, if you try to haze every newcomer by making them recite your favorite monad definition before giving them the time of day.

Rustaceans are already working their way onto my shitlist for proliferating X years’ Rust experience all over the place. And no, that’s not HR’s fault. HR has no idea what Rust is. It’s rustaceans corrupting the hiring process to reward their fellow cultists.

It’s idiotic to be so insular and so tribalistic, if you want to increase adoption of your favorite language. Programming languages are like natural languages. The more people that use them, the more valuable it is to speak it. Imagine if someone tried to get you to learn mandarin by shitting on your native language. You catch a lot more flies with honey than vinegar.

I’d rather be stuck in JS hell forever, than have to deal with such toxic, dramatic, dogmatic people. And I really dislike writing JavaScript… but the community and ecosystem around the language are way more important than the syntax and semantics. You want the engineers and builders to vastly outnumber the radioactive PL theorists.
by ben_w | 2025-12-12 22:46:05+00:00
Interesting experiment, but the Gpt-5.2-high quantum stuff is… not that hard to follow.

Anything I can follow in QM can't be hard: My qualifications in QM consists not of any formal degree, just Brilliant.org and watching PBS Space Time and EugeneKhutoryansky and similar YouTubers, and yet I could follow it. Conversely, the GPT-5.2 model page lists 40.3% performance on FrontierMath questions tiers 1-3, I've looked at some of those and I don't even know what the questions are asking in the easiest tier.

The Claude Opus 4.5 thinking-32k example was broader, and certainly interesting in so far as it (and unlike GPT-5.2) "understood"* the task.

However, I did something essentially equivalent back with the original ChatGPT 3.5 just by asking it to do something like** writing python with French variable names and Hindi comments, documenting the result in Welsh: not a lot of people are fluent in all that at the same time.

* scare quotes for people who insist submarines don't swim

** I forget and don't care, exact details are not important
by skobes | 2025-12-12 22:46:16+00:00
Once I realized that some people expect and are happy for you to jump in with unprompted thoughts or stories, it became easier for me to be intentional about doing so.

I think I'm a lot better now than when I was younger at adapting to a wide range of conversational styles, mostly just from paying more attention to that dynamic.

Do you feel like your conversational toolbox has evolved over time? :)
by unionmember99 | 2025-12-12 22:46:17+00:00
Easy counterexample: safety. Unions have historically been on the forefront of safety improvements. Not having workers mutilated or killed -> increased wealth for all. That's not a zero-sum game.

And if you think this doesn't matter for game programmers, look at how many overworked people in the past few years have gotten in car crashes while driving home. Fatigue kills.
by bigyabai | 2025-12-12 22:46:17+00:00
> it's more like you can't go in to Kroger and demand to buy products sold at Wal-Mart for Wal-Mart prices.

You don't have to. Kroger and Wal-Mart are completely commoditized options providing the same service. There is fundamentally no difference from buying at one store vs the other; you can do both. If someone goes into Kroger demanding to buy Wal-Mart products at Wal-Mart prices, they're in luck; Wal-Mart exists. There is no lock-in to either store or the options they provide. You're describing a boogeyman that doesn't exist because the greater grocery market is functional and competitive.

The same opportunity does not exist for customers of the App Store. Apps themselves are entirely commoditized; it's only the App Store that is a deliberate monopoly. That has been consistent since the launch of the iPhone and packaging of iOS applications as infinitely reproducible .IPA files.

> So the market is clearly saying "this works and we like it".

That's how most monopolies work, yes. Unfortunately, "the market" won't be asked to testify to whether or not they like or enjoy a monopoly, but whether it causes anti-competitive damages.

> You're just mad about Apple/Google doing it because some algorithm decided it was an important issue for you.

I cannot parse what you're even trying to accuse me of in this sentence. This is the Y Combinator forum. We discuss monopolies like AdSense and the App Store because they harm the economy, not because Instagram Reels showed me a Louis Rossman short.
by notnullorvoid | 2025-12-12 22:46:21+00:00
> If memory management and ability to handle complex graph processing efficiently isn't related to architecture to you I don't know what to tell you.

Rust can do complex graph processing, as well as efficient easy memory management, but it's going to do it in a different structure than a GCed lang would. Hence my statement that 1 to 1 translation was the primary factor.

> CTRL+F "rust" on the Go issue and see how many results you get.

Yes and so what? There's 35 for .NET or 74 for C#, yet you don't see people claiming the C# cult was harassing the TS team.
by Ethee | 2025-12-12 22:46:30+00:00
Well sure then let's break it down. Assume I have an open role for a small business and I get 500 applications to sort through. The first step is most businesses will use at least some sort of filtering for the basic requirements to determine good fit. So those are pretty easy to sort through. Let's assume I cut those applications down to 50 that actually fit my requirements.

Now am I supposed to bundle up all those 450 initial applications that got filtered out just to send them a nice polite email that their resumes didn't even fit the position they applied for? From a pure business perspective this is a straight waste of time. Especially as most businesses aren't going to have an automatic way to do this easily, and building that automation doesn't make my company money. But if I already happened to have some automation setup for it, then maybe sure. This part is the majority 'ghosted' applications. For the rest of the 50 I'd probably be more likely to actually send them a personalized email about the role because at least they actually fit what they applied for.
by cauch | 2025-12-12 22:46:36+00:00
What is, according to you, the political interest?

There are countries that have interest of having gas or oil bought from them. It is not clear if they are pro or against other countries going nuclear: on one hand, nuclear will replace part of their market. On the other hand, lobbying to move towards nuclear may impede progress in replacing gas and oil by renewable (a strategy would be to lobby so that the nuclear project starts and then lobby so that the project stagnates and never delivers).

There are countries that have interest in seeing nuclear adopted because they have a market for the ore extraction or waste processing. There are countries that have interest in seeing nuclear not adopted because they have a market around other generations.

Finally, some countries may want to see their neighbors adopt nuclear: the neighbor will pay all the front bills and take all the risk (economical but also PR, or the cost of educating experts, ...), and if they succeed, they will provide import energy very cheap that can fill the gaps the country did not wanted to invest in.

So it is not clear if there is just one stream of lobbying. The reality is probably that every "sides" does somehow contain manipulative discourse from foreign countries.
by tick_tock_tick | 2025-12-12 22:46:42+00:00
The sky is falling for a lot of the EU/Europe. They have massive social programs they can't afford and economies that aren't growing anymore. There is another Eurozone crisis approaching and there doesn't seem to be the political will or the acceptance by the people on what needs to happen to stop it.

Even small steps to delay it like in France lead to near open revolt.
by 0manrho | 2025-12-12 22:46:56+00:00
> even if there is no reason to actually believe that the bitflip was due to cosmic rays.

What if there is reason to consider it as it is actually a known, proven, observable phenomenon, especially one with greater likelihood/intensity as you climb in altitude, like planes do, and that likelihood/intensity also scales with solar cycle intensity, which we are currently experiencing the peak of?

Or perhaps you think the Aurora Borealis are because of Aliens too?
by ablob | 2025-12-12 22:47:04+00:00
Well first of all I never claimed that I was capable of thinking (smirk). We also haven't agreed on a definition of "thinking" yet, so as you can read in my previous comment, there is no meaningful conversation to be had. I also don't understand how your oddly aggresive phrasing adds to the conversation, but if it helps you: my rights and protections do not depend on whether I'm able to prove to you that I am thinking. (It also derails the conversation for what it's worth - it's a good strategy in the debating club, but these are about winning or loosing and not about fostering and obtaining knowledge)

Whatever you meant to say with "Sometimes, because of the consequences of otherwise, the order gets reversed" eludes me as well.
Show HN: StudioArt, A photo sharing website for creatives
by telui | 2025-12-12 22:47:40+00:00
Not to be confused with the other StudioArt, StudioArt is a website where you can ACTUALLY express creativity, in a world filled with "uncensored" or corporate censoring, it can be hard to find a good website where you can express creativity, with StudioArt, you can ACTUALLY express what you love in a image, we still censor, but not too much where your ideas just.. go away

- What you love: We allow posting what you love! - Your ideas: We allow your ideas! - Tutorials: We allow that too! - Educational content: We accept others learning!

All this sounds impossible, not with StudioArt!
by CPLX | 2025-12-12 22:47:48+00:00
> Sacks argued that this domain of “interstate commerce” was “the type of economic activity that the Framers of the Constitution intended to reserve for the federal government to regulate.”

They did indeed. It’s explicitly delegated to congress which declined to pass a law like this.

The EO is just obviously null and void in the face of any relevant state law.