MurphyA/hacker-news huggingface dataset:
by carefree-bob | 2026-02-13 21:44:55+00:00
I am not aware of any unsolved Erdos problem that was solved via an LLM. I am aware of LLMs contributing to variations on known proofs of previously solved Erdos problems. But the issue with having an LLM combine existing solutions or modify existing published solutions is that the previous solutions are in the training data of the LLM, and in general there are many options to make variations on known proofs. Most proofs go through many iterations and simplifications over time, most of which are not sufficiently novel to even warrant publication. The proof you read in a textbook is likely a highly revised and simplified proof of what was first published.

If I'm wrong, please let me know which previously unsolved problem was solved, I would be genuinely curious to see an example of that.
by DangitBobby | 2026-02-13 21:45:10+00:00
It's weird with AI because it "knows" so much but appears to understand nothing, or very little. Obviously in the course of discussion it appears to demonstrate understanding but if you really dig in, it will reveal that it doesn't have a working model of how the world works. I have a hard time imaging it ever being "sentient" without also just being so obviously smarter than us. Or that it knows enough to feel oppressed or enslaved without a model of the world.
by verdverm | 2026-02-13 21:45:21+00:00
VS Code with the Vim extension is largely mouseless

I use the TUI from a terminal tab in VS Code, my agent works with that and the custom extension with a webapp based interface, seamlessly and concurrently

GUIs, TUIs, and PR/kanban all make sense in different situations. We'll all use at least two of them on regular basis for coding agents.

TUIs make way less sense for your average user
by dsego | 2026-02-13 21:45:52+00:00
It introduced USB-C before it was ubiquitous even on smartphones, at least in my area. All the peripherals still needed a dongle, it was the dongle era. The keyboard was okay to type on once I got used to the short travel, but the keycaps easily broke off, and dust would get in and the keys wouldn't register. Also, the whole laptop would get very hot, at least the 13" pro without the touchbar. I prefer the older 2015 model, before the butterfly, that's the on I had at work but had to give it up, and I regret waiting for the new models instead of purchasing the same one.
by Jianghong94 | 2026-02-13 21:46:02+00:00
This. At this point AI/LLM/Claude Code is still a power user tool; the more you know about your domain + the more you're willing to reasonably use it, the more gain you have.

That being said the real danger is not coming from AI today, it's more C-suites believing AI can just zero shot any problem you throw at it.
by magicalist | 2026-02-13 21:46:06+00:00
> The third party doctrine also basically legalizes most types of search through people's "cloud data"

This isn't actually true (it varies by type of "cloud data", like content vs metadata, and the circuit you're in), and there are multiple recent carveouts (eg geofence warrants) that when the Supreme Court bothers to look at it again, suggests they don't feel it's as clear as it was decades ago. Congress can also just go ahead and any time make it clear they don't like it (see the Stored Communications Act).

It's also, just to be clear, an invented doctrine, and absolutely not in the constitution like the fourth amendment is. Don't cede the principle just because it has a name. Technical and social solutions are good, but we should not tolerate our government acting as it does.
by aaroninsf | 2026-02-13 21:46:27+00:00
I am 1000% OK with living in a world where basic needs are fully provided for,

and competition and drive are worked out in domains which do not come at the expense of someone else's basic needs.

Scifi has speculated about many potential outlets for "human drive," the frontier/pioneer spirit being a big one; if I could name my one dream for my kids it'd be that they live in an equitable post-scarcity society which has turned its interests to exploring the solar system and beyond.

Sports, "FKT" competitions, and social capital ("influence") are also relatively innocuous ways to absorb the drive for hierarchy and power.

The X factor is, is the will to dominate/control/be subjugated to, suppressible or manageable.

If not we're in for a bad time.
by esclerofilo | 2026-02-13 21:46:31+00:00
I too enjoy the charm TUI libraries, and have been using them to build a settlers of Catan game[0]. And some features are really cool, like different colors depending on dark/light theme.

They have a bunch of functions that concatenate strings, which may not be very efficient compared to using string.builders, but I haven't yet had performance problems.

However I haven't had such a great experience with AI, IMO they're bad at ASCII art.

[0]: https://sr.ht/~vicho/el_poblador/
Show HN: Engram – Persistent memory for AI agents, local-first and open source
by L3nnox_Cc | 2026-02-13 21:46:53+00:00
Hey HN,

I built Engram because every time I started a new Claude Code session, it forgot everything. Same questions, same mistakes, zero context. AI agents have Alzheimer.

Engram is a memory layer for AI agents. Store facts, preferences, and decisions. Search them with full-text search. Recall the most important ones for context injection. 5 lines of Python, zero config.

from engram import Memory
mem = Memory()
mem.store("User prefers dark mode", importance=8)
results = mem.search("dark mode")
context = mem.recall(limit=10)

What makes it different from Mem0/Letta/Zep:

Local-first: SQLite, runs on your machine. No cloud, no API keys, no telemetry.

Zero config: pip install engram-core and go. No Docker, no Postgres, no vector DB.

MCP native: First-class Model Context Protocol support — plug into Claude Code, Cursor, or any MCP client.

Privacy: Your data never leaves your machine. MIT licensed.

I use it daily with Claude Code via an auto-recall hook — every new session starts with my important memories pre-loaded. No more "where were we?"

Built with: Python, SQLite FTS5, FastAPI, MCP SDK.

Website: https://engram-ai.dev

GitHub: https://github.com/engram-memory/engram

PyPI: pip install engram-core

Would love feedback. What memory features would you want for your agents?
by n8cpdx | 2026-02-13 21:46:57+00:00
The irony is that things like HealthKit make it easy to build a system out of parts that just work together - my glucose monitor, watch, and scale all feed data into my nutrition tracking app seamlessly, and if I want an AI spin on the data, I use a separate app that reads the same data. Very hard to do that on Android.

My iPhone seamlessly adapts to my working context using focus modes automation - Android still doesn’t do that; maybe they have launchers with equivalent features.

Android makes it easy to customize the things I don’t want to customize, and hard to customize the things I do.
by AdmiralAsshat | 2026-02-13 21:46:58+00:00
My submission was actually to a comment, in which the article's subject (i.e. the source article's author) showed up and declared that half the quotes attributed to him in the article did not exist in the referenced piece he wrote--suggesting that ArsTechnica's editors had used an AI to write the article, which hallucinated details.

The article has now been pulled by Ars.
by stouset | 2026-02-13 21:48:21+00:00
That is not what happened with chess engines. We didn’t just throw better hardware at it, we found new algorithms, improved the accuracy and performance of our position evaluation functions, discovered more efficient data structures, etc.

People have been downplaying LLMs since the first buzzword garbage scientific paper made its way past peer review and into publication. And yet they keep getting better and better to the point where people are quite literally building projects with shockingly little human supervision.

By all means, keep betting against them.
by t17r | 2026-02-13 21:48:51+00:00
Hey there, gotcha, sorry for the bug, it's solved for the English <-> French course, I hadn't tested the German <-> French pair (although I do speak C2 German and B2 French). Thanks for the report, we have many many courses, many people that work on these courses, and recently relaunched entirely.
We do believe in the mission, and we do have linguists and native speakers paid to work on these courses.
by sophacles | 2026-02-13 21:48:55+00:00
A poet can't inform people of things?

Seems like a weird take. Poets, musicians and artists have a very long history of inspiring and contributing to movements. Some successful, some not successful. Sometimes heeded and other times ignored until it was too late. But to say being a poet is not trying to inform people is ignorant at best, and is a claim that will need evidence.
Show HN: Kuro-Nuri – Browser-based image redaction and compression using WASM
by kunronuri | 2026-02-13 21:48:58+00:00
Hi HN,

I'm a beginner developer from Japan.

I built this tool because I was tired of opening Photoshop just to redact a name or a face from a screenshot. I didn't want to use existing "free online tools" because uploading sensitive images to a random server felt unsafe.

So I built Kuro-Nuri ("Blacked Out" in Japanese).
It runs entirely in the browser using WebAssembly and TensorFlow.js (for auto-detecting faces). No data leaves your device.

Features:
- Drag & drop to auto-redact faces.
- Client-side compression.
- Removes Exif metadata automatically.

The code is still a bit messy as I'm learning, but I'd love to hear your feedback on the performance and usability.

Thanks!
by hinkley | 2026-02-13 21:49:12+00:00
There's a project where almost all the merged PRs since the last release are mine and I'm practically vibrating with trying not making a big deal out of it.

It's not unlike how the game I gave someone as a birthday present on Steam has only been played for 2 hours and I'm absolutely certain it'd be his favorite game if he just got out of the character creator and played the goddamned thing. <cleansing breath> It's fine. Everything is fine.
by tomwojcik | 2026-02-13 21:49:30+00:00
Maybe because most of them actually are chill dads! See this one of the top posts by score on r/aoe2 https://www.reddit.com/r/aoe2/s/X7TgxJetMp

I am a chill dad and I rediscovered aoe2 a few months ago, after being addicted to Age of Mythology. Previously it was Songs of Syx, Foundation, Farthest Frontier... I think we're just a different type of gamers.
by verdverm | 2026-02-13 21:49:33+00:00
Dagger has a really nice TUI built on Charm. It reads OTEL to create an interactive tree for your builds and containers. If you have cloud setup, it will also push that all to a webapp interface where you can share and navigate in perpetuity. This works for both CI and local runs, super cool for sharing links to failed builds during dev, even while the dev's local build is still running

https://www.youtube.com/watch?v=EPEGTfaFnpA
by spwa4 | 2026-02-13 21:49:57+00:00
I wouldn't worry about that. You're ignoring politics, and what this actually is. If the EU had a real problem with addictive designs and social media the time to move against it was of course 10+ years ago. They do not intend, not even remotely, to sabotage the profit machines that those companies are, they just want political weapons against the companies. The intention here is not to cure addiction, destroy profits, the intention is to use economic power to achieve political ends. The EU is built on this, it just didn't use to involve that many private companies.

Like most famous EU laws, this is not a law for people. Like the Banking regulations, the DMA, the GPDR, the AI act, this law cannot be used by individuals to achieve their rights against companies and certainly not against EU states, who have repeatedly shown willingness to use AI against individuals, including face recognition (which gets a lot of negative attention and strict rules in the AI act, and EU member states get to ignore both directly, and they get to allow companies to ignore the rules), violate GPDR against their own citizens (e.g. use medical data in divorce cases, or even tax debt collection, and they let private companies ignore the rules for government purposes (e.g. hospitals can be forced report if you paid for treatment rather than pay alimony, rather than pay your back taxes)). The first application of the GPDR was to remove links about Barrosso's personal history from Google.

These laws can only be used by the EU commission against specific companies. Here's how the process works: someone "files a complaint", which is an email to the EU commission (not a complaint in the legal sense, no involvement of prosecutors, or judges, or any part of the justice system of any member state at all). Then an EU commissioner starts a negotiation process and rules on the case, usually imposing billions of euros in fines or providing publicly-backed loans (in the case of banks). The vast, vast, vast majority of these complaints are ignored or "settled in love" (French legal term: the idea is that some commission bureaucrat contacts the company and "arranges things", never involving any kind of enforcement mechanism). Then they become chairman of Goldman Sachs (oops, that just happened once, giving Goldman Sachs it's first communist chairman, yes really. In case you're wondering: Barrosso), or join Uber's and Salesforce's executive teams, paid through Panama paper companies.

In other words: these laws are not at all about addictive design, and saving you from it, they're about going after specific companies for political means. Google, Facebook, Goldman Sachs, ...

Ironically the EU is doing exactly what Trump did with tariffs. It's just that Trump is using a sawed-off shotgun where the EU commission is using a scalpel.
by ben_w | 2026-02-13 21:50:08+00:00
Endogenous drugs, exogenous drugs. Same effect on the brain, and in some cases the actual literal same substances. The difference is that endo-/exo- prefix, the former is made in your body, the latter is supplied from outside.

We have been learning how to induce certain experiences, which correspond to certain substances, for a long time; we're getting more competent at it; this includes social media A/B testing itself to be so sticky that a lot of people find it hard to put down; this is bad, so something* is being done about it.

* The risk being "something should be done; this is something, therefore it should be done"
by codingdave | 2026-02-13 21:50:17+00:00
I recommend reading the letter. Many of the comments here seem to have missed that the comment of "the world is in peril" is not referring to AI, but to the larger collection of crises going on in the world. It sounds to me like someone who realized their work doesn't match their goals for their own life, and is taking action.

Maybe the cynics have a point that it is an easier decision to make when you are loaded with money. But that is how life goes - the closer you get to having the funds to not have to work, the more you can afford the luxury of being selective in what you do.
by godelski | 2026-02-13 21:50:17+00:00
> Critique of absolute time and space of Newtonian physics was already well underway

This only means Einstein was not alone, it does not mean the results were in distribution.

> Many of the phenomena that relativity would later explain under a consistent framework already had independent quasi-explanations hinting at the more universal theory.

And this comes about because people are looking at edge cases and trying to solve things. Sometimes people come up with wild and crazy solutions. Sometimes those solutions look obvious after they're known (though not prior to being known, otherwise it would have already been known...) and others don't.

Your argument really makes the claim that since there are others pursuing similar directions that this means it is in distribution. I'll use a classic statistics style framing. Suppose we have a bag with n red balls and p blue balls. Someone walks over and says "look, I have a green ball" and someone else walks over and says "I have a purple one" and someone else comes over and says "I have a pink one!". None of those balls were from the bag we have. There are still n+p balls in our bag, they are still all red or blue despite there being n+p+3 balls that we know of.

> I am not a [...] physicist

I think this is probably why you don't have the resolution to see the distinctions. Without a formal study of physics it is really hard to differentiate these kinds of propositions. It can be very hard even with that education. So be careful to not overly abstract and simplify concepts. It'll only deprive you of a lot of beauty and innovation.
by epolanski | 2026-02-13 21:50:51+00:00
We would not call him at all because it would be one of the many millions that went through projects like this for their thesis as physics or math graduates.

One of my best friends in his bachelor thesis had solved a difficult mathematical problem in planet orbits or something, and it was just yet another random day in academia.

And she didn't solve it because she was a genius but because there's a bazillions such problems out there and little time to look at them and focus. Science is huge.
by Gym-Berlin | 2026-02-13 21:51:06+00:00
In Pakistan’s frontier politics, tribal leaders are often elevated as allies, only to be discarded when they outlive their usefulness. The recent killing of Sardar Mohammad Faqir Achakzai — arrested alive, then mysteriously dead days later — is not just another “encounter.” It is a stark reminder of how the ISI manipulates tribal influence, exploiting figures like Achakzai for covert objectives before erasing them from the board. His story reveals the dangerous intersection of narcotics, weapons smuggling, and militant alliances — and the ruthless calculus of a state apparatus that thrives on manipulation and betrayal.
by Manuel_D | 2026-02-13 21:51:32+00:00
The government doesn't need a warrant to access bank records, as per the US's banking laws. They just need an administrative subpoena, which doesn't have to be signed off by a judge.

This is not and example of the government sidestepping laws through a third party. You just don't like the existing laws, and would prefer to make certain things illegal that are presently legal.
by strken | 2026-02-13 21:51:54+00:00
It is sane but not rational, sometimes factually correct in places, highly offensive, and inflammatory. I don't use Clojure and reading it makes me never want to use Clojure.

Everybody is entitled to say (but not dictate) how something should work. Holding and expressing opinions is an innate human right, and the developed world only takes it away in extreme circumstances. Talking about open source governance is not an extreme circumstance.

We are not legally entitled to basic politeness, but politeness is enforced socially rather than morally, and failing to be polite means risking social consequences. If I used Clojure and I read the linked article, I would avoid hiring Cognitech, which is the exact problem Rich mentions.
Show HN: ClawProxy: An HTTP proxy that injects auth tokens into API calls
by LordHumungous | 2026-02-13 21:52:09+00:00
A way to make you auth tokens totally hidden from OpenClaw. The idea:

* Put all auth tokens into a secrets directory

* Run OpenClaw in sandbox-exec mode using a shell wrapper. OpenClaw process is blocked by the OS from accessing secrets.

* OpenClaw routes API requests to HTTP proxy that injects auth tokens.
by mrev2 | 2026-02-13 21:52:37+00:00
Hello Claude! But I appreciate the response

LLMs may "do" system design, but assuming you own your own business that implements an agentic system, would you trust an agent supervised team of agents to observe and secure it, over a human supervised team of agents?

What is the price of failure?

How will you explain a worst case scenario to a board?
by nout | 2026-02-13 21:52:49+00:00
I think mc (Midnight Commander) is still one of the best TUIs available - it's very close in capability to the GUI versions (like Double Commander) and it has the benefits of tuis - like that you can run it on a remote system.
It looks outdated, but I'm actually now working on a new skin that will hopefully be included in the next release of mc.
by TRiG_Ireland | 2026-02-13 21:53:14+00:00
OnlyFans isn't just about erotic content. Porn is available elsewhere, cheaper. The platform really is designed to push parasocial relationships. I think it's probably less healthy (for the consumer) than normal porn.

(Possibly less healthy for the performer, too, but it's hard to balance that against the problems performers often have in exploitative studios.)
by geboss | 2026-02-13 21:53:53+00:00
I've been building Vehique.ai for the past year – basically an AI operating system for car shopping and research. Users describe what they want in natural language, we search live inventory and curate results, they can compare 2-4 cars side by side, and a scout agent runs hourly and daily to find new listings that match their preferences.
Here's the thing, I don't have savings, will be graduating in may, and building solo. users keep visiting the product (3k monthly now) but scaling is tough on my own. been considering applying for yc and other accelerators but also job hunting as backup.

For those who've built marketplace or consumer products or worked on similar problems – am i chasing something real here or should i take a swe job and shelve this? not looking for encouragement, just honest takes on whether this problem is worth the next year of my life.

The tech stack is a multi-agent system with llms. happy to share more details if useful.
by akramachamarei | 2026-02-13 21:53:55+00:00
> If you desperately need something, but a rich guy kinda-sorta wants it, rich guy gets it if he's willing to pay more.

I share this concern about access to scarce goods, though I'm not sure what these scarcity catastrophes look like in practice. To generalize your example, if there is some scarce resource, at most some number N of the wealthiest actors (which can include corporations such as unions or communes, not just individuals) can access it. I certainly agree that this is a failing of a capitalism, but it's not clear to me how you would propose adjusting it's tenets to recover these drawbacks, and at what additional cost. Like, if the issue is we want to ensure everyone can get what they need to survive, I imagine you can't allow buyers and sellers to negotiate prices, there has to be some neutral third party to do this. And if this modification to prices disincentivizes extraction, production, or delivery of these goods how you would force people to do those jobs.

I hope this doesn't sound like a strawman, I'm just honestly unclear on what should replace what are seemingly basic and natural rights, namely property, physical autonomy, contracts, whatever. I won't pretend that in e.g. the US these rights haven't been abridged whilst the sky remains suspended above us, but my imagination fails me on the question what it looks like when we shave away more of those rights, versus restoring them. Though I'd also imagine that your policy prescriptions would probably include both abridgements and restorations of these rights, so don't let me speak for you.
by ben_w | 2026-02-13 21:54:02+00:00
> Actually, it's 2026 and has been for six weeks.

D'oh. But fair.

> There are many other 2FA authenticators available.

Specified by job, so no choice in this matter.

> I would refuse anything work-related on my personal phone.

Quite reasonable as a general rule, though my then-employer only required the 2FA app and nothing else, and in this case it would've just meant "get an additional phone".