7 ms·
Neat! This proposal caused me a lot of headaches, mechanizing its specification was the primary contribution of my Master's thesis a couple years ago[1]. I forg
by jacobmischka 4y ago
Neat! This proposal caused me a lot of headaches, mechanizing its specification was the primary contribution of my Master's thesis a couple years ago[1]. I forgot until rereading it just now, but doing so caught a typo in the proposal specification[2], my extremely minor contribution to advancing WebAssembly.
Glad to see it finally moving forward after stalling for so long! Excellent work!
[1]: https://github.com/jacobmischka/uwm-masters-thesis/releases/download/1.0.0/thesis.pdf https://github.com/jacobmischka/uwm-masters-thesis/releases/...
[2]: https://github.com/WebAssembly/tail-call/issues/10 https://github.com/WebAssembly/tail-call/issues/10
- diarrhea 4y agoThat might be the shortest (in word count) Master's thesis I have ever seen!
- jacobmischka 4y agoHa well the mechanization was a nontrivial amount of work (for me at least) and was considered part of it too. If it's still short despite that, then welp I guess I got lucky somehow.
- IshKebab 4y agoLooks typical for a master's thesis to me. Maybe you're thinking of a PhD thesis?
- diarrhea 4y agoNo, in my industry (mechanical engineering) Master (and also Bachelor) theses were always much, much longer. Longer lines, less vertical line spacing, many more pages. Lots of faffing about ('Introduction', 'State of the Art', 'Theoretical foundation', ...). Faculties urge supervisors and students to keep it below 100 pages (of relatively dense type).
- jacobmischka 4y agoAgreed on the formatting of mine being ridiculous with huge margins and line spacing, it wasn't my choice.
- anitil 4y agoClaude Shannon's masters thesis was quite short as well [0], around 25 pages! [0] https://www.cs.virginia.edu/~evans/greatworks/shannon38.pdf https://www.cs.virginia.edu/~evans/greatworks/shannon38.pdf