Elektrine lite

← Feed

Ondřej Mirtes

OndrejMirtes@phpc.social

<p>Creating <span class="h-card" translate="no"><a href="https://phpc.social/@phpstan" class="u-url mention">@<span>phpstan</span></a></span> by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️</p>

Posts

  • View post

    Had an idea today after lunch and basically one-shotted a solution for the currently most-upvoted PHPStan feature request:

  • View post

    Announcing PHPStan Turbo! Native PHP extension (PHP 8.3+) written in C++ that makes running PHPStan 10-30 % faster. The best part: If you update to PHPStan 2.2.6, you get it automatically. It ships with pre-built binaries for all the usual combos of OS:architecture:PHP.

  • View post

    Hot take: thanks to LLM coding agents, the average software quality will increase, not decrease.

  • View post

    Embarking on a vision quest for the next major PHPStan feature.

  • View post

    PHPStan 2.2.4 addresses the RAMpocalypse! It now consumes a lot less memory. See for yourself by running &quot;analyse -v&quot;. Running PHPStan itself used to consume 2,8 GB, now it consumes 2,1 GB. On a big real-world project, the consumption went down from 17,45 GB to 14,1 GB.

  • View post

    Goodbye PHPStan 2.1.x 👋 It&amp;#39;s been nice 18 months. https://github.com/phpstan/phpstan/releases/tag/2.1.56 Now onto PHPStan 2.2.0. It&amp;#39;s coming on Thursday.

  • View post

    PHPStan 2.2: Unsealed Array Shapes, Safer Array Keys, and More! https://phpstan.org/blog/phpstan-2-2-unsealed-array-shapes-safer-array-keys

  • View post

    My opinion on the latest Bound-Erased Generic Types RFC: https://externals.io/message/130816#130853 (spoiler alert: I like it)

  • View post

    WebExpo Prague is happening again in two weeks, and I wouldn&amp;#39;t miss it. It&amp;#39;s one of the best places to meet software people from across the scene in one place. Use MIRTES26 for 1 000 Kč off at webexpo.net. See you there!

  • View post

    I love git bisect and I wanted PHPStan to have its own bisect command. So I made it. If PHPStan reports a bug in your code but you know it&amp;#39;s wrong and that it used to work before you upgraded, you can use bisect to pinpoint the exact commit where the behaviour changed. Available now in 2.1.47!

  • View post

    I’m trying to wrap my head around the fact that 10-15 years ago Linux was the OS with the worst UX, now it’s the one with the best UX. Because it’s made by volunteers who only care about the result and their users, but Microsoft and Apple mostly care only about themselves.

  • View post

    RE: https://phpc.social/@nicwortel/116328298481899621 Can’t wait to delete all that object-oriented pesky typesystem code from PHPStan!

  • View post

    Something I didn’t have on my bingo card for 2026: a new major version of the only frontend framework I ever learnt and used: Knockout.JS https://tko.io/3to4/

  • View post

    Yo dawg, I heard you like comments, so I put comments in your comments, so you can comment while you comment. Now available in phpstan/phpdoc parser 2.1.0 &amp;amp; PHPStan 2.1.6.

  • View post

    Come see me at 13:30 in Pathé 1 play Red Alert 2…. uhh, talk about generics in PHP. #dpc26 @dpcon

  • View post

    I had a bad hair day at PHP UK but I think this talk recording is still worth your time.

  • View post

    Coming soon to the PHPStan playground 💅

  • View post

    Using PHPStan to Extract Data About Your Codebase https://phpstan.org/blog/using-phpstan-to-extract-data-about-your-codebase

  • View post

    Why Array String Keys Are Not Type-Safe in PHP And What Will PHPStan Do About It: https://phpstan.org/blog/why-array-string-keys-are-not-type-safe

  • View post

    New errors are coming to PHPStan:

  • View post

    I’m gonna prompt inject the agents myself 😈

  • View post

    Several times a week I tell people their problem can be solved by adding @​phpstan-impure above their non-void function (or by setting rememberPossiblyImpureFunctionValues: false). Finally, PHPStan will tell them by itself:

  • View post

    For the longest time I was bothered that “Documentation” link on phpstan.org led directly to “Getting Started” page, and that some really useful docs pages weren’t discoverable at all. That changes today. Documentation now has a dashboard with boxes describing what use-case/problem the linked page solves.

  • View post

    Error identifiers documentation is finally useful! Take a while and browse everything PHPStan can report: https://phpstan.org/error-identifiers