One neat way of thinking of assertions vs unit tests: declarative vs imperative:
miniblog.
amb is a really interesting control flow structure:
https://community.schemewiki.org/?amb (not sure I understand how it behaves with side effects though)
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.
Showing 3,421-3,435 of 7,615 posts