miniblog.

Coming from Python, Rust has an extraordinary number of integer types. I've used i8, u8, i64 and usize all in the same block of code!

I'm moving from ace-jump to avy. avy is a little more versatile, actively maintained, and can be configured to be a drop-in replacement.

Aha, great to see that ENSI have standardised the BF language to give compiler writers maximum flexibility! http://t.co/aHoMcyDJxv

What's your least favourite Emacs keybinding? I find C-M-x awkward for such a useful command. Moved to C-c e and never looked back.

Are there any languages that allow spaces in variable names? Would be interesting to try: could help readability but would affect syntax.

Quickcheck is great for finding interesting bugs, but it's a little sad when your tests randomly go green inappropriately.

Correctly printing floats was considered to be a solved problem, but there have been some recent perf improvements: http://t.co/C9UoVPSwt0

Benchmarking correctly is hard. Criterion generates HTML reports: http://t.co/J15W2yTr2q and performs linear regression to measure noise!

Found my first genuine bug using quickcheck! It can be hard to write properties, but http://t.co/fpkY7zIoWA is very helpful.

Nifty Emacs command of the day: helm-imenu. It lets you jump to definitions within a file, but also gives you an overview of that file.

ENSIME is a very nice Scala package for Emacs: http://t.co/9BxwSWjFl5 -- why don't more languages offer an 'inspect type' feature?

Writing an autocomplete tool for IDEs is an interesting problem. Rust is using AST pruning, C# uses lazy compilation http://t.co/zabM0tsthH

I'm having fun with quickcheck, but it definitely takes careful thought. You need tests that can be parameterised over a range of inputs.

I really like that Rust's build tool compiles all the files in your examples/ directory by default. It means examples actually work!

Today's useful, less known Emacs command: helm-all-mark-rings. It lets you jump to anywhere on the mark ring in any buffer!