- Welcome to St. Isidore forum.
Recent posts
#41
General Discussion / Re: Bishop Schneider Appeals t...
Last post by Geremia - April 21, 2026, 01:41:12 AM@justjeff Do you know the answer to my question: "When were the names of the priests Archbishop Lefebvre consecrated bishops in 1988 first known to the public?"?
#42
Fides et Ratio / Latin 🇻🇦 → English 🇬🇧 Translat...
Last post by Geremia - April 19, 2026, 11:40:16 PMLatin 🇻🇦 → English 🇬🇧 Translator is now live. 😃
#43
Fides et Ratio / AquinasLatinEnglishModel uses ...
Last post by Geremia - April 18, 2026, 11:25:11 PMAquinasLatinEnglish / AquinasLatinEnglishModel uses Transformers and Byte-Pair Encoding.
original Transformers paper:
original byte-pair encoding (BPE) paper:
original Transformers paper:
- Vaswani, Ashish, Noam Shazeer, Niki Parmar, et al. "Attention Is All You Need." arXiv:1706.03762. Preprint, arXiv, August 2, 2023 [1st ed.: 2017].
original byte-pair encoding (BPE) paper:
- Sennrich, Rico, Barry Haddow, and Alexandra Birch. "Neural Machine Translation of Rare Words with Subword Units." arXiv:1508.07909. Preprint, arXiv, June 10, 2016.
#44
Fides et Ratio / Transformers for 🇻🇦→🇬🇧 NMT
Last post by Geremia - April 11, 2026, 01:52:05 AMExcellent explanation of Transformers, cited in Natural Language Processing in Action §9.2.2 as "a mind-expanding walk through the modern GPT architecture", "3Blue1Brown visualizations and explanations by Grant Sanderson":
(from full Neural Nets playlist)
#45
Forum-Related / 📧 working
Last post by Geremia - April 05, 2026, 10:32:23 PMEmail is finally working. I had to create an app password to use with the SMTP server, as SMF doesn't support OAauth2.
Resurrexit sicut dixit! Alleluia!
Resurrexit sicut dixit! Alleluia!
#46
Forum-Related / Re: U.S. Court Order Against A...
Last post by justjeff - March 09, 2026, 03:33:21 AMThank you very much, that looks like a great reasource.
The battle continues.
The battle continues.
#47
Forum-Related / Open SLUM 2.0: The Shadow Libr...
Last post by Geremia - March 08, 2026, 04:31:04 AM #48
Theology / Re: Happy feast of the Angelic...
Last post by Geremia - March 07, 2026, 01:37:19 PMOn the last chapter (ch. 7 on ontological arguments) of Fortin, On the Nature of Human Sexual Difference: A Symposium, celebrating. 🙂
#49
Forum-Related / Re: U.S. Court Order Against A...
Last post by justjeff - March 06, 2026, 05:45:26 PMfwiw, I did change my DNS lookup settings, but Anna's archive is still down, at least with the links that I have. I am glad I found the instructions on how to change those settings, however, as it looks like a very worthwhile thing to do from a privacy standpoint.
I did also check with DNS Leaktest to verify the the DNS lookups had been transferred and are apparently not currently being leaked. https://dnsleaktest.com/
I did also check with DNS Leaktest to verify the the DNS lookups had been transferred and are apparently not currently being leaked. https://dnsleaktest.com/
#50
Forum-Related / Changing DNS settings so ISPs ...
Last post by justjeff - March 06, 2026, 04:30:22 PMhttps://www.reddit.com/r/Annas_Archive/comments/1on6156/cant_access_annas_archive_read_this_first/
In most cases it's not the site itself but your internet provider blocking it at the DNS level. Luckily there's an easy fix: just change your DNS!
It might sound complicated, but don't worry, you don't need to be a tech expert. It's free, safe, completely legal, and only takes a minute. Anyone can do this!
What is DNS?
DNS (Domain Name System) is the internet's address book. It converts website names like (annasarchive . xxx) into the IP addresses your device uses to connect. When your ISP (internet provider) blocks a site, they are essentially removing or redirecting the address in their address book, so your device can't reach it. By changing your DNS, your device simply uses a different "address book" from another provider like Cloudflare, Google, or AdGuard. This is completely legal, and you are not required to use your ISP's address book — you can pick the one that works best for you.
Why changing your router's DNS is best (instructions below)
If you change the DNS directly in your router, all devices connected to that network (phones, laptops, tablets, etc.) will automatically use the new DNS settings. This is the easiest way to ensure every device benefits from the unblock without having to configure them individually.
If you can't access your router or don't want to change it there, you can still change the DNS on your Windows, macOS, Android, or iPhone devices individually.
Windows
Go to Settings → Network & Internet → Change adapter options. (there was no "change adapter options" setting that I could see in Windows.
Right-click your active connection → Properties → Internet Protocol Version 4 (TCP/IPv4).
Enter the DNS numbers of your chosen provider:
Cloudflare: 1.1.1.1 / 1.0.0.1
Google DNS: 8.8.8.8 / 8.8.4.4
AdGuard DNS: 94.140.14.14 / 94.140.15.15 (with adblock / blocks ads and trackers) (sometimes some sites might not work properly)
AdGuard DNS 94.140.14.140 / 94.140.15.15 → without adblock (just DNS, no filtering)
macOS
Go to System Settings → Network → Advanced → DNS.
Add the DNS numbers of your chosen provider.
Cloudflare: 1.1.1.1 / 1.0.0.1
Google DNS: 8.8.8.8 / 8.8.4.4
AdGuard DNS: 94.140.14.14 / 94.140.15.15 (with adblock / blocks ads and trackers) (sometimes some sites might not work properly)
AdGuard DNS 94.140.14.140 / 94.140.15.15 → without adblock (just DNS, no filtering)
Android
Go to Settings → Network & Internet → Advanced → Private DNS.
Select Private DNS provider hostname and enter one of the following:
Cloudflare: dns.cloudflare.com
Google: dns.google
AdGuard DNS with adblock: dns.adguard.com (sometimes some sites might not work properly)
AdGuard DNS without filtering: dns-unfiltered.adguard.com
iPhone (iOS)
Go to Settings → Wi-Fi → (i) next to your network → Configure DNS → Manual.
Delete the old DNS servers and add the hostnames of your chosen provider:
Cloudflare: dns.cloudflare.com
Google: dns.google
AdGuard DNS with adblock: dns.adguard.com (sometimes some sites might not work properly)
AdGuard DNS without filtering: dns-unfiltered.adguard.com
Router (recommended)
Log in to your router.
Check your device's network settings for the gateway/router IP, or try common addresses like 192.168.0.1, 192.168.1.1, etc.
If you don't know the username or password, check the sticker on your router or the manual.
Look for DNS settings — usually under Internet, WAN, Network, or Advanced.
Enter the DNS servers of your chosen provider:
Cloudflare: 1.1.1.1 / 1.0.0.1
Google DNS: 8.8.8.8 / 8.8.4.4
AdGuard DNS: 94.140.14.14 / 94.140.15.15 (with adblock / blocks ads and trackers) (sometimes some sites might not work properly)
AdGuard DNS 94.140.14.140 / 94.140.15.15 → without adblock (just DNS, no filtering)
Save and restart your router or internet connection. All devices on the network will now use the new DNS automatically.
✅ This works almost anywhere and helps you access sites your ISP blocks.
How to test if it worked:
Go to https://dnsleaktest.com
Click "Standard test"
Wait a few seconds — it will list the DNS servers your device is using.
If you see the name of your chosen provider (Cloudflare, Google, or AdGuard), everything's working.
If you still see your ISP, restart your device or router and test again.
Note: I've tried to make these instructions as simple as possible. Every router, Android version, or device may look slightly different, so the menus and options might not match exactly. The main idea is the same: locate the DNS settings and replace them with a trusted provider to access blocked sites.
There are many DNS options, and each can do different things:
AdGuard DNS with adblock blocks ads and trackers.
AdGuard DNS without filtering is just standard DNS with no blocking.
AdGuard DNS Family-safe blocks ads, trackers, malware, and adult/unwanted content. You can check AdGuard's site for more details if you want to explore this option.
Google DNS and Cloudflare DNS are fast and reliable options without content filtering.
OpenDNS provides extra protection against phishing and can filter content.
Quad9 focuses on security and blocks malware and dangerous sites.
These are just a few examples; there are many other options available, and you can explore them yourself. I'm keeping it simple here, so you can choose what works best for your needs.
Linux users: I've left Linux out of the detailed instructions because I suspect most Linux users already know how to change their DNS. The principle is the same.
In most cases it's not the site itself but your internet provider blocking it at the DNS level. Luckily there's an easy fix: just change your DNS!
It might sound complicated, but don't worry, you don't need to be a tech expert. It's free, safe, completely legal, and only takes a minute. Anyone can do this!
What is DNS?
DNS (Domain Name System) is the internet's address book. It converts website names like (annasarchive . xxx) into the IP addresses your device uses to connect. When your ISP (internet provider) blocks a site, they are essentially removing or redirecting the address in their address book, so your device can't reach it. By changing your DNS, your device simply uses a different "address book" from another provider like Cloudflare, Google, or AdGuard. This is completely legal, and you are not required to use your ISP's address book — you can pick the one that works best for you.
Why changing your router's DNS is best (instructions below)
If you change the DNS directly in your router, all devices connected to that network (phones, laptops, tablets, etc.) will automatically use the new DNS settings. This is the easiest way to ensure every device benefits from the unblock without having to configure them individually.
If you can't access your router or don't want to change it there, you can still change the DNS on your Windows, macOS, Android, or iPhone devices individually.
Windows
Go to Settings → Network & Internet → Change adapter options. (there was no "change adapter options" setting that I could see in Windows.
Right-click your active connection → Properties → Internet Protocol Version 4 (TCP/IPv4).
Enter the DNS numbers of your chosen provider:
Cloudflare: 1.1.1.1 / 1.0.0.1
Google DNS: 8.8.8.8 / 8.8.4.4
AdGuard DNS: 94.140.14.14 / 94.140.15.15 (with adblock / blocks ads and trackers) (sometimes some sites might not work properly)
AdGuard DNS 94.140.14.140 / 94.140.15.15 → without adblock (just DNS, no filtering)
macOS
Go to System Settings → Network → Advanced → DNS.
Add the DNS numbers of your chosen provider.
Cloudflare: 1.1.1.1 / 1.0.0.1
Google DNS: 8.8.8.8 / 8.8.4.4
AdGuard DNS: 94.140.14.14 / 94.140.15.15 (with adblock / blocks ads and trackers) (sometimes some sites might not work properly)
AdGuard DNS 94.140.14.140 / 94.140.15.15 → without adblock (just DNS, no filtering)
Android
Go to Settings → Network & Internet → Advanced → Private DNS.
Select Private DNS provider hostname and enter one of the following:
Cloudflare: dns.cloudflare.com
Google: dns.google
AdGuard DNS with adblock: dns.adguard.com (sometimes some sites might not work properly)
AdGuard DNS without filtering: dns-unfiltered.adguard.com
iPhone (iOS)
Go to Settings → Wi-Fi → (i) next to your network → Configure DNS → Manual.
Delete the old DNS servers and add the hostnames of your chosen provider:
Cloudflare: dns.cloudflare.com
Google: dns.google
AdGuard DNS with adblock: dns.adguard.com (sometimes some sites might not work properly)
AdGuard DNS without filtering: dns-unfiltered.adguard.com
Router (recommended)
Log in to your router.
Check your device's network settings for the gateway/router IP, or try common addresses like 192.168.0.1, 192.168.1.1, etc.
If you don't know the username or password, check the sticker on your router or the manual.
Look for DNS settings — usually under Internet, WAN, Network, or Advanced.
Enter the DNS servers of your chosen provider:
Cloudflare: 1.1.1.1 / 1.0.0.1
Google DNS: 8.8.8.8 / 8.8.4.4
AdGuard DNS: 94.140.14.14 / 94.140.15.15 (with adblock / blocks ads and trackers) (sometimes some sites might not work properly)
AdGuard DNS 94.140.14.140 / 94.140.15.15 → without adblock (just DNS, no filtering)
Save and restart your router or internet connection. All devices on the network will now use the new DNS automatically.
✅ This works almost anywhere and helps you access sites your ISP blocks.
How to test if it worked:
Go to https://dnsleaktest.com
Click "Standard test"
Wait a few seconds — it will list the DNS servers your device is using.
If you see the name of your chosen provider (Cloudflare, Google, or AdGuard), everything's working.
If you still see your ISP, restart your device or router and test again.
Note: I've tried to make these instructions as simple as possible. Every router, Android version, or device may look slightly different, so the menus and options might not match exactly. The main idea is the same: locate the DNS settings and replace them with a trusted provider to access blocked sites.
There are many DNS options, and each can do different things:
AdGuard DNS with adblock blocks ads and trackers.
AdGuard DNS without filtering is just standard DNS with no blocking.
AdGuard DNS Family-safe blocks ads, trackers, malware, and adult/unwanted content. You can check AdGuard's site for more details if you want to explore this option.
Google DNS and Cloudflare DNS are fast and reliable options without content filtering.
OpenDNS provides extra protection against phishing and can filter content.
Quad9 focuses on security and blocks malware and dangerous sites.
These are just a few examples; there are many other options available, and you can explore them yourself. I'm keeping it simple here, so you can choose what works best for your needs.
Linux users: I've left Linux out of the detailed instructions because I suspect most Linux users already know how to change their DNS. The principle is the same.