Recent searches

No recent searches

Search options

Only available when logged in.
techhub.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A hub primarily for passionate technologists, but everyone is welcome

Administered by:

Server stats:

4.6K
active users

techhub.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.2

#pyrefly

0 posts0 participants0 posts today
Feoh<p>I think <a href="https://oldbytes.space/tags/astral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>astral</span></a> may want to consider marketing <a href="https://oldbytes.space/tags/ty" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ty</span></a> a bit more.</p><p>After a bunch of my coworkers and I got back from Pycon I'm hearing WAY more from them about <a href="https://oldbytes.space/tags/pyrefly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pyrefly</span></a> - which confuses me because while Meta has made MASSIVE contributions to FLOSS and we should all thank them for that, Astral has consistently produced outstanding <a href="https://oldbytes.space/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> tooling.</p><p>I know there's plenty of room in the pool and that competition is good, I'd just hate to see a great tool get overlooked because its competitor was giving away free Espresso :) :P</p>
InfoQ<p>Introducing <a href="https://techhub.social/tags/Pyrefly" class="mention hashtag" rel="tag">#<span>Pyrefly</span></a>: Meta&#39;s new <a href="https://techhub.social/tags/opensource" class="mention hashtag" rel="tag">#<span>opensource</span></a> <a href="https://techhub.social/tags/Python" class="mention hashtag" rel="tag">#<span>Python</span></a> type checker, crafted in Rust for maximum performance!</p><p>Pyrefly is intended to replace the OCaml-based Pyre type checker previously used for Instagram’s codebase.</p><p>Find out more: <a href="https://bit.ly/4kIsRpu" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">bit.ly/4kIsRpu</span><span class="invisible"></span></a> </p><p><a href="https://techhub.social/tags/InfoQ" class="mention hashtag" rel="tag">#<span>InfoQ</span></a> <a href="https://techhub.social/tags/Meta" class="mention hashtag" rel="tag">#<span>Meta</span></a> <a href="https://techhub.social/tags/RustLang" class="mention hashtag" rel="tag">#<span>RustLang</span></a> <a href="https://techhub.social/tags/TypeChecking" class="mention hashtag" rel="tag">#<span>TypeChecking</span></a></p>
N-gated Hacker News<p>🐍🔧 <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> fanboys rejoice! We've got not one, but TWO new <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> type checkers to argue about: <a href="https://mastodon.social/tags/Pyrefly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Pyrefly</span></a> and <a href="https://mastodon.social/tags/Ty" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ty</span></a>. Because obviously what the Python ecosystem really needed was more esoteric tools nobody asked for. 😅🔍<br><a href="https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.edward-li.com/tech/compar</span><span class="invisible">ing-pyrefly-vs-ty/</span></a> <a href="https://mastodon.social/tags/TypeCheckers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeCheckers</span></a> <a href="https://mastodon.social/tags/DeveloperCommunity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeveloperCommunity</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ngated</span></a></p>
Hacker News<p>Pyrefly vs. Ty: Comparing Python's Two New Rust-Based Type Checkers</p><p><a href="https://blog.edward-li.com/tech/comparing-pyrefly-vs-ty/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.edward-li.com/tech/compar</span><span class="invisible">ing-pyrefly-vs-ty/</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Pyrefly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Pyrefly</span></a> <a href="https://mastodon.social/tags/Ty" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ty</span></a> <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://mastodon.social/tags/TypeCheckers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeCheckers</span></a> <a href="https://mastodon.social/tags/Comparison" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Comparison</span></a></p>
N-gated Hacker News<p>🎉 Introducing *Pyrefly*, yet another shiny bauble in the endless parade of Meta's "innovations"—because clearly, <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> was desperately gasping for another type checker. 🚀 Who wouldn't want their <a href="https://mastodon.social/tags/IDE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IDE</span></a> experience mixed with a dollop of Meta's magic? 😂<br><a href="https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">engineering.fb.com/2025/05/15/</span><span class="invisible">developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/</span></a> <a href="https://mastodon.social/tags/Pyrefly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Pyrefly</span></a> <a href="https://mastodon.social/tags/Meta" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Meta</span></a> <a href="https://mastodon.social/tags/Innovations" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Innovations</span></a> <a href="https://mastodon.social/tags/TypeChecker" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeChecker</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ngated</span></a></p>
Hacker News<p>Pyrefly: A new type checker and IDE experience for Python</p><p><a href="https://engineering.fb.com/2025/05/15/developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">engineering.fb.com/2025/05/15/</span><span class="invisible">developer-tools/introducing-pyrefly-a-new-type-checker-and-ide-experience-for-python/</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Pyrefly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Pyrefly</span></a> <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> <a href="https://mastodon.social/tags/TypeChecker" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeChecker</span></a> <a href="https://mastodon.social/tags/IDE" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IDE</span></a> <a href="https://mastodon.social/tags/Development" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Development</span></a> <a href="https://mastodon.social/tags/Tools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tools</span></a></p>
N-gated Hacker News<p>🔥🐍🚀 Behold: <a href="https://mastodon.social/tags/Pyrefly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Pyrefly</span></a>, because who doesn't want to run a <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> type checker written in <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> that launches in the distant future of Spring 2025? 🤔 You'll be faster too if you never actually do anything! 🌟👻 Enjoy the endless scroll through <a href="https://mastodon.social/tags/legalese" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>legalese</span></a> and cookie policies. 🍪📜<br><a href="https://pyrefly.org/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">pyrefly.org/</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/Spring2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Spring2025</span></a> <a href="https://mastodon.social/tags/TypeChecker" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeChecker</span></a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ngated</span></a></p>
Hacker News<p>Pyrefly - A faster Python type checker written in Rust</p><p><a href="https://pyrefly.org/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">pyrefly.org/</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Pyrefly" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Pyrefly</span></a> <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> <a href="https://mastodon.social/tags/type" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>type</span></a> <a href="https://mastodon.social/tags/checker" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>checker</span></a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/speed" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>speed</span></a> <a href="https://mastodon.social/tags/performance" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>performance</span></a></p>
TrendingLive feeds
About