andrealeopardi.com valid
Andrea Leopardi
Personal website of Andrea Leopardi, a platform software engineer and Elixir core team member since 2016. Contains blog posts about Elixir, system architecture, and software engineering, along with teaching materials, talks, and open-source work.
- Authority
- 46 reach 5 · trust 5 · quality 21 · freshness 15
- Tier
- listed
- llms.txt
- https://andrealeopardi.com/llms.txt
- Sections
- 7
- Links
- 41
- Size
- 9309 bytes
- Popularity rank
- #884447
- For agents
- Documentation: developer or product docs worth reading, nothing to call
- First seen
- 2026-10-19T10:45:14.936Z
- Last checked
- 2026-10-21T19:36:57.509Z
- Badge
Their llms.txt
The beginning of the file, from our validated copy saved 2026-10-21T19:36:54.844Z. Cached copy · Source on andrealeopardi.com
# Andrea Leopardi
> Personal website of Andrea Leopardi, a platform software engineer and Elixir core team member since 2016. Contains blog posts about Elixir, system architecture, and software engineering, along with teaching materials, talks, and open-source work.
Andrea Leopardi is a software engineer from Italy working as a platform engineer at [Knock](https://knock.app). He has been a member of the Elixir programming language core team since 2016 and is an active contributor to the open-source community. His work focuses on Elixir, distributed systems, testing, and system architecture.
He is also a public speaker, trainer, co-author of "Testing Elixir" and author of "Network Programming in Elixir and Erlang" (both published by The Pragmatic Bookshelf). This site serves as his home on the web, featuring technical blog posts, teaching resources, and information about his work.
## Main Pages
- [Home](https://andrealeopardi.com/): Introduction and overview of the site
- [About](https://andrealeopardi.com/about/): Biography, career history, and open-source contributions
- [Blog](https://andrealeopardi.com/posts/): Technical writing about Elixir, system architecture, and software engineering
- [Teaching](https://andrealeopardi.com/teaching/): Educational materials including Livebooks, screencasts, and guides
- [Books](https://andrealeopardi.com/books/): Books authored by Andrea
- [Uses](https://andrealeopardi.com/uses/): Tech stack, tools, and software setup
## Key Open-Source Projects
- [Redix](https://github.com/whatyouhide/redix): Redis client for Elixir
- [Mint](https://github.com/elixir-mint/mint): Functional HTTP client for Elixir
- [Gettext](https://github.com/elixir-gettext/gettext): Internationalization library for Elixir
- [StreamData](https://github.com/whatyouhide/stream_data): Property-based testing library for Elixir
## Notable Content
- [Interactive Guide to Asynchronous Data Processing in Elixir](https://github.com/whatyouhide/guide_async_processing_in_elixir): Series of Livebooks covering async processing patterns
- [Protohackers in Elixir](https://www.youtube.com/playlist?list=PLd7I3U4fDsULTLqbRAkWzA002-IzMe8fl): Screencast series solving network programming puzzles
- [Conference Talks](https://youtube.com/playlist?list=PLd7I3U4fDsUJfNM-N7Kyss66gmml_OSDq): YouTube playlist of public speaking engagements
- [Testing Elixir Book](https://pragprog.com/titles/lmelixir/testing-elixir/): Co-authored book about testing practices in Elixir
## Blog Topics
The blog covers technical topics including:
- Elixir language features and patterns (macros, compilation, parsing)
- TCP and network programming in Elixir
- Property-based testing and library internals
- Using C from Elixir with NIFs
- Connection management with gen_statem
- Protocol Buffers and service architecture
- Process pools and Registry patterns
- Open-source library maintenance
## Contact
- Email: hi@andrealeopardi.com
- Twitter/X: @whatyouhide
- GitHub: @whatyouhide
…Machine-readable: GET /v1/resolve?q=andrealeopardi.com · GET /v1/domain/andrealeopardi.com · this page as Accept: application/json or text/markdown · MCP lookup_domain
Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.
Own or manage this website?
If you own or manage andrealeopardi.com, you can update its listing and review file health, discovery activity and score history.
Manage this listing — optional
What verification unlocks
See how your site is discovered—and control what agents see.
- Control what agents see
Edit your listing description, tags, public contact details and additional llms.txt paths. Publish your terms for automated access, attribution and pricing.
- Make your profile eligible for search
A valid, listed, unblocked, verified profile can appear in our publisher sitemap and become eligible for search-engine visibility. Search engines decide what to index and rank.
- Appear in our llms-full.txt
Eligible verified publishers are listed by name, with their file links and summaries, in the service overview agents can read.
Free. No account registration, backlink or payment required. Public discovery remains available without verification.
Let your coding agent verify it
If your coding agent is authorized to manage this website, paste these instructions into it.
Claim my listing on Agent Web Map for andrealeopardi.com:
1. POST https://agentwebmap.com/v1/sites/andrealeopardi.com/claims and keep claim_id and claim_secret private.
2. Publish the proof: add the line "AgentWebMap ownership: <token>" (token from step 1) to https://andrealeopardi.com/llms.txt, or use the DNS, meta-tag or well-known method the response describes.
3. POST https://agentwebmap.com/v1/sites/andrealeopardi.com/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/andrealeopardi.com).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verifyCorrections or removal requests: contact the directory.