Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Coro@Coro@mstdn.maud.io (2025-12-04 05:28:20)
自分が使う道具を、自分で作ると...たのしい！
Coro@Coro@mstdn.maud.io (2025-12-04 05:21:26)
‘End-to-end encrypted’ smart toilet camera is not actually end-to-end encrypted | TechCrunch
https://techcrunch.com/2025/12/03/end-to-end-encrypted-smart-toilet-camera-is-not-actually-end-to-end-encrypted/
Coro@Coro@mstdn.maud.io (2025-12-04 05:19:48)
world of tanks、アップデートしたら CPU の使い方がうまくなったのかかなり軽くなってる気がする
🦉@aaa (2025-12-04 03:25:05)
小さなページに文字を公開することは自分を落ち着かせるから、やっぱり作ってよかった
🦉@aaa (2025-12-04 02:44:17)
あれもしたほうがいいとか一から書き直したいとかいくらでも思ってしまうけど
そういうときは一度離れたほうがいいかもしれない
そもそもこれ以上の機能も性能も必要としていないんだ
🦉@aaa (2025-12-04 02:35:18)
自分が作ったところへは投稿したいって気持ちが生まれるなー
Coro@Coro@mstdn.maud.io (2025-12-03 22:47:28)
mastodon が日本で広まったの(2017-04)って2DVTuberが流行る(2018) より前なのか (キズナアイの初公開は 2016-12)
たかし@tak4@mstdn.y-zu.org (2025-12-03 22:46:52)
@kyokolisianthus マストドン!
たかし@tak4 (2025-12-03 22:41:28)
時間の限られる平日の夜には文章を書いて休日はたっぷりとプログラミング系のことをしよう
たかし@tak4 (2025-12-03 22:39:07)
負荷がかかった時の対応も折込済みなのはDBMSの利点の一つですねー
大規模サーバーの実際の負荷を数字で見ると安心できます
判断のために事実を知ることって大切...!
Coro@Coro@mstdn.maud.io (2025-12-03 22:07:34)
【マクドナルドの歴史】年間30億個もハンバーガーを販売する世界最大級のファストフード・チェーン、マクドナルドの知られざる歴史に迫る｜ザ・フード ～アメリカやみつきスナック #11 - YouTube
https://youtu.be/trqidgIIj14
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-03 21:57:40)
ACL2がいろんなヒューリスティックを駆使して自動で定理証明するのはまさに実用Common Lispに書いてあるヒューリスティックな探索の話に通じるように思う。
🦉@aaa (2025-12-03 21:56:49)
(mysqlやpostgresqlのようなデータベースは整合性を保ちながら同時書き込みをすることができます。sqliteはファイルなのでそれは無理ですね。)
フォローに制限をかけるのはactivitypub全般であることのようですね。
ただ、最大規模のmisskey.ioですら月間リクエストが50億、秒間2000もないようです。(これは相当ですが)
秒間2000ならsqliteでもなんとかなる、本当に杞憂のようです👻
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-03 21:55:32)
PAIPの日本語訳の実用Common Lispをペラペラと呼んでいた結果、いま自分がACL2を使って定理証明をしているのはかつてのAI研究の成果を享受しているのだということがわかった。
Coro@Coro@mstdn.maud.io (2025-12-03 21:49:52)
映画 I, Robot (2004) (時代設定2035) の旧式ロボット NS-4 くらいの見た目と動きをしている。この分野1年で相当進んだな
---
EngineAI T800: Born to Disrupt! #EngineAI #robotics #newtechnology #newproduct - YouTube
https://youtu.be/FGcQqyCaG5s
Coro@Coro@mstdn.maud.io (2025-12-03 21:31:41)
EngineAI T800 BTS Footage: Setting the Record Straight on CGI Rumors - YouTube
https://youtu.be/Ts7oiCRK5Qw
masso@masso@mastodon.sdf.org (2025-12-03 21:25:38)
@tojoqk どっちかというとオブジェクトシステムとしてはCLが独特で、それは当時のAIのフレーム理論システムを扱おうというところにありました。これらはプロトタイプ的なクラスに属さないインスタンスを扱う必要があったからみたいですね。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-03 21:23:17)
@masso
総称関数の特異点だから特異メソッドと呼んでいたところを、メソッドを関数ではなくメッセージだと考えているシステムに同じ名前のまま別の解釈によって導入した結果なんですね。
結果として目的としても機能としても違うものになっているのにもかかわらず関連づけられているのは奇妙な話ですね…
Coro@Coro@mstdn.maud.io (2025-12-03 21:09:11)
また誤Favしてました...(すいません)
masso@masso@mastodon.sdf.org (2025-12-03 21:03:11)
@tojoqk 井田昌之先生がeql specializerを紹介するのに特異点を想像したためにそんな解説を書いたのをmatzがシンギュラーという解釈でrubyに取り込んだという流れですね。挙動については、metaclass構造の違いが動作に表われてきてるのではないかと思います。rubyはsmalltalkと同じ構成なので
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-03 20:58:15)
最近Rubyの特異メソッドという概念をしっかりと把握したのだけど、CLOSのeql specializerとはやりたいことが全然違う機能であることがわかった。CLOSの方は特定のシンボルとか数値に対してディスパッチするのがメイン機能であって、eql と equal で意味が変わるようなものを指定するためのものではないと思う。
特異メソッドはCLOSを参考にしたというのは事実なのだと思うけどなんだかCLOSへの誤解をうむのではないかと感じる。。。
Coro@Coro@mstdn.maud.io (2025-12-03 20:41:51)
オリキャラ、名前わからないがち。
うちのこ => 誰？
よこのこ => 誰？？
OXさんちのこ => 誰？？？
🦉@aaa (2025-12-03 20:32:16)
通知の仕組みを変えたので古い通知は壊れています
Coro@Coro@mstdn.maud.io (2025-12-03 19:58:07)
nitter、今見たらRSSのボタンも配信も消えてる。
Coro@Coro@mstdn.maud.io (2025-12-03 19:55:27)
このペロブスカイトの画期的な進歩は太陽光発電を永遠に変える可能性がある - YouTube
https://youtu.be/8Eh9m4U7GGk
諏訪子@suwako@sns.076.moe (2025-12-03 11:12:11)
おい、もしかしてあたし、Unreal Engine 5でMMO作っちゃおうかな
ネイティブ40pで動かしてアップスケールで4Kにして、4FPSでフレーム生成かけて120FPSにするやつ
他のプレイヤーは全員裏でChatGPT、Claude、Copilotが動いてる
サーバーはAWSのDockerで回してCloudflare経由で、Bitcoinブロックチェーン上に構築
5分ごとに進む為に「ゲーム内実質価値ゼロ」のNFTをリアルマネーで強制購入させる
2ヶ月ごとに8000円の新DLC発表
ログインするのに年齢確認必須
全キャラクターを車椅子のデブなゲイ・レズビアンに変更
ストーリーは全部「気候変動」と「トランスジェンダー問題」について
此れで顧客の100％を永遠に失うかもしんけど・・・
でも見てくれよ此の金！金！金！
少なくとも投資家たちがバンバン金をつぎ込んでくれるおかげで
あたしは一瞬で数兆円長者になれるよねぇ？ ねえねえ！！
Coro@Coro@mstdn.maud.io (2025-12-03 07:08:20)
蚊がなんの役に立つんだよ？の答え、3D プリンタのノズルになる とかいう誰も想像しなかった世界になったな
たかし@tak4 (2025-12-03 02:05:08)
交流サイトのフォロー解除は絶交の意味だと受け取られやすく
フォロー解除する側もしばしば絶交の意味でフォロー解除するものだと思ふけど
APでは配送を調節する手段として有効であってほしい
そもそも交流サイトだけがネットの人付合ひではないのだ
たかし@tak4 (2025-12-03 01:53:00)
それを上手く処理できる方法は興味深いですが
ボトルネックになったらフォロー関連に何らかの上限を設けるのが簡単さうです
たとへば1000人フォローしても本当に1000人の全ての投稿を四六時中読みたいわけではないはず...
🦉@aaa (2025-12-03 01:40:13)
生きてる間こんなことをずっと思いついてしまって、生活に身が入らない
Older Notes