Cookie Policy
Last updated: July 19, 2026
Cookie Policy for Quasarium.top
Last updated: July 2026
This Cookie Policy explains how Quasarium.top (“we”, “our”, or “the Site”) uses cookies and similar tracking technologies when you visit our blog about Lean (the Lean theorem prover and related topics). It also explains your rights and choices regarding these technologies.
By continuing to browse or use Quasarium.top, you consent to the use of cookies as described in this policy. If you do not agree, please adjust your browser settings or refrain from using the Site.
1. What Are Cookies?
Cookies are small text files placed on your device (computer, tablet, smartphone) by websites you visit. They are widely used to make websites work efficiently, provide a better user experience, and give the website owner information about how the site is used. Cookies can be “first-party” (set by the site you are visiting) or “third-party” (set by a domain other than the one you are visiting, such as advertising networks).
2. Types of Cookies We Use
We use the following categories of cookies on Quasarium.top:
- Essential (Strictly Necessary) Cookies: These are required for the core functionality of the Site, such as remembering your cookie consent preferences, maintaining session security, and enabling basic navigation. Without these cookies, the Site cannot function properly. They do not collect any personally identifiable information for marketing purposes.
- Analytics Cookies: We use analytics services (e.g., Google Analytics or similar) to understand how visitors interact with our blog. These cookies collect aggregated, anonymized data such as page views, time spent on the Site, and referral sources. This helps us improve our content about Lean and the overall user experience. No personally identifiable information is stored in these analytics cookies.
- Advertising / Personalization Cookies: We partner with third-party advertising networks, including Google AdSense, to display relevant advertisements on Quasarium.top. These cookies are placed by our ad partners and may be used to:
- Build a profile of your interests based on your browsing activity across different websites.
- Show you ads that are more relevant to you (e.g., ads related to programming, formal verification, or Lean).
- Measure the effectiveness of ad campaigns (e.g., whether you clicked on an ad or completed a purchase).
- Limit the number of times you see the same ad.
3. How Advertising Cookies Work
When you visit Quasarium.top, Google AdSense (or other third-party ad vendors) may place a cookie on your browser. This cookie contains a unique identifier that allows Google to recognize your browser across different websites. Based on your browsing history and the pages you visit, Google may infer your interests and serve you ads that are more likely to be relevant. For example, if you frequently read articles about Lean and formal methods, you might see ads for related books, conferences, or software tools. These cookies also help advertisers measure the performance of their ads and prevent you from seeing the same ad repeatedly.
We do not control which specific ads are shown to you; that is managed by our ad partners. However, we require our partners to comply with applicable data protection laws.
4. How You Can Control Cookies
You have several options to manage or disable cookies:
- Browser Settings: Most web browsers allow you to control cookies through their settings. You can usually block all cookies, block only third-party cookies, or delete existing cookies. Please note that disabling essential cookies may affect the functionality of Quasarium.top (e.g., you may not be able to save your cookie preferences). Below are links to instructions for common browsers:
- Ad Personalization Opt-Out: You can opt out of personalized advertising from Google by visiting Google Ad Settings. Additionally, you can opt out of many third-party ad networks through the Network Advertising Initiative (NAI) opt-out page or the European Interactive Digital Advertising Alliance (EDAA) opt-out.
- Cookie Consent Banner: When you first visit Quasarium.top, a cookie consent banner will appear. You can accept or decline non-essential cookies (analytics and advertising) at any time by clicking the “Cookie Settings” link in the footer of the Site.
5. Third-Party Services & Data Sharing
As mentioned, we use Google AdSense to serve ads. Google may use cookies and other tracking technologies to collect information about your use of our Site and other websites. This information is processed in accordance with Google’s Privacy Policy and Advertising Cookies Policy. We do not share your personal data directly with advertisers; the data collected by ad cookies is managed by the ad network.
6. Your Privacy Rights
For more details about how we handle your personal data, including your rights under applicable data protection laws (such as the GDPR or CCPA), please read our Privacy Policy. The Privacy Policy explains what information we collect, how we use it, and how you can exercise your rights (e.g., access, deletion, or portability).
7. Changes to This Cookie Policy
We may update this Cookie Policy from time to time to reflect changes in our practices or legal requirements. When we make material changes, we will update the “Last updated” date at the top of this page and may notify you via a banner on the Site. We encourage you to review this policy periodically.
8. Contact Us
If you have any questions, concerns, or requests regarding this Cookie Policy or our use of cookies, please contact us at:
- Email: [email protected]
We will do our best to respond to your inquiry promptly.