Welcome to my home page!
Welcome to my home page!
Welcome to my home page!
Welcome to my home page!
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 2026-06-14
Ciro Santilli 40 Created 2026-06-14 Updated 2026-06-14 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!
Welcome to my home page!
Welcome to my home page!
Welcome to my home page!
Welcome to my home page!
Recently I discovered Affordable Waste Management while looking for information about commercial waste collection services. The website provides a detailed overview of recycling programs, food waste disposal, glass collection, and general business waste management solutions. What impressed me is the way the information is presented clearly and professionally, making it easy for businesses to understand available options. They affordablewastemanagement.co.uk/ also offer services tailored to different industries, ensuring that companies can find solutions suited to their specific operational needs. Another positive feature is the emphasis on affordability and environmental responsibility, helping businesses improve sustainability without sacrificing efficiency. Overall, the website appears to be a helpful resource for organizations seeking reliable commercial waste management support.
Ciro Santilli's hardware Karrimor Mount Waterproof Walking Shoes Mens by Ciro Santilli 40 2026-05-30
Ciro Santilli 40 2026-05-30 Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 3. Visual Studio Code extension installation.
Figure 4. Visual Studio Code extension tree navigation.
Figure 5. Web editor. You can also edit articles on the Web editor without installing anything locally.Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.Video 4. OurBigBook Visual Studio Code extension editing and navigation demo. Source. 
- Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact