Why I left Rust
There's a lot of speculation about why I left Rust yesterday, so I want to set the record straight in this post. What happened A short timeline of what happened from my perspective, as this is relevant for later: A request went out to the interim leadership group for potential keynote speakers for RustConf. JeanHeyd Meneide was proposed by myself and Manish as a keynote. JeanHeyd is one of the two
全国初！株式会社自動処理は国会議事録検索の出来るChatGPTプラグイン( The Diet Search Plugin )をリリースしました！
全国初！株式会社自動処理は国会議事録検索の出来るChatGPTプラグイン( The Diet Search Plugin )をリリースしました！AI技術を活用し、国民の声と国会議論をつなぐ新たな仕組みを提供します 株式会社自動処理は、全国で初めてOpenAIの大規模言語モデルChatGPT上で動作する国会議事録検索プラグインをリリースしました。このプラグインは、ニュース、トレンド、提案、要望、不満などの文章を元に、その意味に近い国会議事録の議論を出典元情報と共に検索できるという特徴を持っています。これにより、誰でも簡単に国会の議論を調査、取りまとめを実施することが可能となり、国会で働く議員さんの活動をもっと詳しく知ることが出来るようになります。 New! 2023.06.24 テレビ朝日様より取材を受けました。 「ChatGPT」国会の議論にも “要約”が作れるサービス登場 https:/
Javaは、企業のITシステムの開発になくてはならないプログラミング言語としての地位を確立している。一方で、PythonやJavaScriptといった若い世代に人気がある言語と比較すると、煩雑な記法が多く堅苦しいイメージは否めない。 こうしたイメージを一新してJavaの生産性を高める試みが「Project Amber（プロジェクト・アンバー）」だ。同プロジェクトではこれまで、Javaプログラムの可読性を高めるために数々の記法の改良を行ってきた。 その成果の1つとして、2023年秋に公開予定の「JDK（Java Development Kit） 21」に導入されるのが、Javaプログラムの実行の起点である「mainメソッド」の大幅な簡略化だ。Javaの新機能は「JEP（JDK拡張提案）」として管理されており、mainメソッドの簡略化は「JEP 445」で規定されている。 Javaの開発にかか
宇宙航空研究開発機構(JAXA)は4月27日、H3ロケット初号機の打ち上げ失敗原因について、調査状況を文部科学省の有識者会合にて報告した。まだ原因の特定には至っていないものの、第2段エンジンで短絡/地絡が発生した可能性が高いことを突き止めており、計17の故障シナリオを抽出、検証を進めていることが明らかにされた。 種子島宇宙センターより打ち上げられたH3ロケット初号機 短絡/地絡が発生したという推定の根拠は？ H3ロケット初号機は、3月7日に打ち上げを実施。第1段の飛行に問題は無かったものの、第2段エンジンの着火が行われず、衛星の軌道投入に失敗していた。前回の報告では、着火やバルブ制御を行う「ニューマティックパッケージ」(PNP)で電流異常を検出、その結果として電源が遮断され、着火が行われなかったことまで分かっていた。 この異常を引き起こした要因として、前回は、以下の3つを推定。今回、3種類
高速光無線通信「Li-Fi」が、AR/VRの未来を切り開く：最大220Gbpsの通信が可能（1/2 ページ） 光スペクトルを使用してデータの伝送／受信を行う高速通信「Li-Fi（Light Fidelity）」は、現在まだ初期段階にあるが、米軍がその成長に拍車を掛けている。Li-Fi大手のpureLiFiとSignifyの2社は、米国陸海軍との間で重要な契約を締結し、既存の通信システムにセキュリティレイヤーを追加することによって性能向上を実現していくという。 光スペクトルを使用してデータの伝送／受信を行う高速通信「Li-Fi（Light Fidelity）」は、現在まだ初期段階にあるが、米軍がその成長に拍車を掛けている。Li-Fi大手のpureLiFiとSignifyの2社は、米国陸海軍との間で重要な契約を締結し、既存の通信システムにセキュリティレイヤーを追加することによって性能向上を実現
という話を同僚としていた。いい話だからブログに書いてと言われたので、無茶苦茶久しぶりに記事を書いた。 通常のユーザーが利用できる面はどういった操作が行われるかわからない以上、テストはしっかり書くべきという意識が強いと思う。実際それは間違っていないし、考えうる限りのケースをテストするべきだと思う。 一方で管理画面は利用できるユーザーが限られているし、悪意のある操作が行われる可能性も限りなく低い。故にリソースが足りていないと「管理画面はまあそこそこのテストでいいでしょ」とか「管理画面は壊れてたら直せばいいから、単純なとこはテストいらないでしょ」みたいな考えに陥りがちだけど、実際は強い権限による操作が行われるのだから相応のテストを書いて然るべきだよね、ということを話していた。 管理画面は通常ユーザーが見れる面と違って権限チェックなども必要だし、これによってテスト書くのめんどくさくなりがちだよねと
OpenAI’s chatbot offers paraphrases, whereas Google offers quotes. Which do we prefer? In 2013, workers at a German construction company noticed something odd about their Xerox photocopier: when they made a copy of the floor plan of a house, the copy differed from the original in a subtle but significant way. In the original floor plan, each of the house’s three rooms was accompanied by a rectangl
このマルウェアに関する情報は動きが激しいため、記事の更新が追いついていません。 最新の情報に関しては参考文献(英語)を参照してください。 現在、参考文献の翻訳プロジェクトを準備中です。 続報について、以下の動画の内容の一部に関して監修させて頂きました。非技術者向けの内容ですが、現状に関する説明が行われています。 現状について日本語で知りたい方は以下の動画を参照するのをおすすめします。 はじめに タイトルのママで、マイクラ工業界隈だとかなり話題になっています。 このマルウェアは、マイクラのMod/Plugin及びMod/Plugin開発者を対象としたかなり悪質で強力なマルウェアです。 当初はMod配布プラットフォームであるCurseForgeにおけるアカウントハックだとみられていましたが、それよりも遙かに恐ろしい事案でした。現在発見されているのはCurseForgeのみですが、Modrint
Webhook的に ActivityPub に投稿する実装を作った - castaneaiのブログ
Twitterの仕様変更などの影響でここ最近で分散SNSが再び注目されつつある。 分散SNSの利点は脱・中央集権な点にある、という文脈で語られることも多いが、 オープンな仕様・実装が多いというのもまた利点といえる。 そうしたオープンな分散SNSの仕様として有名なのが ActivityPub だ。 ActivityPub と難しさ オープンな実装の利点はプログラムからのアクセスが容易なことだ。 たとえばX（Twitter）はAPIの制約が厳しく、開発者が気軽にAPIを触ることが難しくなってしまったが、ActivityPub であればそのような制約はない。 そういう流れで、ActivityPub をベースにBOTアカウント的なものを作ってみたいと思い立った。 単一のユーザーとして投稿を発信するだけ、それくらいならサクッと実装できそうだと考えた。 しかし、そう上手くもいかなかった。 Activi
「AIを使って画像を高画質化したい」 「画質を落とさずに画像サイズを拡大したい」 「無料で使える高画質化ツールをインストールしたい」 このような場合には、Real-ESRGANがオススメです。 この記事では、Real-ESRGANについて解説しています。 本記事の内容 Real-ESRGANとは？Real-ESRGANのシステム要件Real-ESRGANのインストールReal-ESRGANの設定Real-ESRGANの動作確認 それでは、上記に沿って解説していきます。 Real-ESRGANとは？ Real-ESRGANは、高画質化ツールです。 次の画像を見れば、どういうモノであるかは一目瞭然と言えます。 Real-ESRGANは、技術的には機械学習をベースにしています。 その際に利用している機械学習フレームワークは、PyTorchになります。 また、Real-ESRGANは次の3つの形式
米Google（グーグル）は2024年2月以降、迷惑メール対策を強化した「メール送信者のガイドライン（Email sender guidelines）」を適用する。これにより対策が不十分な企業などからのメールは、Gmailアカウントに届かなくなる恐れがある。 同社のGmailセキュリティーおよび信頼性担当グループプロダクトマネージャーを務めるNeil Kumaran（ニール・クマラン）氏によると、新しいガイドラインの主な目的は「SPF、DKIM、DMARCのような重要かつ基礎的な電子メール認証技術を活用して、大量送信者がメールを正しく認証しているかを確認すること」だ。 ただ、Gmailアカウントに大量のメールを送っている企業には、送信ドメイン認証以外にも厳しい要件がある。それが「ワンクリック登録解除（one-click unsubscribe）」だ。文字通り、ワンクリックするだけでメールマ
この記事は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. 定数値の式を作
anond.hatelabo.jp 特定のリズムにあてはまる日本語を頑張って探したくなることがたまにある。そして、定期的に↑のような記事が流行っては、仕事が手につかなくなる！このままでは、○ー○ー○○ー○ー○ーを考える時間によって日本のGDPが押し下げられてしまう。 そこで機械の力を借りて特定のリズムを持った言葉を探せるようにした。 github.com 自分のマシンだと、だいたい2分で目当ての言葉を探してくれるようになった。 使い方 仕組み 素材選び リズム形式 実装 で、○ー○ー○○ー○ー○ーはなんなの 航空機抵当法 ローラースルーGOGO 西洋の命数法 包頭軌道交通 西寧軌道交通 No Need 2 Worry 総合治療効用 結語 使い方 基本的にリポジトリに書いてあるけれど、やることは2つ。Scalaなのでsbtが必要。 Wikipediaのデータを落としてきて解凍する sbt "
実装を進める上で障害になりそうなところを先回りして直してるように見えるけど、一体どうやって検知しているかという話題。 結論から言うと「慣れです」なんだけど、こういう考え方があるよというのを紹介しておく。 mikadomethod.info ちょうど10年ぐらい前に話題になった手法だけど、考え方としてはまだまだ現役です。 概要は本家なりこの辺のリンク先なりを見て貰って。 開発者のためのソフトウェアテストのスキルアップ | Think IT（シンクイット） 大規模コードをリファクタリングする方法『ミカドメソッド(Mikado Methood)』について | Futurismo テストとリファクタリングに関する深い方法論 #wewlc_jp レガシーソフトウェア改善ガイド | Amazon 僕の理解は 1 ループ目 やりたいことを実現するコードを書く ギャップが無ければサクッと実装して終わり
オーディオテクニカが、モニターヘッドフォンとコンデンサーマイクを一体化したヘッドセット「ATH-M50xSTS」を発表。ストリーマー向けで、価格と発売日は2月以降に発表する。 オーディオテクニカは1月5日（米国時間）、モニターヘッドフォン（音質確認用のヘッドフォン）とコンデンサーマイクを一体化したヘッドセット「ATH-M50xSTS」を、同日開幕のテクノロジー見本市「CES2023」で発表した。価格と発売日は2月以降に発表する。 同社製のモニターヘッドフォン「ATH-M50x」と、単一志向性コンデンサーマイク「AT20」の技術を活用したマイクを一体化。音楽業界などでも使われる機器をヘッドセットとしてまとめ、より高い音質を求めるストリーマー向けに提供する。 入力が3.5mmヘッドフォン端子、出力がXLR端子のケーブルを備えた通常モデルと、USB Type-A端子のケーブルを搭載した「ATH-
ispaceは5月26日、月面探査プログラム「HAKUTO-R」ミッション1の結果を報告した。同社が開発したランダーは、4月26日未明に月周回軌道からの降下を開始。順調に進んでいたものの、最終段階で高度データに誤差があり、着陸に失敗していた。フライトデータを詳細に分析したところ、ソフトウェア側の問題であったことが明らかになったという。 着陸シーケンスの最終フェーズ。ここまで順調なように見えたが…… (C)ispace 同社のミッション1ランダーは、2022年12月11日に打ち上げを実施。2023年3月21日に月周回軌道に到着し、成功すれば民間初・日本初となる月面着陸に挑んでいた。姿勢制御などは正常に機能し、ついに高度計がゼロを指したものの、そこに地面は無く、降下が継続。最終的には燃料が尽き、ランダーは自由落下して月面に激突したものと見られる。 NASA(米国航空宇宙局)の月探査機「LRO」
TypeScript でプログラミングをしていると、existential type （存在型）が欲しくなることがあります。そのような課題が発生した際は anyやasを使って何とかしてしまいがちですが、実はある種のカプセル化を行うことでこれらの危険な機能を使わずに解決することができます。 Existential Type が欲しくなる例 簡単な例として、こんなプログラムを書きたい場合を考えてみましょう。ここではまだ型は書いていません。 function useNumber(num: number) { console.log(num); } function useString(str: string) { console.log(str); } const thunks = [ [3, useNumber], ["foo", useString], [10, useNumber], ];
ブログにクイズ機能をつけたのでお知らせ どうやったらクイズが表示されるの ブログをスクロールすると生成が開始、生成が完了するとクイズが表示されるようになっています。 スクロールできないような短い文章ならクイズを生成しなくても良いか割り切ってます (クイズの作成のたびにお金がかかるのでちゃんと読んでもらって楽しんでもらえたらうれしいなぁ) 技術的な話 Langchaiとgpt-3.5-turboを使っています。またlangchainでfunction callingで決まったJSON形式でデータを返すようにしてます。 これらはAPIとしてデプロイしてあります。 APIの動作は以下のようになっています。 urlからサイトのデータを取得 サイトのデータ、プロンプトをOpenAI APIへPOST 生成されたデータを返す あとはフロントで選択肢をシャッフルしたり、正解を選択したら正解かどうかを判定
JDK 21のswitch式でpattern match書いたら10倍以上遅い件 - xuwei-k's blog
switch式の結果javapしたらhttps://t.co/xMc0YEYsrg java.lang.runtime.SwitchBootstraps と tableswitch が使われることに気がついたが、これ巨大なswitch式をJDK 21以降で書いた場合、同等の巨大なmatch式をScalaで書くよりも速度が速い可能性があるのでは？？？ これScalaで活用できるか？というと— Kenji Yoshida (@xuwei_k) September 25, 2023 switch式の結果javapしたら https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/lang/runtime/SwitchBootstraps.html java.lang.runtime.SwitchBootstraps と ta
お金がない小中高校生のためのプログラミング入門
私がパソコンを初めて触ったのは小学3年生でした。 当時は親の仕事用のPCに勝手にフリーソフトを入れて遊んでいましたが、自分のPCが欲しくなりジャンクを漁るようになりました。 最初に自分のPCを買ったのは小学4年生だったと記憶しています。 ありがたいことに今は非常に高性能なPCを使えているのですが、このPCを手に入れるまでお小遣いも少なくお年玉も1万円ほどしかなかありませんでした。 今後の後輩のために、お金のない学生がプログラミングに入門するまでの内容を記録しておこうと思います。 この記事のきっかけになったツイートです。 この記事の目的 この記事は以下のような高校生以下の読者を想定した記事です。 プログラミングとかやりたいけどScratchやMinecraftでやるのは違う気がする 親にパソコンを買ってもらえない 独学で勉強したい・誰かに質問できる環境ではない 私の当時の環境 お年玉は500
こんにちは。メディアプロダクト開発部の我妻謙樹です。サーバーサイドエンジニアとして、広告配信システムの開発・運用を担当しています。入社以来広告領域を担当するグループに所属しています。 クックパッドと広告 クックパッドでは、PS に次ぐ売上高を占める主力事業として、広告事業があります。 過去にも、"クックパッドの広告エンジニアは何をやっているのか"（公開日：2015-11-26）という記事が公開されたことがありますが、当時とは技術要素やチーム構成はもちろん、事業をめぐる環境が大きく変わっています。 しかし、上記記事でも述べられている、以下の原則は変わっていません。 クックパッドの広告は、昔から、ユーザさんと広告出稿企業さん、そして私たちクックパッドの3者ともが幸せになる形を模索し続けてきています。 クックパッドを通して、最終的には広告も「価値ある情報」としてユーザさんに届けば、それは広告単価
（ＣＮＮ） １９８６年、打ち上げ直後に爆発した米航空宇宙局（ＮＡＳＡ）のスペースシャトル「チャレンジャー」の断片が、フロリダ州東部沖の海底で見つかった。ＮＡＳＡと米歴史番組専門チャンネル「ヒストリーチャンネル」が１０日に発表した。 断片の大きさは約６メートル。ヒストリーチャンネルで今月から放送予定のシリーズ番組のため、北大西洋で第２次世界大戦中に消息を絶った航空機を捜索していたチームが発見した。 チャレンジャーは８６年１月２８日、打ち上げの７３秒後に空中分解し、搭乗していた７人全員が死亡した。この中には、民間人として初めて宇宙飛行を経験するはずだった教員１人が含まれており、テレビで打ち上げの様子を見守っていた視聴者や全米の子どもたちに大きな衝撃を与えた。 ＮＡＳＡは今回見つかった断片について、チャレンジャーの事故で亡くなった宇宙飛行士や遺族に配慮しながら今後の扱いを検討すると表明した。 断
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます さくらインターネットは、西新宿データセンターにサーバラック・セキュリティシステム電子錠コントローラ「RMS-EL128」を導入した。同システムをさくらインターネットと共同で開発した東京エレクトロン デバイス長崎（TED長崎）が発表した。 RMS-EL128は各ラックに設置された電子錠ハンドルを個別に近距離無線通信（NFC）によって認証／解錠できる。カードキーの通信にはFeliCaとMifareの2方式を採用し、入退室管理システムなどとの共通化が可能だ。 西新宿データセンターでは、オペレーション業務の自動化など運用面の効率化に取り組むことで、データセンター業務の省人化や効率化を進めている。例えば物理鍵を使用したデータセンターのサーバラック
Bambu LabのP1Sという3Dプリンタを買った。少し前に出たばかりの機種で、同じメーカーのP1Pという機種にエンクロージャ（覆い）がついたようなモデルだ。 家庭用の3Dプリンタは安いものなら数万円で買えるが、これは12万円弱で、価格帯としてはミドルレンジにあたるのだろうか。会社の表彰制度で社長賞を頂戴して気が大きくなっていたので、ついに買った。何かを買うときに、少しいいものを選びがちな性分で、安物買いを恐れている。入念にインターネットで検索をして、FDM（熱溶解積層）法で、Core XY方式であり、エンクロージャで覆われている、不具合の少なそうな機種を選んだ。 3Dプリンタを選ぶのは相当に難しいことだ。何を基準に選んだらいいのかも知らないし、進歩が激しい分野だから、状況が変化しやすい。 もしも家電量販店で販売されているような製品であれば、家電量販店の売り場にしばらくいれば、だんだんと
CSS に counters() というのがあって、 1.1 とかをカスタマイズできておもしろい。 counters() - CSS: Cascading Style Sheets | MDN 言 葉 庭 というのをシンボルに使うことにして、繋ぎを の にするとこうなる。 @counter-style kotonohanoniwa { system: fixed; symbols: 言 葉 庭; suffix: " "; } ol { counter-reset: kounter; } ol li { counter-increment: kounter; margin-left: 30px; } ol li::marker { content: counters(kounter, 'の', kotonohanoniwa) ") "; } 実際に ol で見るとこう。 1 1,
原器としてのHHKB
HHKBはプログラマーに愛されるキーボードであると同時に、万能な単位としても有名です。具体的な説明としては、kyoh86さんの次の説明がわかりやすいです。 エイチ エイチ ケイ ビー【HHKB】〔←Happy Hacking Keyboard〕 ① 株式会社PFUが提供する高性能コンパクトキーボード。 比較的廉価でありながら、シンプルかつコンパクトで性能の良いキーボードとして人気がある。 その正式名称からハッピーハッキングキーボード、とも。 ② 長さ、重さ、面積、体積、金額の単位。 「このオーブンの内寸は底面が2───程度だ」 「今月は120───程度しか:spin_keizai:してない」 ─── たんいけい【───単位系】 現在国際的に使用されているガジェット評価の単位系であり、 長さ、重さ、面積、体積、金額の5つをHHKB基準とした物理量として構成し、 またそれの乗法、除法で導かれる
日本の探査機「ムーンスナイパー」、月面で奇跡的に目を覚ます
（ＣＮＮ） 日本の月探査機「ＳＬＩＭ（スリム）」が、月面で息を吹き返し続けている。宇宙航空研究開発機構（ＪＡＸＡ）によると、２月はほとんど休眠状態だった無人探査機ＳＬＩＭが奇跡的に目を覚まし、地球をとらえた新たな画像が送られてきた。ＳＬＩＭは月の過酷な気温に耐えられる設計になっていないことから、予想外の展開だった。 ＳＬＩＭは１月２０日に月に着陸。月着陸を成功させたのは史上５カ国目、今世紀に入って３カ国目だった。 しかし倒立の姿勢で着陸したことから太陽光パネルが西向きになり、日光が十分に当たらず発電量が不足。限られた電力で数時間稼働して、着陸地点の画像を送信した後に休眠状態に入った。 ＪＡＸＡは、月に対する太陽の角度が変わって太陽電池に光が届き、ＳＬＩＭが再び目覚めることに期待をつないでいた。 ＳＬＩＭは狙った場所から５５メートル以内にピンポイント着陸できる精密さから、別名「ムーンスナイパ
はじめに Scala.jsというプロジェクトがあります。 Scalaで書いたプログラムをJavaScriptに変換する、とてもクールなツールです。 ただ、もちろん言語自体が違うため、完全なマッピングが可能な訳ではありません。ベストエフォートでセマンティクスを維持したままJavaScriptに変換しますが、いくつか対応付けが困難なケースがあります。 その中でも特にScalaの Future をJavaScript上でどのように表現するか？ という点に関しては、JavaScriptの深みを知れるとても良い題材だと思ったので、まとめてみようと思います。 ※ 一応Scala.jsをネタに出してますが、Scalaを知らなくても理解できるように書いたつもりです。 ScalaのFuture Scalaには並列処理を行うためのデータ型として Future があります。 Future は、ある時点において利
ScalaのビルドツールMillが生成するUberjarはZIPファイルの面白仕様を使ってシェルから直接実行できるようになっている - Lambdaカクテル
プログラミング言語Scalaで最もよく使われているビルドツールといえばsbtだ。起動しっぱなしのインタラクティブ仕様なsbtがやや鈍重なきらいがある一方、もう1つのビルドツールであるMillが開発されており、こちらではnpmのようなシェル単位の操作体系を指向している。 mill-build.com 単にコマンド体系のみならず、Millには他にも色々と面白い機能がある。例えばsbtと違って標準でassembly、すなわちUberjarへのパッケージング機能が搭載されているという点がありがたい。このUberjarを作る機能に面白い仕組みが盛り込まれていたので紹介するというエントリ。 謎の実行権限 中身を覗く ZIPは任意の場所に任意のデータを封入できる 追記 さて、JVM言語にあまり縁がない読者のために説明しておくと、Uberjarとは、依存する関連モジュールが1つのパッケージにまとめられ、J
四足歩行ロボットのSpotや商用物流ロボットのStretchなどさまざまなロボットを開発するボストン・ダイナミクスが、人型ロボット「Atlas」を完全電動にリニューアルしました。 An Electric New Era for Atlas | Boston Dynamics https://bostondynamics.com/blog/electric-new-era-for-atlas/ ボストン・ダイナミクスが開発してきた人型ロボットのAtlasは、動力に油圧を採用してきました。しかし、新しくなったAtlasは、完全電動の動力に変更されています。新型Atlasは現実世界でのアプリケーションのために設計された完全電動のロボットで、ボストン・ダイナミクスの数十年にわたるロボット開発の成果をベースに開発されたものです。ボストン・ダイナミクスは新型Atlasについて、「産業界で最も困難な課題
と銘打たれた記事で、検索エンジンの改善について説明している。 いわく、アップデート後のGoogle検索では「人間による、人間のための情報」が探しやすくなるという。 というのも、現状のGoogle検索ではスパムボットやSEO対策によって“生の人間の意見”は聞くことができないといわれており、今年2月にあるメディアが発表したレポートでは「検索エンジンとして死んでいる」とまで評された。 とくに顕著なのはレビューや質問文を検索したときで、他サイトの供述を引用したまとめ系のサイトばかりが表示されてわかりにくかったり、質問で調べてもありきたりな回答しか得られなかったりといった具合だ。 日本でも実感されているのかは何ともいえないが、英語圏ではGoogleで意見を検索する際には「検索ワード + Reddit」を入れるのが主流になっていたり、他のブラウザに注目が集まるなど少しずつユーザー離れが進んでいるといわ
ComfyUI 解説 (wiki ではない)
Stable Diffusion の web UI でありバックエンドでもある ComfyUI について、主にアーティスト向けに、内部動作や背景にある理論も含めて感覚的に捉えられるように解説していきます。 (充実しつつある公式 README や公式サンプルに書いてあることは、多分このサイトでは説明しません) 重要な外部リンク ComfyUI 公式リポジトリ ComfyUI 公式サンプル ComfyUI 公式チュートリアル (未完らしい) 有志によるマニュアル (ほぼ準公式) 最近の主な更新 公式に取り込まれた: ConditioningConcat 新ノード: ConditioningZeroOut SDXL 関連のノード追加: CLIPTextEncodeSDXL、CLIPTextEncodeSDXLRefiner モデルの保存が出来るようになった: CheckpointSave SDX
新チームに異動したら、とりあえずPull Request を作るのがよさそう - nakaoka3の技術ブログ
新しいチームに入ったとき、最初に軽めのタスクをもらえると、Pull Request を作ってCIのテストが落ちることで、開発に必要なことが色々と知れるので便利です。 会社で異動があって、2/1付で別のチームに異動になりました。 軽めのタスクをもらって、とりあえずこの辺を変更したらいいかな？くらいで変更して Pull Reqeuset を作ると、CIで実行しているテストが失敗して、このファイルの変更をしたらスナップショットを更新しないといけない、GraphQLのスキーマファイルを変更するとGraphQL Code Generator で型生成をしないといけない、というようなことを指摘してくれます。 最初に全部の説明を聞くのは疲れるし、聞くだけで理解するのは大変です。説明する方も大変だと思います。作業しながらテストが落ちる様子を見ながらやると、手を動かしながら、コードを見ながらなので頭に入って
マルチテナントSaaSのテナント分離をRow-Level Securityに移行した - Sansan Tech Blog
こんにちは、クラウド請求書受領サービス「Bill One」の開発に携わっているソフトウェアエンジニアの加藤です。Bill OneはB2BのマルチテナントSaaSであり、データベースとして Cloud SQL 上のPostgreSQLを利用しています。従来はマルチテナントのデータを分離するために、テナントごとにPostgreSQLのスキーマを分けていましたが、2020年12月にRow-Level Securty（行レベルセキュリティ。以降RLSと表記）による分離に移行しました。 本稿では、移行の背景とRLS組み込みにあたって考慮したポイントをご紹介します。 マルチテナントSaaSのテナント分離 マルチテナントSaaSにおけるテナント分離方法はいくつか知られており、大きく次の3つに分けられます。 アプリケーションの実行環境ごと完全に分離する データベースのみをインスタンスやスキーマで分離する
ジャストアイデアなのでできるかどうかとかは全然考えていない。思い付いたのでメモという感じ。NFTで金儲けみたいな話では一切ないです。そこ勘違いしないよう。 前提 勉強会でタダ飯を喰らう人間がいて迷惑している、という話がITエンジニアならよく知る話だと思うが、これが最近は大きなメディアにも取り上げられだしたようで、一般の人間の識るところとなりつつある。 さいわいにも自分が運営しているScalaわいわい勉強会にはそういう人間は出ていないように思われる（もしかしたら気付いてないだけかも）が、なんでそういう人間が出現するのかというとタダだからである。 タダだから障壁が低くなり、われわれがコストを負担させられるという構造になっている。 有料化すべし そこで、勉強会は有料にするのが良いのではないか、と思っている。有料といっても数万円取るのではなくて、思い留まるくらいであればよい。3000円とか取るのが
先々月あたりに邦訳が出た『データ指向プログラミング』を読んだ。めちゃくちゃざっくり言うとオブジェクト指向における「データと振舞いの一体化」というドグマを手放させるもので、めちゃくちゃざっくり見るとC言語的な構造化プログラミングの世界に回帰するようにも見えることから、世間的には色々な評価があるらしい。 イミュータビリティが良い、みたいな話は重々承知なので適宜飛ばしながら読んだ。また、lodashまわりの話は単なるライブラリ紹介であり、特筆することがないので飛ばした。 こういう感じで言及されている zenn.dev slides.com 自分なりに読んで思ったことをまとめる。面白い本だったし、自分の思想にも近しいものがある。僕は普段ScalaやTSを書いているので、その観点からの感想が多いです。OOPの歴史に詳しいわけではないので、不足があったらすみません。 OOP以前の世界との差異 イミュー
GCP 版 Dataform がついに GA になりましたね。同時に定期実行の仕組みも出て、一通りの機能が揃った感がある。いまこそ買収以前の SaaS 版(Legacy 版)から GCP 版に移行する時!! しかし GitHub リポジトリと連携する場合、登場人物が多くて難しくなっていると思う。 特に GCP に馴染みがなかったりデータ分析がメインの人は困りそう。公式ドキュメントには step by step で書いてあるものの、なぜ必要なのか分からないまま設定することになる。 なので全体像を図にしたり補足するという趣旨のエントリです。 Dataform とは Dataform とは...という話はしません。公式ドキュメントや世間のブログ記事を読もう。 Dataform を使うと、テーブル同士の依存に基づいて順番に SQL を実行してデータパイプラインを作ったり、依存関係を可視化したり、デ
Object.groupBy で作られるオブジェクトの prototype は null - Object.create(null)
おさらい: prototype JavaScript のオブジェクトはみんな prototype というのを持っていて, この prototype からプロパティを継承, より正確には, プロパティアクセス時にそのプロパティがオブジェクトに存在しなければ prototype を辿って見つけにいくことになっている. あるオブジェクトを prototype とした別のオブジェクトを作るには Object.create を使う (あるいは new 演算子や __proto__ を使っても良い). const x = {}; x.foo = "foo"; const y = Object.create(x); y.bar = "bar"; const z = Object.create(y); z.baz = "baz"; console.log(z.foo); // => "foo" conso
米Indiana University Bloomingtonなどに所属する研究者らが発表した「Brain Organoid Computing for Artificial Intelligence」は、実験室で育てた人間の脳細胞をコンピュータに接続して数式を解くことに成功した研究報告である。 keyboard_arrow_down 研究背景 keyboard_arrow_down 研究内容 keyboard_arrow_down 評価 脳がどのように機能しているのかという問いに答える新たな手法として、ES細胞から脳に類似した組織を作る研究が登場した。この組織体は、細胞自身が備えているプログラムに従い、自発的に自身の組織を作る特徴を持つ。このような特徴である組織体は、後に「脳オルガノイド」と呼ばれるようになる。 そして、人工的に多様な細胞へと分化できるiPS細胞の登場により、脳オルガノイ
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Javaの記法を初心者向けに大幅改良、「魅力を高めて若い世代の心をつかむ」
H3ロケットの失敗は短絡の可能性が強まる、具体的な故障シナリオの検討へ
高速光無線通信「Li-Fi」が、AR/VRの未来を切り開く
工数を理由に管理画面のテストを雑にするのはよくない - | ＾ω＾ |
ChatGPT Is a Blurry JPEG of the Web
Minecraft Mod/Pluginを対象としたマルウェア“fractureiser”
【Python】AI高画質化ツールReal-ESRGANのインストール
グーグルがメール送信者に求める厳しい要件、「ワンクリック登録解除」とは何か
Scala 3のマクロTips 100連発 - 貳佰伍拾陸夜日記
○ー○ー○○ー○ー○ーに当てはまる言葉をWikipediaから探してくるツールを自作した - Lambdaカクテル
先回りするコツとミカドメソッドという手法 - id:onk のはてなブログ
モニターヘッドフォンとコンデンサーマイクを“ガッチャンコ” オーテクがストリーマー向けヘッドセット
ispaceの月面着陸失敗、理由はクレーター地形の影響でプログラムが誤動作か
TypeScriptでexistential typeが欲しくなったときはカプセル化で我慢しよう
ブログにクイズ機能をつけた
2019 年度版：クックパッド x 広告領域の紹介 - クックパッド開発者ブログ
スペースシャトル「チャレンジャー」の残骸、海底で発見 空中爆発から３７年
さくらインターネット、データセンターのラック解錠業務を無人化
3Dプリンタを買った - cockscomblog?
CSSのcounters()で箇条書きの数字をカスタマイズできておもしろい - hogashi.*
JavaScriptでScalaのFutureを表現する
ボストン・ダイナミクスが人型ロボット「Atlas」を完全電動でリニューアル
「Google」がようやく「まともな検索結果」を表示するようになるらしい
【やじうまPC Watch】 Red Bull、全開走行のF1カーを自在に撮影できるドローン。4秒で300km/hまで到達
勉強会タダ飯人間問題を暗号通貨とNFTでなんとかしたい - Lambdaカクテル
『データ指向プログラミング』読んだ / OOP以前とDOPとの対比と差分などについて - Lambdaカクテル
Google Cloud 版 Dataform と周辺リソースの図 - ぽ靴な缶
育てた人の脳細胞をコンピュータに接続、生きたAI「Brainoware」で学習し数式を解くことに成功【研究紹介】