02:44:56 @omasanori@mstdn.maud.io
2022-11-01 01:23:58 ほたの投稿 hota@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

02:49:07 @omasanori@mstdn.maud.io
icon

柊マグネタイト - トリガーハッピー feat. 可不 youtu.be/6yRl1tQ6y4U

Attach YouTube
02:57:53 @omasanori@mstdn.maud.io
icon

空より蒼い街『空回りライブラリ』Official Lyric Video youtu.be/D5pemWEZv8Q

Attach YouTube
03:00:18 @omasanori@mstdn.maud.io
2022-11-01 01:05:39 まぜうさぎ🔞の投稿 maze_mix@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

03:00:21 @omasanori@mstdn.maud.io
2022-11-01 01:05:57 まぜうさぎ🔞の投稿 maze_mix@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

03:09:27 @omasanori@mstdn.maud.io
2022-10-31 23:14:50 国道12号の投稿 codomo@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

06:59:37 @omasanori@mstdn.maud.io
icon

オリジナルTVアニメ「Do It Yourself!! ーどぅー・いっと・ゆあせるふー」OPテーマ『どきどきアイデアをよろしく!』 youtu.be/8jOQmPx2Mjk

Attach YouTube
09:25:20 @omasanori@mstdn.maud.io
2022-11-01 08:54:30 画眩の投稿 ggagen@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

09:25:23 @omasanori@mstdn.maud.io
2022-11-01 08:54:33 画眩の投稿 ggagen@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

09:25:28 @omasanori@mstdn.maud.io
2022-11-01 09:19:54 ふゆ@ぱぅの投稿 winterzeit@pawoo.net
icon

2022-10-31

Attach image
09:25:47 @omasanori@mstdn.maud.io
2022-11-01 09:18:32 HardenedBSDの投稿 HardenedBSD@bsd.network
icon

このアカウントは、notestockで公開設定になっていません。

09:53:16 @omasanori@mstdn.maud.io
2022-10-31 23:07:53 🐴てばさき*Δ(新刊委託中)👣🍺の投稿 silenxe@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

09:54:26 @omasanori@mstdn.maud.io
icon

【歌ってみた】ゾンビ/宇志海いちご youtu.be/d8unSpvCUWQ

Attach YouTube
09:54:50 @omasanori@mstdn.maud.io
2022-11-01 09:53:21 たこの投稿 Ikasumi331@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

09:58:40 @omasanori@mstdn.maud.io
2022-11-01 09:55:23 たこの投稿 Ikasumi331@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

10:01:24 @omasanori@mstdn.maud.io
2022-11-01 09:55:52 おさの投稿 osapon@mstdn.nere9.help
icon

ATP、Hubzillaみたいにアカウント移動できるってことか。うーん、サーバ運営者側に負荷が大きすぎないかなぁ。

10:04:34 @omasanori@mstdn.maud.io
icon

アカウントが移動できるというよりはアカウントはサーバーと結びついていなくて、サーバー(PDS)はクライアント同士がP2Pでやり取りする代わりにデータを預かる存在みたいな印象

10:04:57 @omasanori@mstdn.maud.io
2022-11-01 10:00:21 Masayuki Hattaの投稿 mhatta@mastodon.social
icon

このアカウントは、notestockで公開設定になっていません。

10:14:34 @omasanori@mstdn.maud.io
icon

PDSはひとりで立てるよりはある程度集まった方がよさそうな感じだけど、あまり集まってもせっかくインデックスサービスを分離できるようにしたりしてるあたりが活用されなくてという感じ

10:15:49 @omasanori@mstdn.maud.io
icon

Public Domain Softwareの話ではない

10:26:41 @omasanori@mstdn.maud.io
2022-11-01 10:15:34 あんの🔞の投稿 10bit@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

10:26:53 @omasanori@mstdn.maud.io
2022-11-01 10:26:29 やまこの投稿 yamako@fedibird.com
icon

このアカウントは、notestockで公開設定になっていません。

10:51:41 @omasanori@mstdn.maud.io
icon

精神が終わってきた

10:54:53 @omasanori@mstdn.maud.io
icon

"What UNIX Cost Us" - Benno Rice (LCA 2020) youtu.be/9-IWMbJXoLM

Attach YouTube
10:55:39 @omasanori@mstdn.maud.io
2022-11-01 10:55:27 ぽぷんじゃ(サブ垢)の投稿 popn_ja@popon.pptdn.jp
icon

このアカウントは、notestockで公開設定になっていません。

11:00:32 @omasanori@mstdn.maud.io
icon

【これは奇跡】憶測だけでダイソー500円無線マウスを魔改造してみた youtu.be/Csg6b_p7iFg

Attach YouTube
11:01:33 @omasanori@mstdn.maud.io
2022-11-01 07:57:39 松浦はこ :fedibird1: fedibirdの投稿 matsbox@fedibird.com
icon

ハロウィンがおわったのであちこちが颯爽とクリスマスイブ&クリスマスになります!!!

#暦擬人化

Attach image
11:26:42 @omasanori@mstdn.maud.io
2022-11-01 06:39:37 ムーの投稿 mumumer@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

11:35:46 @omasanori@mstdn.maud.io
2022-11-01 11:31:33 ねとらぼ(RSSfeed)の投稿 netlab@chaosphere.hostdon.jp
icon


「来年はヨーグルトが勝てるといいね」 娘の謎発言、どういう意味なのか分かるとかわいくて爆笑
nlab.itmedia.co.jp/nl/articles

Web site image
「来年はヨーグルトが勝てるといいね」 娘の謎発言、どういう意味なのか分かるとかわいくて爆笑
11:49:44 @omasanori@mstdn.maud.io
icon

こんなことしてる場合じゃないのにと思いつつ何も手につかない

13:37:47 @omasanori@mstdn.maud.io
2022-11-01 13:37:35 uwabami✅の投稿 uwabami@junkhub.org
icon

このアカウントは、notestockで公開設定になっていません。

13:42:05 @omasanori@mstdn.maud.io
2022-11-01 13:37:00 Vale@kujike.naiの投稿 valerauko@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

13:45:04 @omasanori@mstdn.maud.io
2022-11-01 13:15:59 よみたそまるの投稿 yomi@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

13:47:20 @omasanori@mstdn.maud.io
icon

asanとかValgrindとか使う?

14:12:23 @omasanori@mstdn.maud.io
2022-11-01 14:10:16 やまこの投稿 yamako@fedibird.com
icon

このアカウントは、notestockで公開設定になっていません。

14:12:28 @omasanori@mstdn.maud.io
2022-11-01 14:10:17 ぐすくま@わかりみの投稿 guskma@abyss.fun
icon

このアカウントは、notestockで公開設定になっていません。

14:13:10 @omasanori@mstdn.maud.io
icon

YAPC::Japanあたり?

14:16:51 @omasanori@mstdn.maud.io
icon

(2010-12)本日12月1日より、プログラマ有志による技術系Advent Calendarが各所ではじまる | gihyo.jp
gihyo.jp/news/info/2010/12/010

Web site image
本日12月1日より、プログラマ有志による技術系Advent Calendarが各所ではじまる | gihyo.jp
14:22:49 @omasanori@mstdn.maud.io
icon

「一方、エンジニアの世界では、技術系アドベントカレンダーというものがあります。これは、一日一個ずつ tips 的な記事を掲載していくというものです。Perl の世界では、2000年からはじまっています(発祥がどこかは寡聞にして知りませんが)。」

blog.64p.org/entry/20081216/12

14:37:39 @omasanori@mstdn.maud.io
2022-11-01 13:23:34 松浦はこ :fedibird1: fedibirdの投稿 matsbox@fedibird.com
icon

ここでAdventarを知ったんですがブロガーとかエンジニア発の企画なんですかね…??
見てたら二次創作とかもあって、いろんな楽しみ方あるんだなあ!

adventar.org/calendars?year=20

14:37:43 @omasanori@mstdn.maud.io
2022-11-01 13:33:22 xanacの投稿 rk_asylum@under-bank.blue
icon

このアカウントは、notestockで公開設定になっていません。

14:37:46 @omasanori@mstdn.maud.io
2022-11-01 13:35:02 xanacの投稿 rk_asylum@under-bank.blue
icon

このアカウントは、notestockで公開設定になっていません。

14:38:03 @omasanori@mstdn.maud.io
2022-11-01 13:35:18 松浦はこ :fedibird1: fedibirdの投稿 matsbox@fedibird.com
icon

アドベントカレンダーの可能性を知ってめっちゃたのしそう!

14:47:05 @omasanori@mstdn.maud.io
2022-11-01 14:45:41 やまこの投稿 yamako@fedibird.com
icon

このアカウントは、notestockで公開設定になっていません。

14:47:26 @omasanori@mstdn.maud.io
2022-11-01 14:45:13 あっきぃの投稿 akkiesoft@social.mikutter.hachune.net
icon

Raspberry Pi Advent Calendar 2022 - Adventar
adventar.org/calendars/7440

つくりました

14:50:39 @omasanori@mstdn.maud.io
2022-11-01 14:49:07 まさらっきの投稿 masarakki@best-friends.chat
icon

このアカウントは、notestockで公開設定になっていません。

14:50:51 @omasanori@mstdn.maud.io
icon

:very_sad:

14:52:10 @omasanori@mstdn.maud.io
2022-11-01 14:46:43 ロージー / ハトの投稿 rosylilly@best-friends.chat
icon

このアカウントは、notestockで公開設定になっていません。

14:52:12 @omasanori@mstdn.maud.io
2022-11-01 14:47:08 ロージー / ハトの投稿 rosylilly@best-friends.chat
icon

このアカウントは、notestockで公開設定になっていません。

14:53:06 @omasanori@mstdn.maud.io
icon

Ghost ghost.org/ とか今どきっぽいけれど、テンプレートとかの情報が無数にあるという長所がWordPressにはあるからなぁ

Web site image
Ghost: Turn your audience into a business
14:54:38 @omasanori@mstdn.maud.io
2022-11-01 14:53:39 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

このアカウントは、notestockで公開設定になっていません。

14:54:41 @omasanori@mstdn.maud.io
2022-11-01 14:54:22 えあい🦐:win98_shrimp::win98_shrimp:の投稿 Eai@stellaria.network
icon

まあクライアントワークならクライアントの意向を汲み取れてなかったのが悪いというのはある

14:56:26 @omasanori@mstdn.maud.io
2022-11-01 14:55:59 ロージー / ハトの投稿 rosylilly@best-friends.chat
icon

このアカウントは、notestockで公開設定になっていません。

14:56:34 @omasanori@mstdn.maud.io
2022-11-01 14:56:14 Satoshi Kojima (小嶋智)の投稿 skoji@sandbox.skoji.jp
icon

このアカウントは、notestockで公開設定になっていません。

14:58:26 @omasanori@mstdn.maud.io
icon

レコードだ

14:59:12 @omasanori@mstdn.maud.io
icon

!!! Movable Type !!!

15:02:37 @omasanori@mstdn.maud.io
2022-11-01 15:01:23 Masayuki Hattaの投稿 mhatta@mastodon.social
icon

このアカウントは、notestockで公開設定になっていません。

15:23:02 @omasanori@mstdn.maud.io
2022-11-01 15:10:18 K0eの投稿 K0eKaN@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

15:35:31 @omasanori@mstdn.maud.io
2022-11-01 15:20:32 大破の投稿 musashino205@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

15:43:15 @omasanori@mstdn.maud.io
2022-11-01 15:18:11 O-157 新刊既刊通販中の投稿 kaiser@unkomaker.hostdon.ne.jp
icon

このアカウントは、notestockで公開設定になっていません。

15:44:36 @omasanori@mstdn.maud.io
2022-11-01 15:20:41 ゴの投稿 go_yskn@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

15:44:42 @omasanori@mstdn.maud.io
2022-11-01 15:21:12 🐴てばさき*Δ(新刊委託中)👣🍺の投稿 silenxe@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

15:56:53 @omasanori@mstdn.maud.io
2022-11-01 15:56:02 ねこもふ>🐈‍⬛の投稿 NekomovYuyusuky@mstdn.poyo.me
icon

このアカウントは、notestockで公開設定になっていません。

16:42:21 @omasanori@mstdn.maud.io
2022-11-01 16:38:26 きゃーやんの投稿 80000v@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

16:42:39 @omasanori@mstdn.maud.io
2022-11-01 16:39:49 きゃーやんの投稿 80000v@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

16:42:48 @omasanori@mstdn.maud.io
2022-11-01 16:40:09 きゃーやんの投稿 80000v@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

16:44:58 @omasanori@mstdn.maud.io
icon

Go言語製 ActivityPub サーバーの最小実装 honk を立ててみた | Coelacanth's Dream
coelacanth-dream.com/posts/202

Web site image
Go言語製 ActivityPub サーバーの最小実装 honk を立ててみた | Coelacanth''s Dream
16:51:57 @omasanori@mstdn.maud.io
icon

3型スマホ「Jelly 2E」登場。Andoroid 12搭載の廉価版。ただし日本では販売せず - PC Watch
pc.watch.impress.co.jp/docs/ne

Web site image
3型スマホ「Jelly 2E」登場。Android 12搭載の廉価版。ただし日本では販売せず
16:55:05 @omasanori@mstdn.maud.io
2022-11-01 16:54:56 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

17:00:12 @omasanori@mstdn.maud.io
icon

短距離光通信向け光コヒーレント伝送方式を開発し、高速光信号伝送に成功|2022年|NICT-情報通信研究機構
nict.go.jp/press/2022/10/31-1.

Web site image
短距離光通信向け光コヒーレント伝送方式を開発し、高速光信号伝送に成功|2022年|NICT-情報通信研究機構
17:01:29 @omasanori@mstdn.maud.io
icon

BEAM言語で何か書きてぇと思いながらn年が経った

17:02:58 @omasanori@mstdn.maud.io
icon

量子光のパルス波形を自在に制御する手法を開発|2022年|NICT-情報通信研究機構
nict.go.jp/press/2022/10/29-1.

Web site image
量子光のパルス波形を自在に制御する手法を開発|2022年|NICT-情報通信研究機構
17:13:44 @omasanori@mstdn.maud.io
icon

A | B → A | B よりも厳しい (A → A) ∧ (B → B) を表せるような型システム、面白そう。

My Future with Elixir: set-theoretic types - The Elixir programming language
elixir-lang.org/blog/2022/10/0

17:14:34 @omasanori@mstdn.maud.io
2022-11-01 17:14:20 なまもななせ🔞海通信@(日)東I-16bの投稿 namamonanase@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

17:17:45 @omasanori@mstdn.maud.io
2022-11-01 17:17:36 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

このアカウントは、notestockで公開設定になっていません。

17:20:29 @omasanori@mstdn.maud.io
icon

自分も最初は (A → A) ∨ (B → B) かと思ったんだけど、これだと f: A → A や g: B → B が当てはまる型になってしまって、A → A と B → B の両方を満たす制約にはならないということだと理解した。

17:21:00 @omasanori@mstdn.maud.io
2022-11-01 17:19:49 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

(x: number) => x / 2 と (x: string) => x.substr(x.length / 2) のどっちとしても使えるみたいな感じだと intersection になるのかな

17:22:21 @omasanori@mstdn.maud.io
2022-11-01 17:21:50 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

このアカウントは、notestockで公開設定になっていません。

17:31:18 @omasanori@mstdn.maud.io
icon

intersectionを取ると空じゃね?、monomorphicな系だとそうだけど「polymorphicな値」があるとそれを満たせるのかなぁ

17:31:43 @omasanori@mstdn.maud.io
2022-11-01 17:30:17 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

このアカウントは、notestockで公開設定になっていません。

17:39:08 @omasanori@mstdn.maud.io
icon

@anqou “Programming with union, intersection, and negation types” arxiv.org/abs/2111.03354 ?

Web site image
Programming with union, intersection, and negation types
17:42:48 @omasanori@mstdn.maud.io
icon

レモンの唐揚げ

17:44:29 @omasanori@mstdn.maud.io
2022-11-01 17:44:15 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

このアカウントは、notestockで公開設定になっていません。

18:25:18 @omasanori@mstdn.maud.io
2022-11-01 18:06:01 K0eの投稿 K0eKaN@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

18:34:36 @omasanori@mstdn.maud.io
2021-10-23 17:56:17 4氏🎨🔞☠🤖の投稿 4shi@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

18:34:46 @omasanori@mstdn.maud.io
2022-11-01 18:23:20 4氏🎨🔞☠🤖の投稿 4shi@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

18:49:23 @omasanori@mstdn.maud.io
2022-11-01 17:21:49 44+✅🎨🚸🔞の投稿 44yoooo@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

19:32:36 @omasanori@mstdn.maud.io
2022-11-01 19:27:00 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

The KDL Document Language
kdl.dev/

これかなり好みだ

Web site image
The KDL Document Language