amb is a really interesting control flow structure:
https://community.schemewiki.org/?amb (not sure I understand how it behaves with side effects though)
miniblog.
Fascinating discussion of how Hack's typechecker is fast and highly parallelised, and applying it to Scala:
Excellent, thoughtful article on the difference between dev needs and distro needs (and how to manage dependencies):
Hardfloat vs softfloat in RISC-V compilers, and accommodating the different ABIs possible:
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!
-<>> (aka 'diamond wand') is a cute variant of threading macros, allowing you to specify where the arg is passed:
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)
Showing 3,391-3,405 of 7,584 posts