2017-08-27 00:02:12 @omasanori@mstdn.maud.io
icon

5000兆個というのは5E個なので、64ビットアドレス空間だと16E個しかアドレスがないことを考えると5000兆枚のグラフィックカードのI/Oをメモリマップしきれなさそう(当方PCI素人なのでプロのコメントを乞う)

2017-08-27 00:05:00 @omasanori@mstdn.maud.io
icon

64ビットアドレス空間、3.2*5000兆個しかアドレスないってマジか

2017-08-27 00:09:10 @omasanori@mstdn.maud.io
icon

計算ミスってた、16Eは3200*5000兆だった

2017-08-27 00:12:06 @omasanori@mstdn.maud.io
icon

ステルスできてないんだよな

2017-08-27 00:13:49 @omasanori@mstdn.maud.io
icon

お家に帰るまでがましまろです、家に帰ることを促しているのかどうかよくわからない

2017-08-27 00:17:01 @omasanori@mstdn.maud.io
2017-08-27 00:16:44 Posting unarist unarist@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-27 00:17:15 @omasanori@mstdn.maud.io
icon

これすき

2017-08-27 00:44:38 @omasanori@mstdn.maud.io
icon

ふーむ、PC-98か……

2017-08-27 00:46:08 @omasanori@mstdn.maud.io
icon

今ホログラフィックコンピュータの話しました?

2017-08-27 01:05:33 @omasanori@mstdn.maud.io
icon

こちとら1/30ダウンロードほたやぞ

2017-08-27 01:13:31 @omasanori@mstdn.maud.io
icon

各位が見ることがないであろう結果のサンプルを提供しています

2017-08-27 07:16:55 @omasanori@mstdn.maud.io
2017-08-27 07:14:43 Posting きりの ✅ imksoo@mastodon.chotto.moe
icon

This account is not set to public on notestock.

2017-08-27 08:53:45 @omasanori@mstdn.maud.io
icon

一番でかいやつが角から追い出された時点で終わりが始まる感じですね

2017-08-27 08:57:52 @omasanori@mstdn.maud.io
icon

:don:の2048ブームに押されて久々にやったら初めてクリアした

2017-08-27 09:00:26 @omasanori@mstdn.maud.io
icon

2 2048 512 64 ←WHAT THE MASHIMARO

2017-08-27 09:01:39 @omasanori@mstdn.maud.io
icon

2 2048 512 64からあがき続けた結果が先程の画像です

2017-08-27 09:06:14 @omasanori@mstdn.maud.io
icon

右にしか動かせないので右に動かしたら2が滑り込んできた瞬間に脳内でEPIC FAILが視界に合成された

2017-08-27 10:01:38 @omasanori@mstdn.maud.io
icon

ちなみにはちみつやレモンを使ったハンバーグソースは存在します

2017-08-27 10:02:48 @omasanori@mstdn.maud.io
icon

多様性な

2017-08-27 10:04:33 @omasanori@mstdn.maud.io
icon

ハンバーグソースどころかはちみつ入りハンバーグ(隠し味とかではなくしっかり蜂蜜の味と香りがするらしい)なる存在があるらしくて流石に気になってきた

2017-08-27 11:52:56 @omasanori@mstdn.maud.io
2017-08-27 11:28:20 Posting 🆙 藍川茜 akane@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-27 11:53:19 @omasanori@mstdn.maud.io
icon

これすき OF THE WEEK

2017-08-27 12:08:34 @omasanori@mstdn.maud.io
icon

茜ちゃんの見分け方フローチャート

     琴葉茜
  はい  ↑はい
日野茜←かわいい?→野々原茜
    はい↓  はい
     藍川茜

2017-08-27 12:09:36 @omasanori@mstdn.maud.io
icon

非 決 定 性 有 限 状 態 機 械

2017-08-27 12:14:17 @omasanori@mstdn.maud.io
2017-08-27 12:11:40 Posting きりの ✅ imksoo@mastodon.chotto.moe
icon

This account is not set to public on notestock.

2017-08-27 12:15:49 @omasanori@mstdn.maud.io
2017-08-27 12:15:49 Posting Masanori Ogino 𓀁 omasanori@mstdn.maud.io
2017-08-27 12:15:51 @omasanori@mstdn.maud.io
2017-08-27 12:15:51 Posting Masanori Ogino 𓀁 omasanori@mstdn.maud.io
2017-08-27 12:23:00 @omasanori@mstdn.maud.io
2017-08-27 10:38:27 Posting SHIMADA Hirofumi shimada@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-27 12:28:26 @omasanori@mstdn.maud.io
icon

definitely.

2017-08-27 12:35:14 @omasanori@mstdn.maud.io
icon

めちゃヒロインおるゲーム、AKB1/48かなんか?(アイドルに詳しい知人が話していたのですが、このゲームは47人の誘惑を躱しつづけて告白を断りまくり本命の1人を残すゲームらしいです。ちなみにAKB1/149という強化版も存在するらしい)

2017-08-27 15:05:08 @omasanori@mstdn.maud.io
2017-08-27 15:03:35 Posting はんぺん hnpn914@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-27 15:05:19 @omasanori@mstdn.maud.io
icon

USB Type-Cのプロだ

2017-08-27 18:30:50 @omasanori@mstdn.maud.io
icon

厳密には2016 editionで、ですね(過去のリビジョンのアーカイブが手元にないので断言はできませんが、件のセクションがTC2で修正されていることや、"Earlier versions of this standard did not state the requirement that the POSIX locale contains 256 single-byte characters"と書かれていることからすると、本来のSUSv4からこう書かれていたか確信が持てない)

2017-08-27 18:39:21 @omasanori@mstdn.maud.io
icon

SUSv3には8-bit cleanを明示的に要求する文言はないですね(SUSv4+TC2によると規定が抜けていただけでPOSIXロケールは8-bit clean single byte encodingであるべきだとのことですが) pubs.opengroup.org/onlinepubs/

2017-08-27 18:55:04 @omasanori@mstdn.maud.io
icon

大破さんの大破アナウンスを自動化するの画像認識の課題として良さそう(?)

2017-08-27 18:58:59 @omasanori@mstdn.maud.io
icon

.thならありますね

2017-08-27 19:00:26 @omasanori@mstdn.maud.io
icon

.su新規割当してなさそう

2017-08-27 19:02:24 @omasanori@mstdn.maud.io
icon

.suの新規割当が行われているということはソヴィエト連邦は存続していた……?(???)

2017-08-27 19:03:34 @omasanori@mstdn.maud.io
icon

また解体は違法説の論拠が見つかってしまったな……(????)

2017-08-27 19:04:06 @omasanori@mstdn.maud.io
2017-08-27 19:03:38 Posting えじょねこ ejo090@mstdn.nere9.help
2017-08-27 19:07:50 @omasanori@mstdn.maud.io
2017-08-27 19:05:01 Posting えじょねこ ejo090@mstdn.nere9.help
icon

ソヴィエト社会主義共和国連邦は加盟国が0になっているだけなので

2017-08-27 19:08:52 @omasanori@mstdn.maud.io
icon

すくなくともccではないんだよなぁ

2017-08-27 19:14:44 @omasanori@mstdn.maud.io
icon

.matsudai gTLD申請の機運

2017-08-27 19:16:52 @omasanori@mstdn.maud.io
icon

.matsudai gTLD、おおよそドメインハックに使えそうもない上に長いからわざわざ制限しなくても取得する人そんなにいないでしょ

2017-08-27 19:17:48 @omasanori@mstdn.maud.io
icon

A corndog eating Tenshiだ

2017-08-27 19:24:57 @omasanori@mstdn.maud.io
icon

佐竹美奈子さんのことならわっほ〜いでは

2017-08-27 19:26:10 @omasanori@mstdn.maud.io
icon

わっほい→天海春香
わっほ〜い→佐竹美奈子
わっほーい→九十九八橋

2017-08-27 20:41:22 @omasanori@mstdn.maud.io
2017-08-27 19:55:21 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-27 21:05:40 @omasanori@mstdn.maud.io
2017-08-27 20:55:35 Posting moko256 moko256@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-27 21:08:40 @omasanori@mstdn.maud.io
icon

CentOS 7派生distro使ってて気づいたんですが、この世代だと/usr/libをMIなファイルを置くために使って/usr/lib{32,64}をMDなファイルを置くために使ってるっぽいですね

2017-08-27 21:09:36 @omasanori@mstdn.maud.io
icon

Gentoo Linuxは現状だと/usr/libが/usr/lib64かなんかのsymlinkになっている(これは廃止しようという流れがある)

2017-08-27 21:09:54 @omasanori@mstdn.maud.io
icon

Debianはmultiarchなのでまた事情が違う

2017-08-27 21:12:42 @omasanori@mstdn.maud.io
2017-08-27 21:11:38 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-27 22:18:53 @omasanori@mstdn.maud.io
icon

:don:のEugenさんにブーストされ勢が増えた

2017-08-28 00:09:37 @omasanori@mstdn.maud.io
icon

Gentoo者の多いTwitterに書き残してきたんですが、Gentoo FreeBSDインストールバトルがかなり難しくなってます(まずPortageをemerge -u portageでアップデートしようとしてもEAPI 6未実装が原因で弾かれ、GCC 4はマスクされており、ある程度のGentoo知識がないとほとんど何もインストールできない)

2017-08-28 00:35:08 @omasanori@mstdn.maud.io
icon

私も遊んでないで寝ないとな……

2017-08-28 09:31:46 @omasanori@mstdn.maud.io
icon

It's mashimaro until Mastodon devs become to use the word mashimaro regularly.

2017-08-28 10:15:00 @omasanori@mstdn.maud.io
2017-08-28 10:15:00 Posting Masanori Ogino 𓀁 omasanori@mstdn.maud.io
2017-08-28 10:20:32 @omasanori@mstdn.maud.io
icon

Pawoo、GitHubではなく内部のリポジトリでやってるからデプロイされているコードが公開されてないときがある問題は解決したんですか

2017-08-28 10:31:45 @omasanori@mstdn.maud.io
icon

DJ TOTTO

2017-08-28 10:38:22 @omasanori@mstdn.maud.io
icon

これがあの有名な家燃え……

2017-08-28 10:43:34 @omasanori@mstdn.maud.io
icon

家燃えシーンに実は2回目とか原作準拠とか書かれててマジかってなった

2017-08-28 10:49:53 @omasanori@mstdn.maud.io
icon

体験版で燃えるのか……

2017-08-28 11:01:18 @omasanori@mstdn.maud.io
icon

Whirlpoolというゲームブランドがあるのか

2017-08-28 11:06:06 @omasanori@mstdn.maud.io
icon

whirlpool自体は渦巻きとか混乱とかそういう意味です

2017-08-28 11:39:33 @omasanori@mstdn.maud.io
2017-08-28 11:30:05 Posting 七海アヲノ awo00@pawoo.net
icon

This account is not set to public on notestock.

2017-08-28 12:20:16 @omasanori@mstdn.maud.io
icon

No DRM no no no

2017-08-28 12:20:38 @omasanori@mstdn.maud.io
icon

それなあっ

2017-08-28 12:24:49 @omasanori@mstdn.maud.io
icon

ぐぐればおなじなんだよな

2017-08-28 12:26:55 @omasanori@mstdn.maud.io
icon

削除なるほどね

2017-08-28 12:28:15 @omasanori@mstdn.maud.io
icon

しかたないね

2017-08-28 12:29:18 @omasanori@mstdn.maud.io
2017-08-28 12:26:40 Posting 了かい trifolium_rufus@pawoo.net
icon

This account is not set to public on notestock.

2017-08-28 12:29:47 @omasanori@mstdn.maud.io
icon

胸がないキャラは男の娘になる、かなりのパワがある

2017-08-28 12:44:35 @omasanori@mstdn.maud.io
2017-08-28 12:43:50 Posting 🐴てばさき*Δ(新刊委託中)👣🍺 silenxe@pawoo.net
icon

This account is not set to public on notestock.

2017-08-28 14:18:27 @omasanori@mstdn.maud.io
icon

世界から取り残されているので嘘松という言葉を今知りました

2017-08-28 14:21:29 @omasanori@mstdn.maud.io
icon

魔剤、私が把握しているだけでも3つの微妙に異なる文脈があるので難しい

2017-08-28 14:23:36 @omasanori@mstdn.maud.io
icon

インターネットの叡智によると創作実話的なホラを吹くおそ松さんアイコンの人々を指す人々を指していたのが意味が広がっていったっぽいですね

2017-08-28 14:25:43 @omasanori@mstdn.maud.io
icon

Maxiという音ゲー曲を魔剤と呼ぶ場合があるという文脈(BGAの配色などからエナジードリンクを意識しているのは明らかなので、エナジードリンク文脈の派生とも考えられる)

2017-08-28 14:27:12 @omasanori@mstdn.maud.io
2017-08-28 14:26:48 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-28 14:27:35 @omasanori@mstdn.maud.io
icon

マ?マ?マ?マ?マ?マ?マ?hai!すき

2017-08-28 14:28:34 @omasanori@mstdn.maud.io
2017-08-28 14:27:09 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-28 16:40:23 @omasanori@mstdn.maud.io
2017-08-28 16:03:30 Posting 🆙 藍川茜 akane@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-28 16:40:34 @omasanori@mstdn.maud.io
2017-08-28 16:04:20 Posting 体力自慢爆死お兄ちゃん(学生) Otakan951@mstdn.maud.io
icon

茜ちゃんが漢字使ってるのすごい新鮮

2017-08-28 16:40:40 @omasanori@mstdn.maud.io
icon

知性を感じる

2017-08-28 18:33:35 @omasanori@mstdn.maud.io
icon

エンパイアクラブ

2017-08-28 18:34:57 @omasanori@mstdn.maud.io
icon

:k:でかぼる、:kn:でかぼらないでが出ればいいのでは(?)

2017-08-28 18:39:31 @omasanori@mstdn.maud.io
icon

Make おきつねさま Great Again

2017-08-28 22:23:33 @omasanori@mstdn.maud.io
2017-08-28 22:06:17 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-28 23:30:16 @omasanori@mstdn.maud.io
icon

thinking勢じゃないのでコンピュータくわしくない(?)

2017-08-28 23:50:21 @omasanori@mstdn.maud.io
icon

今日は何に関しても何の進展も特になく、絶望感だけがある

2017-08-29 00:12:42 @omasanori@mstdn.maud.io
2017-08-29 00:03:23 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 00:12:58 @omasanori@mstdn.maud.io
icon

精神が破滅してきた

2017-08-29 11:06:01 @omasanori@mstdn.maud.io
2017-08-29 11:04:57 Posting unarist unarist@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 11:11:59 @omasanori@mstdn.maud.io
icon

Efficient Communication and Collection with Compact Normal Forms ezyang.com/compact.html

Efficient Communication and Collection with Compact Normal Forms
2017-08-29 11:29:06 @omasanori@mstdn.maud.io
2017-08-29 11:18:42 Posting unarist unarist@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 16:09:35 @omasanori@mstdn.maud.io
2017-08-29 14:32:05 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 16:10:22 @omasanori@mstdn.maud.io
2017-08-29 14:36:14 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 16:10:23 @omasanori@mstdn.maud.io
2017-08-29 14:37:14 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 16:21:04 @omasanori@mstdn.maud.io
2017-08-29 16:16:53 Posting unarist unarist@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 16:23:11 @omasanori@mstdn.maud.io
icon

数日エスプレッソとかピザとか摂取してたら"you are now an Italian!"っていうイタリア人、かなりイタリア人っぽい

2017-08-29 16:27:11 @omasanori@mstdn.maud.io
icon

共有キッチンで料理してたらイタリア人が来てしばらく雑談したあと、"So, now you are cooking Japanese food, right?"みたいなことを言って私の鍋(スパゲッティを茹でていた)を覗き込んでから"Ah, I know this one!"と言って笑った(私もつられて笑った)という経験があり、イタリア人にそういうイメージを持っている

2017-08-29 16:32:48 @omasanori@mstdn.maud.io
2017-08-29 16:05:28 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 16:35:31 @omasanori@mstdn.maud.io
icon

私が知っているイタリア人は皆面白いこと言うけど、ドイツ人もフランス人も皆面白いこと言うので単に面白いこと言う集団と距離が近いだけかもしれない

2017-08-29 16:36:57 @omasanori@mstdn.maud.io
icon

衣装MOD作ってたら存在を消されるゲームこわくなってきた

2017-08-29 17:31:41 @omasanori@mstdn.maud.io
icon

@osapon 2.0とかだと各国の国内法に準拠法を定める版がありました(例えば日本語版だと一般 Genericと別に日本 JPがあった)が、3.0は非移植 Unported、4.0も国際 Internationalのみがあるという感じだったような

2017-08-29 17:33:40 @omasanori@mstdn.maud.io
icon

知財権概論とか知財権特論みたいな講義で特許や商標と一緒にサッと話されたり話されなかったりしますね

2017-08-29 17:47:42 @omasanori@mstdn.maud.io
icon

おなかすいた

2017-08-29 17:50:31 @omasanori@mstdn.maud.io
2017-08-29 17:43:04 Posting 昆布わかめ aconbwakame@pawoo.net
icon

This account is not set to public on notestock.

2017-08-29 18:42:40 @omasanori@mstdn.maud.io
2017-08-29 18:36:55 Posting 倉澤もこ:low_brightness: kurasawa_@pawoo.net
icon

This account is not set to public on notestock.

2017-08-29 19:07:16 @omasanori@mstdn.maud.io
icon

今どの自由について話しているのかという話

2017-08-29 19:12:37 @omasanori@mstdn.maud.io
icon

自由がFSFの4つの自由を指すと暗黙に仮定して話しても問題ないのは自由ソフトウェアの文脈でだけだと思うんですが

2017-08-29 19:13:14 @omasanori@mstdn.maud.io
icon

江添さんは存在が文脈なので(???)

2017-08-29 20:35:55 @omasanori@mstdn.maud.io
icon

FirefoxにQUICパッチを書いてコントリビューションすれば問題は解決しますね(?)

2017-08-29 21:37:29 @omasanori@mstdn.maud.io
icon

精神が破滅してきた

2017-08-29 21:38:02 @omasanori@mstdn.maud.io
icon

つらい

2017-08-29 22:43:39 @omasanori@mstdn.maud.io
2017-08-29 22:39:06 Posting tSU_RooT(つる) tSU_RooT@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-29 22:47:23 @omasanori@mstdn.maud.io
icon

Positive Technologies - learn and secure : Intel ME: The Way of Static Analysis blog.ptsecurity.com/2017/04/in

"In addition, when we looked inside the decompressed vfs module, we encountered the strings “FS: bogus child for forking” and “FS: forking on top of in-use child,” which clearly originate from Minix3 code. It would seem that ME 11 is based on the MINIX 3 OS developed by Andrew Tanenbaum :)"
!?

2017-08-29 22:47:58 @omasanori@mstdn.maud.io
icon

Intel MEのファームウェアにMinix由来のコードが含まれているマジ?

2017-08-29 22:51:09 @omasanori@mstdn.maud.io
icon

Positive Technologies - learn and secure : Disabling Intel ME 11 via undocumented mode blog.ptsecurity.com/2017/08/di

2017-08-29 23:01:48 @omasanori@mstdn.maud.io
icon

†真理†を理解した者だ

2017-08-29 23:27:12 @omasanori@mstdn.maud.io
icon

Akane eating a corndogすき

2017-08-30 00:12:06 @omasanori@mstdn.maud.io
icon

どちらかというとパーセントエンコーディングしない実装なんなんという気持ちです

2017-08-30 00:24:11 @omasanori@mstdn.maud.io
icon

夢スタックオーバーフローに関する初期の重要な研究として荘子 [1] がある。

2017-08-30 00:25:24 @omasanori@mstdn.maud.io
icon

アッ叢雲

2017-08-30 00:26:43 @omasanori@mstdn.maud.io
icon

夢の中で子や孫に看取られて安らかに眠りについたあと現実世界に帰還する末代

2017-08-30 00:27:08 @omasanori@mstdn.maud.io
icon

心折れる

2017-08-30 00:29:19 @omasanori@mstdn.maud.io
2017-08-30 00:28:10 Posting こんぴ👮🎨 patli_1230@pawoo.net
icon

This account is not set to public on notestock.

2017-08-30 00:29:20 @omasanori@mstdn.maud.io
2017-08-30 00:28:29 Posting こんぴ👮🎨 patli_1230@pawoo.net
icon

This account is not set to public on notestock.

2017-08-30 08:31:02 @omasanori@mstdn.maud.io
icon

佐竹美奈子さんかな?

2017-08-30 08:35:08 @omasanori@mstdn.maud.io
2017-08-30 08:28:54 Posting くろりんご@JP鯖 kuroringo@mstdn.jp
icon

This account is not set to public on notestock.

2017-08-30 12:04:24 @omasanori@mstdn.maud.io
icon

精神が破滅してきたのでなにもしたくない(なにもしたくない)

2017-08-30 12:13:11 @omasanori@mstdn.maud.io
2017-08-30 10:53:29 Posting 高月柊也🔞🎨新刊委託中 lunax1a@pawoo.net
icon

This account is not set to public on notestock.

2017-08-30 12:13:18 @omasanori@mstdn.maud.io
2017-08-29 09:18:28 Posting 高月柊也🔞🎨新刊委託中 lunax1a@pawoo.net
icon

This account is not set to public on notestock.

2017-08-30 12:29:18 @omasanori@mstdn.maud.io
2017-08-30 12:23:34 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-30 14:24:11 @omasanori@mstdn.maud.io
icon

distsn.org/ で流速順リストのトップ集団少し下辺りの位置につけているのに辺境を名乗るのもなかなか厳しいのでは

Web site image
distsn.org - Domain Name For Sale | Dan.com
2017-08-30 14:25:55 @omasanori@mstdn.maud.io
icon

あっマストドン推奨ユーザーリスト上位のほたさんだ!(???)

2017-08-30 14:27:18 @omasanori@mstdn.maud.io
icon

あのユーザーリストが何を意味しているのかよく知らないけれど見覚えのある人がちらほらいる

2017-08-30 14:38:23 @omasanori@mstdn.maud.io
icon

あれは単位時間で取ったサンプルを外挿して流速を計算しているからでは(実装読んでません)

2017-08-30 14:42:34 @omasanori@mstdn.maud.io
2017-08-30 14:41:34 Posting おさ osapon@mstdn.nere9.help
icon

流速の値、単位時間で取得したやつを1日換算に変換するから、急にたくさんtootしたら跳ね上がるってレスもらった。

2017-08-30 14:42:48 @omasanori@mstdn.maud.io
icon

やはりそうなのか

2017-08-30 19:08:51 @omasanori@mstdn.maud.io
icon

おなかすいた

2017-08-30 21:07:05 @omasanori@mstdn.maud.io
icon

XCBのXMLによるプロトコル記述からC#のコードを生成するスクリプトを書くと良さそう

2017-08-30 21:07:43 @omasanori@mstdn.maud.io
icon

つかれた……

2017-08-30 21:07:57 @omasanori@mstdn.maud.io
icon

心がもうだめっていってる

2017-08-30 21:09:23 @omasanori@mstdn.maud.io
icon

libxcbはXMLによるプロトコル記述からPythonスクリプトでCコードを生成している

2017-08-30 22:36:14 @omasanori@mstdn.maud.io
2017-08-30 22:31:12 Posting tSU_RooT(つる) tSU_RooT@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-30 22:50:09 @omasanori@mstdn.maud.io
icon

原作準拠とは一体

2017-08-30 22:50:48 @omasanori@mstdn.maud.io
icon

普通の花火とかいう意味不明ワードがLTLに散らばっている

2017-08-31 12:26:59 @omasanori@mstdn.maud.io
2017-08-31 11:15:48 Posting しえるーにゃ Clworld@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 12:27:08 @omasanori@mstdn.maud.io
2017-08-31 11:16:16 Posting 大破 musashino205@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 16:47:48 @omasanori@mstdn.maud.io
icon

広島も長いんだよなあっ

2017-08-31 16:49:43 @omasanori@mstdn.maud.io
icon

「東京遠いな……」「名古屋でやるよ!東京より近いでしょ」「アッハイ」

2017-08-31 16:50:53 @omasanori@mstdn.maud.io
icon

確かに名古屋の方が近いが……近いが……

2017-08-31 17:01:36 @omasanori@mstdn.maud.io
icon

東京行夜行バスも新幹線も通ってない県……どこかな?

2017-08-31 17:04:14 @omasanori@mstdn.maud.io
icon

徒歩でルート検索して船4回も使うの笑う

2017-08-31 17:05:34 @omasanori@mstdn.maud.io
icon

どうせ長いんだから長崎ー熊本間くらい船我慢しろ(???)

2017-08-31 17:06:12 @omasanori@mstdn.maud.io
2017-08-31 17:06:02 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 17:06:18 @omasanori@mstdn.maud.io
icon

それなあっ

2017-08-31 17:08:35 @omasanori@mstdn.maud.io
icon

飛行機が早くて安いわかる、夜行バスでも快適さを手放してLCCとそんなに値段が変わらなくて時間がn倍になる

2017-08-31 17:10:09 @omasanori@mstdn.maud.io
icon

時間がn倍になって金額が1/nになるならまあわかるが

2017-08-31 17:12:13 @omasanori@mstdn.maud.io
icon

大学に入るまで数回しか乗ってないのに院生になってから年数回空輸されたので少し慣れた

2017-08-31 17:14:09 @omasanori@mstdn.maud.io
icon

最近通ったノートパソコンは出さないといけないけどスマホはカバンから出さなくていい保安検査場(どこか忘れた)すき、基準はよくわからない

2017-08-31 17:24:33 @omasanori@mstdn.maud.io
icon

つくばの某大すき

2017-08-31 17:25:22 @omasanori@mstdn.maud.io
icon

(1択ではない)

2017-08-31 17:40:38 @omasanori@mstdn.maud.io
2017-08-14 16:53:02 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 17:41:20 @omasanori@mstdn.maud.io
icon

弊研究室にも「私が再起動すると直る」という都市伝説が流れています

2017-08-31 17:44:36 @omasanori@mstdn.maud.io
icon

(キャッシュをクリーンアップしたり途中で止まっているアップデートを最後まで終わらせたりといった再起動チャレンジの成功率を上げるあれこれをやってから再起動しているだけ)

2017-08-31 18:21:15 @omasanori@mstdn.maud.io
icon

Processing model for context conflicts · Issue #391 · json-ld/json-ld.org github.com/json-ld/json-ld.org

Web site image
Processing model for context conflicts · Issue #391 · json-ld/json-ld.org
2017-08-31 18:22:09 @omasanori@mstdn.maud.io
icon

これの話ですかね

2017-08-31 20:02:47 @omasanori@mstdn.maud.io
2017-08-31 20:01:16 Posting ☕︎ヌワラエリヤ🎨 white_pepper9@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 20:18:14 @omasanori@mstdn.maud.io
2017-08-31 20:14:35 Posting 大破 musashino205@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 20:18:31 @omasanori@mstdn.maud.io
icon

エッチングは後片付けが面倒くさくてな……

2017-08-31 21:34:33 @omasanori@mstdn.maud.io
2017-08-31 21:26:35 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:36 @omasanori@mstdn.maud.io
2017-08-27 16:12:14 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:37 @omasanori@mstdn.maud.io
2017-08-23 16:39:37 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:39 @omasanori@mstdn.maud.io
2017-08-22 15:44:57 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:41 @omasanori@mstdn.maud.io
2017-08-19 09:04:18 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:43 @omasanori@mstdn.maud.io
2017-07-16 20:52:53 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:46 @omasanori@mstdn.maud.io
2017-07-10 22:17:05 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:47 @omasanori@mstdn.maud.io
2017-07-09 19:10:46 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:49 @omasanori@mstdn.maud.io
2017-06-25 22:12:33 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 21:34:50 @omasanori@mstdn.maud.io
2017-07-08 20:30:35 Posting やまきゅう🎨 ycums@pawoo.net
icon

This account is not set to public on notestock.

2017-08-31 22:49:48 @omasanori@mstdn.maud.io
icon

ぶっちゃけノラとととかいうコアタイムさえ避けていればいつメンテしても怒られが発生しない不死ある

2017-08-31 22:50:52 @omasanori@mstdn.maud.io
icon

コアタイムが短すぎる集団

2017-08-31 22:51:04 @omasanori@mstdn.maud.io
icon

えらいっ!

2017-08-31 22:54:22 @omasanori@mstdn.maud.io
icon

ある期間に投稿した人の数なら-1はアクティブな人が1人減ったというだけの意味なので……(?)

2017-08-31 23:03:05 @omasanori@mstdn.maud.io
icon

R-188、幻想郷だとどの辺の面子ですかね(人間側はそんな歳のキャラいない(当たり前)し妖怪側は桁が違うキャラが多い印象)

2017-08-31 23:04:03 @omasanori@mstdn.maud.io
icon

エーッ

2017-08-31 23:16:20 @omasanori@mstdn.maud.io
icon

IIDXやってるおたくは天土ちゃんでその手の属性に触れてしまうからしかたないね(??)

2017-08-31 23:18:16 @omasanori@mstdn.maud.io
icon

Chromebookに移行するタイプのWindows機、いわゆる「インターネットに繋がればOK」なやつですかね

2017-08-31 23:18:31 @omasanori@mstdn.maud.io
2017-08-31 23:13:23 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 23:18:33 @omasanori@mstdn.maud.io
2017-08-31 23:14:00 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 23:18:35 @omasanori@mstdn.maud.io
2017-08-31 23:18:14 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 23:19:38 @omasanori@mstdn.maud.io
2017-08-31 23:19:22 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

2017-08-31 23:20:26 @omasanori@mstdn.maud.io
icon

東急ハンズすごい……

2017-08-31 23:21:24 @omasanori@mstdn.maud.io
icon

頭が働いていなかったので東急ハンズでパソコン買ってる人々がChromebookに乗り換えてるのかと思った(そもそも東急ハンズでパソコン買えたか?)

2017-08-31 23:23:39 @omasanori@mstdn.maud.io
icon

最近深刻に自分の知性が失われていっているのを感じる、もうだめ