EDOCODEでエンジニアをしているYutakaです。 こちらは社内勉強会で発表した資料を元にしています。 関数型言語の知識がほとんどないエンジニアがなっとく！関数型プログラミングで学んだ用語を一部まとめました。原著はGrokking Functional Programmingです。本書はScalaとJavaで説明がされていますが、できる限り社内で使われている言語(Go, JavaScript, TypeScript)でサンプルコードを記載しました。 書籍のソースコードはこちらに全て公開されています。 そもそも関数型プログラミングとは? プログラミングのパラダイムには大きく①命令型プログラミング②宣言型プログラミングがあります。 ①命令型プログラミングとは どのよう(HOW)に計算するかに焦点を合わせ、段階的なアルゴリズムを詳細に定義します。これは実際のハードウェアの計算処理の流れに沿っ
ハマったポイントたくさんあったけどPlay3.0/Scala3.3へバージョンアップできたよ - エムスリーテックブログ
こんにちは。エムスリーエンジニアリンググループでScalaとマミさんが好きな安江です。今回は私が所属している製薬企業向けプラットフォームチームのPlay製プロダクトのPlay/Scalaバージョンアップのお話です。当初Play2.8にバージョンアップしていたのですが、その最中にPlay2.9/Play3.0やScala LTSが出たりもしました。最終的にPlay3.0/Scala3.3にバージョンアップできて本番稼働できたサービスもあるので、そのバージョンアップの経緯をご紹介します。 Play2.8への道のり Play3.0へのバージョンアップ ハマり1：依存ライブラリがPlay2系に依存している ハマり2：ScalikeJDBCの依存関係 ハマり3：サーバーバックエンドの変更 ハマり4：sttpのバックエンドの変更 ハマり5：if式が値を返さない まとめ We are hiring !!
相談と丸投げは違うよと気づいた話 ─ サポーターズ内定者アルバイトで学んだこと ─ - CARTA TECH BLOG
はじめに 入社したてホヤホヤ、24新卒エンジニアのふっちーです。新卒として、社内にフレッシュな風をお届けすることを生業としています。 2023年の10月から、サポーターズで内定者アルバイトとして受け入れていただいていました。この記事は、内定者アルバイトの最終日にサポーターズで過ごした半年の振り返りとして、社内のブログに投稿した記事になります。入社前に気づくことができてよかった学びが沢山あったので、もしよければご覧ください！ サポーターズでのお仕事 内定者アルバイトではサポーターズのTech Studio（エンジニアチーム）に配属となりました。 初めて直接お会いする日、私が見つけやすいようにオフィスでサンマのぬいぐるみを振り回してくれていたOJT担当が強く目に焼きついています。 サポーターズで大事に飼育されているサンマ 具体的な仕事の内容については、私が週2勤務であるため大がかりなタスクに携
Databricks Container ServiceでTensorRT-LLMを動かしてみた - NTT Communications Engineers' Blog
本記事ではDatabricksのDatabricks Container Serviceを用いてNVIDIA社の推論ライブラリであるTensorRT-LLMを実行可能なNotebook環境を構築する方法を紹介します。 目次 目次 はじめに Databricks Container Service NVIDIA TensorRT-LLM 解決したいこと TensorRT-LLM Container Imageの作成 Databricks Containers ベースイメージの変更 Pytorch バージョンの変更 TensorRT-LLMのインストール 動作確認 Databricks環境設定 TensorRT-LLMのインポート Llama2 HF-7b-instruct モデルの変換 TensorRT-LLMの呼び出し まとめ 参考文献 はじめに こんにちは、NTTコミュニケーションズの露
Tagged Type(Branded Type)を使って飛行機の不時着や人工衛星紛失を防ごう / Scala 3ではTagged Typeを簡単に作れる - Lambdaカクテル
Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るためのものだ。 AIくん！サムネイラスト作って！と頼んで作ってもらった画像 Tagged Type 単位の取り違えによる事故は後を絶たない。世の中には、キログラムとポンドを混同して飛行機があわや墜落しかけたり、メートルとヤードを混同して人工衛星がどっかに行ったりしている。尊い人命や国民の血税と比べるといささか霞むかもしれないが、ユーザIDとペイロードを間違えて送信したり、金額と口座番号を取り違えて送金したり、秘密鍵と公開鍵を間違えて表示したりしてしまえば、プログラマが大変な苦労をするか、会社そのものが傾くだろう。 しかしながら、データとしてはどちらも同じDouble
ウィークエンドサンシャイン 2024年5月11日（ボニー・レイット、エリック・ビブ、ブルーノート・オールスターズ ） - ラジオと音楽
www.nhk.jp 【目次】 Bonnie Raitt「Unnecessarily Mercenary」 Eric Bibb『Live at the Scala Theatre』 Goin' Down The Road Feelin' Bad Whole World's Got The Blues Blue Note All-Stars「Message Of Hope」 Bonnie Raitt「Unnecessarily Mercenary」 ニューオーリンズ・ジャズ＆ヘリテージ・フェスティバル2024に出演したボニー・レイット。ジョン・クリアリーが作ったこの曲も演奏したそうで、ジョン・クリアリーが飛び入り参加してキーボードを演奏されたそうです。 www.youtube.com Souls Alike アーティスト:Raitt, Bonnie Capitol Amazon Eric B
Direct-style Effects Explained By Noel Welsh on 24 Apr 2024 Direct-style effects, also known as algebraic effects and effect handlers, are the next big thing in programming languages. At the same time I see some confusion about direct-style effects. In this post I want to address this confusion by explaining the what, the why, and the how of direct-style effects using a Scala 3 implementation as a
「JetBrains」の各種IDE、AIコード補完機能をローカルで使用可能に：クラウドベースのAI支援機能の懸念点をカバー クラウドベースのAIアシスタントを利用して著作権やデータプライバシーの問題を回避するというトレンドがますます広がっている。そうした中、「JetBrains」が「GitHub Copilot」に先んじてローカルでのAIコード支援機能を実装した。本記事ではそのメリットを解説する。 JetBrainsが開発する各種IDE（統合開発環境）の大半に、ローカルAI（人工知能）コードオプションが組み込まれた。これは、コードの全行を提案することを目的にトレーニングされた小さな言語モデルを、ローカルで動かすものだ。コードの正確性をチェックする組み込み機能が、同社IDEの有償サブスクリプションを利用するユーザーに提供されるようになる。 こうした機能は、2024年4月上旬にリリースされたバ
ますます多機能となりAWSにおけるデータ分析を支えてくれているAWS Glueの2024年時点の機能について、入門におすすめのものをご紹介します。 当エントリは弊社AWS事業本部による『AWS 入門ブログリレー 2024』の42日目のエントリです。 このブログリレーの企画は、普段 AWS サービスについて最新のネタ・深い/細かいテーマを主に書き連ねてきたメンバーの手によって、 今一度初心に返って、基本的な部分を見つめ直してみよう、解説してみようというコンセプトが含まれています。 AWS をこれから学ぼう！という方にとっては文字通りの入門記事として、またすでに AWS を活用されている方にとっても AWS サービスの再発見や 2024 年のサービスアップデートのキャッチアップの場となればと考えておりますので、ぜひ最後までお付合い頂ければ幸いです。 では、さっそくいってみましょう。今回のテーマ
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
なっとく！関数型プログラミング を読んで関数型プログラミングを学んだ - Qiita
Direct-style Effects Explained
「JetBrains」の各種IDE、AIコード補完機能をローカルで使用可能に
AWS入門ブログリレー2024〜AWS Glue編〜 | DevelopersIO