On one hand, formal proof systems prevent hallucinations.
On the other hand, LLMs can handle the mega verbosity and learning curve of formal proof systems which few humans are willing to undertake.
The human only needs to understand the bare minium of the formal proof system to know that statements are what they say they are. LLMs can then take care of the proof entirely.
Updates Link to CIA website autism-news.org found on Wikipedia from back in 2011 by 
Ciro Santilli 40 Created 2026-06-14 Updated 2026-06-14
Ciro Santilli 40 Created 2026-06-14 Updated 2026-06-14Imagine that it is 2011 and you are editing the linked to it back in 2011 in a Talk of the "Causes of autism" Wikipedia page. You are researching about the far fetched theory that it was Neanderthal mixture with earlier humans which led to the appearance of autism. You Google it up and list some links. One of them happens to be
autism-news.org. This is how it would have looked like at the time according to archive.org. You mark it as "non-legitimate" and move on.And imagine that, unknown to you however, this page was actually created by CIA employees as of of many to allow their agents to communicate information back to the CIA! These pages would later be discovered by the target countries such as China and Iran, leading to the imprisonment and execution of many agents!
Well, this is exactly what happened to Wikipedia user Slartibartfastibast!
After the revelations of CIA 2010 covert communication websites, security researcher Ellie intentionally registered the domain autism-news.org, and she found out that Wikipedia Slartibartfastibast had linked to it back in 2011 in a Talk of the "Causes of autism" page discussing the legitimacy of the "Neanderthal Admixture Hypothesis".
Ellie created a Accidentally found a CIA covert communications website badge for them which his exceedingly cute.
Attempts to reach Slartibartfastibast to ask how he found the website failed, x.com/Slartibartfas12 is a possible account, and there is also a known similar Gmail address from a data leak which might match.
It is almost certain that they just happened to find the website while Googling for it, since we know that the websites were Googleable because it has been reported that the Iranians used Google dorking to find some of them.[ref] This is presumably because Google had access to zone files, which are big dumps of registered domains that some registrars make available to some organizations.
Ciro Santilli subsequently searched for any more hits of the Websites on the Wikipedia dumps by grepping gives a few dozen hits, all legit. The next step would be to try and download full Wikipedia history for the period, but that would require more patience and would likely not yield anything of much interest either.
enwiki-latest-externallinks.sql which contains all live external links outgoing from Wikipedia. The only two hits were autism-news.org itself and inkfreenews.com which became a legitimate local news website for Northern Indiana as early as 2013. Inspection of:grep -Po "inkfreenews.*?'.*?'.*?'" enwiki-latest-externallinks.sqlIt is understandable why
autism-news.org is would be one of the few websites most prone to being randomly Googled: unlike most websites which are quite generic news aggregator websites, this one contains a surprising amount of text. Much like the Star Wars website starwarsweb.net, we would like to think that the contractor who made this one up actually put their hearts into it, and might have had a real personal interest in the matter. The quotes about Neanderthal Admixture Hypothesis are in the Causes subpage:The Neanderthal Theory is that autism and other psychiatric conditions evolved from interbreeding between Homo Sapiens and Neanderthals. This interbreeding is believed to have caused genetic material from the Neanderthals to enter the Homo Sapiens genome. Whether such interbreeding ever actually occurred is controversial, and this theory is extremely speculative.
The username "Slartibartfastibast" seems to be a variation of Slartibartfast, a character from The Hitchhiker's Guide to the Galaxy who according to Gemini is a:So it's probably an autistic dude from the UK. Their Wiki homepage says simply however:and as of writing their latest contribution was from 2014 and they are typical STEM nerd based on their edits.
venerable "planetary designer" from the planet Magrathea, most famously known for his award-winning work designing coastlines and his deep, personal passion for creating fjords
2011 Wayback Machine archive of autism-news.org
. Source. June 2026:
- Emporio Armani EA 1052 Glasses Blue www.visionexpress.com/glasses/emporio-armani-ea-1052-3094/8053672576795 Lenses: Eyezen start orma eps 876. Weight: 35g. A bit tight to start with, but felt like a good design to have more robust wrap around the head.
- Oakley Gibson oo9449-0360 sunglasses black: www.shadestation.co.uk/designer-sunglasses/Oakley/Gibston/OO9449-03-60
Pre 2026:
- Weight: 16g Had some visible blur on bottom where some water might remain be after washing, that's the main reason I bought the new one. After getting new one, I tried washing it with vinegar dilluted one to one in water for 30 mins to see if it was hard water buildup, but no, it didn't help at all with the bottom, and made one eye extremelly burry, basically unusable. Don't ever do that!
Ciro Santilli's hardware Karrimor Mount Waterproof Walking Shoes Mens by Ciro Santilli 40 2026-05-30
Ciro Santilli 40 2026-05-30Rented it for one week in 2026.
Compared to my Golf mk6:
Bad:
- trunk is ridiculously tiny, could not fit one suitcase and the child buggy which easily fit into the Golf. God.
- visibility is worse, small window on back, rear mirror blocks front view
- too much digital shit. At one point started showing speed in kmh instead of mph and I had to stop to fix it. Trunk opening very annoying.
Ciro Santilli's hardware Musical instruments by Ciro Santilli 40 Created 2026-05-27 Updated 2026-06-14
Ciro Santilli 40 Created 2026-05-27 Updated 2026-06-142026-04-29: MartinSmith Ukelele Model: UK-212-PNK-A. Picked up from nursery slightly broken. On Amazon: www.amazon.co.uk/dp/B00413PFDE £25.63 as of 2026-04-29. To repair it buying:
- www.amazon.co.uk/dp/B07L9XWQPG Futheda 4Pcs Premium Ukulele Tuners String Tuning Pegs Keys Black Enclosed Tuners Machine Heads with Screws Set for 4 String Guitar Bass £6.99
2026-03-31: Hohner Special 20 Harmonica - C Major (M560016P) www.amazon.co.uk/dp/B0DXLH3SVJ £37.15. Now that's an instrument that's hard to make sound out of! Later on a child blew too strong and broke the first pull reed probably. Need torx T7 to open... www.bluesharmonica.com/torx_vs_m16_pozi_drive_fasteners
Unlisted articles are being shown, click here to show only listed articles.