Pinned toot

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

ゲノム編集の時代と言わずとも、精子バンクの売買は行われているし、既に生後の子供の才能を定量化して適したスポーツをサジェストする団体があるのか…辛い話だな

12時以降虚無ってこの時間になるのマジでどうにかしたいんですよねー

細々としているけど重要なものをどう管理すべきかよくわからないんですよね。かごを複数買ってラベリングしてラックに並べるくらいが関の山

おっと、ひとつだけ例外があって、メールの通知は普通に出したい。つまりメーラーが総合的な通知キューであってほしいという話ですね。

連続的な情報のモニタリングを除いてあらゆる通知はメールに集約してほしい。androidの通知欄への文句です

虚構的対象である「私」にYoしてくる脳、完全に悪いオタクなんですよね

脳の抑制が失調すると定期的に"Yo"なる文字系列が生起してくるんですがどうすればいいんでしょうね

そこまで焦るものでもないというのが今の判断です

MediaPad M5 Pro、今買うならベストかなー

よくよく考えてみるとDiscordもドンも所謂適切な分断に引きこもる類いなので、私にはこれが性に合ってるのかもしれません。まぁ大域的な社会も居心地の良い水溜まりを探すために必要ではあるのですが。

たった6人かあ…かっこいいな

無料SSL認証サービス「Let’s Encrypt」が「2019年にHTTPSがどれだけ普及するか」の予測を発表 - GIGAZINE gigazine.net/news/20190105-let
"Let's Enclyptのインフラストラクチャは2つのデータセンターに分割された総計およそ55ユニットのラックスペースで構成されているとのこと。また、わずか6人で構成されているサイト信頼性エンジニアリング(SRE)チームによって管理"

またしばらくドンに引きこもろう

ツイイイの皆さんが三角関数エコーチェンバーを形成していて今日もSNSに失望していた

数学書を読む技術というか、自力で証明していく訓練を積んでおきたい人生だった

母が買ったhuawei p20を触ってクソ良いなと言うだけの存在になってた

いよいよ今日が大晦日ですよ! むっちゃドキドキしてきた…。 皆さん、今日くらいは休んで初日の出に備えますよね?

絶縁素材のテープ欲しいな

相変わらず今日も「これは~の性質から直ちに証明できる」を直ちに証明できないやつをやってるんですが、こんな時間なので寝て仕切り直しかなぁ :oshimai:

甘利 情報理論、取り敢えず1章終えた

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 版に関しても積極的に取り入れておりましたが、アクティブユーザ数の増加を鑑み、原則としてアップデートの対象外としております。

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