If you haven't played with emacs-refactor yet: https://github.com/chrisbarrett/emacs-refactor it's well worth your time. E.g. emr-el-extract-to-let is invaluable.
miniblog.
Most Pharo users prefer Linux with postgres: https://medium.com/@emaringolo/pharo-rdbms-support-survey-results-9c8f640878db (it's funny how Linux is not a niche OS in the developer community!)
rust-mode is lovely to work with. If you find syntax highlighting bugs, you can easily add tests:
Easy elisp improvements: Fork and clone with M-x github-clone, then fix missing autoloads with emr-el-insert-autoload-directive. Automation!
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
Showing 1-15 of 650 posts