Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Coro@Coro@mstdn.maud.io (2025-12-04 10:13:19)
satorus1207さんの評価【クラウドワークス】
https://crowdworks.jp/public/employers/5456740
Coro@Coro@mstdn.maud.io (2025-12-04 10:04:22)
日本称賛系、技術系、中国批判系など海外の反応YouTube動画の【素材&Vrew編集】のお仕事【1本2,000円〜4,000円】のお仕事(YouTube動画作成・編集) | 在宅ワーク・副業するなら【クラウドワークス】 [ID:12699562]
https://web.archive.org/web/20251201214826/https://crowdworks.jp/public/jobs/12699562
Coro@Coro@mstdn.maud.io (2025-12-04 09:13:43)
印政府、スマホへの国営アプリ搭載命令を撤回 個人情報入手への懸念強く | ロイター
https://jp.reuters.com/world/us/FWYC7PKYDJPCJC425K6DFGEWLA-2025-12-03/
Coro@Coro@mstdn.maud.io (2025-12-04 06:59:01)
bloomberg、日本語版のドメイン変わったな。(以前は .co.jp だった)
https://www.bloomberg.com/jp
Coro@Coro@mstdn.maud.io (2025-12-04 06:52:53)
米商務長官「韓日の対米投資7500億ドル、米原発建設に投入」 : 日本•国際 : ハンギョレ新聞
https://japan.hani.co.kr/arti/international/54883.html
Coro@Coro@mstdn.maud.io (2025-12-04 06:35:57)
ウランと太陽光パネルを同じ金額購入し壊れるまで使ったとして生成される電力量を比較して
https://gemini.google.com/share/bd27863b3bac
Coro@Coro@mstdn.maud.io (2025-12-04 06:19:52)
25年から30年は機能する太陽光パネルと比較してもだいぶ短いな。
Coro@Coro@mstdn.maud.io (2025-12-04 06:16:27)
一般的な原発で使う燃料棒が機能するの5年程度なのか... (原潜や空母は濃縮率が高く50年ほど使える)
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さんちのこ => 誰???
Older Notes