Pinned toot

[固定用] 昨今の話題:
1. CMU 15-721 (Spring 2018) Advanced Database Systems
2. 中華中古自作 WorkStation Install Battle
そのうち記事になります。

迂闊に理論へ首を突っ込むと形になるまでに数年が溶けると忠告されたので、休日のまとまった時間で書籍を進めて、毎日の短い時間は比較的実用に根ざした方面からの学びで挟み込んでいきたい

ところで、今のところ重要そうな Sequential specification って既存の和訳あるのかな

Linearizability from 並シス本 - Nodewww t.co/r6GzZ34Esd
こつこつ定義してようやく線形可能性の定義の節までこれた、寝よう

なので消してリアルアカウントに化けるのもあり

現実は充実しているし学んだ事はScrapboxに書き溜めているので、SNSに書く事が無くなった。

山崎製パン | イーストフード、乳化剤不使用」等の強調表示について t.co/yE3adR6oPy

私の思っている「コンピューターサイエンス」の範囲と人々のそれが一致するかどうかわからないので何も言えない奴ね

いつも通り蒸し野菜をやっていた所、そのまま冷凍の生餃子を入れれば水餃子も作れることが分かったので最強に一歩近づく

皆さんもスニーカーなどの靴にガシガシ金を掛けていって欲しい

リストアしたML1978で早速一日歩いてみたが全く足が疲れたり痛くなったりしないのですごい

帰宅、あることないこと話してた

全政府統計の6割強不適切 プログラムミス、ルール違反、公表遅延など(毎日新聞) - Yahoo!ニュース t.co/Bzlx69a2rK
実際このミスでどういう数値になってるとか、実例が欲しい

Intel Zombieload bug fix to slow data centre computers - BBC News t.co/Cwyl5dLW6U
intel cpuに新しい脆弱性

AV1リアルタイムハードウェアエンコーダを開発しました - dwango on GitHub t.co/bKsP0qPDZb

きれいに洗えて嬉しい😂
アウトソールが補色剤で汚れてるので明日メラニンスポンジで真っ白にしたらスエード用の栄養・防水スプレー掛けて完成予定!

スエードスニーカー(ML1978)シャンプー洗浄

Show more
fla.red

Fla.redふれあど は /dev/null です。

どなたでもご参加いただけます。 また、他インスタンスとの連合を前提としているので特にテーマは設けておりません。 ローカルTLに気兼ねせず、思ったことを自由に投稿できます。

fla.red の特徴

コードスニペットを投稿できます

プログラムのコード片をトゥート中に埋め込めます。 現在のところ、Apache、Bash、CoffeeScript、C++、C#、CSS、D、Diff、 Go、Haskell、HTML、HTTP、Ini、Java、JavaScript、JSON、Julia、Kotlin、Lisp、 Makefile、Markdown、Nginx、Objective-C、OCaml、Perl、PHP、Python、 R、Ruby、Rust、Scala、Shell Session、SQL、TeX、XML に対応しています。詳細はこちら

トゥート中で数式を使用できます

トゥート中にて数式を利用することができます。 KaTeX を採用しているため、描画が高速です。詳細はこちら

個性豊かなカスタム絵文字

すし( )、 ベン図( )、 分布( )、 道路標識( )などの、 実用的で個性豊かな絵文字が多数登録されています。 詳細はこちら

極力迅速に Mastodon の最新リリースに追従

Mastodon にて新しいリリースが出た際には、 極力迅速に fla.red に取り入れます。 当初は rc 版に関しても積極的に取り入れておりましたが、アクティブユーザ数の増加を鑑み、原則としてアップデートの対象外としております。

したがってメンテナンスの回数は比較的多いです。 ご協力をお願いいたします。 また緊急を要する場合には予告なくメンテナンスを始めることもあります。 予めご承知おきください。