Astral to join OpenAI
I started Astral to make programming more productive. From the beginning, our goal has been to build tools that radically change what it feels like to work with Python – tools that feel fast, robust, intuitive, and integrated. Today, we're taking a step forward in that mission by announcing that we've entered into an agreement to join OpenAI as part of the Codex team. Over the past few years, our
uv + ruff + tyを使ったモダンな環境でdiscord bot作ってみよう
記事の趣旨 今回は、Astral社のツールを使ったモダンな環境でdiscord botを作っていこうという趣旨の記事です。 ただ、メッセージを送るbotだと単純すぎるのでModalやViewを使ったより実践的なBotを作っていきます。 対象読者 一応、Python の書き方がわかれば読めるくらいの難易度ですがデコレーターや非同期処理はちょっと難しいかもしれないです。 Astral社とは Astral社は、uvやruff、tyなど次世代のPythonツールを作っている会社です。 この会社が作っているツールのおかげで、Pythonの開発体験がかなり良くなっています。今回のbot開発を通して、それを感じてもらえたら幸いです uvとは pythonのパッケージマネージャーで、Rustで書かれています。 10-100x faster than pip と公式で書いてある通り、爆速です。 まずはuvの
Ruffに搭載される新しい型チェッカーRed-knotについて
Python開発者向けツールRuff/uvの開発チーム（Astral inc.）がPython向けの型チェッカーを新規開発しているので紹介いたします。この型チェッカーはコードネーム"Red-knot"と呼ばれており、まだリリース前ですが将来的にはRuffに組み込まれる予定であるようです。以下ではこのプロジェクトの概略を説明したいと思います。 特徴 既存の型チェッカー(e.g. mypy, pyright)の不満点である遅さを改善すべく、徹底的にパフォーマンスに気を配った設計となっています。pyrightもそこまで遅くはないのですが、さらに高速であることを目指すようです。 Red-knotはRuffと同様Rustを用いて実装されています。Ruffが使っている諸々のデータ構造を共有しているため、フォーマット、lint、静的解析が一気通貫で行えるようになります。JavaScriptツールチェイン
OSS活動してたらRuffの会社で働くことになった話
TL;DR Pythonの型チェッカーを一人で作っていたらそれが仕事になりました。 私は（大学院生として物理学を専攻する傍ら）以前よりプログラミング言語やその周辺ツールのデザイン・実装に興味があり、趣味で開発したプロジェクトをOSSで公開するなどしていました。 ErgはPython APIと互換性を持つトランスパイル型の静的型付け言語で、pylyzerはこれの型検査器を流用したPython向け型チェッカーです。 ありがたいことに両方とも結構反響を受けて、公開から数年経っても未だにissueなど報告をいただいております。これはもう少し大きな話にできるのではないかと考え、Ergの開発の方で2023年度の未踏IT人材発掘・育成事業に応募し、運よく採択され、スーパークリエータにまで認定していただきました。 これだけでもかなりの僥倖ですが、それだけではなく、今年の3月からcontract softw
Polars
Available now -> Polars Cloud Scale your Polars queries from laptop to production workloads with zero infrastructure management. Available now -> Polars Cloud Scale your Polars queries from laptop to production workloads with zero infrastructure management. Polars is an open-source library for data manipulation, known for being one of the fastest data processing solutions on a single machine. It f
米ホワイトハウス「将来のソフトウェアはメモリ安全になるべき」と声明発表。ソフトウェアコミュニティに呼びかけ
米ホワイトハウス「将来のソフトウェアはメモリ安全になるべき」と声明発表。ソフトウェアコミュニティに呼びかけ 米ホワイトハウスの国家サイバー局長室（The White House Office of the National Cyber Director：ONCD）は、サイバー空間における攻撃対象領域を積極的に削減する目的で、テクノロジーコミュニティやソフトウェアコミュニティに対してメモリ安全（Memory Safe）なソフトウェアの実現を積極的に呼びかけるプレスリリース「Future Software Should Be Memory Safe」（将来のソフトウェアはメモリ安全になるべき）を発表しました。 プレスリリースの中で、国家サイバー局長Harry Coker氏は「私たちは国家として、サイバースペースにおける攻撃対象領域を減らし、あらゆる種類のセキュリティバグがデジタルエコシステムに
Rye
Welcome User Guide Community Changelog Philosophy Note Rye is no longer developed. We encourage all users to use uv, the successor project from the same maintainers, which is actively maintained and much more widely used. For current Rye users, please see the uv migration guide. While Rye will continue to be available, no further updates are planned, including security updates. Rye is a comprehens
Python tooling could be much, much faster
N.B. Ruff now supports over 200 lint rules and is used in major open-source projects like FastAPI, Bokeh, Zulip, and Pydantic. It’s also about ~50% faster than the benchmarks advertised in this blog post. Try it today! Over the past few years, there’s been a mindset shift in JavaScript ecosystem, best summarized as: “our tools should be extremely fast”. As projects grew in complexity, and builds s
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://openai.com/index/openai-to-acquire-astral/
Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers
Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly
学習を参照 | Microsoft Docs
GitHub - benfred/py-spy: Sampling profiler for Python programs