MurphyA/hacker-news huggingface dataset:
by co_king_5 | 2026-02-18 14:50:06+00:00
> > The actual gains are granular and personal, which makes them hard to count and easy to dismiss.

> It also means the trillion dollar valuations might be bunk?

Yes, unless the selling point is the institutional and social instability you can create by handing LLMs to technically incapable users and telling them they can write code now.
by intrasight | 2026-02-18 14:50:20+00:00
> open source alternative to all the major SaaS

The question is "open source" vs "proprietary". Open source will become the majority of SaaS. But the industry needs to find the right business model. I think the model will look, to the enterprise clients, largely the same as today. There will still be usage costs (both per user and storage) and support costs. But there will not be "license costs". And there will be much less lock-in.
by mystraline | 2026-02-18 14:50:38+00:00
It shouldn't surprise you. Once a company starts bribing politicians with campaign funds, they have a foot in the door.

Once they have the paid lobbyists, then they present company-written policy documents and laws that just need a sponsor.

Those laws are crafted explicitly for specific holes only the company can effectively navigate. But on its face, looks completely fair.

Law gets passed, and the law is really a moat 'pulling up the ladder' for any other company trying to encroach on their space. Naturally, its written such a way that will pass basic scrutiny.
by vermaden | 2026-02-18 14:50:43+00:00
I hope I was clear enough that credit for the solution goes to Christian Hofstede-Kuhn (Larvitz).

I treat my blog also as a place where I keep and maintain my FreeBSD documentation/information.

So there are several motivations for this:

- Keep and maintain personal version with more code snippets that I can copy/paste fast.

- More detailed commands and outputs.

- Some additional improvements that may be useful – like local console login.

Hope that helps.
by aristofun | 2026-02-18 14:50:56+00:00
> unless you are good at marketing.

Sorry to (not)disappoint, but it was _always_ like this.

If you analyze closely, every single solopreneurial success is based first and foremost on a successful marketing/sales. Whether by luck, hard work or being in the right place at the right time. The dev part and the product is never a main dish.
Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor
by aytuakarlar | 2026-02-18 14:50:59+00:00
CSL-Core is a policy engine that formally verifies AI agent constraints using Z3. Instead of prompting an LLM to behave, you write a small policy in CSL (Constitutional Specification Language), Z3 proves it has no contradictions at compile time, and a deterministic runtime enforces it — completely outside the model.
We just shipped a built-in MCP server with 4 tools:

verify_policy: Z3 formal verification in one call

simulate_policy: test any JSON input, get ALLOWED/BLOCKED

explain_policy: human-readable breakdown of any policy

scaffold_policy: describe what you want in English, get a CSL template

This means you can do this from Claude Desktop or Cursor:

"Write me a policy that blocks transfers over $5000 for non-admin users"

→ scaffold generates a CSL template

→ verify proves it has no contradictions

→ simulate tests your edge cases

→ all without leaving your editor

The full loop: From English description to mathematically verified, runtime-enforced policy; happens inside your AI assistant.

Why not just prompt the LLM to enforce rules? We benchmarked GPT-4o, Claude Sonnet 4, and Gemini 2.0 Flash as guardrails with a hardened system prompt. Every model was bypassed by at least one attack (context spoofing, multi-turn role escalation, unicode homoglyphs). CSL-Core blocked all of them; because the LLM never touches the enforcement layer.

Setup:

pip install "csl-core[mcp]"

Claude Desktop config:

{

"mcpServers": {

"csl-core": {

"command": "csl-core-mcp"

}

}

}

Or with Docker:

docker build -t csl-core-mcp .

docker run -i csl-core-mcp

GitHub: https://github.com/Chimera-Protocol/csl-core

Listed on awesome-mcp-servers:

https://github.com/punkpeye/awesome-mcp-servers

Previous Show HN discussion: https://news.ycombinator.com/item?id=46963250

Would love feedback, especially from anyone building agentic systems where safety guarantees matter.
by toomuchtodo | 2026-02-18 14:51:02+00:00
Threads with context:

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

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

Elephant system design - https://gist.github.com/skorokithakis/68984ef699437c5129660d... (A distributed, voluntary backup system (high-level design document))

You're most of the way there with the distributed storage workers scheme u/stavros proposed ("Elephant") to increase Internet Archive item durability through a distributed volunteer seeder network. Feature request would be the ability to specify RSS feeds serving torrent files or magnet links to consume for seeding operations. This would also enable providing this data over ATProto for consumption, although I'm unsure at the moment if a lexicon would be needed.

If there is a tip jar, happy to tip, please consider adding to your repo or GitHub profile somewhere.
by flancian | 2026-02-18 14:51:13+00:00
I'd like to buck the apparent trend of reacting to your project with shock and horror and instead say I believe it's a great idea, and I appreciate what you are doing! People have been trained to believe (very long) copyright terms are almost a natural law that can't be broken or challenged (if you are an individual; other rules might apply to corporations...) but I think we are better off continuing to challenge this assumption.

I could imagine adding support for further rules that determine when Levin actively runs -- i.e. only run if the country or connection you are in makes this 'safe' according to some crowdsourced criteria? This would also serve to communicate the relative dangers of running this tool in different jurisdictions.
by tlamponi | 2026-02-18 14:51:16+00:00
In that case one can just branch off a stable-x.y branch from the respective X.Y release tag as needed.

It really depends on the whole development workflow, but in my experience it was always easier and less hassle to develop on the main/master branch and create stable release or fix branch as needed. With that one also prioritizes on fixing on master first and cherry-pick that fix then directly to the stable branch with potential adaptions relevant for the potential older code state there.

With branching of stable branches as needed the git history gets less messy and stays more linear, making it easier to follow and feels more like a "only pay for what you actually use" model.
by benterix | 2026-02-18 14:51:52+00:00
>> meat waves

> sigh

I agree it's an unfortunate way of presenting it but Stalin was a guy who didn't care for anyone's life and was literally sending people in waves to die with the NKVD sadists shooting scared young boys whenever they tried to run away from the horror of war. Dead if you go, dead if you don't. It's romanticized an celebrated today, but it was a mass tragedy incomparable to one that happened to ny other country in recent history.
by newyankee | 2026-02-18 14:52:02+00:00
Actually the funny thing is that there is a mixing of meme stuff, Elon verse impacts (AI + self driving + Energy) etc. and under none of these circumstances is a 200+ PE justified.

The funny thing is after 6 years of effort apparently they have managed to get the dry coating process for batteries working and according to a few reputed sources have ingredients for entire battery chain available locally.

The thing is if this stock was underpriced and rational this would be such a positive news after 2-3 years of growth stall.

Instead they are trying to keep the hype up with endless goalpost changing and self driving possibly stuck perenially in edge case doom scenario with camera only decision
by pcaharrier | 2026-02-18 14:52:08+00:00
Yes, even where there is no physical trespass, there very well may be other torts or crimes.
Obviously, if you set fire to your neighbor's house, you can't get out of an arson charge by arguing that you "only" did it with a laser. You could use a comically-large magnifying glass and still end up a convicted felon in that situation.

However, I don't think it's a weak analysis given the question the court had to answer.

They weren't asked "Can your neighbor get away with shining any light on you or your property, no matter how intense?" but rather "Does shining a light on a person's property count as 'Placing an object on, or delivering an object to, property owned, leased, or occupied by that individual' for purposes of this specific Michigan statute that defines 'unconsented contact' that would support a nondomestic PPO"?

In fact, Michigan state law and the Dearborn, Michigan local ordinances (like numerous other state and local laws) do separately prohibit the use of lasers to injure/harass (at least under certain circumstances): https://www.laserpointersafety.com/rules-general/uslaws/usla....
Ask HN: Why does Cloudflare not remove reported phishing sites?
by justmarc | 2026-02-18 14:52:31+00:00
Roughly a week ago, after a physical theft of a phone I reported a phishing site pretending to be Apple/iCloud.

This is not some random cyber-only phishing attempt, instead, this one is operated by a real world criminal gang associated with the physical theft of devices, then further attempting to gain access/unlock said devices.

It is yet to be removed from Cloudflare's service.

1. Why?
2. Why are they judged by a different standard?

Thanks
by llm_nerd | 2026-02-18 14:53:30+00:00
"Regret"? You mean the grifters conning the waves and waves of incredibly stupid Americans? Do you think the million or so people who died of COVID also might have some regrets?

Biden didn't warn that "those who don't take it will die" -- again, why do you people lie constantly about everything? -- he warned that it would be a winter of severe illness and death, which is absolutely, unequivocally, empirically true! In those early days hospitals were legitimately overcrowded with severe cases. Are we pretending that didn't happen now?

I mean, you guys really are. It's incredible.

I get that America is doing a speed-run to being the dumbest idiocracy on the planet, so you guys have this momentary period where you think you "won". Just be aware that to the entire rest of the planet you are a worldwide farce. A "how not to", and it's incredible how much the super rich conned the masses of the stupid to continually act against their own best interests.
by dijit | 2026-02-18 14:53:35+00:00
This is 100% the current situation, and it's worth mentioning because clearly you have a finger on the pulse here - and that needs to be stated for others.

But, I wonder if Microsoft might reverse their stance on EntraID being SaaS; with the handwringing about sovreignty from Europe.

Back when "the deal" was made with Microsoft to basically embed itself into the digital ecosystem of every government, major institution and company in Europe: it was not the case that a member of the european parliament could have their mail disabled arbitrarily by Microsoft- such a thing was technically possible through a lot of hoops but it was significantly less feasible.

If Microsoft was to reverse course then I'm sure it would stop all the handwringing, even if people would continue to use the EntraID product in reality.
by LargoLasskhyfv | 2026-02-18 14:53:37+00:00
Operating System: CachyOS Linux
KDE Plasma Version: 6.6.0
KDE Frameworks Version: 6.23.0
Qt Version: 6.10.2
Kernel Version: 6.19.2-2-cachyos (64-bit)
Graphics Platform: Wayland
by 1123581321 | 2026-02-18 14:53:42+00:00
The gist is the OP went nuts replacing Google and Meta with self-hosted tools, and now he's feeding more data than ever into Anthropic or OpenAI (didn't specify, or I missed it. Skimming AI-generated blog posts tires the eyes.)

That's par for the course, honestly. News-cycle-driven anti-big-tech sentiment is weak fuel for a lifelong commitment. Something new was going to come along.

I am always happy for anyone who felt stuck on their side projects and no longer does, though.
by docmars | 2026-02-18 14:53:44+00:00
And yet, this is exactly what my last job's engineering & product leadership did with their CEO at the helm, before they laid me off.

They vibe-coded a complete rewrite of their products in a few months without any human review. Hundreds of thousands LOC. I feel sorry for the remaining engineers having to learn everything they just generated, and are now having customers use.
by jovial_cavalier | 2026-02-18 14:53:53+00:00
A ton of vector math applications these days are high dimensional vector spaces. A good example of that for arm would I guess be something like fingerprint or face id.

Also, it doesn't just speed up vector math. Compilers these days with knowledge of these extensions can auto-vectorize your code, so it has the potential to speed up every for-loop you write.
Show HN: Sievers a Rust SIEVE filter editor
by oscarcp | 2026-02-18 14:55:22+00:00
Hey there HN, I just build this basic SIEVE email filter editor. I usually struggle with keeping my email filters up to date and in the past few years I've set myself away from major providers like M$ or Google, so I had to fall back the big ol' SIEVE to do filtering. After a long time doing it manually, I decided to just build a GUI to edit the rules, since I didn't find any GUI editor out there. That's it, just a commodity tool, nothing fancy. Hopefully someone will find it useful :D
by rkangel | 2026-02-18 14:55:40+00:00
> who could simply choose not to use it

There is an inherently addicting aspect to it though - carefully evolved over the years by optimising for "engagement".

One (imperfect) analogy is gambling - anyone can in theory choose not to gamble, but for some people addiction gets in the way and they don't make the choice that can be good for them. So (in the UK) the gambling industry is regulated in terms of how it advertises and what it needs to provide in terms of helping people stop. I don't know if this particular regulation is in anyway effective, but I do think that some regulation is appropriate.
by runjake | 2026-02-18 14:55:47+00:00
I keep happening across articles claiming that AI doesn’t actually increase productivity and I’m completely confused.

I used to debate with people about this, but it didn’t really change anything. Now, I just shrug and continue on with my work and, if someone asks, I help them use AI better.

My main worry now is when the AI bubble is going to burst, and what’s affordable now becomes unaffordable.
by Izkata | 2026-02-18 14:55:59+00:00
That refutation is ignorance of reverse-transcription enzymes. Our liver cells have been shown to do exactly that in a lab with the Pfizer mRNA vaccine. There have also been studies on long covid showing that some of them still have the mRNA in their system months after it should have broken down. These haven't been linked together as far as I know, but it's definitely plausible.
by gus_massa | 2026-02-18 14:56:43+00:00
IIRC, during the last century, the parents of one of my friends had a typewriter with memory. (Olivetti???) You can somehow type and see the text in a tiny screen and edit it and then print a few copies, perhaps save it for later. I think it has mechanical letters like a normal typewriter. It obviously had no USB or Bluetooth :)

I made a quick search in Google https://www.google.com/search?q=typewiter+with+memory&oq=typ... and Gemini gave me an interesting reply, with a few links, in particular https://www.youtube.com/watch?v=GD-5jj4IxO8 in case the algorithm decides to not talk to you.
by simquat | 2026-02-18 14:56:53+00:00
Thanks, really appreciate the feedback!

In the playground the apps can only be previewed in the canvas. Exported/live apps are available here:

Weather App: https://late-cat-2043.breadboards.app

Swiss Public Transit: https://long-wind-1522.breadboards.app

Live apps are hosted on Cloudflare, when an app is published it’s stored and served from R2.
Exports are not yet downloadable, but we’ll add downloadable exports soon.
by cliff_climber | 2026-02-18 14:57:01+00:00
Hi HN,

I’m the creator of PopcornAI (https://popcornai.art). I’ve spent my career in operations, but I’ve always wanted to build my own tools. Last month, I decided to dive into "vibe coding" using Cursor, Claude, and Gemini. This product is the result of that 30-day sprint.

The Problem: My wife is a designer and often struggles to find consistent AI assets for her work. I built this to provide a unified workflow for cinematic AI video and images without the complexity of traditional tools.

Key Features:

Character Consistency: Use reference images to guide video generation.

Pro Aesthetics: 100+ curated "Pop Styles" to avoid that "generic AI look."

Speed: High-fidelity 1080P video in seconds.

The Solo-Dev Journey: As a non-coder, I learned that shipping a "good enough" MVP in 2 weeks is far better than chasing perfection for 2 months. I used SaaS templates for the boring stuff (auth/billing) so I could focus on the AI workflows.

I'm giving 100 free credits to everyone who signs up today. I'd love to hear your thoughts on the output quality and any "vibe coding" tips for non-technical founders!
by cullumsmith | 2026-02-18 14:57:26+00:00
PowerDNS is an open-source DNS server that lets you store your DNS configuration in a variety of different backends, one of which is LDAP.

For each of my "domain controllers, I run: OpenLDAP, an MIT Kerberos KDC, and a PowerDNS server. The KDC and PowerDNS both get their data from LDAP on 127.0.0.1, and LDAP changes are synchronized between all the nodes.

This is convenient because you don't have to synchronize zone files on multiple hosts.

I use custom /bin/sh-based config management system, but you can probably get the gist of it here:

https://github.com/cullumsmith/infrastructure/blob/master/sc...

https://github.com/cullumsmith/infrastructure/blob/master/fi...
by mguerville | 2026-02-18 14:57:40+00:00
And in the type of work where AI arguably yields productivity gains the workers have high agency and may pay for their own tooling without telling their employers. Case in point, me, I have access to CoPilot via my employer but don't use it because I prefer my self-paid ChatGPT subscription. If Ai-lift in productivity is measured on the condition that I use Copilot then the resulting metric misses my AI usage entirely and my productivity improvement are not attributed to their real cause.
by empath75 | 2026-02-18 14:57:56+00:00
> What products? This blog post is long on vibes and short on evidence.

I think this is an uninteresting question. Almost every company is putting AI produced code into their products now and has been for years. Whether it's entirely vibe-coded or not is beside the point.

I'm working on 4 kubernetes operators that we use internally at work in production currently. 3 of them were handcrafted, one of them was vibe coded using the other 3 as a template. Almost all of the work being done on all 4 of them is now done by AI, whether it is copilot or cursor or claude code. Stuff that used to take me days or weeks now takes hours.

You can put your head in the sand all you want, but the latest versions of the LLMs running in Claude Code are the real deal. The produce code 5-10x faster than an engineer working by themselves, and it's almost always better code than they would have produced, with more documentation and tests, and even better written PRs comments and Jira tickets.

If you want to talk about valuations, consider now that there is a very real conversation about hiring vs spending more on tokens and spending more on tokens almost always wins. Anthropic is going to be absolutely printing money over the next year, and I would not be surprised if they turn a profit in two years.
by dijit | 2026-02-18 14:58:07+00:00
Advisory doesn't have the same meaning in security research as it does in the english language.

Unfortunately "Advisory" is a report written about a security incident, like an official statement about the bug, it's impact, and how to fix it -- which differs from the english meaning... it's not meant to mean to "advise" people or to "take something" under "advisory" (which, is a very soft statement typically).
by rkozik1989 | 2026-02-18 14:58:17+00:00
Has anyone else considered that producing code faster isn't necessarily a good thing? There's a lot that goes into getting a solution correct that has nothing to do with programming. Just because you can scale code production doesn't mean you can scale things like understanding user wants and expectations. At a point you're more work for your self/organization because unless you get everything perfect the first time you're creating more work than you're resolving.
by riskable | 2026-02-18 14:58:18+00:00
Context size helps some things but generally speaking, it just slows everything down. Instead of huge contexts, what we need is actual reasoning.

I predict that in the next two to five years we're going to see a breakthrough in AI that doesn't involve LLMs but makes them 10x more effective at reasoning and completely eliminates the hallucination problem.

We currently have "high thinking" models that double and triple-check their own output and we call that "reasoning" but that's not really what it's doing. It's just passing its own output through itself a few times and hoping that it catches mistakes. It kind of works, but it's very slow and takes a lot more resources.

What we need instead is a reasoning model that can be called upon to perform logic-based tests on LLM output or even better, before the output is generated (if that's even possible—not sure if it is).

My guess is that it'll end up something like a "logic-trained" model instead of a "shitloads of raw data trained" model. Imagine a couple terabytes of truth statements like, "rabbits are mammals" and "mammals have mammary glands." Then, whenever the LLM wants to generate output suggesting someone put rocks on pizza, it fails the internal truth check, "rocks are not edible by humans" or even better, "rocks are not suitable as a pizza topping" which it had placed into the training data set as a result of regression testing.

Over time, such a "logic model" would grow and grow—just like a human mind—until it did a pretty good job at reasoning.