Great post on writing and optimising an interpreter using Rust: https://blog.jeffsmits.net/compsci/2017/08/06/a-stratego-interpreter-in-rust/
miniblog.
borg: managing ~/.emacs.d with git submodules, to facilitate contributing to upstream: https://emacsair.me/2016/05/17/assimilate-emacs-packages-as-git-submodules/ (a definite pain point IME)
Superb cgo&Rust adventure, exploring the ABI and assembly code required to integrate Rust libraries with Go: https://blog.filippo.io/rustgo/
One neat way of thinking of assertions vs unit tests: declarative vs imperative:
amb is a really interesting control flow structure:
https://community.schemewiki.org/?amb (not sure I understand how it behaves with side effects though)
FSet (a CL library) has a great defence of default types being immutable with value semantics.
https://common-lisp.net/project/fset/Site/index.html
Fascinating discussion of how Hack's typechecker is fast and highly parallelised, and applying it to Scala: https://medium.com/@gkossakowski/can-scala-have-a-highly-parallel-typechecker-95cd7c146d20
Excellent, thoughtful article on the difference between dev needs and distro needs (and how to manage dependencies): https://www.bassi.io/articles/2017/08/10/dev-v-ops/
Hardfloat vs softfloat in RISC-V compilers, and accommodating the different ABIs possible: https://www.sifive.com/blog/2017/08/14/all-aboard-part-1-compiler-args/
Users do incredibly sophisticated things with spreadsheets and aren't intimidated. Should programmable apps avoid the word 'programming'?
GitHub's review process is really growing on me. PRs are nice because there's a clear accept/reject, reviews clarify the current status.
Awesome Emacs package of the day: simple-call-tree. Show a summary of call calls in functions!
A lovely example of extensible type systems evolving independently from the underlying language! https://twitter.com/soprano/status/898664668079693824
-<>> (aka 'diamond wand') is a cute variant of threading macros, allowing you to specify where the arg is passed: https://github.com/rplevy/swiss-arrows
On avoiding saying "straightforward" or "just": https://www.cs.uni.edu/~wallingf/blog/archives/monthly/2017-08.html#e2017-08-11T09_08_53.htm (I find it's more welcoming to newbies to avoid these terms)
The Community Scheme Wiki has an interesting approach to highlighting.It colours by depth, but only when you select.
I thought that Rust's concept of ; (i.e. don't return a value) was novel. Turns out MATLAB does something similar!
It's funny that quality of PL implementation has little effect on PL popularity. Good implementations are neither necessary nor sufficient.
Ingenious technique for removing watermarks: avg many images, then subtract the raw watermark! https://research.googleblog.com/2017/08/making-visible-watermarks-more-effective.html (has countermeasures)
"Awesome error messages for Dotty" https://scala-lang.org/blog/2016/10/14/dotty-errors.html (exploring Elm/Rust influenced compiler error messages in Scala!)
Showing 321-340 of 885 posts