input & output 2023/3/13-2023/3/19
O`reilly Learning Pickup Book
Regular Expression Puzzles and AI Coding Assistants
https://learning.oreilly.com/library/view/regular-expression-puzzles/9781633437814/
正規表現などのプログラムを書く生産性（と楽しさ）を劇的に向上させる方法
Learning Ray
https://learning.oreilly.com/library/view/learning-ray/9781098117214/
Ray
オープンソースの分散コンピューティングフレームワークで、計算負荷の高いPythonワークロードのスケーリングプロセスを簡素化
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
https://learning.oreilly.com/library/view/introduction-to-dependent/9781484292594/
プログラミング言語「Idris」
Creating Software with Modern Diagramming Techniques
https://learning.oreilly.com/library/view/creating-software-with/9798888650219/
ダイアグラムを使ったコミュニケーション。
テキストベースのマークアップの技術。
Pickup
Sentry
https://sentry.io/welcome/
壊れたコードライン、クラッシュ、壊れたAPIコールに対処する唯一の方法です。
開発者ファーストのアプリ監視プラットフォームは、手がかりではなく、答えを与えるために構築されました。
LogRocket
https://logrocket.com/
LogRocketは、セッションの再生、エラーを組み合わせます。
トラッキング、製品分析など、さまざまな機能を強化することができます。
Material Design
https://m3.material.io/
Material 3は、Googleのオープンソースのデザインシステムの最新バージョンです。
Material 3を使って、美しく、使いやすい製品をデザイン・構築しましょう。
Storybook
https://storybook.js.org/
Storybookは、UIコンポーネントとページを分離して構築するためのフロントエンドワークショップです。
何千ものチームがUI開発、テスト、ドキュメント作成に使用しています。オープンソースで無料です。
Serverless Framework
https://www.serverless.com/
AWS Lambda上でアプリを自動スケールさせるためのオールインワン開発ソリューション
Vue.js 日本語ドキュメントの全ページの翻訳
https://ja.vuejs.org
Vertex AI
https://cloud.google.com/vertex-ai?hl=ja
あらゆるユースケースに対応したフルマネージドの機械学習（ML）ツールを使用して、ML モデルの構築、デプロイ、スケーリングを高速化します。
Claude
https://www.anthropic.com/product
規模に関係なく、あなたのタスクに対応する次世代AIアシスタント
Packet
https://www.packtpub.com/
技術分野で最も包括的なeBookライブラリにアクセス
仕事に必要な実用的なコンテンツがすべて揃っています
PyTorch 2.0リリース
https://pytorch.org
Idris
https://www.idris-lang.org
Idrisは、型駆動開発を促進するために設計されたプログラミング言語です。
型駆動開発では、型はプログラムを構築するための道具である。型をプログラムの計画として扱い、コンパイラや型チェッカをアシスタントとして使って、型を満たす完全なプログラムへと導いていくのです。型がより表現力豊かであればあるほど、結果として得られるプログラムが正しいという確信を持つことができる。
Idrisでは、型は言語における第一級の構成要素である。つまり、型は数値や文字列、リストといった他の値と同じように、関数の引数として渡したり、関数から返したりすることができるのです。これは小さなことですが、強力なアイデアで、次のことが可能になります。
・例えば、2つのリストが同じ長さであるなど、値間の関係を表現することができます。
・仮定を明示し、コンパイラがチェックする。例えば、リストが空でないと仮定した場合、Idrisは、プログラムが実行される前に、この仮定が常に成立することを確認することができます。
・必要であれば、プログラムの動作の特性を正式に記述し、証明することができる。