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: https://github.com/rust-lang/rust-mode/blob/061e6d8a3a9104570144f1eacb729e3211cb03cd/rust-mode-tests.el#L1193-L1199
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.
It's really exciting to see that Dolphin Smalltalk is now open source and on GitHub! https://object-arts.com/gettingstarted.html
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: https://blog.regehr.org/archives/767
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: https://joeduffyblog.com/2015/12/19/safe-native-code/
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: https://joeduffyblog.com/2015/11/19/asynchronous-everything/
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?
Refactored some unsafe FFI code to be idiomatic Rust today, and valgrind approves of everything on the first run. I'm impressed!
TIL that Go has an excellent CLI tool for renaming things: https://texlution.com/post/gorename/ -- why doesn't this exist in more languages?
Showing 1-20 of 650 posts