Xのエンジニア、「いいね」タブを全ユーザーで非表示にするとポスト
米Xで一般ユーザーのプロフィールから「いいね」を表示するタブが消えているといういくつかのポストを受け、同社のエンジニアリング担当ディレクターのワン・ハフェイ氏は5月22日、「はい、いいねを非公開にしています」とポストした。 ハフェイ氏は非公開にする理由として、「公開いいねは間違った行動を助長します。たとえば、“荒らし”（嫌がらや差別的なポスト）や自分の印象を守るためにインパクトのあるポストにいいねするのをためらう人はたくさんいる」と説明した。 いいねの本来の役割である、ユーザーがどんなポストにいいねしたかに基づく「For You」フィードの品質向上は継続するとしている。 この投稿に対し、X（旧Twitter）の共同創業者で元CEOのジャック・ドーシー氏が「いいねとブックマークの違いはなんですか？」とコメントし、ハフェイ氏は「いいねはいいねした人とされた人（いいねされたポストの投稿者）には表
｢食紅でスコーンをピンクにしようとしたら臓器に...｣どうしても〇〇にしか見えないおもしろ料理失敗シリーズがXで大流行、いいね順バズツイートまとめ
逆にどうやって作ったのか教えて欲しい
存在するはなぜ二階の述語なのか｜ミック
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
「ゲバルト」展が東京日仏学院などで開催。反暴力的反応とその美的様式を探る
「ゲバルト」展が東京日仏学院などで開催。反暴力的反応とその美的様式を探るゲバルト団体（アレクサンドル・タルバ、平居香子、宮内芽依、アントワーヌ・ハルプク、ガーリン）の主宰により、反暴力的反応とその美的様式を探る展覧会 「ゲバルト」展が、東京日仏学院、CAVE-AYUMI GALLERY、セッションハウスで開催される。会期は5月18日〜6月16日。 制度の暴力のなかで特定の芸術形態がどのように発展していくのかを示そうとする展覧会「ゲバルト」展が、東京日仏学院、CAVE-AYUMI GALLERY、セッションハウスで開催される。会期は5月18日〜6月16日。キュレーターはアレクサンドル・タルバ。 本展を主宰するのはゲバルト団体（アレクサンドル・タルバ、平居香子、宮内芽依、アントワーヌ・ハルプク、ガーリン）。2023年5月に東京で設立された芸術的・政治的団体であり、キュレーション集団として構想さ
WebAssembly所感
WebAssemblyをちょっといじってみて思ったところをまとめてみます。 設計思想 WebAssembly/designに設計文書がまとまっています。特にHighLevelGoals.mdから読み取れるポイントは以下の4点です。 サンドボックス化された環境であること。 移植性があること。つまり、特定の実CPUアーキテクチャ等に依存しないこと。 少なくともC/C++の(十分に高速な)コンパイルターゲットとして機能すること。 安定した仕様を持つこと。 サンドボックスという観点からは、先行技術として以下のようなものが特筆に値します。 Webサンドボックス JavaScript および asm.js Javaアプレット Flash (ActionScript) NaCl, PNaCl Web以外のサンドボックス OSのユーザーランド、特にLinux userland これらのサンドボックスとの比
「ktkr」「希ガス」「ｷﾎﾞﾝﾇ」なんかは死語ネタとして擦られすぎてるのでもっと誰も覚えてないスラングを使っていけ
やみえん @Yamien_san いいか、「ktkr」「希ガス」「ｷﾎﾞﾝﾇ」なんかは死語ネタとして擦られすぎてる 「いいえ、ケフィアです」みたいな、誰も覚えてないネットスラングを使って生きていきなさい 2024-05-13 18:21:48
さよなら、8ビットCPU「Z80」：757th Lap
誕生して48年、長く愛された8ビットCPU「Z80」。いよいよ、生産が終了されるらしい。今も組み込み系システムなどで利用されているというが、Z80がなくなっても問題ないのだろうか。 「Z80」と聞くと、懐かしく感じる人もいることだろう。1970年代後半から1980年代にかけて、当時主流だった8ビットコンピュータの多くでCPUにZ80が採用された。 一部は互換チップではあったものの、国産PCでいうと「PC-6001」「PCｰ8001」「MZｰ80K」「MSXシリーズ」など、多くのZ80搭載機種が存在した。個人向けコンピュータ以外にも、ゲーム機や音楽機器など電子製品に幅広く採用されている。 そんなZ80の生産がついに終了するという。いやいや、「まだ、生産されていたの？」と思う人もいるだろう。2024年となった今も組み込みシステムなどさまざまな機器での需要があるというが、今も必要とする業界に影響
距離化不可能な位相で入門（？）する距離空間
どうもこんにちは ごててんです 喉が渇きました 位相、みなさまのご家庭にも1,2個あると思いますが 今回はその位相を扱っていきます この記事の目標は「距離化可能でない位相空間の例」を1つ紹介することです ...だったのですが ちゃんと距離空間の部分を書いてみたら 位相の登場が相当後になってしまいました 距離空間を3秒でも勉強したことがある人は本編から読んでください（） 多分距離空間の部分より短いですが 具体的な予備知識 → 集合, 写像, 直積, 集合族, ユークリッド空間, 三角不等式, (開集合) この記事では$0$を自然数に含めません（含める派ですが） 記事の流れはい それなりにわかりにくい構成になると思うので ここで記事の流れをまとめておきます 距離空間を定義 → 開集合を定義 → 位相空間を定義 → 距離化可能を定義 → 本題 → 距離空間の性質を調べる → 距離化できない例を証
『ゴジラxコング』はアメリカンプロレスの怪獣版だ！ 言葉を喋らないのに理解できる驚き
オレの名前はキングコング。デカい猿の怪獣だ。地底世界の戸亜留地区で暮らしてるが、オレには同族の仲間がいねー。人間は嫌いじゃねーけど、種族が違う。ゴジラ？ あんな凶暴だけのヤロー、仲間じゃねーよ（ここで「あ？」とキレるゴジラの小さいコマ）。 で、仲間を探す旅をしてたんだけどよ……仲間どころか、スカーキングっていうクソ野郎と出会っちまった。弱いもんイジメばっかして、地上も支配したいだと？ なめてんじゃねーぞ！ （格闘シーン／コングがスカーを相手に格上感を出す） キングコング「キングって名乗るわりにゃ、大したことねーな。オレが知ってる地上のキングは、テメーの100倍は強いぜ」 スカーキング「くっ……くくく、なんでテメーとタイマン張らなきゃなんねーんだよ！ おい、シーモを呼んでこい！」 キングコング「なっ、こいつは……!?」 こうした髙橋ヒロシ的なやり取りの末に、コングはスカーキングとシーモの二大
LINEみらい財団「これからのデジタル社会で生きる力を養う」
情報モラル教育教材「SNSノート（情報モラル編）」を 全国の学校での授業活用を目的に開発、無償提供 2018.09.26 その他の取り組み 情報モラル教育 お知らせ ※本取り組みは現在、LINE株式会社から一般財団法人LINEみらい財団に移管しています。 LINE株式会社は、2020年度以降の新学習指導要領の全面実施に向け、全国の地域や学校で、児童・生徒が発達段階に応じて体系的に情報モラルを学習できるように、新教材「SNSノート（情報モラル編）」を開発し、無償で提供いたします。 本教材は、東京都教育委員会とLINEで共同開発した「SNS東京ノート」（※１）のエッセンスを取り入れました。東京都内の16校の教員と児童・生徒に実施した「SNS東京ノート」の効果測定（※２）では、教員の85％が「情報モラル教育として適切である」、74％が「授業で使いやすい教材である」と評価。小学生～中学生の80％以
読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち
マザーボードのUEFIで動くIRCクライアントが誕生
UEFIはPCのOSが起動する前段階に実行されるプログラムで、IRCは端末やOSに依存することなくクライアント同士でチャットできるツールです。これらを組み合わせ、IRCをUEFIで利用できるようにした「UEFIRC」をソフトウェア開発者のフィリップ・テン氏が開発しました。 An IRC client in your motherboard | Phillip Tennen https://axleos.com/an-irc-client-in-your-motherboard/ UEFIRCを使ってUEFIからIRCサーバーに接続する様子が以下の通り。 UEFIRC Demo - YouTube テン氏は「UEFIRCはRustで書かれていて、独自のGUIツールキットとTrueTypeレンダラーを活用しています。マザーボードの快適なプリブート環境から、IRCサーバーに接続したり、チャットを
Automattic製WordPressローカル開発環境Studioが爆誕 – Capital P – WordPressメディア
WordPress.comを運営するAutomatticから新たなWordPress用ローカル開発環境としてStudioが発表された。現在、Mac版しか存在せず、Windows版は準備中のようだ。 どこか（wordpress.org）で見たような左ペインのデザイン……同じ人がデザインしてる？ ダッシュボード。ボタンを押すとブラウザが立ち上がる。 WordPress Playgroundをベースにしているので、サイトが爆速で立ち上がる。サイトを開いてみると、管理バーの右に「SQLite」と書いてあるので、やはりPlaygroundで動いていることがわかる。 管理バーにはSQLite このサイトでもすでに取り上げたLocal by Flywheelがスタンダードとなりつつある気配だったが、ここに来て新たなツールが加わった。Localと比較すると…… たしかにStudioは早いが、別にLocal
動的計画法を実現する代数〜トロピカル演算でグラフの最短経路を計算する〜 - Qiita
トロピカル半環と呼ばれる代数構造上のトロピカル行列を利用すると動的計画法を使ってグラフの最短経路の距離を計算するという問題が単純な行列積で解けてしまうらしい。そんな噂12を聞きつけて我々はその謎を解き明かすべく南国（トロピカル）の奥地へと向かった。 トロピカルな世界に行くためにはまずは代数を知る必要がある。要するに群・環・体の話だ。しかしこの記事の目的は代数学入門ではないので詳しい話は他の記事3に譲るとし、さっそく半環という概念を導入する。それは 半環は以下の性質を満たす二つの二項演算、即ち加法（和）"$+$" と乗法（積）"$\cdot$" とを備えた集合$R$を言う $(R, +)$ は単位元 $0$ を持つ可換モノイドを成す: $(a + b) + c = a + (b + c)$ $0 + a = a + 0 = a$ $a + b = b + a$ $(R, \cdot)$ は単
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
しょうもないものを見つけたときに「見て見て！！」をする相手がいない人間にとって、Twitterは最高→続々と集まる小さな奇跡
Gitの仕組みと用語 / GitHub Term
おたくの語源―”非”大塚英志史観の『漫画ブリッコ』再検証―岡崎京子・桜沢エリカ・白倉由美は誰かデビューさせたか?
データベースでユニークキーにUUIDを使うメリットは何ですか？連番やタイムスタンプまたは複合などではいけないのでしょうか？どうも視認性が悪く使いにくく感じますし連番でも衝突しない気もします。
パンティーマンガってなくね？
ymils（イム）⚡ on X: "ディスコードの方で、「イギリスのＩＷＦが日本の架空のイラストもＣＳＡＭとして規制する様に主張している」って話で、具体的な物があればＵＲＬを教えて欲しいです、って質問を受けたので調べていたのだけど、とんでもない記事を見つけてしまった。"