mypy Reviews

SecurityBot.dev Reviews

mypy mentions (53)

• The lazy developer's code quality

  Pyright: the type checker. Skipping mypy, pyrefly and ty. For now. - Source: dev.to / 4 months ago

• How to Set Up Pre-Commit Hooks for Teams Using AI Coding Assistants

  Adjust additional_dependencies to include the type stubs your project uses. Mypy will catch cases where AI-generated code calls methods that do not exist on a type, passes arguments in the wrong order, or skips null checks. - Source: dev.to / 4 months ago

• 7 Tools That Help You Review and Validate AI-Generated Code in Your Pipeline

  Mypy is the standard static type checker for Python. For teams using AI tools to generate Python code, mypy catches a specific and common failure mode: method calls that do not exist on the inferred type. - Source: dev.to / 4 months ago

• Java in the Small

  I've always admired many of Java's features, but let's not act like the reason for using Java for scripting is the pitfalls of Python. It's just because of an underlying preference for Java. 1. https://mypy-lang.org/. - Source: Hacker News / over 1 year ago

• Moving your bugs forward in time

  ‍I’m not here to tell people which languages they should love. But if you do find yourself writing production code in a dynamically typed language like Python, Ruby, or JavaScript, I would give serious consideration to opting into the type-checking tools that have become available in those ecosystems. In Python, consider requiring type hints and adding mypy checks to your CI to move your type safety bugs forward... - Source: dev.to / over 2 years ago

SecurityBot.dev mentions (7)

• Ask HN: What Are You Working On? (July 2026)

  I continue working on SecurityBot.dev, having lately made significant improvements to the broken link monitor. https://securitybot.dev. - Source: Hacker News / about 2 months ago

• Ask HN: What are you working on? (June 2026)

  Another M&A tool. Useful for software company sellers who are required to disclose details related to software IP ownership such as what third-party dependencies are used in their software. https://securitybot.dev. - Source: Hacker News / 2 months ago

• Ask HN: What Are You Working On? (March 2026)

  This week I launched IterOps https://iterops.com, a heat mapping, rage click, dead click, scroll mapping, and simple A/B testing tool. I originally built it to have a better idea of what people are doing on my other micro-saas projects like https://securitybot.dev and https://contributoriq.com. Already finding it so useful that I figured I'd just turn it into a product too. - Source: Hacker News / 6 months ago

• Ask HN: Any example of successful vibe-coded product?

  I’ve built and launched numerous SaaS products (which have paying customers) which were almost entirely built usibg AI agents including https://securitybot.dev and https://dependencydesk.com. My experience so far has been if you possess both deep domain-specific experience and significant coding experience then these coding LLMs, and most notably Opus 4.5, are the greatest productivity booster in the world. - Source: Hacker News / 8 months ago

• Ask HN: What Are You Working On? (December 2025)

  Https://securitybot.dev/ SecurityBot.dev is an all-in-one uptime, performance, security, and SEO monitoring tool. I launched it a few months ago and have been iterating on it ever since. Later this week SecurityBot.dev will log its 1 millionth uptime check which is pretty cool to see. It includes the usual uptime monitoring service that you see everywhere else, but also features such as a PageSpeed Insights... - Source: Hacker News / 9 months ago