Privacy Policy

Last updated: July 2026

This Privacy Policy describes how quasarium.top (the “Blog,” “we,” “us,” or “our”) collects, uses, and shares your personal information when you visit or interact with our website. We are a blog that publishes articles about the Lean theorem prover and related topics. We respect your privacy and are committed to protecting it.

1. Information We Collect

1.1 Information You Provide Directly

• Contact form submissions: When you use the contact form on our Blog, you provide your name and email address, along with any message you write. We use this information solely to respond to your inquiry.
• Comments: If you leave a comment on an article, you may provide a name, email address, and the comment text itself. Your name and comment will be visible publicly on the Blog. Your email address is not displayed publicly and is used only for moderation and notification purposes (if you opt in).

1.2 Information Collected Automatically

• Cookies and similar technologies: We use cookies, web beacons, and similar tracking technologies to improve your experience, analyze traffic, and serve advertisements. Cookies are small text files stored on your device.
• Analytics data: We use third-party analytics services (such as Google Analytics) to collect aggregated data about how visitors use our Blog. This includes pages visited, time spent, browser type, device type, and approximate location (city level). This data is anonymized where possible.
• Log data: Our servers automatically record information such as your IP address, browser type, referring/exit pages, and operating system.

2. How We Use Your Information

• To operate, maintain, and improve the Blog.
• To respond to your inquiries submitted via the contact form.
• To display and manage comments on articles.
• To understand how readers interact with our content (analytics).
• To serve relevant advertisements (see Section 4).
• To comply with legal obligations and protect our rights.

3. Cookies – Detailed Explanation

We use cookies for several purposes. By using quasarium.top, you consent to the use of cookies as described below. You can manage or disable cookies through your browser settings.

• Essential cookies: Required for the basic functioning of the Blog (e.g., comment session tokens, anti-spam measures).
• Analytics cookies: Help us count visits and traffic sources so we can measure and improve performance.
• Advertising cookies: Used by third-party ad networks (including Google AdSense) to deliver ads that are relevant to you, limit the number of times you see an ad, and measure ad effectiveness. These cookies may track your visits across different websites.
• Functional cookies: Remember your preferences (e.g., dark mode toggle, commenter details) to enhance your experience.

You can learn more about managing cookies at www.aboutcookies.org.

4. Third-Party Advertising & Personalized Ads

We display advertisements on quasarium.top through third-party ad networks, including Google AdSense and potentially other similar ad providers. These ad networks use cookies, web beacons, and device identifiers to:

• Show you ads based on your interests (personalized ads).
• Prevent the same ad from appearing too often.
• Measure the effectiveness of ad campaigns.
• Report aggregate statistics about ad impressions and interactions.

How ads use cookies / device identifiers: When you visit our Blog, ad networks may place or recognize a unique cookie on your browser or use a device identifier (e.g., IDFA for iOS, Advertising ID for Android) to build a profile of your interests and serve you relevant ads on this and other websites. This data is collected and processed by the ad network under their own privacy policies.

Opt-out options: You can control how Google uses your information for advertising:

• Visit Google Ads Settings to opt out of personalized ads from Google.
• Visit aboutads.info to opt out of interest-based advertising from participating companies (Digital Advertising Alliance).
• For mobile apps, you can reset your Advertising Identifier or limit ad tracking in your device settings (iOS: Settings > Privacy > Tracking; Android: Settings > Google > Ads).

Please note that opting out of personalized ads does not mean you will see fewer ads; you will still see non-personalized (contextual) ads.

5. Third-Party Services

We use the following third-party services on our Blog:

• Google Analytics – for traffic analysis. Google’s Privacy Policy
• Google AdSense – for advertising. Google’s Privacy Policy
• Comment system – we may use a built-in or third-party comment platform (e.g., Disqus or native WordPress comments). If a third-party comment system is used, its own privacy policy will apply to the data you submit through that system.

These third parties have their own privacy policies governing the use of your data. We encourage you to review them.

6. Data Sharing & Disclosure

We do not sell your personal information. We may share your data in the following circumstances:

• Service providers: With trusted vendors who help us operate the Blog (e.g., hosting provider, analytics, ad networks). They are contractually bound to protect your data.
• Legal requirements: If required by law, court order, or governmental regulation, or to protect our rights, property, or safety.
• Business transfers: In the event of a merger, acquisition, or sale of assets, your information may be transferred as part of that transaction.

7. Data Retention

We retain your personal information only as long as necessary for the purposes described in this policy. Comment data and contact form submissions are retained indefinitely for administrative purposes unless you request deletion. Analytics data is retained for a period of 26 months. Advertising cookies may have varying expiration periods set by the ad network (typically up to 2 years).

8. Your Rights (GDPR & Other Privacy Laws)

If you are a resident of the European Economic Area (EEA), Switzerland, the United Kingdom, or other regions with similar laws, you have the following rights:

• Access: Request a copy of the personal data we hold about you.
• Rectification: Correct inaccurate or incomplete data.
• Erasure: Request deletion of your personal data, subject to legal obligations.
• Restriction: Limit how we process your data.
• Data portability: Receive your data in a structured, commonly used format.
• Objection: Object to processing based on legitimate interests, including analytics and advertising.
• Withdraw consent: Withdraw any consent you have given at any time.

To exercise any of these rights, please contact us at [email protected]. We will respond within 30 days.

9. Children’s Privacy

Our Blog is not intended for children under the age of 16. We do not knowingly collect personal information from children. If we become aware that a child has provided us with personal data, we will delete it promptly.

10. Changes to This Privacy Policy

We may update this Privacy Policy from time to time. Changes will be posted on this page with a revised “Last updated” date. We encourage you to review this policy periodically. Your continued use of the Blog after changes are posted constitutes your acceptance of the updated policy.

11. Contact Us

If you have any questions, concerns, or requests regarding this Privacy Policy or our data practices, please contact us:

• Email: [email protected]
• Postal address: 4891 Pine Rd, Louisville, Kentucky 28079, USA

This Privacy Policy was created for quasarium.top, a blog about Lean. It covers contact forms, comments, cookies, analytics, and third-party advertising including Google AdSense.