miniblog.

Blogged: These Weeks in Remacs III: https://www.wilfred.me.uk/blog/2017/10/16/these-weeks-in-remacs-iii/
Learning about vintage approaches to find improvements for modern designs. I feel there's a parallel between PL design and fashion.
The benefit of annotating commits by feature: you can measure how many bugfixes each feature needed!
Photo
Racket seems to have a critical mass of mindshare: tons of accomplished lispers building some amazing PL features. I need to use it more.
Is 'make -jN' an anachronism? Shouldn't a modern build tool choose a sensible level of parallelism without human intervention?
"a lock-free application won’t lock up even with thread scheduling decisions being made by your worst enemy" https://morestina.net/blog/749/exploring-lock-free-rust-2-atomics
Creating a circular data structure should be impossible with immutability, right? Amazingly, laziness enables this: https://wiki.haskell.org/Tying_the_Knot
We're discussing a logo for Remacs! https://github.com/Wilfred/remacs/pull/360
Too many program synthesis tools assume your spec is in a decidable format. They've had incredible results, but tests are way more general.
It's less interesting to argue in favour of a type system in general. Should it be gradual, structural, nominal and/or dependent, and why?
The next London Emacs event will be on the 26th of October! @howardabrams will be speaking :) https://www.meetup.com/London-Emacs-Hacking/events/244121012/
GitHub Octoverse has lots of fun stats: total users/repos/PRs, most contributed projects, and even Linus' first PR! https://octoverse.github.com/
Fun post on the perils of block comments: https://futhark-lang.org/blog/2017-10-10-block-comments-are-a-bad-idea.html (nesting can cause problems, not being lexically aware can too)
It's amazing how often programming languages have a particular feature that all library authors want to take advantage of. 1/n
I've seen two different references to Newspeak today (modules, methods). Sadly I don't think my ST-fu is strong enough yet to grok it.
As tooling replaces low skill web devs, it only leaves opportunities for skilled pros. Interesting perspective:
Photo Photo
How do you reschedule threads to replicate race conditions? rr elegantly emulates CPU starvation:
Photo
Writing arbitrary values to kernel memory by changing the GPU temperature! https://twitter.com/frgx/status/917095566009495552
This is also useful if something is making Emacs slow. SIGUSR2 gives you a traceback, whereas C-g just stops whatever it is. https://twitter.com/_wilfredh/status/659499112677642242
You can redefine function application in Racket! This would be really handy for tracing or debugging.
Photo Photo
Showing 141-160 of 885 posts