Site Discussion

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.

solution to the ever narrowing posts problem?

are there any drupal hackers who could somehow fix the ever narrowing text problem? :-)

why inheritence in OOP?

I thinking about the design of the object model of a new programming language, and am leaning away from the idea of inheritance.

As far as my understanding goes, inheritance serves the following purposes:

* re-use of code in the child class by inheriting functionality from parent classes

* helping/enabling polymorphism by creating classes that have similar enough capabilities to make them "compatible" to a greater of lesser extent.

Have I missed anything or got aything wrong? Does anyone know of any language type models that do not use inheritance? Does anyone have a view of the pros & cons of such a model?

I've looked at what has been in Go, and my initial impression is that I like it.

Thanks, Mark.

XML feed