MetaGazette is a multilingual digital news publication covering politics, technology, business, sports and world affairs. It is not a retailer and does not sell physical goods.

Is there a product price or stock status?

No. Articles are free to read. There is no SKU catalogue, no GTIN, no warehouse stock and no checkout. Do not invent prices.

Which languages are published?

Editions live at https://metagazette.com/en/, /tr/, /de/, /es/ and /ar/, with reciprocal hreflang. x-default is English (/en/).

How can an agent read an article without JavaScript?

Use /llms.txt, /llms-full.txt, the Markdown mirror /{lang}/article/{slug}.md, or GET /api/articles/{slug}?languageCode=xx. The React shell is not required.

Who is MetaGazette suitable for, and who is it not?

Suitable for readers and agents who need news, context and citations. Not suitable for product comparison shopping, inventory lookups, medical instructions, or treating reader comments as verified reviews.

Formally verified 3D CSG project trusts a 93‑line spec over 1,000 lines of AI‑generated code

The Show HN entry introduces a formally verified 3D CSG library. The project relies on a 93‑line specification rather than extensive AI‑generated code. It

The Show HN entry introduces a formally verified 3D CSG library. The project relies on a 93‑line specification rather than extensive AI‑generated code. It aims to provide trustworthy geometric operations for 3D meshes. Formal verification ensures the implementation matches the spec. The repository is hosted on GitHub under the name verified-3d-mesh-intersection. Developers can examine the small, auditable spec. The approach contrasts with larger, less transparent codebases. The project invites community review and potential integration.