Home | Notifications | New Note | Local | Federated | Search | Logout

Federated Timeline


おだら@s3_odara@mastodon.hakurei.win (2025-12-18 15:37:50) @relay がちかー

たかし@tak4 (2025-12-18 15:19:30) 諸々の会員登録にprotonmailを使用中だけどUIが重いので違ふサービスに乗り換へたい

特務機関NERV@UN_NERV@unnerv.jp (2025-12-18 14:59:46) 【NHKニュース速報 14:59】
安倍元首相銃撃事件の裁判
検察は山上徹也被告に無期懲役を求刑
#ニュース #NHKニュース速報

きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 14:37:04) 今年中の公開を目指してACL2の紹介記事を書いているけど一向に終わりそうにない。

きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 14:35:47) ACL2が継続的にメンテンナンスされていてかつ安定して使えるのはCommon Lispが安定していることの恩恵を受けてる説ありそう。

きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 14:34:52) 今あえてCommon Lispというのもいいのかもしれないなとぼんやり思っている。注目されていて勢いのあるプログラミング言語はエコシステムの流行り廃りも激しいから書いたコードがすぐ《腐り》始めるのが悩みどころなんだよな。

Masanori Ogino 𓀁@omasanori@mstdn.maud.io (2025-12-18 14:16:12) 今あえてCommon Lispというのもいいのかもしれないなとぼんやり思っている。注目されていて勢いのあるプログラミング言語はエコシステムの流行り廃りも激しいから書いたコードがすぐ《腐り》始めるのが悩みどころなんだよな。

もちもちずきん🍆@Yohei_Zuho@mstdn.y-zu.org (2025-12-18 14:15:57) 最近「プログラマー」って言葉あんまり聞かなくなったよね

きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 14:13:31) 宣伝文句で分からなくても普通に口コミで流行ってくんじゃないかなぁとおもってる。「ブラウザを選択する」という考え方すら存在しない状況に選べるようなるわけで、選べる以上は話題として成立するようになるから。

きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 14:12:33) 下記記事のスクショによると、Braveの宣伝文句はこうなっている。

> ad block でウェブのデータ通信節約 高速アドブ…

ここは広告が表示されにくくなり、ギガの節約になるといった表現に変えないと、よくわからないとスルーされそうな気がする。
ad blockと言われて何なのかを理解できる人なら、もうBraveの存在くらい知っていそうなもので、現状の宣伝文句では、チョイススクリーンで初めてBraveを知る人に訴求できるとは思えない。

スマホ新法でアップルが外部アプリストア受け入れ準備、ブラウザーは選択制 | 日経クロステック(xTECH)
https://xtech.nikkei.com/atcl/nxt/column/18/00001/11359/

名前戻せ@dekisugi@mstdn.maud.io (2025-12-18 14:11:28) 下記記事のスクショによると、Braveの宣伝文句はこうなっている。

> ad block でウェブのデータ通信節約 高速アドブ…

ここは広告が表示されにくくなり、ギガの節約になるといった表現に変えないと、よくわからないとスルーされそうな気がする。
ad blockと言われて何なのかを理解できる人なら、もうBraveの存在くらい知っていそうなもので、現状の宣伝文句では、チョイススクリーンで初めてBraveを知る人に訴求できるとは思えない。

スマホ新法でアップルが外部アプリストア受け入れ準備、ブラウザーは選択制 | 日経クロステック(xTECH)
https://xtech.nikkei.com/atcl/nxt/column/18/00001/11359/

きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 13:47:32) チョイススクリーンがもたらす新しいインターネットにワクワクが止まらないね

きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 13:42:54) チョイススクリーンでBraveがじわじわと広がっていくのではないかと予想してる。
不適切な広告表示に困っている親御さんのコミュニティなどで爆発的に流行してもおかしくない。

きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-18 13:40:57) チョイススクリーンをみたかったけど、悲しいことに Android 15 にアップグレードできないらしく見れなかった。

:onmyou:‮:vc:‭Charlie Root‬@relay@mastodon.hakurei.win (2025-12-18 12:13:45) 思想の強いマニフェストファイル
communist.manifest

たかし@tak4 (2025-12-18 11:47:28) 電子メールを連絡手段として使ふのが難しい
ISPのメールアドレスを使ふのがいいかも
連絡用なのでアドレスが変更になったらホームページなどで告知すればいい
(わたしは家族と同居なので無理)
メールクライアントが使用できることは必須

たかし@tak4 (2025-12-18 11:35:36) ネチケットについて調べた
わたしも守れてゐないところがあった
ただし気にする必要が無いものもある
(リンクの際リンク先の管理者に連絡するなど)
それでも大半は今でも通用すると判断した

コシヌケ1040@ksnk@pawoo.net (2025-12-18 09:46:03) あたしゃ〜、ってANNでよく言ってたもんなチャンドは。
https://x.com/i/status/2001387389101707546

:onmyou:‮:vc:‭Charlie Root‬@relay@mastodon.hakurei.win (2025-12-18 09:37:03) @s3_odara 多分結構前から

Rikuoh Tsujitani@riq0h@letter.mystech.ink (2025-12-18 08:29:52) 市井ではSNSの持続可能性というのは実のところあまり考慮されておらず、束の間の利便性のために情報量と網羅性を高め続けてくれる方がありがたく、いざとなったら爆発して跡形もなく消えてくれる方が都合が良い(中途半端に持続されると集団的な移行に差し支えるため)と考えている節がある。

Rikuoh Tsujitani@riq0h@letter.mystech.ink (2025-12-18 07:32:00) 夏の話をするのはさすがに気が早すぎないか?

Rikuoh Tsujitani@riq0h@letter.mystech.ink (2025-12-18 07:31:19) 花柄のアロハシャツを着て気温38度の街を闊歩したすぎ。

コシヌケ1040@ksnk@pawoo.net (2025-12-18 05:05:23) 素人知識で作られたサウナで亡くなったお二人かはいさうすぎる。

🦉@aaa (2025-12-18 00:35:12) はやい並列処理のためにだいたいGoかRustか選ぶことになり、GoogleとGCが嫌だから僕はRustにした
でも処理(httpとか)の小さいメモリをたくさん確保するとglibcはOSに返さずキャッシュする
BSD libcはたぶんOSに返す
そういう環境の違いに左右されにくいからGCもありなのかもしれない
言語自体Goは良いようだしいつか基本ぐらいは見よう

Jack@watson554@misskey.gg (2025-12-18 00:29:51) @tak4@tinyap.izkluxcvy.foo

ありがとね。まあ、たかし君は物流はやめときな。怒声とか胸どつくとかそういうのが日常茶飯事だから。ただ何とかするよ。
心配してくれてありがとね

Rikuoh Tsujitani@riq0h@letter.mystech.ink (2025-12-18 00:12:49) 当然ながら土曜日もアバター新作の良席がとれず……。

Rikuoh Tsujitani@riq0h@letter.mystech.ink (2025-12-18 00:04:07) 開封から一週間経ったシュトーレンの身が引き締まってきた。これからますます美味しくなっていくだろう。

Jack@watson554@misskey.gg (2025-12-17 22:05:25) うん、今日の音声で現場の問題が全てつまってるから、それが大事だよね

Coro@Coro@mstdn.maud.io (2025-12-17 21:42:42) 考えてみれば当然出来るな...

Coro@Coro@mstdn.maud.io (2025-12-17 21:36:41) https://welcome.nostr-jp.org/faq.html#what-is-broadcast
Older Notes