MurphyA/hacker-news huggingface dataset:
by piokoch | 2026-03-09 12:23:32+00:00
If you use Renewable Energy Sources, it may happen there will be no wind or no sun. So you need some auxiliary source of energy. If you want it at hand, this must be something with fast cold start. So black/brown coal power plan will not help you, similarly nuclear. You need to burn either gas or "biomass", that is wood/turf, etc. Those power plants have about 1h cold start.

Hence, in order to have RES you need to emit CO2. Deal with this. The other option, and UK goes that way, is to purchase electricity when it is lacking, paying spot prices, that's why they have such a big electricity bills, economy is down, people get mad and vote psychos.

The solution is dead simple, as France example shows. Simply use nuclear power plants and does not bother with RES, as it does not make any sense now.

Maybe, when we have technology to store efficiently electricity at scale, we can start using RES. But we just do not have that.

The end result now is that electricity in Europe is the most expensive on the World, so all manufacturing is moved to Asia, who does not bother with climate that much, that's why, despite all Europe efforts, overall CO2 emission keeps growing.
by Terretta | 2026-03-09 12:23:50+00:00
> If you like this project, please tell me. Your encouragement means a lot to me! I don't want to spend my time on things that nobody seems to be interested in.

Great implementation details, but what is the end goal? Ah ha, a readable readme (which itself is promising):

InfiniteMCP is a an MCP server that acts as a universal gateway to thousands of other MCP servers. Instead of manually configuring each MCP server you want to use, InfiniteMCP lets Claude discover, understand, and use any MCP server on demand through natural language queries.

Think of it as an "MCP server of MCP servers" - a single connection that unlocks the entire MCP ecosystem.

So, yeah, that's interesting.

> and then provide it as a free api

Oh, oops, that just became a supply chain threat. Central registries outside of targets' control are grails, and the speculated implementation for secrets makes this a lovely injection path...

If you pursue this, work with someone like control-plane.io to blue/red team it and make noise about that on your README with a link to their findings and your mitigations. And consider sync up with folks like kusari.dev (see also SLSA and GUAC) to include a vulns rating on each MCP itself (their mapping is super fast and a SBOM scanned MCP directory would be a real value add).
by Vachyas | 2026-03-09 12:24:13+00:00
Somehow I've been browsing HN since ~2019 without ever wanting to reply so much that I was willing to make an account (and start receiving emails, etc) but your comment made me curious how easy it could be, and wow. Now I have an account.

I kind of assumed it was hard to make an account (maybe even an invite-only situation) based purely off of how unique most handles were, and how well curated/moderated everything was. So I guess you could say, the quality of the usernames and the quality of the posts :)
by kitasan | 2026-03-09 12:24:23+00:00
OP here. Just shipped v0.1.1.
The big one: Mathlib4 compatibility went from 4,530 to 181,890 declarations tested, hitting 99.7% parse compatibility across the entire Mathlib4 codebase (7,759 files, 280+ categories). This was the #1 thing I wanted to nail before calling OxiLean usable for real math.
Most of the work went into a ~6,000-line normalization pipeline that bridges the gap between Lean 4 surface syntax and OxiLean's internal representation. Things like: 280+ Unicode operator replacements (category theory, analysis, algebra, set theory), desugaring multi-binder ∃ into nested Exists(fun ...), normalizing bounded quantifiers, set builder notation, subtype sets, anonymous dot functions ((· < ·) → fun x y → x < y), and a bunch of binder/parenthesization fixes that only show up when you throw 180K real-world declarations at a parser.
Test suite also grew from 19 to 769 tests, zero warnings.
Still v0.1 territory — the remaining 0.3% failures are mostly exotic notation edge cases — but parsing virtually all of Mathlib4 is the foundation everything else builds on. Elaboration and full type-checking of Mathlib-scale proofs is the next milestone.
Repo: https://github.com/cool-japan/oxilean
by sltkr | 2026-03-09 12:24:32+00:00
Paul Graham wrote about the entanglement of news and PR companies over 20 years ago: https://www.paulgraham.com/submarine.html

It wouldn't surprise me if something similar is happening with social media and indeed a lot of the news is astroturfed to some extent, though I agree we shouldn't discount the extent to which people are willing to participate in this by reposting popular content for a quick ego/karma boost. And increasingly that reposting is done by bots.
by datsci_est_2015 | 2026-03-09 12:24:53+00:00
“Judgment” is close to my mental model, but I prefer “liability”. All meatspace-based employment comes down to liability. A McDonald’s shift worker is liable for any mistakes made during their shift that are considered their responsibility. A SWE is liable for any mistakes made during their employment that are considered their responsibility. Accountant. Paralegal. CEO.

AI will need to be able to experience consequences as a result of liability, and care about those consequences, in order to replace true meatspace jobs. Otherwise they’re simply sophisticated systems.

If you’re a one man company, and you have a delivery AI that delivers widgets to Alice, but in the process that delivery AI kills Bob, you’re liable for murder.
by DamonHD | 2026-03-09 12:25:54+00:00
People heating their homes can be very sigificant. In the UK ~15% of all its territorial GHGs come from heating with gas: actual CO2 from the home boiler flues.

CO2 from small amounts of rural home heating is probably not the big thing to be worried about, especially if local recent biomass, eg wood from forest management. But there are still nasties (PMs, biodiversity losses, etc) to be considered and that should be dealt with in due course.
by 63stack | 2026-03-09 12:26:06+00:00
I was wondering the same thing. It already takes a very high level of motivation and self discipline to go 3 times a week, going every day requires superhuman levels to so consistently.

This doesn't take into account that your body requires rest, and I don't know how op thinks you can combine this with an active sport like skiing, or something creative like music. You will be drained already from the gym.
by nosaidit | 2026-03-09 12:26:12+00:00
> Every single task that was easy and economical to offload to a single purpose robot arm bolted down to the floor was already offloaded to a single purpose robot arm bolted down to the floor.

What about doing dishes? That could be done with one arm. Maybe not easy and economical yet, but could be.

There is plenty that has not been seen through.

Laundry folding machines are not in wide distribution.

Robots to put away laundry?

Etc. lots of mundane tasks.
by ErneX | 2026-03-09 12:26:21+00:00
I run (among many other VMs) TrueNAS on a VM of an xcp-ng host (Supermicro board with a Xeon and ECC ram). Passing a dedicated SAS controller to it. Before that I was using esxi but migrated all my VMs and hosts to xcp-ng. TrueNAS has been pretty good so far, been running this for many years already.

I also have another xcp-ng host for other VMs running on a Dell OptiPlex Micro.

OP should configure DNS locally and reverse proxy each service, I use bind 9 and nginx for that.
by 0xfeba | 2026-03-09 12:26:31+00:00
I separated around the same time, and at about the same age, also in a new city. It was rough. A city I never wanted to be in. I'd never find friends there.

A few years later, I have a couple friends that like you, I can just call them up or text and they're available. There are great places to meet, eat, and clubs to join.
by stavros | 2026-03-09 12:26:35+00:00
Right yeah, thanks for the constructive comment. Mind filing those vulnerabilities, or are you just making a point?

How do you know these are actual vulnerabilities? You just ran an LLM and it told you something and you came back to dunk on me, with zero context on the project.

Maybe you need to sit down and really think that you have no idea who you're talking to or what the project does. Next time you make a "omg this code is so shit" comment, include something more than "well my LLM says your LLM is bad" so we can have a discussion with facts rather than LLM-aided trashtalk.

EDIT: Out of curiosity, I've ran Kimi K2.5 on the codebase, and all the things it found are invalid, or explicit design decisions. So, next time you decide to tell someone their project "is slop" by running an LLM and relaying its verdict, consider a) the irony of what you're doing, and b) that the other person might know more than you about their own project that you spent "three minutes" running an LLM on.
by michaelmoreira | 2026-03-09 12:27:33+00:00
Hey HN! I built FlowEasy because I was tired of copy-pasting YAML files from old projects every time I started a new SaaS.

The idea is simple: connect your GitHub repo, FlowEasy reads your package.json (frameworks, scripts, etc.), and generates a full GitHub Actions pipeline with:

- SAST (Semgrep), SCA, secret detection (TruffleHog), DAST (OWASP ZAP)
- Jest unit tests + Playwright E2E
- SBOM generation (Syft)
- Auto-heal AI: if the pipeline fails, it analyzes logs and commits a fix automatically
- Vercel deploy + Slack/Discord notifications

The AI behind it is Claude, which analyzes your stack and generates optimized YAML. Zero YAML knowledge needed.

Free tier: 1 repo, 5 runs/month. Pro: $19/mo unlimited.

Current limitations: only Vercel deploys for now (more targets coming soon), and it works best with Node.js/Next.js stacks.

Would love feedback from the HN community — especially on the DevSecOps defaults and the auto-heal approach. Happy to answer any questions!
by CharlieDigital | 2026-03-09 12:27:48+00:00
The easiest thing to do is to have the LLM leave its own comments.

This has several benefits because the LLM is going to encounter its own comments when it passes this code again.

> - Apply comments to code in all code paths and use idiomatic C# XML comments
> - <summary> be brief, concise, to the point
> - <remarks> add details and explain "why"; document reasoning and chain of thought, related files, business context, key decisions.
> - <params> constraints and additional notes on usage
> - inline comments in code sparingly where it helps clarify behavior

(I have something similar for JSDoc for JS and TS)

Several things I've observed:

1. The LLM is very good at then updating these comments when it passes it again in the future.

2. Because the LLM is updating this, I can deduce by proxy that it is therefore reading this. It becomes a "free" way to embed the past reasoning into the code. Now when it reads it again, it picks up the original chain-of-thought and basically gets "long term memory" that is just-in-time and in-context with the code it is working on. Whatever original constraints were in the plan or the prompt -- which may be long gone or otherwise out of date -- are now there next to the actual call site.

3. When I'm reviewing the PR, I can now see what the LLM is "thinking" and understand its reasoning to see if it aligns with what I wanted from this code path. If it interprets something incorrectly, it shows up in the `<remarks>`. Through the LLM's own changes to the comments, I can see in future passes if it correctly understood the objective of the change or if it made incorrect assumptions.
by shirro | 2026-03-09 12:28:03+00:00
There are so many advantages to turning off and disconnecting these days. Avoiding TOS is just a small part.

There are too many demands on our attention and our wallets and most of us aren't getting more money or time. I cancelled all the family's streaming services in 2025. Everyone adapted. It turns out a lot of things we are told we need, we really don't. People lived without them as recently as a few years ago. A lot of the novelty of mobile, streaming, social media and weird tech nobody needs has worn off and the value has been eroded. There are so many better things to do and experience and you don't need to hand over your privacy or sign your soul away.
by theill | 2026-03-09 12:28:09+00:00
I feel the EXACT same. I wrote about this specifically a year ago (read https://www.commanigy.com/blog/2025/03/25/ai-reignited-my-co...) and my passion has NOT decreased that is for sure. I'm SUPER excited about the future even though I'm sure my job WILL NOT be the same in 6 or 12 months.
by davidee | 2026-03-09 12:28:39+00:00
Like most things in music there's a real distinction between technical perfection (tuning is one, rhythm another) and music feeling alive. It's why perfectly quantized rhythms and music sound lifeless.

Our perception of these things (for most, not all) is incredibly fluid, much like our perception of time. Music that moves us tends to have the right "technical imperfections". Too much and it comes off as amateur, too little, and it comes off as sterile.

Even on a production-level, the right amount of harmonic distortion/non-linearity can be a huge benefit to how sounds are perceived. The amount of soft-saturation tooling in modern electronic/in-the-box music production is wild. Almost every modern plugin seems to include some kind of "warmth" control now.

Yet another example how perfect reproduction doesn't sound quite right.
by Serenacula | 2026-03-09 12:28:39+00:00
I've been thinking about this, and I actually think these days this might be a feature not a bug.

Given the amount of AI generated content out there, I am increasingly searching for ways to keep track of the sources I DO trust to be human-made.

RSS would completely solve that problem in a way that algorithms just reintroduce, because it forces you to tailor the content yourself.
Show HN: Agentic Metric – top for your AI coding agents (token, cost tracking)
by MrQianjinsi | 2026-03-09 12:28:40+00:00
I use AI coding agents for almost all my daily development. Burning ~100M tokens a day, I had no clue where they all went —
so I built this tool to find out.

Agentic Metric is like top, but for your coding agents. It tracks token usage and costs across Claude Code, Codex, OpenCode,
Qwen Code, and VS Code Copilot, with a live TUI dashboard and CLI.

A few things I care about and you probably do too:

- Fully open source (MIT): https://github.com/MrQianjinsi/agentic_metric
- 100% offline — no network requests, no telemetry, nothing leaves your machine, ever
- All data is local — just reads your local agent files, stores stats in a local SQLite DB
- Read-only — never touches your agent configs or data

What you get:
- Live session monitoring with 1s refresh
- Per-session token breakdown (input/output/cache) + cost estimation
- Today's summary and 30-day trends
- Plugin architecture — easy to add new agents
- Status bar integration (tmux, i3blocks, waybar, vim)

Install: pip install agentic-metric or uvx agentic-metric
I built this entirely with agentic coding (dogfooding at its finest). Would love feedback from fellow heavy agent users —
curious how your daily token consumption compares.
by drzaiusx11 | 2026-03-09 12:28:48+00:00
I support further research along the lines of what is being done with neurons here, however, I don't think we quite know enough about consciousness or general self awareness (and how it comes about) yet to make sweeping generalizations saying there's _nothing_ to worry about. Proceeding with caution is always warranted when the stakes involve living organisms in my book.
by als0 | 2026-03-09 12:28:50+00:00
There are two versions of MPK. One is only applicable to userspace pages. The other is newer and can be applied to kernel space pages; last time I checked, this was only available on newer Xeon processors.

By the way, MPK memory is not encrypted. The key is just an identifier for the requestor. If the requestor key doesn’t match the same identifier for the memory page, then an exception is raised.

Funnily enough, MPK isn’t new at all. It’s almost a reintroduction of a feature from Itanium.
by HarHarVeryFunny | 2026-03-09 12:29:04+00:00
The lead author, Blaise Agüera, of the paper this is implementing, has some interesting ideas around the origin and nature of life.

There's an interview of him on MLST here, well worth watching:

https://www.youtube.com/watch?v=rMSEqJ_4EBk&t=945s

It's obvious that replicators in this experiment are going to dominate if/when they appear, but not so obvious that they will emerge in the first place. I suppose the programs, reliant on their sequential structure, might be regarded as a parallel to nucleic acid sequences in the emergence of early life, but the random origins are also comparable to Stuart Kauffman's "At home in the universe" proto-metabolism where varied individual chemical reactions combine to create a whole capable of collective self-replication.
by Incipient | 2026-03-09 12:29:46+00:00
I find this is very heavily situation dependent. I tried getting even Opus to implement a xero integration using the python sdk, without telling it much about the sdk besides the example code/instructions on github and it made an absolute un-runnable mess out of it.

The sdk and examples appear to be very atypical for a lot of python I've done (and atypical for my code base). Giving it a context/how-to file I put together made it significantly better (however I still gave up and did it more manually).
by hareenklytre1 | 2026-03-09 12:29:54+00:00
brain Task skills <iframe style="border: 1px solid rgba(0, 0, 0, 0.1);" width="800" height="450" src="https://embed.figma.com/design/2wvLfbJIJPGsXCFJv0vQCJ/protot..." allowfullscreen></iframe> brain button panels on https://www.figma.com/design/Bc548lCHx9kqiM2BZkiVrp/Brain-Si... Brain about me he will tell you who I'am In that I'am Evens max pierrelouis the owner Account Evens max pierrelouis the chairman of board and executive director & CEO of Ticketbud & Clickup edit Setting Platform Ticketbud & Clickup Bookmark this page for future reference. Email:pierrelouisevensmaxai@gmail.com Random code 4RWC9WLAAVB8G00TLL8FXKR~4474237252656835223~CJig6Me8dzgEQkdRMTI1X0dFX0VHX05fSTE1Tl9PRkZFUl9WQVJJQU5UU19FTlRFUlRBSU5NRU5UXzVfT0ZGX0EwQzVHMDAwMDBQRkxWVlFBQg== e. g. , Next.js app , Rails API React SPA ... .... python ... .... FREE DELIVERY Proof of Purchase with your claim number: 9123950162-7242324698 You Could Now Watch Haitian Full Movie on YouTube Live Stream Production Broadcast systums
by mrp23 | 2026-03-09 12:30:06+00:00
This framing clarifies something people get wrong about humanoid robots. The competition isn't "humanoid vs. better robot" — it's "humanoid vs. hiring another person."

And that reframes the economics entirely. You don't need the robot to be better than a human at any given task. You need the total cost of ownership to be lower than a salary, benefits, turnover, and training. That's a much easier bar to clear once the AI catches up to the body.

The interesting question is whether the AI problem gets solved generally (one model that can do everything) or whether we end up with task-specific AI in a general-purpose body — basically the robot arm paradigm wearing a humanoid suit.
by troupo | 2026-03-09 12:30:41+00:00
> this must be something with fast cold start. So black/brown coal power plan will not help you, similarly nuclear.

Nuclear plants provide base load and they are extremely fast at ramping up/lowering production. All modern nuclear plants are capable of changing power output at 3-5% of nameplate capacity per minute: https://www.oecd-nea.org/upload/docs/application/pdf/2021-12...

You don't shut down power plants. None of the power plants ever do a "fast cold start"

> The end result now is that electricity in Europe is the most expensive on the World, so all manufacturing is moved to Asia

The production moved to Asia due to extremely cheap labor, not due to electricity costs.
by pzs | 2026-03-09 12:31:14+00:00
First of all, don't give up. What you are going through is not what you deserve, but a transition to the next stage in your life. Just because a relationship with someone didn't work out as you had hoped for does not mean you can't have even better relationships with others in the future. Adjustment takes time, so don't be judgmental about yourself. (Unsolicited advice, I know. I am about to get separated after a 20-year relationship myself, so I may be writing this in part also to myself.)

Now may be the time to learn who you really are! Do you have any interests you never really pursued because of lack of time? Are there any things you once planned to do but never really found them important enough to prioritize against being with your SO? You may need to think back several years to discover those... How about reconnecting with friends you may not have met only infrequently during recent years? While previously your schedule might have been defined by others in your life, now you need to take active control of it.

One thing that works really well for me is social dancing. It feels like a tactile game where the goal is to have fun and express what we hear in the music through connected movements. When I get to dance with a partner who's really good, it feels almost euphoric. It can be very-very rewarding. And there is most likely a community of social dancers who you can connect to. There is a bit of a learning curve, but there are dances like Cuban salsa where it is not so steep.

Good luck!

EDIT: added one more thought
by bramhaag | 2026-03-09 12:31:31+00:00
https://beyondfossilfuels.org/europes-coal-exit/ keeps track of coal phase-out commitments. 24 European countries still use coal generators, and 6 have not even planned to phase them out (Serbia, Moldova, Turkey, Poland, Kosovo, Bosnia).

Never used coal power:

Albania, Cyprus, Estonia, Latvia, Lithuania, Luxembourg, Malta, Switzerland, Norway

Phased out:

2016: Belgium
2020: Sweden, Austria
2021: Portugal
2024: United Kingdom
2025: Ireland

Phase-out planned:

2026: Slovakia, Greece
2027: France
2028: Italy, Denmark
2029: The Netherlands, Hungary, Finland
2030: Spain, North Macedonia
2032: Romania
2033: Slovenia, Czechia, Croatia
2035: Ukraine
2038: Germany
2040: Bulgaria
2041: Montenegro
by shafyy | 2026-03-09 12:32:03+00:00
If you're intersted in (local) politics, join the local chapter of your favorite political party. Not sure where you live obviously, but in my experience, local political chapters do a lot of community work and events where you're together with other members, etc. And obviously there's already a common interest, so it's a great place to get to meet new people.

At the same time, you will being contributing more to a better democracy in your country!
by matsemann | 2026-03-09 12:32:04+00:00
For big things the current way works fine. Having a separate container/deployment for celery, the web server, etc is nice so you can deploy and scale separately. Mostly it works fine, but there are of course some drawbacks. Like prometheus scraping of things then not able to run a web server in parallel etc is clunky to work around.

And for smaller projects it's such an annoyance. Having a simple project running, and having to muck around to get cron jobs, background/async tasks etc. to work in a nice way is one of the reasons I never reach for python in these instances. I hope removing the GIL makes it better, but also afraid it will expose a whole can of worms where lots of apps, tools and frameworks aren't written with this possibility in mind.