A small tool to view real-world ActivityPub objects as JSON! Enter a URL
or username from Mastodon or a similar service below, and we'll send a
request with
the right
Accept
header
to the server to view the underlying object.
{
"@context": [
"https://join-lemmy.org/context.json",
"https://www.w3.org/ns/activitystreams"
],
"type": "Page",
"id": "https://discuss.online/post/15745605",
"attributedTo": "https://discuss.online/u/m_f",
"to": [
"https://programming.dev/c/python",
"https://www.w3.org/ns/activitystreams#Public"
],
"name": "Astral is building a new static type checker for Python, from scratch, in Rust",
"cc": [],
"content": "<p><a href=\"https://xcancel.com/charliermarsh/status/1884651482009477368\">xcancel.com/charliermarsh/…/1884651482009477368</a></p>\n<blockquote>\n<p>We’re building a new static type checker for Python, from scratch, in Rust.</p>\n<p>From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!</p>\n</blockquote>\n<blockquote>\n<p>Like Ruff and uv, there will be a significant focus on performance.</p>\n<p>The entire system is designed to be highly incremental so that it can eventually power a language server (e.g., only re-analyze affected files on code change).</p>\n</blockquote>\n<blockquote>\n<p>Performance is just one of many goals, though.</p>\n<p>For example: we’re investing heavily in strong theoretical foundations and a consistent model of Python’s typing semantics.</p>\n<p>(We’re lucky to have @carljm and @AlexWaygood on the team for many reasons, this is one of them.)</p>\n</blockquote>\n<blockquote>\n<p>Another goal: minimizing false positives, especially on untyped code, to make it easier for projects to adopt a type checker and expand coverage gradually over time, without being swamped in bogus type errors from the start.</p>\n</blockquote>\n<blockquote>\n<p>We haven’t publicized it to-date, but all of this work has been happening in the open, in the Ruff repository.</p>\n<p>All driven by a uniquely great team: @carljm, @AlexWaygood, @sharkdp86, @MichaReiser, @DhruvManilawala, @ibraheemdev, @dcreager.</p>\n<p>I’m learning so much from them.</p>\n</blockquote>\n<blockquote>\n<p>Warning: this project is <em>not</em> ready for real-world user testing, and certainly not for production use (yet). The core architecture is there, but we’re still lacking support for some critical features.</p>\n<p>Right now, I’d only recommend trying it out if you’re looking to contribute.</p>\n</blockquote>\n<blockquote>\n<p>For now, we’re working towards an initial alpha release. When it’s ready, I’ll make sure you know :)</p>\n</blockquote>\n",
"mediaType": "text/html",
"source": {
"content": "https://xcancel.com/charliermarsh/status/1884651482009477368\n\n> We’re building a new static type checker for Python, from scratch, in Rust.\n>\n> From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!\n\n> Like Ruff and uv, there will be a significant focus on performance.\n>\n> The entire system is designed to be highly incremental so that it can eventually power a language server (e.g., only re-analyze affected files on code change).\n\n> Performance is just one of many goals, though.\n>\n> For example: we're investing heavily in strong theoretical foundations and a consistent model of Python's typing semantics.\n>\n> (We're lucky to have @carljm and @AlexWaygood on the team for many reasons, this is one of them.)\n\n> Another goal: minimizing false positives, especially on untyped code, to make it easier for projects to adopt a type checker and expand coverage gradually over time, without being swamped in bogus type errors from the start.\n\n> We haven't publicized it to-date, but all of this work has been happening in the open, in the Ruff repository.\n>\n> All driven by a uniquely great team: @carljm, @AlexWaygood, @sharkdp86, @MichaReiser, @DhruvManilawala, @ibraheemdev, @dcreager.\n>\n> I'm learning so much from them.\n\n> Warning: this project is _not_ ready for real-world user testing, and certainly not for production use (yet). The core architecture is there, but we're still lacking support for some critical features.\n>\n> Right now, I'd only recommend trying it out if you're looking to contribute.\n\n> For now, we're working towards an initial alpha release. When it's ready, I'll make sure you know :)",
"mediaType": "text/markdown"
},
"attachment": [
{
"type": "Image",
"url": "https://discuss.online/pictrs/image/14717526-afc0-41d6-bff6-3ad8e5f1c605.jpeg",
"name": null
}
],
"image": {
"type": "Image",
"url": "https://discuss.online/pictrs/image/a4616a08-1fde-428d-9e1f-e1eb3c7eacee.jpeg"
},
"sensitive": false,
"published": "2025-01-29T20:44:03.841601Z",
"language": {
"identifier": "en",
"name": "English"
},
"audience": "https://programming.dev/c/python",
"tag": [
{
"href": "https://discuss.online/post/15745605",
"name": "#python",
"type": "Hashtag"
}
]
}