Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
きゅーけー@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)
生きてる間こんなことをずっと思いついてしまって、生活に身が入らない
🦉@aaa (2025-12-03 01:39:19)
tinyapインスタンスのユーザーが外部ユーザーを数百万人フォローしたときには、SQLiteの書き込みがボトルネックとなってしまうだろうけど、そんなことは起きないか
たかし@tak4 (2025-12-03 00:38:32)
HTMLでPRE要素にCSSで折り返しを設定するのは最適解の一つかも
フォームやテキストエディターで入力した文章は全て整形済みテキストだ
たかし@tak4@mstdn.y-zu.org (2025-12-03 00:12:44)
キーボードの交換とかできる人、凄い
わたしはレッツノートを分解した時にトラックパッドの線が取れてダメになったことがある
たかし@tak4@mstdn.y-zu.org (2025-12-03 00:10:59)
@risahana りさドンこんばんはー🌈 🌈 :nutria:
たかし@tak4@mstdn.y-zu.org (2025-12-03 00:07:52)
いい!
~~~~~~~~~~
[https://msk.ilnk.info/notes/afs99op8c2]
Coro@Coro@mstdn.maud.io (2025-12-02 22:45:50)
ガレージで新しいインターネットサービスプロバイダーを立ち上げた男 | Freethink DIY Science - YouTube
https://youtu.be/p52PY_cwIsA
Coro@Coro@mstdn.maud.io (2025-12-02 21:49:03)
人類の気候変動対応、先延ばしにする夏休みの宿題みたいになってるな。
たかし@tak4 (2025-12-02 19:23:26)
正直、FLOSSに傾倒してから創作がしづらくなった
どうしてもテキスト中心になってしまふ
たかし@tak4 (2025-12-02 19:20:40)
windowsではgiamといふgif編集ソフトがあり簡単にgif動画を作れた
これに匹敵するFLOSSを知らない
Coro@Coro@mstdn.maud.io (2025-12-02 19:15:30)
米アップル、インド政府のプリインストール命令を拒否へ＝関係筋
https://jp.reuters.com/markets/global-markets/SMBQ3BU325LWRHQTOY4XADCTRA-2025-12-02/
たかし@tak4 (2025-12-02 19:10:49)
gifは良い画像形式かも
軽いし動画も作れる
Older Notes