Backups—now automatic
Until recently, we have been backing up our site by exporting and saving the database and files to my laptop. Last week, Peter found out how to direct our software service provider (Bitnami) to create...
View ArticleNew plugin “List category posts”
This plugin is useful if you want to create a page with a complete list of posts from a category (such as publications, talks, etc). Normally, when you click a category name, WordPress only shows the...
View ArticleSecure logins
The https is now enabled on the server, and this lets WordPress handle your login using encryption. This way your password is not sent in plain text, which is useful for instance when you are working...
View ArticleMarkdown (should be) working properly
The markdown plugin has been updated, so that it should be compatible with latex. Let me know if this isn’t the case for you. You can write math with dollars: $\alpha<\beta$ You can write it with...
View ArticleNew plugin to list upcoming events
Vika and I wrote a new plugin called “Simple upcoming”. If you enable it, then you can attach an “Event date” to each of your posts using a new widget in the post editor. Then you can get a list of...
View ArticleNew “off-site” members feeds on front page
Several colleagues with their own wordpress installations have been taking part in our experiments here at Booles’ Rings for some time. Now, their post feeds are included in our front page widget, too....
View ArticleNew web server
We have changed web hosts from Amazon to Dreamhost. Our hope is that the system will now be a little bit more stable. Please let us know if you experience any new or unexpected behavior. The Amazon...
View ArticleNew “spoiler” plugin
We have installed JQuery Expanding Box, a plugin which allows you to show and hide certain parts of your posts. So for instance if you write a technical post with proofs, you could initially hide the...
View ArticleNew “microblogging” plugin
Have you ever wanted to make short announcements on your blog without using twitter? Vika and I just completed a plugin to add a “microblog” feature to your site. To enable it, go to the plugins...
View Article
More Pages to Explore .....