ひさしぶりにblog記事書きます 本エントリはカケハシ Advent Calendar 2023 Part 2の 15日目の記事に入れてもらってます。カケハシ Advent Calendar Part 1 もあり、様々な職種の方が記事を書いているので、ぜひご覧ください。といってもそもそもこのblogでは初出であるカケハシってなんだ？という話からしなければなりません。このAdventが書くきっかけになったのですが、そのあたりの近況報告も兼ねて最近こんなことをやっているというアップデート記事です。 転職していました 実際に新しい所属になったのは今年の10月1日からで、もう2ヶ月半くらい経っているのですが、本当にあっという間でした。Twitterではいろいろ投稿していたので見ていた方はご存知かも知れません。現在は株式会社カケハシというところで、ソフトウェアエンジニアとして新しい事業ドメインを起ち

こんにちは、Finatextの @taiki45 です。この記事はFinatextグループ10周年記念アドベントカレンダーの14日目の記事です。昨日は河端さんが「保険業界の Vertical SaaS『Inspire』のビジネスモデル」という記事を公開しています。 インターネットサービス業界でDesign Docsと呼ばれているプラクティスがあります。これは、それなりに規模のあるなにかを作ったりタスクを行う前に、解決する問題や考慮事項や取りうる選択肢やそのトレードオフなどを文書としてまとめたもの(design doc)を書くというプラクティスです。 Design Docsプラクティスは、複数のチームやある程度の多さのステークホルダーをalignするという側面もあって大企業でよく使われていると思うのですが、中規模(300人程度)の企業でもDesign Docsプラクティスを行うことで、より精

このブログを読んでいる方はご存知だと思うのですが、僕は意思決定のプロセスや態度についてやたらよく書いています。不確実性が高いこと(例えば新規事業など)をやるときは、どういう思考プロセスで意思決定をするかが重要だと考えているからです。 今日は「失敗を恐れない」態度には種類があるという話を書こうと思います。 実は「上手くいくことを信じる」のはとてもとても難しい 新しい事業やプロジェクトをやるとき、少なくともリーダーは成功するつもりでそれに取り組むわけです。 (やりたくもないのに押し付けられてやってる等で、失敗をわかっててやる場合もあるかもしれませんが、そういう例は除外します) 僕自身が事業をやってるときもそのつもりですし、スタートアップや色々な会社の事業に関わっている中でもリーダーはみんな成功するぞという気持ちを持っています。 やったことがない人には想像が難しいかもしれませんが、実はこの「上手

ビックリしましたよ。 これが分からない人がいるらしいですよ？ じゃあ全力で解説してやりますか。 金で繋がった信頼＝相手の理性への信頼この物語をマクロな視点でまとめると「ガブール人という人種が、帝国と信頼関係を築くまでの物語」なんだよね。 ルークの提案により帝国政府とガブール人の間には「４００億ベルクの借金」という経済的な繋がりが誕生した。 もちろん帝国政府が武力などを背景に「ガブール人から借りた金とか知らねえよ」と言えば踏み倒すことは可能だ。 しかしそれをやってしまえば「帝国政府は金の話を平気で誤魔化すような奴らだ」→「こんな奴らの作った紙幣は信頼できねえ」→「ベルク札暴落」→「ハイパーインフレーション」→「帝国経済終わり」というシナリオへと進んでしまう。 これによって帝国政府が受ける打撃は４００億ベルクなんかでは効かないので、帝国政府はこの取引を裏切れないのである。 巨大な経済という歯車

この記事はScala Advent Calendar 2023の12日目だ! Scala 3のマクロを書く上で役に立つ, メタれたTipsたちを紹介するぜ! 勢いに任せて書いていくからサンプルコードがちゃんと動かなかったらごめんな. 一応, Scala 3.3.1を想定しているぞ. マクロ 1. メソッドをマクロとして定義する 2. マクロの本体を実装する 3. マクロ実装の記法の意味を知る 4. マクロで生成されるコードの内容を確認する 5. 引数の式を評価せずに使う 6. 返り値の型をマクロの実行結果によって決める 7. マクロの返り値の型を制限する 8. マクロの返り値の型を書かない 9. マクロで計算された型をテストする 10. マクロで計算された型をScalaTestでテストする 式 11. 定数式の値を得る 12. 定数式でなければコンパイルエラーにする 13. 定数値の式を作

GitHub、1200台以上のMySQL 5.7を8.0へアップグレード。サービス無停止のまま成功させる GitHubが提供するGitHub.comは、世界最大のソースコード管理システムを始めとするソフトウェア開発者向け支援サービスを提供しています。 そのGitHub.comはRuby on Railsで構築されており、同社はつねにRubyとRuby on Railsをアップデートし続けていることを今年（2023年）4月に明らかにしています。 参考：GitHubは200万行規模のRailsアプリケーションであり、毎週RailsとRubyを最新版にアップデートし続けている そして同社はこのGitHub.comを支える1200台以上のMySQL 5.7を、GitHub.comのサービスレベルを維持したまま1年以上かけてMySQL 8.0にアップグレードしたことをブログで明らかにしました。 Up

この記事はScala Advent Calendar 2023の11日目です. 最近, 趣味でScala 3のコードをだいぶ書いていて, マクロの使い心地のよさに感心しました. 理論的な背景も含めて, 産業界で多く使われているプログラミング言語の中では筆者の知る限りぶっちぎりに優れたマクロを備えています. 他の言語にも見習ってほしいですね. たぶん見習おうとすると処理系を作り直す羽目になりますが. この記事ではScala 3のマクロのすごいところを例を使って紹介します. マクロの実践的な例 準備 実践的な例: NamedArray – 名前でアクセスできる配列 NamedArrayのマクロ実装 記述が明瞭 メタレベルのプログラムの扱い クォートとスプライスがある パターンマッチもある 生成コードに型がつく 多段階計算に基づいている クォートとスプライスの本当の意味 ネストしたスプライス ネ

もよもよもよ〜〜ん これを読んでるあなた！ もよもよもよ〜〜ん 狡猾自在の照る照る坊主 窮ミッキーマウス猫を噛む もよもよもよ〜〜ん そーれ そーれ 明日はなんの日？ できちゃった婚活の日！ レベルが上がりました！ 999になった！ 髭が生えた！ そこまで言っちゃいかんでしょ・・・ 狼狽してる老婆 ではでは、おはようで御座る！ にんにく？ それともピータン？ ピータンよりもちもちメロンパン？ タクラマカン砂漠！！ 天動説の流布は違法ですぞい ニュートラルおじいちゃん ケンタウロスごっこ、まだやるの？ シャクナゲってどんな花なのか、我々は知らない キクラゲをスネに育てたい コボちゃんが一番好きなマンガです クーラーボックスに蟹が入ってるよ！ 本当に、ごめんな猿 ドラゴンクエスト10000〜そして婚活へ〜 ここからは本当の話。 婚活が上手くいかなくて、お酒を飲んで、帰ってまいりました。歩いてお

高速なPython互換言語の「Mojo」、そのままGPUで実行可能に。「MAX GPUs」発表。ModCon '23 高速なPython互換言語「Mojo」の開発元であるModular社は、同社として初のイベント「ModCon '23」を12月4日にサンフランシスコで開催しました。 基調講演で、高速なPython互換言語の「Mojo」を含むAI処理を高速に実行するプラットフォーム「MAX」（Modular Accelerated Xecution (MAX) Platform）がNVIDIAのGPU対応となり、さらに高速な処理が可能となる「MAX GPUs」が発表されました。

ChatGPT、スマホ充電できるほどのエネルギーを消費してた2023.12.05 23:0040,907 Maxwell Zeff - Gizmodo US ［原文］ （ 岩田リョウコ ） 気軽にAIに質問してたけど、すごいエネルギーが必要だった！ 新しい研究によると、生成AIモデルを使用して画像を作る際、スマートフォンを充電するのと同じくらいエネルギーを消費することが明らかになりました。 この研究は初めて生成AIモデルが与える環境への影響を測定したもので、ChatGPTのDall-EやMidjourneyなどの人気モデルが、約6キロ車で走行するよりも多くの二酸化炭素を排出することも示唆しています。 AIは直接環境に影響あり今回の研究をおこなったSasha Luccioni博士は米Gizmodoに対して以下のように述べています。 私たち人間はAIは環境に影響を与えていないと考えがち。『クラ

https://anond.hatelabo.jp/20231129081226 専業主夫になりたいと願い、夢を叶えた増田です。思った以上にバズってしまい恥ずかしいけど誰かの参考になったなら嬉しい。今後ダラダラと続きを書きはしないので、今回は補足と自分語りをさせてほしい。おれは主夫になりたい男性を応援してるし、主夫を養える女性も尊敬している。もちろん主婦とその夫も、共働き夫婦も独身男女も。 今までどこに出すでもなかった婚活の学びだが、今回も誰かの参考になれば幸い。 「婚活」そのものについてはてなには男女とも婚活で酷い目を見たエントリーが目立つ気がするが、おれ的には会った女性は7割まともだと感じた。2割がコミュニケーション能力に難ありで、残りの1割はモンスターかな。だからそんなに構えなくていい。ネットでは変わった体験をした人の記事が面白がられて伸びるだけで、大概の人は良くも悪くもわざわざ書く

この記事は Rust Advent Calendar 2023 シリーズ2 の1日目の記事である。 Rustは良くも悪くもシステムプログラミング言語なので、何も工夫しなければデバッグの体験がC言語と同じレベルになってしまう。例えば「rust lldb」でググると上位に Debugging Rust programs with LLDB is a nightmare というスレッドが出てきてしまう。 使うべきツールを知っていれば幾分かマシな体験にできる。Rustコンパイラはデバッガとして LLDB, GDB, WinDbg/CDB をサポート していて、僕はWinDbGは10年くらい触ってないので、この記事ではLLDBとGDBについて書く。 LLDB Apple SiliconのMacだとGDBが使えないので、必然的にLLDBを使うことになる。 CodeLLDB GDBと同じく、LLDBにも

（追記） ぬるっと家事終わらせて見に来たらたくさん読まれてて嬉しい。婚活は大変だったけど学びもあり、あのままブラック労働を続けるよりよっぽど良い人生＆良い人間になれた気がするよ。書ききれなかった学びと自分語りを書いた。誰かの参考になれば幸いだし、おれはいつでもお前らの婚活の成功を祈ってる。 https://anond.hatelabo.jp/20231130215545 （ここから本文↓） 10年前、新卒で入社したブラック企業で心身削られ心底思った。働きたくない。 その年の末、帰省した際に5歳上の姉から婚約者を紹介された。婚約者は国家公務員で、姉は専業主婦になるという。羨ましすぎて狂うかと思った。 婚約者が帰り、両親が眠った後で姉と2人きりになった。酒の勢いもあって「女は主婦になれていいよな、俺も養われてぇ〜〜〜」と愚痴ったら、「じゃあお前もなれよ、そのための努力をしろ」と言われた。姉から

「ドラゴン」という言葉はもともと「大蛇」という意味でしかなかったので、太古の人間が「大蛇」の実在を信じていたのは当然である。 火を吹き翼を持つ巨大なトカゲの怪物、という意味でのドラゴンは中世になってから生み出されたもので、それは当初から架空の存在だった。 というか、さまざまな神話や伝説などに登場する「大蛇がモチーフの怪物」が、後から「ドラゴン」として統合されていったのである。 ユニコーンも単に「一本角」という意味でしかなく、たとえば「一本角の馬」だけでなく「一本角の牛」などもユニコーンと呼ばれていた。 当初のユニコーンは「インドの一本角のロバ」として実在が信じられていたが、それはサイのことだったかもしれないし、レイヨウのことだったかもしれない。 ユニコーンもまた、中世以降に大袈裟な尾鰭が付け足されて架空の存在へと変化していった。 つまり、ドラゴンにしろユニコーンにしろ、「太古の人々は超常的

コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕

まりー @marie_no_heya 外資系証券外資系運用会社で機関投資家ビジネス25年超/東京大学経済学部経済学科卒/長男は中受→私立共学進学校→現役早稲田（留学中）/次男は中受撤退→高受残念→現役慶應/正しい金融知識をブログで伝達/ご質問お問い合わせは querie.me/user/marie_no_… marienoheya.muragon.com まりー @marie_no_heya 個人的には「子供を朝から晩まで保育園に預けてかわいそう」みたいなこと、言われた覚えが全くないんだけど、それは記憶力が悪いからなのかもしれない、とはいえ、本当に言われた覚えないのよね。 0歳から保育園って、めっちゃコミュ力つくわよ。世界中どこでも生きていけるくらい。 2023-11-25 08:51:14

教育現場で使われています 学校や企業でのご利用が増えています。 今もご利用を迷われている皆様にオススメの理由をまとめました。 オススメの理由はこちら バッジを集めよう レッスンで良い結果を出したり、特別な条件を達成するとバッジがもらえます。 全150種類のコンプリートをめざしましょう。 それぞれのバッジは自分のアイコンにも設定できます。 チャレンジモード レッスンでタイピングに慣れたらチャレンジモードに挑戦しましょう。 タイピングのはやさと正しさでスコアが決まります。 文章は用意されたものだけでなく、自作の文章でも練習できます。 ぶんしょう作成 特別なゲームも収録 このアプリを気に入ってくださった方には作者への寄付をお願いしています。 アプリ内で寄付していただくと、特別なミニゲーム「タイピングソード」がプレイできるようになります。（STEAM版は同梱） Microsoft Store 版で

A guide to full stack web development in Rust Super fast secure applications in a language you love The full development lifecycle Everything you need to deploy a production startup. Including... Managing the Database Infratructure as Code Ci/CD Pipelines Built on standards based best practices Create Great Looking Applications Fully responsive server side rendered applications. Pages rendered on