Site Discussion

LtU database problem

On posting a comment, I get:

user error: Incorrect key file for table './ltu/cache.MYI'; try to repair it
query: DELETE FROM cache WHERE expire != 0 AND expire 

The comment is posted, but the above sounds wrong.

upvoting?

Does Drupal have a plug-in for supporting up/down voting things? I want to tell people who posted that i'm excited about their post even though i am too uneducated/ignorant/clueless to be able to actually post anything relevant other than, "w00t!" Can somebody pretty please install such a feature? :-) It would be nice to be able to sort the "Recent Posts" by that as well. :-)

Note to home page contributors

I added a new category "Scientific Programming" for discussions of, well, issues related to languages targeting scientific programming.

Math.js crashes my iPad

The site math viewer is consistently crashing my iPad; it makes a note that it is trying to load something math.js for awhile before Safari just dies. Either this is an iOS issue, or an iOS + great firewall issue (if the font files aren't hosted locally, they are usually hosted by a blocked-in-china google).

LtU now supports Mathjax

LtU now supports MathJax, which allows the use of TeX markup in posts and comments. Note that only TeX/LaTeX markup is currently supported - the alternate MathML format conflict's with the blog's HTML sanitization.

This enhancement is dedicated to neelk, who most recently suggested this feature just over a year ago.

When I went searching for a bit of Mathjax-compatible LaTeX that was relevant to programming languages, the first good example Google found for me was on Neel's blog:

$$
\newcommand{\val}[1]{\mathsf{val}\,{#1}}
\newcommand{\rule}[2]{\frac{\array{#1}}{#2}}
\newcommand{\judge}[3]{{#1} \vdash {#2} : {#3}}
\newcommand{\letv}[3]{\mathsf{let}\;{#1} = {#2}\;\mathsf{in}\;{#3}}
\begin{array}{ll}
\rule{\judge{\Gamma}{e}{A}}
{\judge{\Gamma}{\val{e}}{T(A)}}
&
\rule{\judge{\Gamma}{e}{T(A)} \qquad
\judge{\Gamma, x:A}{e'}{T(C)}}
{\judge{\Gamma}{\letv{\val{x}}{e}{e'}}{T(C)}}
\end{array}
$$

Copy-pasting the above and making it work immediately made it clear that we're going to need a package of useful macros. But it's a start. Feedback welcome.

Note that MathJax rendering is entirely client-side - if you don't see a well-formatted formula above, check the MathJax browser compatibility page and their FAQ.

How is LtU doing?

I thought it was just summer, but now that fall is here, the site still feels kind of quiet.

Genealogical Diagrams broken link

maybe replace
http://lambda-the-ultimate.org/node/7
"complete" http://merd.net/pixel/language-study/diagram.html

with
http://rigaux.org/language-study/diagram.html

Links in long topics don't work

I tried to post a link to my posting:

http://lambda-the-ultimate.org/node/4655#comment-74144

but it just posts a link to the first page of a 2-page discussion and doesn't connect to my posting. Seems broken.

A bug with collapsed views, and some thinking aloud

Steps to reproduce:

a) View a forum topic in a collapsed view, say collapsed threaded.
b) Click on a comment.

A page pops up that looks like the reply page, but it's different. Posting a comment there doesn't reply to the comment you're seeing.

This is the reason for this empty comment of mine. I couldn't see any way to delete the comment after I'd moved it to the right place.

Perhaps it would be less confusing if the form on a comment url replied to that url? That's what HN does. Or we could follow reddit and get rid of that form altogether.

---

I've been bouncing around between views as a way to make sure I don't miss any comments. What do others do? Does everyone use the global track page? It seems unsatisfying for some reason (partly I keep forgetting it exists). And the asterisks feel unreliable because I'm afraid I navigated away without reading all of them.

"Next Page" comment links not working

Say for example, http://lambda-the-ultimate.org/node/4535#comment-73053, it loads the first page, and can't jump to the comment because its on the second page.

XML feed