ふわり恋模様 【かりぐらし恋愛OP はな】 - YouTube
https://www.youtube.com/watch?v=og0elBcWt1c
この歌を一度最後まで聞いてみてほしいんですが、あらゆる音がおかしくて気が狂いそうになりません?? (これは茶化しているのではなく本気)
ふわり恋模様 【かりぐらし恋愛OP はな】 - YouTube
https://www.youtube.com/watch?v=og0elBcWt1c
この歌を一度最後まで聞いてみてほしいんですが、あらゆる音がおかしくて気が狂いそうになりません?? (これは茶化しているのではなく本気)
著作権侵害っぽい URL は投稿しないようにしてるんだけど、確認してほしさがそれどころではなくなった
作曲の理論とか全然わからないんですが、何かが明らかにおかしくて精神にダメージが来るのは間違いない……
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
こんな時間になってしまったので、塩素系漂白剤で洗濯機の槽洗浄 (11時間) を開始してから寝ることにした
これ以降二度と投稿がなかったら塩素で死んだと思ってください (一応空気の流れは問題ないように制御してある)
このアカウントは、notestockで公開設定になっていません。
いや、クソ田舎の道なんかもちゃんと自動車使えるように整備されているのはそれこそ税金のおかげなので、利用者や頻度で考えれば田舎のほうがそういうインフラ整備の恩恵は圧倒的に上なのではと思うけど……
100倍の金をかければ100倍素晴らしい道路になるとかではないのだろうし、道路維持の金を利用者や利用回数で割ったら田舎の方が得してるんじゃねえのと思う
このアカウントは、notestockで公開設定になっていません。
音楽の歌詞はあまりにも独特の構文なので (日本語でもそうだけど) 単語とか特定のフレーズの学習には使えても一般的な英語に触れるものとしては微妙そう
exFATのとき https://lore.kernel.org/lkml/20200302062145.1719-1-namjae.jeon@samsung.com/ はほぼファイル単位で「〇〇の機能を追加」みたいなコミットが続いて最後にKconfigとMakefileを追加するコミットがあるパッチになっていて、ntfs3もそんな感じに分割するのが第一歩かなという印象。
NTFSというプロプライエタリなファイルシステムをほぼ完全に動かす(例えばParagonのサイトにはNTFS-3Gでは必須な高速スタートアップを無効にせよとは書かれていない https://www.paragon-software.com/jp/home/ntfs-mac/ )ような高度なコードを単純な単機能パッチで済ませられるかというとそれは疑問
[PATCH] fs: NTFS read-write driver GPL implementation by Paragon Software.
https://lore.kernel.org/linux-fsdevel/2911ac5cd20b46e397be506268718d74@paragon-software.com/
このままの形でマージされることは絶対にないけれど、好意的かつ建設的な反応がいくつも返ってきている。Paragon Software側が対話と改善を続ければLinuxカーネルのNTFS実装が大きく進歩すると期待している。
Paragon Softwareはバックアップソフトウェアの他、Microsoft NTFS for MacやMicrosoft exFAT/NTFS for Androidといった製品を販売している会社。
現在Linuxカーネルに入っているNTFS実装の作者が立ち上げ、NTFS-3G FUSEドライバの商用サポートを提供しているTuxeraとは別の会社。PHPを中心にWebアプリケーションの暗号系やセキュリティに取り組んでいるParagon Initiative Enterprisesとも別の会社。
全体としてデカいパッチなのが問題なんじゃなくて、デカい単一パッチなのが問題
既存のntfsと別に作ってますね。それを一旦stagingに置くのか単に既存のntfsを置き換えるのかもマージに向けて議論が必要そう。
Linuxカーネルではコミット単位でレビューするので、GitHub上のプロジェクトでいうPRよりは全体が少し大きくても新規モジュールなら許されるけれど、コミットがレビューに適した大きさに分割されていないと手を上げるレビュアーがいない
商用ソフトをGPLにするのでかなり頑張ってるとは思うけど多分Paragon的にはわざわざそこまでする義理はないので
歌詞の翻訳、背景の事を知らないと翻訳できない歌詞もわりとあったりとかもあるよね><
突然出てくる人名とか><
https://mstdn.maud.io/@kb10uy/104686477646186045
https://mstdn.nere9.help/@orange_in_space/104697987619637017
ガリレオフィガロじゃん……
Linuxカーネル側こそ「会話に応じない会社が投げてきたレビュー不能な巨大パッチをマージしてメンテナンスコストを分担する義理はない」ので、Paragon Softwareがマージを目指して会話するかどうかが重要
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
首都で自分のところの水道水をボトルに詰めて売ってる国がエジプトの砂を揶揄してる暇があるんかいという感想です (適当)
さっそくリビングでプレイはじめたら親が帰ってきた顔をしている
リビング夕食を摂りながらエヨゲをしていたところ致シーンに入りそうな気配を感じたので、とりあえずウィンドウを隠した
リビングでエロゲをしていたら致シーンに突入してしまった場合そのまま続けることもあるので(エッジケース)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
CW は「中身に注意」
NSFW は「背後に注意」
……とでも訳すのが良いのではと思っている #適当
Safe for WorkでもContent Warningが必要かもしれない投稿の例:明日は月曜日
Safe for WorkでもContent Warningが必要かもしれない投稿の例:犯人はヤス
しばらく蛇口直前で留まっていた水、「これくらいの温度でシャワー浴びたい」くらいの温度になっており、つまり温水
このアカウントは、notestockで公開設定になっていません。
ComicVket,お手盛り開催ならまあね……と思ってたけどあれ主催者は BtoB や BtoC のプラットフォーマーとしてこれからやっていこうとしてる企業体なのかよ,と気付いてこう,力抜けた(だいぶだめじゃん)
温い風とアブラゼミの鳴き声に風情を感じながらノイキャンヘッドホンを装着するらりおであった
私はアレがソレなのでFirefox for Androidを常用してAndroid Chromeを無効化する暴挙に出ていますが、WebViewはChromeベースなのに変わりはないのでセキュリティ的にはChromeだけ使ってた方がいいです。というかWebViewを抜きにしても権限別のプロセス分割やサンドボックスはFirefoxよりもChromeの方が上とよくいわれている
Firefoxに実装されている従来のプロセス分割はどちらかというと機能別に分けていて、沢山権限を持っているプロセスがある
Amazon | エレコム トラックボールマウス/人差指/8ボタン/有線/無線/Bluetooth/ブラック | エレコム | マウス 通販
https://www.amazon.co.jp/dp/B07CG1R3JT
DEFT Pro 買うか〜
最近のマイコンボード,Python が動きます!とか Arduino IDE が使えます!まで情報はあって世の中のブログもそれでチュートリアルしてみました!まで書いていて,「でベアメタルは?」が多くなってる気がしてならない
感受性が豊かなので、プレイしたことのないエロゲのエンディング曲を聞いて「良いゲームだなぁ……」って言いながら泣いてる
このアカウントは、notestockで公開設定になっていません。
FirefoxビルトインのAmazon.co.jp検索経由で購入することでMozillaにアフィリエイト収入を与えていこうな
Googleはevil!Firefoxでduckduckgoを使うぞ!!みたいな人は厳しくなってはいかんということです
Mozillaを厳しく感じれるのはFirefoxをつかっていてかつサーチバーのGoogle検索を使っていた人だけですよ!
まあ、Mozillaに金銭的な支援をするとしてGoogleにしろAmazonにしろアフィリエイトID付きの検索プラグインを使うか、直接寄付するか、Firefoxにパッチを書くことを業務に含んでいるコンサルタント会社と契約するか、何をするかは各自の好みだと思います
https://mstdn.maud.io/@kb10uy/104699023301219207
正しいものが Right なのは左利き差別で politically incorrect なので、そういう意見は一蹴してよし #適当
https://twitter.com/muscle_azoson/status/937506260856971264 #tw
> 「Haskellを書く人はRightに『正しい』という意味があることを知ってるからEitherのRightに正常時の返り値を入れるが、OCamlを書く人は英語を知らないからLeftに入れる」とかいう暴論、思い出すとめっちゃ笑える
まあ実際 anonymous field の struct であるところの tuple と anonymous variant の enum であるところの Either は対等な位置付けになるので、一方だけいらないというのは不自然ではある
名前が用途を限っているという点については完全に https://mstdn.maud.io/@azyobuzin/104699026331005656 です
Result をやめて Either を使えというのは理解できないし全く相容れない、それはそう
blacklist という名前を使わないようにした理由なんでしたっけ? 人種差別うんたらとは関係なくわかりにくいからでしたっけ? ええ、 Left, Right も同じですね、同じくらいの熱量でぶっ潰してくださいよ
内部的に Either 相当のものがほしくなって enum ThisOrThat を定義してたライブラリなら見たことあります (Left と Right よりは政治的に正しそう (???))
enum Either<W, N> {
White(W),
NotWhite(N),
}
tuple も anonymous sum type も、「メンバの型名自体が意味を明示しており、混乱がない」などの文脈のうえで有用なものであって、あらゆる場面で使えなんて話には普通ならない
まあ tuple については「順番が意味を明示している」の場合もあるのでその点では sum type よりも使いやすくはあるかもしれないけど
FooOrBar、とりあえず Foo と Bar の上位概念について考えて思い付かなかったらそもそも悪い構造ということにしている
https://mstdn.maud.io/@kb10uy/104699079566181225
たとえば ActivityPub で「Object または Link を持つフィールド」が無限種類ある場合に、それぞれのフィールドごとに型を用意するのか (不毛) それとも ObjectOrLink 型を用意するのか、みたいな例があるか
Activity Vocabulary
https://www.w3.org/TR/2017/REC-activitystreams-vocabulary-20170523/
Range が `Object | Link` なプロパティが無限にあるけど、本当に全部に個別の型を用意しますかと
別の型にすると、それはそれで今度は相互の型変換を無限に実装する破目になったりするので、それが工学的に正しいかというのも怪しい場合がある
std::ffi::OsStr - Rust
https://doc.rust-lang.org/stable/std/ffi/struct.OsStr.html#trait-implementations
たとえば str, Path, OsStr (とそれぞれの owned な型) だけでもこんなに PartialEq やら何やらが発生することになるわけで……
あるいは to と cc と bcc みたいな本質的に対等な型をどこまで一緒にするか、あるいは本質的に対等でないが自明に互換性のある型をどこまで一緒にするか、みたいなデザインの判断も悩ましいところ
標準ライブラリに入るべき、 either crate では駄目な理由というのはよくわからない (単に一手間省けるくらいで、標準に入れることはそんなに重要か?)
@tacumi 微妙ですね (受信者からすると同じですが送信者からすると taint flag の有無くらいの意味の違いはある)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Consider some form of extensible enums · Issue #409 · rust-lang/rfcs
https://github.com/rust-lang/rfcs/issues/409
Anonymous sum types · Issue #294 · rust-lang/rfcs
https://github.com/rust-lang/rfcs/issues/294
わかるなぁ
私は
#[derive(Default, Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
の順にしている
@tacumi 受信側ではそもそも自分が to か bcc かを区別する必要がないというのと、 bcc にあった項目を to に移動する際に一切破綻が起きないという点に、同質性を見出していました
taint flag のようなものというのはもうちょっと正確にいうと information flow typing みたいな話で、「型に対して『これは公開されて良い』とか『これは洩れては困る』などの属性を与えてやることで型検査時に情報漏洩の可能性を検出しよう」みたいなテクニックが to / cc と bcc に適用可能なので、その点では差を付けることができるかなと。
ただ、これはデータとしては同じ構造と意味を持つが利用方法や出自が異なる、というような解釈ができるので、型に異なる属性を付けられるからといって全くの別物であると称するのはちょっと主張が強すぎるかなと思っていました
Gradual Information Flow Typing
https://users.soe.ucsc.edu/~cormac/papers/stop11.pdf
PDF 注意
@tacumi もちろん私も思想としては用途まで含めて型を分けろマン寄りです。
しかし、たとえば ActivityStreams や他の莫大な語彙を持つような規格のような、型が増えすぎることで開発者にとってネガティブな影響が大きくなる場合がありえるので、そのとき何かしらの「同一化」により型を減らす必要が実用上生じるのかなという文脈でした。
その場合、 to / cc / bto / bcc は「同一化」の候補に真っ先に上がるかなと。
継承がある型システム(ツリー状の型システム)では継承すればシンプルに解決しそうな話題?><
@tacumi 継承は人類を不幸にするという信仰を持っているので……
継承を使いたいならお好きにすればいいけど、お前らの大半は共変と反変の区別付いとらんじゃろがいという気持ちになってしまうんだよな
@tacumi 結局「つよい型システムが欲しい」に帰着するし、つよい型システムは永遠に型検査が終わらないので、世界の限界のそばでダンスし続けるしかないんですね
オレンジ的には世の中のモノの関係の構造ってわりとツリー状になってるかもって思ってるので、ツリー状にならない型システムの方が謎><
(完全なツリー状は厳しすぎるのでジェネリクスとかはあっておk感><)
ツリーが簡単に破綻するのは「正方形、長方形、菱形、平行四辺形」の例から考えても明らか
単に正方形と長方形だけで考えても、読みと書きで共変/反変が変わってくるので、実質ぜんぜんうまくいってないじゃんというお気持ち
このアカウントは、notestockで公開設定になっていません。
そもそもの話、共変と反変という2つの真反対の包含関係が見えているのに、継承というシステムが1方向にしか使えないわけで、根本的に表現力が足りていないと思ってしまう
「祖先クラスでできていたことや持っていた性質をあるクラスより下では損なわせる」という逆方向の継承みたいなのが同時に用意できるのであればあるいはと思うけど
漏れ漏れパスワード、2要素認証設定してあるやつでそのパスワードのまま放置してたら、見事にログインまで到達してきた奴がいたね
例の Recorded You メールも来たけど、そのパスワードしか来ないので、逆に安心してるところある
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Steam で 10% オフ:縦笛なめなめVR
https://store.steampowered.com/app/1336160/VR/
ゥヮ……と思ってたら後半だんだんおかしくなってきて笑ってしまった
おっ、GitのリポジトリをSHA-256に移行するのに必要なパッチがgit/git.gitにマージされている。
https://lore.kernel.org/git/xmqqd03u18q3.fsf@gitster.c.googlers.com/
念のために書いておくと、2.29にこのパッチが入っていたとしてもすぐに移行しようとするのはやめた方がよいでしょうし、本番用と別にSHA-256なリポジトリを作ってバグを探すのはありだと思います
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
こんなすてきなまとめがあったのか,知らなかった
無料で読めるITまんが 2020年版 - Publickey https://www.publickey1.jp/blog/20/it_2020_2.html
[Web Comic] すぱこー 焼きそば編 1食 – プログラミング生放送
https://pronama.jp/2015/12/01/web-comic-yakisoba-1/
これだけは知ってた (???)