Aisanazman Marukwamy (愛沙奈まみ) @marukwamy 異教徒がキリスト教に改宗すると「異教徒のまま死んだお前の祖先たちは全員地獄におり、救済は不可能」という世界観を受け入れなければなりません。私の調査地のクリスチャンもそのことを教えると大体狼狽して一体どうすればいいのかと聞いてきます。でもそういう教義の宗教なのでどうにも出来ません。 twitter.com/petty_bonitas/… 2022-09-03 17:42:50 ☕petty_bonitas🍰 @petty_bonitas これ何度も書いてるけど、自分はオセアニアで「仏教徒は地獄に落ちるんだ!」「Godだけが正しいのだ!」とキリスト教徒に勧誘されたので、如何に統一教会の洗脳が酷いか言われても、宗教はどこもそんなもんだと思ってしまう。 2022-09-03 11:49:26 Aisanazman M
いつもはてなブックマークをご利用いただき誠にありがとうございます。はてなブックマーク開発チーム、ディレクターのid:yone-yamaです。 ブラウザ版はてなブックマークで、新機能「あとで読むランキング」をリリースしたほか、機能改善を行いましたのでお知らせいたします。 (1)あとで読むランキング 「あとで読むランキング」を提供する背景 (2)ブラウザお知らせ枠 (1)あとで読むランキング ブラウザ版はてなブックマークのトップページに「あとで読むランキング」を追加しました。 これは「あとで読む」タグが付いたエントリーの中から、ブックマーク数が多い上位6つのエントリーを週間・月間ランキングで閲覧できる機能です。 「あとで読むランキング」を提供する背景 「あとで読むランキング」は、先日実施したユーザーインタビューでお寄せいただいた「過去に人気だったエントリーを読みたい」というご意見や、「あとで読
はじめに 通常のプログラムは実行時(ランタイム)に1 + 1など様々な計算を行う。一方でコンパイラーを持つ言語では、コンパイラーの型検査やジェネリクスなどの機構を利用して、コンパイル時にも計算を行うことができる。このようなプログラミングを、コンパイル時に検査・推論される“型”[1]に注目して型レベルプログラミングと呼ばれる。 ランタイムの計算の中にはたとえばwhile(1);のような簡単な計算で無限ループといった停止しない状況に陥いることがある。コンパイル時にできる計算でこのように無限ループに陥いってコンパイルが停止しなくなってしまったら、プログラムを実行することなく自明なエラー(型があってないとか、Rustであればfreeするタイミングが自明でないなど)を検出しようというモチベーションが崩壊してしまう。したがってコンパイル時にできる計算とはランタイムに比べて非常に限定された計算しか許可さ
マンガやイラストをデジタル上で作画する際に使用されるお絵描きソフトウェアの「CLIP STUDIO PAINT(クリスタ)」上で、テキストから画像を自動で生成してしまうAI「Stable Diffusion」を動かすことが可能なプラグイン「NekoDraw」が登場しました。NekoDrawはGitHub上で公開されており、テキストから画像を生成する「text2img」と、画像からより高精細な画像を生成する「img2img」の両方に対応しています。 GitHub - mika-f/nekodraw: NekoDraw: CLIP STUDIO PAINT plugin for executing Stable Diffusion txt2img and img2img processor. https://github.com/mika-f/nekodraw 「Stable Diffusio
はじめに Linuxを使っているみなさんは普段からLinux上で様々なコマンドを実行していると思います。それらを識別するときに「コマンド名」という単語を使っていると思いますが、文脈によってこの単語が意味するものは異なります。本記事ではLinuxカーネルがいうところのコマンド名がどういうものかについて書きます。 一番最初に短い結論、その次に具体的な説明、そして最後にこれについて調べようとしたきっかけ、およびその後の調査プロセスについて書きます。 結論 Linuxカーネルから見たコマンド名は実行ファイル名のbasename(ファイル名からディレクトリ部分を除いたもの)の先頭15バイト カーネルのメモリ内のプロセス(正確にはカーネルレベルのスレッド)ごとに存在するtask_structという名前の構造体の中のcommという16バイトのフィールドにNULL終端文字列として格納されている カーネルの
1.DALL-E2やStable Diffusion等の拡散モデルの動作原理と説明がつかない事まとめ ・拡散モデルは画像に加えたノイズを除去して元画像を復元する事を学習をする ・学習済モデルは純粋なノイズから画像を復元できるようになりこれが画像生成 ・学習時のノイズはガウスノイズの必要があると思われていたがそうではなかった 2.拡散モデルの動作原理とは? 以下、twitterのTom Goldstein(@tomgoldsteincs)さんの拡散モデルの動作原理に関する投稿の意訳です。昨日の調査をしている際に見つけた一連のtweetでわかりやすくとても興味深い解説でした。 アイキャッチ画像はstable diffusion #DALLEや#StableDiffusionのような拡散モデルは画像生成の最先端ですが、それらがどのようにして動作しているかの理解はまだ始まったばかりです。このスレッ
プログラミング言語C標準規格における改行文字(new-line character)と改行コードCR, LFとの関係性について。 まとめ: C標準規格ではプログラム内部で扱う「改行文字」と、外部ファイルにおける具体的なCR, LF等の「文字コード」を区別する。*1 *2 改行文字をファイル上でどう表現するかについて何ら規定しない。CR/LFを使わない方式も想定されている。 UNIX互換システムの場合、改行文字==改行コードLF(0x0A)となる。 Windows OSの場合、改行文字は2個の改行コードCRLF(0x0D 0x0A)で表現される。 上記のような改行コードによる行区切り表現だけでなく、メタ情報を利用した行区切り位置表現、長さプレフィックスと文字列データ表現、固定長レコードと特殊パディング文字表現(!)*3など、多種多様なテキストデータの表現方式を許容する。 仮想ターミナルなどの
“AIが連想する”単語を当てる? 関連性が高いほど高得点 テトリス風の「単語消しゲーム」をプレイした:遊んで学べる「Experiments with Google」(第18回)(1/2 ページ) 「Experiments with Google」は、Googleが人工知能(AI)や拡張現実(AR)といった最新技術の可能性を示すために、実験的な応用例を紹介するショーケースだ。膨大なコンテンツを公開しており、その多くはスマートフォンやPCで試せる。 この連載では、多種多様な応用例の中から興味深いものをピックアップ。実際に遊んだ体験レポートを通して、裏側にあるテクノロジーや、技術の活用方法とその目的を解説する。 読者の皆さんも、ぜひ自分の手で試しながらその仕組みを学んでもらえたらうれしい。きっと、最新技術の魅力に気付くはずだ。 テトリス風のブロック消しゲーム「Semantris」 連載18回目の
この本では、実際に手を動かしてブログサービス用のAPIサーバーを作りながら ・net/httpやdatabase/sqlのような、動く「もの」を作るために必要なGoの標準パッケージ ・HTTP通信やレイヤーアーキテクチャ・テストの実行・エラー処理の概念といった、プロダクト開発には必要なIT基礎知識 ・チャネルやゴールーチン、といった中級者向けの文法とその使いどころ を学ぶことができます。 「Goの基本的な文法はわかったぞ!次は何をやろうかな?何ができるかな?」という方におすすめです。 【もくじ】 イントロダクション 第1章 HTTPサーバー 第2章 構造体と json の扱い方 第3章 データベースの扱い方 第4章 ユニットテスト (基礎編) 第5章 サービス層の作成 第6章 アーキテクチャ大改装 第7章 エラー処理 第8章 ユニットテスト (応用編) 第9章 ミドルウェアによるロギング
導入に際し、ドキュメントに書いてないこととか色々あってつらかったため、軽くメモ代わりに投稿しておきます。 また、Prusti を使う最も簡単な方法は VSCode の拡張である Prusti-Assistant を使うことですが、Vimの使用を見越しコマンドだけで使えるようにアレコレ設定しました。 Prusti の紹介 プログラミングにおいて、関数に対してプログラマが明示的に制約を課すことはよくあります。 例えば、次のような単純な関数 max を考えます。 fn max(x: i32, y: i32) -> i32 { let result = if x > y { x } else { y }; result } さて、この関数は次のような性質を持つことが期待されます。 resultはx以上かつy以上 resultはxまたはy そういった情報は多くの場合ライブラリのドキュメントなどに書い
開発・運用の現場から、IIJのエンジニアが技術的な情報や取り組みについて執筆する公式ブログを運営しています。 こんにちは。IIJ Engineers Blog編集部です。 IIJの社内掲示板では、エンジニアのちょっとした技術ネタが好評となって多くのコメントが付いたり、お役立ち情報が掲載されています。 今回は、すでにお気づきの方もいるかもしれませんが、いつの間にか HTTPS 証明書の Common Name の検証が禁止 になっていた件について紹介します。 HTTPS 証明書の検証手続きは、RFC2818 で「Subject Alternative Name があればそれで、なければ Common Name を見よ」となっていました。 If a subjectAltName extension of type dNSName is present, that MUST be used as
試してたらたまたまVisual Studio Code(vscode)のdevcontainer(Remote Container)が、Remote SSH経由でリモート環境でも使えることを知ったので、devcontainer用の環境構築方法やdevcontainerの構築方法についてまとめてみた 今まではローカル環境のdockerか、codespaceでしか利用できないのかなと思っていたのだけど、リモート含めて利用できるとかなり便利そうな印象だったので一通り試してみました 最近はRemote SSHでリモート環境を利用するケースが多いのでリモート環境で使えないならそんなに使えないかなと思ってたんだけど、普通にRemote SSH経由でdevcontainer使えたのでかなり便利そうだった devcontainerについてはこちらを参照してもらえればと はじめに 結論から言うと以下のような
The content is based on Patterns.dev - a free online resource on design patterns and component patterns for building powerful web apps with vanilla JavaScript and React. The patterns covered on this website and in the workshop can guide you when facing a problem other developers have encountered many times before, but are not a blunt tool for jamming into every scenario. The goal is to raise aware
Amazon Web Services ブログ データサイエンス100本ノックが SageMaker Studio Lab からすぐに学べるようになりました 2022 年夏の甲子園は、決勝で満塁ホームランが出る記録的な試合となりました。球児が野球のノックを受けるのなら、エンジニアが受けるノックは何でしょう ? 本記事では「データサイエンス 100 本ノック(構造化データ加工編)」を Amazon SageMaker Studio Lab で簡単に学ぶ方法をご紹介します。データサイエンス 100 本ノックは、データベースのテーブルや CSV ファイルといった表形式のデータから欲しいデータを取り出す方法を学べる教材です。 GitHub で公開されており、 2022 年 8 月時点で 1,800 を超える Star がつけられています。 データサイエンス 100 本ノック(構造化データ加工編)ト
Chrome開発チームがSQLiteチームとWebAssembly版SQLiteを開発中。Webブラウザ上からのファイル書き込みで永続化も可能。Web SQL APIの代替として Google Chromeの開発チームは、すでに非推奨となっているWeb標準のWeb SQL Database APIをChromeから削除、その代替機能としてSQLite開発チームと協力してWebAssembly版のSQLiteを開発し、提供する予定であることを明らかにしました。 Chrome is deprecating and eventually removing Web SQL! Read @tomayac’s post that details all the steps for getting there. [We are here] Chrome 105 shows a deprecation w
ウェブ制作で React(Next) や Vue(Nuxt)、jQuery が最近どれぐらい使われているのか調べてみたdate2022.9.4(Sun.)tagsweb developmentFrontendJavaScript ウェブアプリケーション開発で React や Vue を使うのはよくある話かなと思うのですが、マーケティングや広報活動など広告クリエイティブ系のウェブサイト制作ではどれぐらい使われているのかなと思い、暇つぶしにリサーチしてみました。 調査方法母集団ウェブギャラリーサイトをいくつか見て比較的国内系のセレクトが多そうな https://io3000.com/ さんから 2022 年に紹介されている 175 件と、ウェブサイトのアワードサイトとして有名な https://www.awwwards.com/websites/ さんで 2022.8 以降に Winner と
本文の内容は、2022年8月29日にAlejandro Villanuevaが投稿したブログ(https://sysdig.com/blog/26-aws-security-best-practices/)を元に日本語に翻訳・再構成した内容となっております。 Well-architected フレームワークの最も重要な柱の1つは、セキュリティです。したがって、AWSセキュリティベストプラクティスに従って、不測なセキュリティの事態を防止することが重要です。 さて、あなたは問題を解決するために、ソリューションを構築してホストする目的でAWSに着目しました。アカウントを作成し、コーヒーを淹れてワークステーションに座り、設計、コーディング、ビルド、デプロイをする準備はすべて整いました。しかし、そうではありません。 ソリューションの運用性、安全性、信頼性、パフォーマンス、費用対効果を高めるには、多く
ズボラさんも股関節が硬い人も必見! テレビを見ながらでもできて腰痛も緩和してくれる、最新股関節ストレッチ情報をアメリカからお届けします。 ヨガマット不要!すき間時間にできる股関節の可動域を広げるストレッチ アメリカで「90/90(ナインティーナインティー)」と呼ばれているこのストレッチは、股関節の可動性を高め腰痛などの痛みを軽減する効果的な方法の1つです。このストレッチで効く部分は、大臀筋、梨状筋、大腰筋、股関節屈筋、股関節外転筋、股関節内転筋など、股関節包を取り巻く多くの筋肉。ヨガマットなどがなくてもどこでもチャレンジできるので、日常に手軽に取り入れられるのもうれしいですよね。すき間時間や、ながらトレーニングとしてぜひ行ってみてください。 股関節に効く「90/90」ストレッチとは 【基本】両膝を90度、足首を直角に曲げる ①右脚の股関節を外側に広げ、膝は90度、足首はフレックス(90度)
眼鏡を何十本か持っているそれなりの眼鏡オタクとして言いたい。 似合う眼鏡を探すために一番重要なことはこれだけです。これさえ気をつければまず失敗しません。 ズバリ サイズ感を適切に合わせること。 これに尽きます。 もちろん肌色とフレームの色の相性や、顔のパーツや体つきと眼鏡の存在感のバランスといった要素もあることはあります(補足として次の記事でちょっと書いてます)。 しかし“似合う眼鏡”を探す時、なによりも真っ先に大事なのは、眼鏡のサイズ感です。 ということで、数々の眼鏡を買ったり試着したり、多くの優秀な眼鏡屋さんと会話した結果導き出した「似合う眼鏡のサイズ感」について、3項目で具体的に解説します。 基本的に男女や体型を問わず適用できます。 1. 眼鏡の左右方向(横幅)のサイズ感 似合う眼鏡のサイズ感で最も重要なのはこれ。横幅のサイズ感です。 具体的には ・レンズの左右方向の中央と、瞳孔の外
フランス国立図書館のビデオゲーム・アーカイブに収蔵されているマグナボックスの家庭用ゲーム機「オデッセイ」(2022年8月4日撮影)。(c) BERTRAND GUAY / AFP 【9月4日 AFP】仏パリ・セーヌ(Seine)川のほとりにあるフランス国立図書館(Bibliotheque Nationale de France)には、あらゆる形式のビデオゲーム約2万タイトルが収蔵されている。カートリッジから、フロッピーディスク、CD-ROMに至るまでで、今後も年間2000タイトルが追加される。 収蔵は、1992年に制定されたマルチメディア記録の保存に関する法律に基づき進められており、20人体制で管理している。 同図書館のビデオゲームのアーカイブ責任者ローラン・デュプイ(Laurent Duplouy)氏は「ビデオゲームはグラフィックアート、ナラティブアート、ストーリー構造が組み合わされた総
うめ @zuka_kyun 夏も終わりなので、怖かった話。 娘が中学生だった時の音楽発表会での司会男子の言葉。 「この曲は僕たちが生まれる前に作られました。今も色あせない名曲です。聞いてください、BUMP OF CHICKENの天体観測」 周りの親がすごくザワついたよ。 そんなに時が経っていたのか…。 2022-08-31 20:46:59 うめ @zuka_kyun いいね、リツイートありがとうございます。 ちなみにその後も 「続いても僕たちが生まれる前からある曲です。聞いてください、MONGOL800の小さな恋のうた。」と続き、遠い目をした保護者の屍が増えていきましたよ。時の流れはあっという間ですね。 2022-09-01 15:41:45 うめ @zuka_kyun バズったら宣伝!ということで趣味の宝塚歌劇について😊明日9/4 13:30から花組千秋楽公演のライブ配信があります!
2022年3月1日(火)、スペイン・バルセロナのFira de Barcelona会場で開催されたMWC Barcelonaの2日目の基調講演で、Amazon Web Services(AWS)のCEOであるアダム・セリプスキーが講演を行った。Angel Garcia/Bloomberg ニューヨークのナスダック証券取引所で最高経営責任者(CEO)が終業ベルを鳴らすのは、たいてい自分の会社が株式公開されたばかりだからだ。6月27日にアダム・セリプスキーが鳴らしたのは、取引所との提携を祝うためだった。彼は、ハイテク企業のクラウドコンピューティング部門であるアマゾン・ウェブ・サービス(AWS)のボスであり、この取引は、取引所が株式市場をAWSのクラウドに移行する一環として行われたものだ。ナスダックの顧客は、証券取引所のプラットフォームを通じて、機械学習(ML)などAWSの高度な分析ツールを利用
文章を入力すると画像を生成してくれるAI「Stable Diffusion」は、手軽に好みの画像を生成できることから大きな注目を集めており、「NMKD Stable Diffusion GUI」や「Artroom Stable Diffusion」などWindowsに簡単にインストールできる実行環境が数多く開発されています。「Stable Diffusion web UI」もStable Diffusionを簡単に操作できるシステムの一つで、参考画像を指定して好みの画像を生成しやすくする「img2img」に対応していたり、各種設定をスライダーで簡単に設定できたりと使い勝手の良さが際立っていたので、導入方法をまとめてみました。 GitHub - hlky/stable-diffusion https://github.com/hlky/stable-diffusion/ --ULTIMATE
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く