140 chars on Twitter feels so much more limiting after tooting!
miniblog.
TIL Debian disabled xwidgets in their Emacs build due to security concerns with embedded webkit: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843462 (understandable)
New blog post:
"Helpful: Adding Contextual Help to Emacs"
http://www.wilfred.me.uk/blog/2017/08/30/helpful-adding-contextual-help-to-emacs/
@Jelv Fantastic, thank you!
Extracting machine-readable specs from natural language specs for ARM architectures, and finding ambiguities! https://alastairreid.github.io/natural-specs/
Still learning how to discover interesting papers. Google Scholar's related articles helps,and I'm trying citeulike, but there must be more.
Shower thought: can types be viewed as a subset of contracts?
Interesting claim: to what extent does OO promote setters simply to avoid unwanted/accidental mutation? From
Blogged: Helpful: Adding Contextual Help to Emacs https://www.wilfred.me.uk/blog/2017/08/30/helpful-adding-contextual-help-to-emacs/
Applying type-based program synthesis to code completion, leading to snippets, not just method names. Clever!
What if code completion / search was implemented in a graph database? A fascinating discussion by some Haskellers: https://github.com/haskell/haskell-ide-engine/issues/10
Smalltalk is sufficiently alien that it can be hard to get started. There's a really helpful intro here: https://ceronio.net/2017/07/first-steps-with-pharo-smalltalk/
Racket's docs have some lovely examples of programming by contract: https://docs.racket-lang.org/guide/contracts-examples.html
Conditional syntax in @pharoproject still feels rather alien to me. Reviews welcome! Copy-pasteable version:
A wonderful property of lisps is that you can usually parse unfinished code into raw sexps. This is really handy when building editor tools.
Showing 3,271-3,285 of 7,508 posts