Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
🦉@aaa (2025-12-13 13:53:44)
昨日の晩から鶏肉を漬け込んである
あとは揚げるだけ
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2025-12-13 13:12:27)
こんなに寝たのは数年ぶりかも分からんね。視界がいつもより鮮やかに見える……。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-13 13:02:43)
AIにさっきのコードを投げると、{} が特別な場合だから起きるんだ！普通は起きないんだ！変なことしなければTypeScriptは普通は大丈夫なんだ！とうるさいので記事のコード例を少し変えた。
```
const convert = <T, S>(value: T, witness: S): S => {
const obj1 = { a: witness, b: null } satisfies { a: S, b: null };
const obj2 = { a: value, b: null } satisfies { a: T, b: null };
const f = (x: { a: T, b: null }): { b: null } => x;
const obj = { ...obj1, ...f(obj2) } satisfies { a: S };
return obj.a;
};
```
https://qiita.com/tojoqk/items/1e37896757f847c97948
Rikuoh Tsujitani@riq0h@letter.mystech.ink (2025-12-13 12:55:35)
寒すぎて10時間くらい寝てた！！！！！！
Coro@Coro@mstdn.maud.io (2025-12-13 12:47:00)
7日間、自分の部屋に太陽光発電を導入しました - YouTube
https://youtu.be/qBSx0PuZego
Coro@Coro@mstdn.maud.io (2025-12-13 12:08:38)
mstdn.maud.io Advent Calendar 2025 13日目の記事です！GeoGuessr で出た場所を実際に巡る話を書きました。
https://shmug.hatenablog.com/entry/2025/12/13/120000
sh-mug@mug@mstdn.maud.io (2025-12-13 12:00:48)
mstdn.maud.io Advent Calendar 2025 13日目の記事です！GeoGuessr で出た場所を実際に巡る話を書きました。
https://shmug.hatenablog.com/entry/2025/12/13/120000
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-13 11:23:50)
TypeScriptはas, !, is, anyをすべて避けたうえで安全性を高めるすべての tsconfig を書いた上であらゆるリンターを有効にした上で危険
たかし@tak4 (2025-12-13 09:30:07)
有難うございます! これで更に使ひやすくなりました
たかし@tak4 (2025-12-13 09:24:54)
持つべきものは友
たかし@tak4 (2025-12-13 09:06:11)
結局、朝見てもllvmをビルドしてゐたので停止してmake cleanした
たかし@tak4 (2025-12-13 09:03:02)
有難うございます!
本当ですね! pkg_info -Q rust で出ないので使へないものだと思ってゐました
コシヌケ1040@ksnk@pawoo.net (2025-12-13 06:00:33)
ほ〜ん。なんだか取り付け騒ぎみたいな感。
https://www.itmedia.co.jp/news/spv/2512/12/news051.html
くらげ先生@kurage@misskey.io (2025-12-13 03:13:53)
---Attachments---
image: https://media.misskeyusercontent.com/io/9c869732-c18e-4cb8-a218-0f62d33d1997.webp?sensitive=true
諏訪子@suwako@sns.076.moe (2025-12-13 03:12:03)
【アセンブリ言語】x86-64 vs AArch64 vs RISC-V vs Power ISA
https://technicalsuwako.moe/blog/asm-x64-aarch64-riscv-power
【Assembly Language】x86-64 vs AArch64 vs RISC-V vs Power ISA
https://technicalsuwako.moe/enblog/asm-x64-aarch64-riscv-power
コシヌケ1040@ksnk@pawoo.net (2025-12-13 02:16:19)
@sayunu あ～、たしかに横方向だけだ。それでかぁ。
🦉@aaa (2025-12-13 02:11:47)
ぼくのほう(OpenBSD 7.8)では、
pkg_add rust
pkg_add sqlite3
..
cargo build --release
だけでいけました
白湯さゆぬ@sayunu@mofu.kemo.no (2025-12-13 02:03:33)
@ksnk 横方向だけボヤッとするのが実に「走査線」って感じです。（ウエブ上の画像を参考にして再現してみました。）
コシヌケ1040@ksnk@pawoo.net (2025-12-13 02:00:00)
@sayunu なるほど、それであの当時の感じが再現されてゐるわけですねぇ。あとボヤッとした黒フチといふかシャドウがアナログって感じ。ああ、なつかしいなぁ…。
白湯さゆぬ@sayunu@mofu.kemo.no (2025-12-13 01:52:31)
@ksnk ラテン大文字についてはビデオデッキとかの文字と同じ画素数なので、やっぱり似た雰囲気になりますね。それ以外の文字は自由な大きさで描きましたけれども。
コシヌケ1040@ksnk@pawoo.net (2025-12-13 01:29:54)
@sayunu なにこれすごい！ 90年代前半のビデオデッキ、録画予約設定画面がこんな感じだったなぁ。
コシヌケ1040@ksnk@pawoo.net (2025-12-13 01:28:56)
漢字が「漢」「字」しかないので使えないけど、総仮名で楽しく使える感じではあります。
#書体 #フォント #ピクセルフォント
https://cdn.masto.host/mofu/media_attachments/files/115/706/874/432/828/394/original/fe5ce9da8a2f74bd.png
🦉@aaa (2025-12-13 01:21:40)
たしかに他のサーバーの投稿者に迷惑をかけるのは良くないと思い、フォローしていないと表示されないようにしました。
vvykg@vvykg@misskey.flowers (2025-12-13 01:09:52)
public test 4
vvykg@vvykg@misskey.flowers (2025-12-13 00:58:45)
public test 2
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-13 00:58:26)
TypeScriptに対していままで過度な期待をしていたことがよくわかったのでそれは本当によかった。
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-13 00:48:52)
12月中に定理証明の記事を投稿することを目指して執筆しているというのに、貴重な時間をしょうもな矛盾の存在証明に使ってしまった。
Jack@watson554@misskey.gg (2025-12-13 00:37:51)
今年も終わりかあ…早いなあ……。
まあ、でも楽しかったからいいや。うん。
今年はすげー楽しかった。活動者として始めたし、1000再生もとれたし、自分の人生を生きる意味や軸を見つけられたから嬉しいかな、うん。すごい良い年だったよ
たかし@tak4 (2025-12-13 00:27:54)
portsからRustをインストール中だが、pkg_addの必要なパッケージが更に2つあった
順調に進んだので放置して今みたらllvmをビルドしてゐるところだった
pkg_addで済むものは先にpkg_addで入れておけばよかったね
ノートパソコンで試さずいきなりサーバーで実行したのは幸ひだった
最終的にtinyapのビルドと実行を試したいので
きゅーけー@tojoqk@mastodon.tojo.tokyo (2025-12-13 00:22:50)
TypeScript、一見安全そうにみえる7行のコードで任意の型(neverを除く)になりすませるというこの現実。
```
const convert = <T, S>(value: T, witness: S): S => {
const obj1 = { a: witness } satisfies { a: S };
const obj2 = { a: value } satisfies { a: T };
const empty = (): {} => obj2;
const obj = { ...obj1, ...empty() } satisfies { a: S };
return obj.a;
};
```
https://qiita.com/tojoqk/items/1e37896757f847c97948
Older Notes