MurphyA/hacker-news huggingface dataset:
by maxbond | 2026-03-02 08:29:31+00:00
> So, community: what should we do?

My diagnosis is that the friction that existed before (the effort to create a project) was filtering out low-effort projects and keeping the amount of submissions within the capacity the community to handle. Now that the friction is greatly reduced, there's more low-effort content and it's beyond the community's capacity (which is the real problem).

So there's two options: increase the amount of friction or increase the capacity. I don't think the capacity options are very attractive. You could add tags/categories to create different niches/queues. The most popular tags would still be overwhelmed but the more niche ones would prosper. I wouldn't mind that but I think it goes against the site's philosophy so I doubt you'll be interested.

So what I would propose is to create a heavier submission process.

- Make it so you may only submit 1 Show HN per week.

- Put it into a review queue so that it isn't immediately visible to everyone.

- Users who are eligible to be reviewers (maybe their account is at least a year old with, maybe they've posted to Show HN at least once) can volunteer to provide feedback (as comments) and can approve of the submission.

- If it gets approved by N people, it gets posted.

- If the submitter can't get the approvals they need, they can review the feedback and submit again next week.

High effort projects should sail through. Projects that aren't sufficently effortful or don't follow the Show HN guidelines (eg it it's account walled) get the opportunity to apply more polish and try again.

A note on requirements for reviewers: A lot of the best comments come from people with old accounts who almost never post and so may have less than 100 karma. My interpretation is that these people have a lot of experience but only comment when they have an especially meaningful contribution. So I would suggest having requirements for account age (to make it more difficult to approve yourself from a sockpuppet) but being very flexible with karma.
by JoeyJoJoJr | 2026-03-02 08:30:08+00:00
I’d highly recommend going with SDL if it’s 2D. IMO libraries like MonoGame, Love2D, LibGDX only offer small conveniences over SDL with big negative tradeoffs, sacrificing portability, quality of libraries, and conventions. The downsides of using C++ are now heavily mitigated with the use AI tools.

I could never jell with C++ until I had Cursor hold my hand (especially around the build system), and now I feel like I am developing games with a razor sharp knife that I could never before access. The patterns associated working directly with memory suddenly clicked and now it’s the only I want to build games.
by renewiltord | 2026-03-02 08:30:20+00:00
This doesn't seem to actually be the case. A stupid teenager ran over a baby by driving onto the sidewalk and killing the child there and broader society does not actually hate cars. In fact, last night another stupid person killed a two-year old by my home. The eye-witness accounts are unholy things (you can go find them on /r/sanfrancisco but I honestly am trying to purge it from my mind). It is not actually the case that the "woke freedom is wiped out by small-brained normies" in my experience.
by qalmakka | 2026-03-02 08:30:40+00:00
> C is the natural language for exposing Unix system calls

No, C is the language _designed_ to write UNIX. Unix is older than C, C was designed to write it and that's why all UNIX APIs follow C conventions. It's obvious that when you design something for a system it will have its best APIs in the language the system is written in.

C has also multiple weird and quirky APIs that suck, especially in the ISO C libc.
by jbboehr | 2026-03-02 08:30:51+00:00
I don't think you are using standard definitions.

> A world war is an international conflict that involves most or all of the world's major powers.
> https://en.wikipedia.org/wiki/World_war

> Total war is a type of warfare that mobilizes the totality of national resources to sustain war production, blurring the line between military and civilian activities and legitimate attacks on civilian targets as part of a war without restriction as to the combatants, territory or objectives involved.
> https://en.wikipedia.org/wiki/Total_war

It does so happen that the two world wars were also total wars.
by eru | 2026-03-02 08:31:54+00:00
> [...] and the underlying mechanics and I kind of got the sense (with QC) that nobody really knows what they are talking about.

The math is fairly well known, and people can successfully apply it. As evidence in eg modern CPUs and GPUs and RAM actually working. And lots of other marvels of modern engineering that requiring an understanding of quantum mechanics to design and engineer.
by pizza234 | 2026-03-02 08:31:55+00:00
> There was a level of creativity back in those days that we seem to not have as much nowaydays. Now things seem to be based more on math and things like signing.

Copy protections nowadays are actually extremely complex - just look at Denuvo and VMProtect. I presume that nowadays there are less copy protection schemes because producing a resilient one is too complex for small developer teams.
by polyglotfacto | 2026-03-02 08:32:01+00:00
I’ve used TLA+ for six years to "debug my thinking," but I always treated the jump from spec to implementation as a leap of faith.

What surprised me in this experiment with Lean was that the AI-assisted formalization actually caught an error in my "vetted" TLA+ spec that had been sitting there for two years. It turns out my inductive invariant wasn't strong enough—something the TLA+ model checker didn't slap me for, but Lean’s kernel refused to ignore.

This was also a way to bridge a higher-level spec, written in Lean in a kind of TLA-like flavor, and the lower level implementation, also written in Lean but with a code-like flavor, and then proven that the implementation refines the spec.

Using Lean to bridge the gap between high-level temporal logic and low-level IO implementation, all written by AI but driven by human intent, feels like the first time the "coding singularity" might actually lead to better software rather than just more software
Show HN: Deterministic symbolic memory layer for grounding LLMs
by Th3Hypn0tist | 2026-03-02 08:32:02+00:00
Most AI systems today rely on probabilistic recall:
RAG, embeddings, and prompt-based memory.

This makes it hard to enforce invariants, audit facts,
or maintain a clear separation between reasoning and ground truth.

I built a minimal proof-of-concept showing a different approach:
a deterministic symbolic memory layer accessible via MCP.

Instead of storing “memory inside the model”,
knowledge is resolved just-in-time from an explicit symbolic layer.

The goal is not to replace RAG or assistant memory,
but to provide a missing infrastructure layer:
a controllable knowledge backbone for AI systems.

This repo demonstrates the minimal viable form of that idea.
by SyneRyder | 2026-03-02 08:32:18+00:00
I bought a Motorola phone (G Stylus 2025) while in the US after discovering my brand new Sony Xperia VII phone would not work in upstate NY.

It's a great device, I loved using it. It had features I specifically wanted (still has a 3.5mm jack, a microSD slot, and wireless charging). It also looks fantastic with their Pantone colours, and it feels more comfortable than my Xperia VII. There's a wired fast charge feature that is incredibly fast. The Motorola was just 25% of the price and it's as good as the Sony in almost every way.

I do remember one flaw, the compass (ie direction pointing in Google Maps) was terrible. I'd sometimes walk a block using Google Maps before finding the compass was leading me in the wrong direction. But GPS seemed fine, and data reception was sometimes better than my friend's iPhone in the same places. The selfie camera was excellent, though something about the rear camera I wasn't quite as happy about. The Stylus is nice to have, but honestly I don't use it as much as I thought I would.

I wish there were more Motorola phones in Australia, I've probably become a Motorola / Lenovo customer now. (I already use a Lenovo ThinkPad).

For reference, my previous phones have been iPhone, Google, Samsung, Sony, now Motorola.
by Markoff | 2026-03-02 08:33:13+00:00
how safe is Chinese Lenovo with closed sourced firmware?

btw. Motorola has absolutely trash cameras, doubt GrapheneOS will change anything about it unless you put there gcam maybe, this is significant downgrade from Pixel cameras

btw. yes, it looks like vanilla Android, though it is not, my mother bought it after mine recommendation (previously used Xiaomi phones) and can't say the ROM would be particularly good
by staticassertion | 2026-03-02 08:33:39+00:00
> A model is incomplete if it doesn't explain something.

I've just explained that this is not true. I don't know what else to say. Brute contingencies, by definition, do not require explanation. I then gave you a paper where scientists largely believe in brute contingencies.

I think if you want to know more you can look into this. Just look for topics about brute facts and brute contingencies.
by IshKebab | 2026-03-02 08:35:16+00:00
Yes but also having more complicated type inference makes the actual type checking less useful as a check. You see that in languages with global type inference too.

Adding explicit types strategically (e.g. in function signatures) tells the compiler (and readers) explicitly what the type should be, so if you add code that violates that it gives you an error instead of silently inferring a different type.
by NitpickLawyer | 2026-03-02 08:35:47+00:00
I'm getting weird vibes about this post. It seems to be a cleaned-up version of an LLM draft. Some of the tell-tale signs are sections that blab without much substance, some things that don't make much sense (environmental monitoring MUST capture more data to meet regulatory standards?!), highly hallucinated parts ("Refueling and orbit boosting missions are becoming more common" -> no, these are not common, but planned to be tested soon-ish) and the general feeling that the knowledge cutoff is somewhere in '24 (which would match with the current generation of SotA models).

The laser part is missing both the technical demo of Dragon having livestreams, and hours of uninterrupted signal, the fact that their minilasers are mentioned on the site, offer 25gbps links, and already planned to be integrated with 3rd parties (you can get confirmations from their partners with a simple google search). And apparently as of Jan '26 SpX plan for space-to-ground optical systems as well.

What a weird article.
by okoddcat | 2026-03-02 08:35:48+00:00
Hey, just shipped 0.4.0 of [Gisia](https://github.com/gisiahq/gisia), my self-hosted DevOps platform.

The main thing in this release: skill files. Each project now exposes a skill.md at a predictable URL. You send that URL to any AI bot that can hit REST APIs (I've been using OpenClaw), and it figures out how to clone the repo, push code, create issues all through the API. No extra config, no plugins.

Check this video to see how it works: [https://gisia.dev/docs/ai-bot-skills](https://gisia.dev/docs/ai-bot-skills)

It actually works. That part still surprises me a little.

Happy to answer questions.
by arjie | 2026-03-02 08:35:58+00:00
Saw one of these at an Airbnb I rented in Bernal Heights for my parents to stay a few years ago. Neat little Mathematics textbook I used to teach my wife a little of this stuff. They're a loud signal of the neighbourhood. This one had some fun textbooks and romance books but in less nice parts of the city the ones I have seen are usually empty. Presumably, they are subject to the universal law I'm familiar with from the India of my childhood that anything that can be converted to money (no matter how lossy the mechanism) will be so converted.

I like the idea and books aren't something I value holding once I've read them so we put some sci-fi in back along with the textbook.

Amusingly, I saw them in the news a few years later under absolutely hilarious circumstances when the WSJ reported[0] that SF was fining some homeowners $1400 for a Little Free Library they'd placed outside their home after a neighbour complained. It seems to have had a happy ending with those people chasing it down till an ordinance was passed[1] permitting these.

0: https://www.wsj.com/articles/san-francisco-fights-urban-diso...

1: https://littlefreelibrary.org/2024/02/san-francisco-stewards...
by wolvoleo | 2026-03-02 08:35:59+00:00
Hmm the one thing I'm kinda missing with grapheneos is mobile payments. The banks here in Europe used to have their own nfc apps but in my country they've all moved to Google wallet :( or Samsung pay.

I don't want Google monitoring my payments so I'm using Samsung now but I'd love to have something more open for this.

I was kinda hoping the partner would be Samsung so they might collaborate on a payment system too. I don't think Motorola has anything like that.
by antonvs | 2026-03-02 08:36:55+00:00
You’re projecting that you would feel cognitive dissonance if you made the same choices as OP.

It’s perfectly reasonable for people to want to license their own work under a particular license without believing that everyone else should do the same, for example. Someone with that opinion, or a whole host of other positions that allow for different licenses to coexist, wouldn’t experience any cognitive dissonance.

The question then becomes what you are going to do about your cognitive dissonance. Continue to believe that “everyone else must be wrong”?
by trelliumD | 2026-03-02 08:37:04+00:00
No, that is not true. If you ride a velomobile, you are protected by its aeroshell. Consider it a full body helmet. You are rather flipped/ pushed away, than coming under a car. Of course you are not happy after a crash, but you mostly survive. And you also have other benefits, such as weather protection. In heavy rains you are sitting dry in your bicycle, listening to your radio, where your fellow ebiker gets soaking wet. And did i mention carco capacity :-)
by benrutter | 2026-03-02 08:37:48+00:00
> Alacritty I like but the lack of tabs is not acceptable for the moment... and before you ask: I hate tmux.

Surprised none of the other commenters have mentioned zellij. I work across windows (WSL) and linux so really like having the same set up for both, which means no Ghostty/Kitty since they don't support windows.

Zellij is a lot smoother and nicer looking out the box, and its key shortcuts are pretty intuitive. There's a lit of advantages to not having an extra layer, but zellij + alacritty is definitely worth having in your list of options!

https://zellij.dev/
by Barbing | 2026-03-02 08:38:16+00:00
>Apple is well known for walled gardens, but for the most part, you can be sure they will let you change your default search engine without much hassle.

Respectfully, please, this below is an absolute joke--has it changed in a decade?

https://imgz.org/i6oyQ3QG.jpg

Image: Apple provides easy changing for Google, Yahoo, Bing, DuckDuckGo, and Ecosia. (That poor paid search engine that starts with a K has to mess around with extensions; I'm unaffiliated.)

Plus, even though I have it set to DuckDuckGo, when I ask Siri to "search {query}", it searches Google. So even the default I have set is not actually truly the all-around default. Embarrassing to have locked this down as if I didn't drop a grand on the phone.

-

Fun fact: for years now, asking Siri to "search Google Images" results in whitelabeled Bing Images (thankfully, exceptionally easy to remedy with the excellent Shortcuts: "Picture-Search" for Google, quality difference night & day unfortunately... anyway go SearXNG!, it lets you keep your soul).
by qsera | 2026-03-02 08:38:26+00:00
>But somehow “I” only experience only one of them.

Using the example from the other comment, "You" are the stream and not a drop of water in it.

In other words, you are not an entity with unique identity that traverse the tree of possibilities. You are part of the tree, actually, part of a branch. The branch's existence and your existence implies each other. Like your hand's existence and your existence imply each other. Your hand could not have existed without you (a similar looking one could. but it wouldn't be yours). And you without your hand (you could have had a different hand, but that wouldn't be "you" (which also includes the hand))
by omneity | 2026-03-02 08:38:33+00:00
This is a great project. FYI all you need is the size of an LLM and the memory amount & bandwidth to know if it fits and the tok/s

It’s a simple formula:

llm_size = number of params * size_of_param

So a 32B model in 4bit needs a minimum of 16GB ram to load.

Then you calculate

tok_per_s = memory_bandwidth / llm_size

An RTX3090 has 960GB/s, so a 32B model (16GB vram) will produce 960/16 = 60 tok/s

For an MoE the speed is mostly determined by the amount of active params not the total LLM size.

Add a 10% margin to those figures to account for a number of details, but that’s roughly it. RAM use also increases with context window size.
by suprjami | 2026-03-02 08:40:51+00:00
Yes that's right. The config is described by the developer here:

https://www.reddit.com/r/LocalLLaMA/comments/1rhohqk/comment...

And is in the sample config too:

https://github.com/mostlygeek/llama-swap/blob/main/config.ex...

iiuc MLX quants are not GGUFs for llama.cpp. They are a different file format which you use with the MLX inference server. LM Studio abstracts all that away so you can just pick an MLX quant and it does all the hard work for you. I don't have a Mac so I have not looked into this in detail.
by jumploops | 2026-03-02 08:41:29+00:00
This is great, giving agents access to logs (dev or prod) tightens the debug flow substantially.

With that said, I often find myself leaning on the debug flow for non-errors e.g. UI/UX regressions that the models are still bad at visualizing.

As an example, I added a "SlopGoo" component to a side project, which uses an animated SVG to produce a "goo" like effect. Ended up going through 8 debug docs[0] until I was satisified.

[0]https://github.com/jumploops/slop.haus/tree/main/debug
by librasteve | 2026-03-02 08:41:44+00:00
I spreadsheeted out how many T424 die per Apple M2 (TSMC 3nm process) - that's 400,000 CPUs (about a 600x600 grid) at say 1GIPs each - so 400 PIPS per M2 die size. Thats for 32 bit integer math - Inmos also had a 16 bit datapath, but these days you would probably up the RAM per CPU (8k, 16k?) and stick with 32-bit datapath, but add 8-,16-bit FP support. Happy to help with any VC pitches!
by tux3 | 2026-03-02 08:42:21+00:00
You can make as many slight variations as you want by creating a specific instantiation of a hard problem with different constants. But we don't know how many meaningfully different hard problems exist.

These are problems that have been studied for many years, that are more-or-less central to mathematics, and where we have good reason to think that an efficient solution would be extremely surprising.

If you have much lower standards, there's going to be infinely many that I can't personally solve. Or if you have impractically high standards, there could be zero hard problems, if they just so happen to all have efficient solutions that we haven't found yet. We can't formally prove any of these are hard.
by wolvoleo | 2026-03-02 08:43:12+00:00
Which one if I may ask? I'm looking for one to get out of RCS reminders and also to avoid receiving emergency messages which come through even if I turn them off in Google messages. The local authorities overuse it, I get several per month now.

I think it's because they got blamed for not warning everyone with the Valencia floods last year but it's really ridiculous now. Now they blow up everyone's phone just when there's going to be a bit of wind.
by SyneRyder | 2026-03-02 08:44:18+00:00
Not sure If this is what they're referring to, but 10 years ago Lenovo shipped low-end laptops with pre-installed adware called Superfish that also compromised the HTTPS certificate chain:

https://www.cisa.gov/news-events/alerts/2015/02/20/lenovo-su...

Pretty terrible, but it was never on the high-end laptops, and plenty of HN folks are running Lenovo ThinkPads anyway.
by cbcoutinho | 2026-03-02 08:44:20+00:00
MCP Servers are not simple wrappers around REST APIs, they can do much more and we will see more advanced use-cases surrounding MCP as MCP clients continually improve their conformance to the spec. Just wrapping REST APIs may be what MCP Servers are now, but that's just because MCP clients still need to catch up in supporting these more advanced features.

MCP Sampling (with tool calling) is one such example, where MCP servers will be able to generate responses using the MCP client's LLM - not requiring an API key themselves - including calling other MCP tools within the "sampling loop", and without corrupting the primary agent's context. This will generate an explosion in advanced MCP servers, although neither Claude Code, Gemini CLI, nor Opencode support this feature (yet).

Once MCP sampling becomes widely supported the pendulum will swing back and we'll see the boundary between MCP tools, async workflows, and generative responses begin to blur.
by wolvoleo | 2026-03-02 08:46:34+00:00
Just back it up once a week on the computer, that's what I do.

I don't even use a Google account on my phone. Most apps don't need it! There's only a handful that do, in particular ChatGPT that really insists you have a Google account logged in (why they force you to make an account with their direct competitor is beyond me but they do)

But perplexity is much better anyway so I use that.
by tianqi | 2026-03-02 08:47:48+00:00
I'm shocked.

1. This chatbot is incredibly fast. It's the fastest chatbot I've ever seen. Before this, I was used to waiting several or tens of seconds after speaking before the response appeared word by word. But this one immediately displayed a complete answer, which was a completely new experience for me. Is it because of using local model?

2. I'm almost never influenced by any ads, but the ads it recommended really appealed to me. I even hoped they were real. I asked how to buy them and Googled similar products. This shocked me and led to a long self-reflection.

3. Another thing that shocked me is that someone can now create such a beautifully executed, product-level, non-profit thing, simply to showcase an ironic concept. (Even the experience is somehow better real products, see 1). This spectacular unrestrained use of productivity is epic. And this is precisely what AI brings. A double irony.
by boldslogan | 2026-03-02 08:48:08+00:00
There is a slight bug on the interaction. When you set P=Q or for example you can't get the one P at the top and Q at the bottom. The lines disappear.

Basically you need the "infinite/zero" point to compensate for a situation when you have two points completely perpendicular to the x-axis. AKA it is not intersecting a third point. So it intersects this special "infinite" point.

And conceptually why you need this "infinite" point is that without it you can't add points together properly.

Say for counter argument instead of doing this "flip or mirror" across the x-axis (in the interaction it is the red dot appearing). And instead the red dot just appears on the same side as the two points being added on the curve - without the flipping.

If P1+P2 = Q instead of this Q' that is flipped.
And P2+Q = P1

If you try and add P1+P2+Q you would get either Q+Q or P1+P1 depending on if you did (P1+P2)+Q or adding up P1+(P2+Q) which are not equal.

so you need this red dot flipping thing happening in the interaction. However, if you have this flipping that means P1+P2 = Q' which is the mirror flip of Q.

So Q'+Q need to equal this special infinite/zero point to ensure associativity works.