https://scidonia.ai/ weekly 1.0 https://scidonia.ai/technology/ weekly 0.8 https://scidonia.ai/solutions/ weekly 0.8 https://scidonia.ai/products/ weekly 0.8 https://scidonia.ai/fasttrack/ weekly 0.8 https://scidonia.ai/blog/ weekly 0.8 https://scidonia.ai/about/ weekly 0.8 https://scidonia.ai/privacy/ monthly 0.5 https://scidonia.ai/blog/darwins-machines-how-do-we-assess-the-risk-of-ai/ 2026-09-08 monthly 0.7 https://scidonia.ai/images/darwins-ai-machine.webp Darwin's Machines: How do we assess the risk of AI? https://scidonia.ai/blog/from-bdd-to-proof/ 2026-07-15 monthly 0.7 https://scidonia.ai/images/from-bdd-to-proof.webp From Vibecoding to Vericoding: A Gradient, Not a Jump https://scidonia.ai/blog/contracts-compositionality/ 2026-06-28 monthly 0.7 https://scidonia.ai/images/contracts-compositionality.webp Understanding Software in the Large: Contracts and Compositionality https://scidonia.ai/blog/verification-cost-revolution/ 2026-06-28 monthly 0.7 https://scidonia.ai/images/verification-cost-revolution.webp The Cost of Correctness: Why Formal Verification Is About to Get Cheap https://scidonia.ai/blog/proof-as-commodity/ 2026-06-18 monthly 0.7 https://scidonia.ai/images/proof-as-commodity.webp Proof as Commodity https://scidonia.ai/blog/opaque-code-theorem-proving/ 2026-06-03 monthly 0.7 https://scidonia.ai/images/opaque-code-theorem-proving.webp Code Will Become Opaque — And That's Fine https://scidonia.ai/blog/axiomander-vanilla-python-mechanised-proof/ 2026-05-19 monthly 0.7 https://scidonia.ai/images/axiomander-vanilla-python-mechanised-proof.webp Axiomander: Robots on Rails https://scidonia.ai/blog/extraction-checker-cost-quality/ 2026-04-14 monthly 0.7 https://scidonia.ai/images/hallucination-detection.png Which Model Should Verify Your Extractions? A Cost-Quality Analysis of LLM Checkers https://scidonia.ai/blog/short-term-memory-ontology/ 2026-04-12 monthly 0.7 https://scidonia.ai/images/short-term-memory-ontology.webp Why a Structured Ontology Beats a Flat Notepad for LLM Short-Term Memory https://scidonia.ai/blog/conversation-memory-eval-methodology/ 2026-04-11 monthly 0.7 https://scidonia.ai/images/conversation-memory-eval.webp How Do You Measure an LLM's Memory? Precision and Recall for Conversation Facts https://scidonia.ai/blog/hallucinations-in-entity-extraction/ 2026-04-10 monthly 0.7 https://scidonia.ai/images/hallucination-entity-extraction.webp Ghost Entities: Why LLM Hallucinations in Entity Extraction Are a Serious Downstream Risk https://scidonia.ai/blog/llm-entity-extraction-person-comparison/ 2026-04-08 monthly 0.7 https://scidonia.ai/images/llm-entity-extraction-comparison.webp Which LLM Finds People Best? Benchmarking Claude, GPT-5.4 and Gemini 3 on PERSON Entity Extraction https://scidonia.ai/blog/self-prompt-injection-the-threat-hiding-in-plain-sight/ 2026-02-25 monthly 0.7 https://scidonia.ai/images/self-prompt-injection.webp Self-Prompt Injection: The Security Threat Nobody Is Talking About