動機 Why OCaml 学習方法 Real World OCaml Github Copilot と ChatGPT オンラインジャッジ (競プロ) Advent of Code その次？ 所感 関数型という概念 OCamlの書き味 Rust, Python の経験 AIとの親和性 まとめ 某Nさんがここ最近Haskellとか勉強してて楽しそうで真似してみたくなって、自分も今さらながら何か関数型言語はじめてみるか〜と周りに相談したところOCamlをオススメされたので 今年に入ってからひたすらOCaml書く練習してる。AtCoder Boot camp for BeginnersのEasy 100をようやく終わらせたところ。 pic.twitter.com/POBWhvHHCn— すぎゃーん💯 (@sugyan) April 9, 2023 大西さんが動画の中で感極まっていたけど、宮川さ
GitHub - modelcontextprotocol/servers: Model Context Protocol Servers
Official integrations are maintained by companies building production ready MCP servers for their platforms. 21st.dev Magic - Create crafted UI components inspired by the best 21st.dev design engineers. ActionKit by Paragon - Connect to 130+ SaaS integrations (e.g. Slack, Salesforce, Gmail) with Paragon’s ActionKit API. Adfin - The only platform you need to get paid - all payments in one place, in
Recently, Shopify’s CEO Tobi Lütke shared his thoughts on AI’s role in coding, stating that “reflexive AI usage is now a baseline expectation at Shopify.” The gist of his message was that AI is revolutionizing how we work, and everybody should jump on board this train or risk being left behind. I’m paraphrasing a bit, but not much – check out the post for complete context and content. This struck
元競技プログラマの転職活動
概要この記事は、業務経験が8～9年あり、AtCoderのレートが水色～青色の元競技プログラマによる転職活動のまとめです。 1年半ほど前に、似たような記事「[ほぼ無] 無職競技プログラマの中途就職活動」も公開していました。 コンテキスト国内のスタートアップ企業に転職してからは、検索機能の開発・運用を担当していました。検索の仕事は非常におもしろく、個人的にも満足していたのですが、検索領域に特化したキャリアを歩みたいという思いがぼんやりとありました。 あるとき、周囲で転職事情の話を耳にする機会があり、外資系企業が採用を再開していることを知りました。そこでLinkedInで興味のある企業のページを確認したところ、ちょうどSenior Search Software Engineerのポジションが募集されていたことが分かりました。 このポジションはとても魅力的でしたが、外資系企業でのSeniorポジ
AIエージェントの実力を測る方法：Cline と Devin の優秀さは測れるのか - GMOインターネットグループ グループ研究開発本部
D.M.です。AIエージェント選定時の基準について解説します。 結論ファースト ・モデル＋エージェントの性能評価 SWE-Bench Verified が妥当な指標なのではないでしょうか。 ・単純評価が難しい箇所１ UI・UXの違い IDE, Teminal, Cloud （Webブラウザ）の3種がある。 ・単純評価が難しい箇所２ コードベースの把握手法 インデックス型と構文解析型がある。 イントロダクション： AIエージェントの理解に障害となる課題 現状エージェントの数が多すぎる課題があると思います。 ざっと思いつくものを書いてみました。 GitHub Copilot Coding Agent Cursor Agent Mode Cline Windsurf Claude Code Codex Agent Devin Lovable … これら乱立する開発用AIエージェントツールをどのよ
MLOps roadmap 2024
The MLOps engineer role is different from an ML engineer role. Even though the role varies from company to company, in general, ML engineers focus more on bringing individual projects to production, while MLOps engineers work more on building a platform that is used by machine learning engineers and data scientists. To build such platforms, lots of different skills are required. Here is a roadmap
ChatGPT（GPT-3.5とGPT-4）の性能が変化している？スタンフォード大学とカリフォルニア大学バークレー校の研究チームが調査
3つの要点 ✔️ 大規模言語モデル（GPT-3.5とGPT-4）の性能が短期間で大きく変わる可能性を示唆。 ✔️ 大規模言語モデルの性能の中長期的な変化を理解するため、継続的な調査が必要。 ✔️ 大規模言語モデルの性能変化に関する研究促進のため、本実験の評価データとChatGPTのレスポンスを公開。 How is ChatGPT's behavior changing over time? written by Lingjiao Chen, Matei Zaharia, James Zou (Submitted on 18 Jul 2023) Comments: Published on arxiv. Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (
これは何の記事? 一般社団法人ソフトウェアエンジニアリング協会に生徒として参加して、3ヶ月ちょっとが経過しました。協会参加直後から取り組んでいたコーディング練習では、Arai60というLeetCodeの問題集に取り組んでいました。これをひと通り終えたので、取り組んだことや感想などについてまとめました。 そもそもソフトウェアエンジニアリング協会とは? ソフトウェアエンジニア(SWE)の育成や就職支援を非営利で行なっている団体です。 ご指導いただける協会理事の講師陣は、元ビッグテック所属のプロ中のプロのSWEです。 一般社団法人ソフトウェアエンジニアリング協会 LeetCodeを題材にしたコーディング練習会だけでなく、コンピューターサイエンス(CS)の基礎知識を学ぶ勉強会の開催や、模擬面接やレジュメ添削など、SWEの育成や就職支援のための様々な取り組みがなされています。 最近では将棋AIエンジ
Me after years using python.Before starting this post, I want to acknowledge that soft and hard skills are equally important. Data people exist to deliver business value, or more broadly read facts from a pool of ever-growing data. But, even with a bunch of posts talking about soft skills, at the end of the day, we're being paid for the technical skills we have, and the ability we have to deliver
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
40歳から始める関数型言語、OCaml - すぎゃーんメモ
Coding as Craft: Going Back to the Old Gym
コーディング練習会の感想@一般社団法人ソフトウェアエンジニアリング協会
A non-beginner Data Engineering Roadmap — 2025 Edition