2024-7-20 - @kakkun61@pawoo.net님의 게시물

23:36:34 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

Austral で四則演算 REPL を作ろうとしてるけど文字列比較関数から作ってる #AustralLang

22:06:42 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

Span[T, R] を ToralOrder のインスタンスにしようとしたけど R = リージョンが同じの Span ってそれ同一か

21:35:04 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-05-07 22:37:19 S4ika님의 게시물 nixie_8808@misskey.io

This account is not set to public on notestock.

21:33:25 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ほおん
> The type `Nat8` is not a type parameter, but generic instances must use either all type parameters or none of them in the argument.
>
> Consider adding another generic parameter with universe `Free`

21:12:10 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 14:09:56 玉井님의 게시물 Vi2@misskey.io

This account is not set to public on notestock.

20:55:51 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

TotalOrder 型クラスのインスタンスが Nat8 しか用意されてなくて「んなぁ」ってなってる

20:51:15 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 20:39:36 あっきぃ님의 게시물 akkiesoft@social.mikutter.hachune.net

Raspberry Pi PicoでTOTP表示機をつくりたい (2) - あっきぃ日誌

https://akkiesoft.hatenablog.jp/entry/20211209/1638976467

https://akkiesoft.hatenablog.jp/entry/20211209/1638976467

Raspberry Pi PicoでTOTP表示機をつくりたい (2)

20:39:47 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 20:27:39 色谷あすか님의 게시물 sikitani_asuka@misskey.io

This account is not set to public on notestock.

20:39:44 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 20:38:03 Cynical@skeb募集中님의 게시물 cynical04@misskey.io

This account is not set to public on notestock.

20:29:19 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 20:29:09 ろってんぴざ 님의 게시물 RottenPizza_@misskey.io

This account is not set to public on notestock.

20:08:49 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 18:37:02 あっきぃ님의 게시물 akkiesoft@social.mikutter.hachune.net

まって、なんか思ってたのと違うのがきたし、よくみたら1200円で絶望してる。ただしうまい

20:06:04 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 20:05:15 ねこうめ＠マガポケ連載中님의 게시물 nekokota_koume@misskey.io

This account is not set to public on notestock.

19:56:36 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-16 18:15:48 さくらがおか🔞

님의 게시물 sakuragoka_dr@misskey.io

This account is not set to public on notestock.

19:16:49 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2023年にやめてた

19:07:02 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

韓国の年齢ややこしそう

19:00:11 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

「年齢のとなえ方に関する法律」年齢って唱えるんだ

18:51:41 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

やはり Konica C35 買うか

18:51:27 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

NHK が「日本の人が写真を撮るときピースサイン（V サイン）をするのは Konica C35 の CM のせい」だと言っている
https://plus.nhk.jp/watch/st/g1_2024071931980

https://plus.nhk.jp/watch/st/g1_2024071931980

18:31:19 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

腐ってはなさそうなので食べる

18:30:56 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

賞味期限の切れたパックおでん、味が変わってる

18:12:57 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 18:12:08 日本同人誌コード管理センター님의 게시물 isdn@misskey.io

This account is not set to public on notestock.

18:11:43 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 18:10:07 NHKニュース 🤖님의 게시물 nhk@phalanstere.social

バングラデシュで大規模デモこれまでに学生など105人 #死亡 - NHKニュース
http://www3.nhk.or.jp/news/html/20240720/k10014517641000.html

http://www3.nhk.or.jp/news/html/20240720/k10014517641000.html

バングラデシュで大規模デモこれまでに学生など105人死亡 | NHK

18:10:51 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 12:04:27 花見沢Q太郎님의 게시물 873Q@misskey.io

This account is not set to public on notestock.

18:03:04 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 18:02:06 堀出井靖水님의 게시물 horideiyasumi@misskey.io

This account is not set to public on notestock.

17:56:45 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 14:10:33 "ζ"님의 게시물 zetamatta@mstdn.jp

This account is not set to public on notestock.

17:52:21 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

どれが end でどれが end if や end while みたいに種類付きなのか覚えられない #AustralLang

17:48:05 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-13 09:37:41 ZooAnime님의 게시물 ZooAnime@pawoo.net

This account is not set to public on notestock.

17:47:47 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

break や continue はないみたい？ #AustralLang

17:46:19 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@omasanori わいわい

17:45:16 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@omasanori Yes! たぶん Java Swing 製 https://www.jmri.org/

https://www.jmri.org/

JMRI: A Java Model Railroad Interface

17:42:11 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 16:04:57 正気・腕力・犬님의 게시물 tsukimikaze@misskey.io

This account is not set to public on notestock.

17:39:49 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

JMRI 使うために Bluefin 使おうと思ってたけど Flatpak で提供なさそう？ https://flathub.org/apps/search?q=jmri

https://flathub.org/apps/search?q=jmri

Search for ''jmri'' | Flathub

17:36:01 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 17:35:47 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io

Bluefin/Aurora、Flatpakで提供されてないGUIアプリケーションを動かすのはだるい

17:26:41 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

Firefox OS（の後継）生きてたんかワレ

17:26:11 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 17:23:52 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io

https://ascii.jp/elem/000/004/211/4211070/

KaiOS搭載で日本語対応の折りたたみケータイ「Orbic JOURNEY Pro 4G」、1万9800円で発売

17:21:41 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

そうなんだ

17:21:37 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 17:21:26 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io

KaiOSってFirefox OSの末裔のKaiOSか？！

17:21:04 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

寝てたけど起きて洗濯物取り込んだ

17:20:31 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 17:09:44 ニーシュリペア님의 게시물 niesch_repair@misskey.io

This account is not set to public on notestock.

14:01:50 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 14:01:05 mzp님의 게시물 mzp@mstdn.nere9.help

「口座にはbitcoinがあるのですが、私は日本に住んでおらず、アクセスできません。そこであなたに代わりに引きだしてほしいのです」「まずは証拠金を私に送金してください。大丈夫です、引き出しに成功したら、10倍の額をお返ししますよ」

14:01:46 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 13:59:49 真白雪夜님의 게시물 1yukiya1@misskey.io

This account is not set to public on notestock.

13:58:07 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

いただきますね

13:56:27 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 13:56:11 mzp님의 게시물 mzp@mstdn.nere9.help

「私はアメリカにすんでいません」ってのに同意しないと先にすすめない

13:56:25 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 13:55:54 mzp님의 게시물 mzp@mstdn.nere9.help

bitflyerにbitcoinが30万円分ほど入ってるっぽいけど、日本在住でなくなった今アクセスする手段がない

13:50:25 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@toshi_a おしり拭いた？

13:31:59 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

しゅみぷろぐらみーん

13:06:59 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 13:03:20 正気・腕力・犬님의 게시물 tsukimikaze@misskey.io

This account is not set to public on notestock.

12:48:31 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

おなかすいた　あと洗濯物干さなきゃ

12:33:45 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 12:32:38 シャポコ🌵님의 게시물 shapoco@misskey.io

This account is not set to public on notestock.

12:29:18 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ReFS ボリュームつくった

12:28:34 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 12:27:53 PFL님의 게시물 OrizeySakura@misskey.io

This account is not set to public on notestock.

12:28:27 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

「Format」ボタン（フォーマットをするボタン）が「フォーマット」じゃなくて「形式」になってた #Windows11

12:26:23 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 12:12:20 正気・腕力・犬님의 게시물 tsukimikaze@misskey.io

This account is not set to public on notestock.

11:53:01 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 02:20:15 整形してもブサメンです☭🚩님의 게시물 KotaniMadoka@pawoo.net

This account is not set to public on notestock.

11:27:35 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

CLI のエラーメッセージまでマイクロソフト語だ～

11:25:13 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 11:24:49 あっきぃ님의 게시물 akkiesoft@social.mikutter.hachune.net

https://x.com/gtmhouse/status/1808615765966532828

内装リニューアルじゃなくて、わしが帰省してるあいだに火事で燃やしてたらしい……

11:21:17 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

k7s な単語はやらせてえ

11:12:44 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 11:11:41 うねうね畝님의 게시물 toshi_a@social.mikutter.hachune.net

This account is not set to public on notestock.

11:12:43 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 11:11:06 あっきぃ님의 게시물 akkiesoft@social.mikutter.hachune.net

ウオ！行きつけの町中華が内装リニューアル工事やっとった

10:52:56 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 10:51:41 そすうぽよ

님의 게시물 prime@mstdn.poyo.me

This account is not set to public on notestock.

10:50:36 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

Misskey ではうまく見れない投稿
f `fmap` [0..]

10:49:23 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-10 13:47:19 玉井님의 게시물 Vi2@misskey.io

This account is not set to public on notestock.

10:40:29 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

Hyper-V 仮想マシンシャットダウン後の結合処理がなかなか終わらない

10:31:26 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

地政学的ひやっしー

10:25:27 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 10:25:15 Masaki Hara님의 게시물 qnighy@qnmd.info

This account is not set to public on notestock.

10:05:58 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 09:35:56 zunda님의 게시물 zundan@mastodon.zunda.ninja

そういえば選挙の看板の写真を撮ってきたよ。

布地のものを左右の棒で支えてるタイプ

布地のものは壁にぶらさげることもできる

プラスティックの板(コルゲードボード)に2本細い針金が付いていて地面に刺すタイプ

角材を地面に刺すやつもある

10:05:40 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 09:43:10 森島コン님의 게시물 kon_004@misskey.io

This account is not set to public on notestock.

10:03:35 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 09:13:36 Masanori Ogino 𓀁님의 게시물 omasanori@mstdn.maud.io

現在Twitchでライブ配信中 - https://www.twitch.tv/omasanori?sr=a で見てね！

遊びに行きたかったけれど調子が出ないので家でもくもくと https://github.com/omasanori/tree-sitter-hare を書く。お昼ごろまで。

https://www.twitch.tv/omasanori?sr=a

Twitch

https://github.com/omasanori/tree-sitter-hare

GitHub - omasanori/tree-sitter-hare: Hare grammar for tree-sitter

10:00:31 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-07-20 09:52:37 おさ님의 게시물 osapon@mstdn.nere9.help

ポモドーロタイマー、個人的には集中しているときに中断入る方が精神的に良くなかったので、やめちゃった。togglは使ってるけど、記録されてる時間が10分だったり3時間だったりする。

09:57:07 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ポッドキャストで聞いてる

09:56:11 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

👂️ NHK ラジオニュース https://www.nhk.or.jp/radionews/

https://www.nhk.or.jp/radionews/

NHK ラジオニュース

09:33:28 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

👀 クマゼミ|セミ図鑑|セミ大調査|NHKシチズンラボ https://www.nhk.or.jp/citizenlab/semi/zukan_a_2.html

https://www.nhk.or.jp/citizenlab/semi/zukan_a_2.html

クマゼミ|セミ図鑑|セミ大調査|NHKシチズンラボ

09:32:04 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

熊蝉かも……

09:23:48 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

午前に起きると油蝉が聞けるよ

09:12:36 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

なんでドイツフランススペイン各空軍来てるの？

09:12:00 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ｵﾊﾖ

월	화	수	목	금	토	일
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

월	화	수	목	금	토	일
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

월	화	수	목	금	토	일
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31