frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Lisp: Notes on its Past and Future (1980)

https://www-formal.stanford.edu/jmc/lisp20th/lisp20th.html
37•birdculture•1h ago•19 comments

'This is the big one' – tech firms bet on electrifying rail

https://www.bbc.com/news/articles/czdjg92y00no
24•mikhael•49m ago•4 comments

Using FreeBSD to make self-hosting fun again

https://jsteuernagel.de/posts/using-freebsd-to-make-self-hosting-fun-again/
74•todsacerdoti•9h ago•9 comments

Reproducing the AWS Outage Race Condition with a Model Checker

https://wyounas.github.io/aws/concurrency/2025/10/30/reproducing-the-aws-outage-race-condition-wi...
42•simplegeek•2h ago•2 comments

Linux gamers on Steam cross over the 3% mark

https://www.gamingonlinux.com/2025/11/linux-gamers-on-steam-finally-cross-over-the-3-mark/
193•haunter•1h ago•100 comments

Why don't you use dependent types?

https://lawrencecpaulson.github.io//2025/11/02/Why-not-dependent.html
131•baruchel•5h ago•39 comments

Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch

https://tongyi-agent.github.io/blog/introducing-tongyi-deep-research/
187•meander_water•9h ago•67 comments

Anti-cybercrime laws are being weaponized to repress journalism

https://www.cjr.org/analysis/nigeria-pakistan-jordan-cybercrime-laws-journalism.php
126•giuliomagnifico•2h ago•32 comments

Is Your Bluetooth Chip Leaking Secrets via RF Signals?

https://www.semanticscholar.org/paper/Is-Your-Bluetooth-Chip-Leaking-Secrets-via-RF-Ji-Dubrova/c1...
28•transpute•2h ago•4 comments

Printed circuit board substrates derived from lignocellulose nanofibrils

https://www.nature.com/articles/s41598-025-91653-1
15•PaulHoule•6d ago•5 comments

URLs are state containers

https://alfy.blog/2025/10/31/your-url-is-your-state.html
267•thm•9h ago•125 comments

X.org Security Advisory: multiple security issues X.Org X server and Xwayland

https://lists.x.org/archives/xorg-announce/2025-October/003635.html
94•birdculture•7h ago•45 comments

Solar-powered QR reading postboxes being rolled out across UK

https://www.bbc.co.uk/news/articles/cgln72rgrero
5•thinkingemote•4d ago•2 comments

Autodesk's John Walker Explained HP and IBM in 1991 (2015)

https://www.cringely.com/2015/06/03/autodesks-john-walker-explained-hp-and-ibm-in-1991/
90•suioir•4d ago•52 comments

Notes by djb on using Fil-C

https://cr.yp.to/2025/fil-c.html
252•transpute•15h ago•142 comments

Writing FreeDOS Programs in C

https://www.freedos.org/books/cprogramming/
64•AlexeyBrin•7h ago•23 comments

At the end you use Git bisect

https://kevin3010.github.io/git/2025/11/02/At-the-end-you-use-git-bisect.html
111•_spaceatom•3h ago•98 comments

Backpropagation is a leaky abstraction (2016)

https://karpathy.medium.com/yes-you-should-understand-backprop-e2f06eab496b
266•swatson741•15h ago•115 comments

Mock – An API creation and testing utility: Examples

https://dhuan.github.io/mock/latest/examples.html
102•dhuan_•9h ago•17 comments

Rats filmed snatching bats from air

https://www.science.org/content/article/rats-filmed-snatching-bats-air-first-time
92•XzetaU8•5d ago•50 comments

New South Korean national law will turn large parking lots into solar farms

https://electrek.co/2025/11/02/new-national-law-will-turn-large-parking-lots-into-solar-power-farms/
118•thelastgallon•5h ago•100 comments

MTurk is 20 years old today – what did you create with it?

11•csmoak•50m ago•2 comments

Visopsys: OS maintained by a single developer since 1997

https://visopsys.org/
438•kome•22h ago•114 comments

Go Primitive in Java, or Go in a Box

https://donraab.medium.com/go-primitive-in-java-or-go-in-a-box-c26f5c6d7574
61•ingve•1w ago•29 comments

OpenBSD 7.8 Highlights

https://rsadowski.de/posts/2025/openbsd-78/
52•zdw•1w ago•6 comments

Claude Code can debug low-level cryptography

https://words.filippo.io/claude-debugging/
422•Bogdanp•1d ago•194 comments

Welcome to hell; please drive carefully

https://2earth.github.io/website/20251026.html
74•2earth•5d ago•24 comments

React-Native-Godot

https://github.com/borndotcom/react-native-godot
8•Noghartt•2h ago•1 comments

When O3 is 2x slower than O2

https://cat-solstice.github.io/test-pqueue/
89•keyle•4d ago•83 comments

Updated practice for review articles and position papers in ArXiv CS category

https://blog.arxiv.org/2025/10/31/attention-authors-updated-practice-for-review-articles-and-posi...
481•dw64•1d ago•228 comments
Open in hackernews

Matched Clean Power Index

https://matched.energy/blog/matched-clean-power-index-is-live
31•bensg•9h ago
UK suppliers claim “100% renewable” even when selling fossil power at night.

Newly launched not-for-profit Matched Clean Power Index [1] shows, using open data, each supplier’s true renewable share hour by hour.

Built by a small team of engineers and energy analysts — including a former Tesla engineer — it combines half-hourly data from Elexon (demand), National Grid ESO (generation), and Ofgem (REGOs) to calculate the real renewable fraction for every major UK supplier. It's the first open dataset of its kind [2].

The data exposes a £1 billion-a-year distortion: consumers pay for “green” certificates that don’t align clean supply with demand. Redirecting that could fund storage and flexibility instead.

The best suppliers match 69–88% of their demand with real-time renewables — far better than today’s “100%” claims.

We’d love your thoughts on:

- Next features/datasets: storage, nuclear, or CO₂ intensity?

- API design: what endpoints or update cadence would be useful?

- Visualisation: how would you show renewable matching over time?

[1] https://matched.energy/clean-power-index

[2] https://matched.energy/methodology/v1

Comments

djoldman•7h ago
As far as I know, this results from allowing a producer to produce 100% fossil fuel energy and buy certificates to "convert" that into 100% renewable.

It's an artifact of stuff like carbon credits. Companies like apple, google, and amazon declare that they are carbon neutral, or will be by some date, and what they actually do is burn a lot of fossil fuel but "offset" it by paying for carbon credits.

bensg•7h ago
Exactly. That’s the core problem the Index exposes. Under current UK rules (and indeed in most countries), suppliers can legally call their power “100% renewable” even when it’s mostly gas at times of low renewable generation. They can do this by offsetting the non-renewable deficit with certificates from sunny summer hours.

What we've tried to do at Matched is make this fact visible, showing which suppliers actually deliver clean power hour by hour rather than just on paper. A number of suppliers (notably Good Energy and Octopus) perform surprisingly well, be procuring renewable power that aligns well with their consumer's demand.

jt2190•6h ago
Not just burn fossil fuel: They also take some of the money from the credit sale and fund renewable energy production projects, and those will pay back the credit at a future date. (That’s the theory in very broad strokes, as I understand it. Whether that is what actually happens I don’t know.)
evolve2k•7h ago
I’ve been told that here in Australia our “Green Power” system where well meaning consumers can pay extra for greener power is similarly broken.

A similar index for Australian power would be pretty useful.

bensg•7h ago
It's absolutely an international problem. As we get more renewables on the grid, we need to move away from the annual accounting mechanism that hides daily and seasonal intermittency.

The amount of open data that's available in the UK is laudable and makes our analysis possible. But we do have some theories about how we can expand to other countries. Australia will be an interesting one, given renewable penetration.

bensg•7h ago
HN post is linking to our launch announcement. Full index ranking all major UK suppliers is here: https://matched.energy/clean-power-index
dmboyd•6h ago
“This is not fraud” - that’s a big claim. There’s no accountability for accuracy, so of course there’s some fraud, waste or abuse.
PaulKeeble•6h ago
The fact they have Drax energy at 88% tells me they are counting the giant coal factory converted to burn the worlds forest as renewable, it definitely is not just because its biomass. They also have EDF energy, the nuclear power producer, very low tells us they are counting Nuclear as a none renewable. They aren't looking at temporal moves of energy either, which is a big part of Octopus energies customers who are solar and battery owners and do a lot of energy shifting for the grid. These three components mean the wrong companies are at the top and bottom. This index is useless as it stands its not about who is good for the environment and not.

The fundamental idea we need, but the implementation here is just terrible they aren't promoting the right things and it makes me wonder who is really behind this given the bad producers who have got themselves to near the top.

bensg•5h ago
Thanks for the feedback. You raise three important points that I'll address in turn:

1. Biomass: We report renewables as defined by Ofgem (the UK energy regulator), which for better or worse includes biomass. However, we recognise this is contentious. To address this, we show the breakdown of generating technologies for each supplier so users can see the composition. But regardless, your point is valid and has been raised several times this week, so we have a PR open to add a filter that lets viewers exclude biomass if they disagree with the UK's legal definition.

2. Nuclear: Our initial focus was on renewable power (where intermittency is highest), but we'll be adding nuclear to the index in the next few weeks. This will increase the scores for EDF, Octopus Energy, and British Gas in particular, who purchase the majority of nuclear power. We've called this out in various places on the index (e.g., on the EDF page: https://matched.energy/clean-power-index/edf-energy).

3. Load shifting: Because we measure generation and demand at a half-hourly level, we do account for load shifting that suppliers like Octopus incentivise through agile tariffs. This is actually one of the key advantages of our approach over historic annual accounting; the half hourly temporal granularity means we reward load shifting behaviour.

hedora•4h ago
Instead of using obviously corrupt measures of sustainability (that have been intentionally broken and game-able for decades) why not calculate net CO2e?

(Or, better, add a toggle to the UI. That will highlight how broken carbon markets and regulatory classifications are.)

bensg•4h ago
We're already exploring calculating supplier-level carbon intensities (CO2e), for which hourly matching is a necessary precursor. A toggle between matching score and CO2e rankings isn't a bad idea. Should have some updates in the coming weeks.
hammock•2h ago
Is CO2e all that matters now for power to be “clean” or sustainable? Seems like that would leave out quite a bit of environmental impact, habitats destruction, air and water pollution, etc
toast0•5h ago
> burn the worlds forest as renewable, it definitely is not just because its biomass

The world's forest is renewable. Maybe the rate of harvest is unsustainable. Maybe the forest is not being renewed for other reasons like the land is being used for grazing or development. But it is renewable.

hedora•4h ago
Not necessarily. Take the dust bowl for example, or look at global desertification rates. We’re basically burning/eating topsoil. It’s beyond modern technology’s capabilities to manufacture/ replace topsoil, so it’s a non-renewable resource, just like coal.
Krssst•4h ago
The end result will still be that we'll have less forests to eat some portion of atmospheric CO2 and more CO2 because we burnt wood. What's important is what puts us in a good direction to fight climate change, and burning forests more than they replenish does not sound something that is it.
hammock•2h ago
By that logic so is oil and gas no?
ZeroGravitas•5h ago
These voluntary carbon offset things are only ever going to be a step in roughly the right direction.

It feels wrong somehow to be trying to turn them into a perfect way for committed individuals to opt into paying the full price for their individual contribution to only one aspect of the problem.

Instead we should perhaps take a step back and try to assign the costs of the whole system to everyone, regardless of whether they want to volunteer to pay more to make things happen faster.

It interacts poorly with EV or heat pump adoption where volunteering to pay for the last 5% of green electricity could tip the balance against those purchases. But buying them would lower your carbon footprint at even much lower percentage of clean electricity.

Are green conscious consumers ready for the complexity of paying for 95% clean energy?

hedora•5h ago
The easiest approach is to charge for greenhouse gas emissions at the source.

Set the price to be 2x the cost of direct air carbon capture, then put the money in a fund that pays for cheapest environmentally responsible capture first.

This would lead to ev’s and heat pumps being drastically cheaper than older technologies.

While they’re at it, federalize the price gouging oil companies. We have signs at gas stations run by international megacorps here in California complaining that we have the highest fuel taxes in the US. The taxes are listed on the pumps, by law.

If you subtract them out, and compare the results to other states, you’ll find that we’re being price gouged dollars per gallon by the industries.

(The excuse for this is that there was months-long supply chain shock 20+ years ago. Of course, the prices never went down after that shock…)

Anyway, screw them. We have EVs now, and as bad as PG&E’s rates are, it’s still saving us hundreds of dollars a month.

lozenge•4h ago
Direct air capture can't be purchased at any price to even soak up 1% of our emissions.
adrianN•2h ago
That doesn’t mean that you can’t purchase it for x tons of carbon and use that to set the price.
hammock•2h ago
That’s not how markets work though. For instance, just because one share of AAPL sold at $270 does not mean all 15 billion outstanding shares can be sold for that price. If a sell order was put in for even 10k shares you’d quickly find out that you might find a 270 bid for some of that but not all. Order flow is an important tool , bid/ask is misleading without it
adrianN•2h ago
Setting the price that high would mean starvation for a lot of people and this isn’t feasible. Ramping the price up slowly is probably too slow to avoid the worst tipping points, so we need pricing signals together with other policies for the most effective climate action.