Notices by Masaki Hara (qnighy@qnmd.info), page 60

Masaki Hara (qnighy@qnmd.info)'s status on Saturday, 15-Sep-2018 18:50:52 JST Masaki Hara

https://users.rust-lang.org/t/varisat-0-1-3-lrat-generation-and-proof-trimming-sat-solver-written-in-rust-now-usable-as-library/20422
Rustで書かれたSATソルバVerisatがライブラリとして使えるようになったらしい。
In conversation Saturday, 15-Sep-2018 18:50:52 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: www.rust-lang.org
  
  Varisat 0.1.3: LRAT Generation and Proof Trimming (SAT solver written in Rust, now usable as library)
  
  from The Rust Programming Language Forum
  
  I’ve released an update to Varisat, my SAT solver written in Rust. It is now split into a library varisat and a command line solver varisat-cli. It also offers some interesting new features for unsatisfiability proofs.
Masaki Hara (qnighy@qnmd.info)'s status on Friday, 14-Sep-2018 21:26:40 JST Masaki Hara

月の水企画ブログが更新されている

In conversation Friday, 14-Sep-2018 21:26:40 JST from qnmd.info permalink
Masaki Hara (qnighy@qnmd.info)'s status on Thursday, 13-Sep-2018 22:51:04 JST Masaki Hara

https://github.com/rust-lang/rust/pull/54183
趣味の実装をsubmitした
In conversation Thursday, 13-Sep-2018 22:51:04 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: avatars0.githubusercontent.com
  
  Implement by-value object safety by qnighy · Pull Request #54183 · rust-lang/rust
  
  from GitHub
  
  This PR implements by-value object safety, which is part of unsized rvalues #48055. That means, with #![feature(unsized_locals)], you can call a method fn foo(self, ...) on trait objects. One aim o...
Masaki Hara (qnighy@qnmd.info)'s status on Thursday, 13-Sep-2018 20:01:57 JST Masaki Hara

「生まれ変わったら第二王子とか中途半端だし面倒くさい3」読み終わった。やはり最高のなろう小説だった。
女性が王子にTSチート転生して同じく転生者の令嬢とイチャラブする話。
https://www.amazon.co.jp/dp/B0778QJVH2
https://ncode.syosetu.com/n7831dt/
In conversation Thursday, 13-Sep-2018 20:01:57 JST from qnmd.info permalink
Attachments
1. Untitled attachment
2. Untitled attachment
Masaki Hara (qnighy@qnmd.info)'s status on Thursday, 13-Sep-2018 09:02:31 JST Masaki Hara

http://smallcultfollowing.com/babysteps/blog/2018/09/12/rust-office-hours/
Rustメンテナの一人で、rayon,lalrpop,chalk,nllなど何でもやってるスーパーマンのNiko Matsakis氏が、週2回/1回30分の「オフィスアワー」を試験的にはじめる。専用のリポジトリ上で30分枠を予約すると、あなたのRustの困りごとを診てくれる。枠の半分は初心者用。
In conversation Thursday, 13-Sep-2018 09:02:31 JST from qnmd.info permalink
Attachments
1. Untitled attachment
Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io)'s status on Wednesday, 12-Sep-2018 22:21:47 JST Masanori Ogino ????

7月に不採択で9月に再投票になったのか

In conversation Wednesday, 12-Sep-2018 22:21:47 JST from mstdn.maud.io permalink Repeated by qnighy
Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io)'s status on Wednesday, 12-Sep-2018 22:24:56 JST Masanori Ogino ????

EU Copyright Directive vote: Articles 11 and 13 approved - The Verge https://www.theverge.com/2018/9/12/17849868/eu-internet-copyright-reform-article-11-13-approved
今日の投票で採択されてる
In conversation Wednesday, 12-Sep-2018 22:24:56 JST from mstdn.maud.io permalink Repeated by qnighy
Attachments
1. EU approves controversial Copyright Directive, including internet ‘link tax’ and ‘upload filter’
  
  from The Verge
  
  Those in favor say they’re fighting for content creators, but critics say the new laws will be ‘catastrophic’
Masaki Hara (qnighy@qnmd.info)'s status on Wednesday, 12-Sep-2018 10:22:56 JST Masaki Hara

https://github.com/rust-lang/rust/issues/54134
Rustはasanとかtsanとかのsanitizer系ライブラリのコピーを同梱しているが、同じライブラリの別のコピーとのシンボル衝突で困ることがあるらしい。
In conversation Wednesday, 12-Sep-2018 10:22:56 JST from qnmd.info permalink
Attachments
1. Rename *San libraries when distributing · Issue #54134 · rust-lang/rust
  
  from GitHub
  
  Discovered in https://trac.torproject.org/projects/tor/ticket/27274#comment:7 it turns out that our vendored copies of these libraires cause problems when they override the system versions by accid...
Masaki Hara (qnighy@qnmd.info)'s status on Wednesday, 12-Sep-2018 10:15:21 JST Masaki Hara

https://github.com/rust-lang/rust/issues/53555#issuecomment-420345766
const fnの一部が安定化されるかも。今までは安定版ではコンパイル時定数関数を定義することができなかった(標準ライブラリにあるコンパイル時定数関数を使うことはできる)。
仕様変更の余地がある部分の安定化は後回しにされるが、基本的なことはできるようになる
In conversation Wednesday, 12-Sep-2018 10:15:21 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: avatars0.githubusercontent.com
  
  Tracking issue for a minimal subset of RFC 911, const fn · Issue #53555 · rust-lang/rust
  
  from GitHub
  
  This is a tracking issue for the RFC "Const functions and inherent methods" (rust-lang/rfcs#911). This issue only tracks a minimal subset of the proposal in 911 that we are (hopefully) co...
Masaki Hara (qnighy@qnmd.info)'s status on Wednesday, 12-Sep-2018 09:34:24 JST Masaki Hara

気持ちがもう1.30になってた(masterにブランチ生やして開発してるせい)

In conversation Wednesday, 12-Sep-2018 09:34:24 JST from qnmd.info permalink
ワクチン済み（1回） (keinos@qiitadon.com)'s status on Tuesday, 11-Sep-2018 18:34:57 JST ワクチン済み（1回）

>> 分散型のフリーマーケットの
>> 「#OpenBazzaar」や、
>> Googleドキュメントの代替と
>> なり得る「#Graphite_Docs」、
>> Instagramの代替となり得る
>> 「#Textile_Photos」、
>> SlackやWhatsAppの代替となり
>> 得る「#Matrix」、
>> YouTubeの代替となり得る
>> 「#DTube」、
>> 既存のSNSサービスとは違う
>> 真のソーシャルネットワーク
>> サービスとしては
>> 「#Akasha」や「#Diaspora」、
>> ピアツーピアのウェブ用のブラ
>> ウザ「#Beaker_Browser」
>> などが誕生しています
>> https://mstdn.jp/@septima_ad_vesperam/100706066510062103
>
> えっマストド……あれ……マスト
> ドンどこ？
#Pleromaもいない！
GNUSocial「」
In conversation Tuesday, 11-Sep-2018 18:34:57 JST from qiitadon.com permalink Repeated by qnighy
Attachments
1. No result found on File_thumbnail lookup.
  
  New status by septima_ad_vesperam
  
  By ?アジフ=ライ?（2018-04-01～） from mstdn.jp
[ えあい ]ε:) (eai@mstdn.maud.io)'s status on Tuesday, 11-Sep-2018 20:55:14 JST [ えあい ]ε:)

https://cloudup.com/ 、ロゴを右クリックしたらロゴ配布ページに飛んでなるほどになった
In conversation Tuesday, 11-Sep-2018 20:55:14 JST from mstdn.maud.io permalink Repeated by qnighy
Attachments
1. Untitled attachment
Masaki Hara (qnighy@qnmd.info)'s status on Tuesday, 11-Sep-2018 20:52:12 JST Masaki Hara

Chromeがwwwとmを雑に省略するやつ、弊社サービスではmにメッセージングサービスを割り当てているのでウケてた

In conversation Tuesday, 11-Sep-2018 20:52:12 JST from qnmd.info permalink
Ackey (141ackey@mstdn.jp)'s status on Tuesday, 11-Sep-2018 12:24:59 JST Ackey

知らん人に突然ブーストされるの怖い

In conversation Tuesday, 11-Sep-2018 12:24:59 JST from mstdn.jp permalink Repeated by qnighy
Masaki Hara (qnighy@qnmd.info)'s status on Tuesday, 11-Sep-2018 09:35:40 JST Masaki Hara
- せのお (妹尾賢)
Q. 穴にナスが入っているよ。これは何かな？ (ヒント: フランス語)
A. ナス

In conversation Tuesday, 11-Sep-2018 09:35:40 JST from qnmd.info permalink
Masaki Hara (qnighy@qnmd.info)'s status on Monday, 10-Sep-2018 20:13:38 JST Masaki Hara
- せのお (妹尾賢)
https://users.rust-lang.org/t/assert-eq-expected-and-actual/20304
assert_eq!(a, b) の左右どちらに期待されている値を書くか？という話題。assert_eq!自体はleft/rightと呼んでおり指向性はないが、以前qnighyが調べたときは標準ライブラリ内では右に期待する値を置いているようだった。
In conversation Monday, 10-Sep-2018 20:13:38 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: www.rust-lang.org
  
  Assert_eq! expected and actual
  
  from The Rust Programming Language Forum
  
  Hi, Just wondering what order expected and actual are supposed to go in the assert_eq! macro. The docs don’t say one way or the other. I know its a stupid question and in truth it really doesn’t matter which way they are listed, but I’d like to keep it standard in my tests. Docs: https://doc.rust-lang.org/std/macro.assert_eq.html Thanks, Jeramy
Masaki Hara (qnighy@qnmd.info)'s status on Monday, 10-Sep-2018 20:02:21 JST Masaki Hara
- せのお (妹尾賢)
Jean-Yves Girard教授の講演会！？
しかも概要が意味不明で面白そう

In conversation Monday, 10-Sep-2018 20:02:21 JST from qnmd.info permalink
Masaki Hara (qnighy@qnmd.info)'s status on Monday, 10-Sep-2018 13:12:52 JST Masaki Hara
- せのお (妹尾賢)
https://github.com/rust-lang/rust/issues/53719
Rustはpre-1.0期に機能・構文・用語などの大幅な変更を経験しているが、古い時代の化石がコンパイラ内に残っていて面白いという話がある。これは () が nil と呼ばれていたころの話
In conversation Monday, 10-Sep-2018 13:12:52 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: avatars1.githubusercontent.com
  
  Rename all mentions of `nil` to `unit` or `()` · Issue #53719 · rust-lang/rust
  
  from GitHub
  
  Ancient Rust used the term nil to describe the empty tuple. The compiler still uses this in a few places (e.g. the mk_nil method). All of these mentions should be changed to the current terminology...
Masaki Hara (qnighy@qnmd.info)'s status on Monday, 10-Sep-2018 10:19:41 JST Masaki Hara
- せのお (妹尾賢)
https://github.com/rust-rfcs/unsafe-code-guidelines/issues/9#issuecomment-419755288
最近このリポジトリでunsafe Rustの意味論が議論されている(なおRustBeltは並行性にまつわる部分だけを抽象化したもので完全な意味論ではない)
このコメントはいくつかのプラットフォーム(バイトがオクテットでない、NULLが0でないなど)を除外することを提案している
In conversation Monday, 10-Sep-2018 10:19:41 JST from qnmd.info permalink
Attachments
1. Domain not in remote thumbnail source whitelist: avatars1.githubusercontent.com
  
  Representation of integers and floating points · Issue #9 · rust-rfcs/unsafe-code-guidelines
  
  from GitHub
  
  This issue is to discuss the memory layout for integral and floating point types: bool u8..u128, i8..i128 usize, isize f32, f64 For the most part, these are relatively uncontroversial. However, the...
Masaki Hara (qnighy@qnmd.info)'s status on Sunday, 09-Sep-2018 23:31:14 JST Masaki Hara
- せのお (妹尾賢)
https://ncode.syosetu.com/n8792em/
「私の推しは悪役令嬢。」が最近毎日更新されててオススメなので読んで
In conversation Sunday, 09-Sep-2018 23:31:14 JST from qnmd.info permalink
Attachments
1. Untitled attachment

After
Before

Public

Notices by Masaki Hara (qnighy@qnmd.info), page 60

User actions

Following 1

Followers 0

Groups 0

Statistics

Feeds