rhysd is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
E9d6e19041fc618f

rhysd @inudog

rhysd boosted

live2.nicovideo.jp/watch/lv298 I'm watching the Mastodon Conference 3 which is being held in Japan. @Gargron will also speak.

450+ test cases help me a lot to refactor packages largely. `gorename` and `gomvpkg` also helped the migration.

github.com/rhysd/gocaml/commit

getelementptr LLVM IR instruction is ALWAYS confusing and I need to rush in a language reference manual.

I'm proceeding some ML language features for my compiler

github.com/rhysd/gocaml

I learned how to implement data structures with amortized-ordered operations.

1. Make invariant(s) to make operations amortized order (e.g. O(1) enque for Queue)
2. Prove it
3. Implement it not to break the invariant

I implemented lazy evaluation in Rust. I learned a lot about lazy evaluation and Deref coercion and RefCell.

I implemented an immutable Red-Black Tree in Rust. It was not so fun comparing with implementing binomial heap...

github.com/rhysd/reading-pfds/

I feel Babel&webpack would be a kind of jQuery in next era

@grant I guess your JSON file is broken. Please see ~/Library/Application Support/Mstdn .

I heard that some editor supports 'smart quotes' feature. It may break JSON file's double quotations.

When benchmark reveals that the owned type value causes bottleneck, I think then it's time to use lifetime restriction to gain more CPU/memory efficiency. I need to know how to take a benchmarking on Rust easily.

Writing restriction of lifetime ('a or something) makes program so complicated. I think I should avoid it as much as possible, preferring to owned types (String v.s. &str).

All I need to do is to fix the ownership errors by using references or `.clone()` properly.

Writing in Rust is a bit more difficult than writing in SML because I need to consider ownership. However, compiler can detect kind of errors related to ownership statically.

I've started to read Purely Functional Data Structures and trying to write them in Rust.

github.com/rhysd/reading-pfds

Rust compiler is much cleverer than me...

I published Mstdn.app v0.2.5. 😂

github.com/rhysd/Mstdn/release

- Context menu support (thank you @algernon)
- Use external browser also in Windows and Linux to open external pages
- Pawoo support
- Bug fixes

@algernon Thank you so much for your contribution. It will be included in next release!