Easy elisp improvements: Fork and clone with M-x github-clone, then fix missing autoloads with emr-el-insert-autoload-directive. Automation!
miniblog.
Safe and Secure: Ada 2012 https://www.adacore.com/knowledge/technical-papers/safe-and-secure-software-an-invitation-to-ada-2012/ (criticises C, many other languages have adopted some ideas, but the subtyping is elegant)
It's so hard to reason about a substantial inheritance hierarchy. Child classes can access state in the parent, so they're no simpler.
"more skilled programmers are more fingerprintable" https://freedom-to-tinker.com/blog/aylin/when-coding-style-survives-compilation-de-anonymizing-programmers-from-executable-binaries —great paper that suggests it's hard to release code anonymously
A sign of a well written test suite is when new users reporting bugs can see how to write a failing test.
Rather than showing compiler errors in a different window to your editor, BSD has long been able to annotate code! https://lambda-the-ultimate.org/node/5280#comment-90779
Really interesting blog post describing a case where GCC developers decided to not exploit undefined behaviour:
Is Sound Gradual Typing Dead? https://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf (explores the significant performance cost of partially specified types in Racket)
Great introduction to omniscient debugging, including comments on keeping performance acceptable: https://www.drdobbs.com/tools/omniscient-debugging/184406101
Brilliant deep dive on the Midori compiler, and its quest for performant, safe, GC'd language implementation:
Common misconceptions of orthogonal persistence: https://tunes.org/wiki/orthogonal_20persistence.html
Joe Duffy has a fascinating blog post on efficient asynchronous API design for systems:
A Persistent System in Real Use - Experiences of the First 13 Years https://tunes.org/wiki/eumel.html (amazing OS where even processes are persistent)
Good compiler error messages are hard. LtU: https://lambda-the-ultimate.org/node/5280#comment-90836 if two parts of a function use different types, what do you highlight?
Showing 4,876-4,890 of 7,583 posts