BruceM

Joined 15 years ago

Karma
3,597
Submissions
267
Member since
Dec 11
Working on Open Dylan (http://opendylan.org/) among other things.
View on Hacker News

Recent submissions

Comment · 5 years ago
Comment · 5 years ago
Comment · 7 years ago
https://link.springer.com/article/10.1007/s41024-016-0010-9 is a pretty nice discussion of concrete carbonation as well.

It is also worth pointing out that the GP's comment was showing the chemistry for a lime-based concrete. OPC (Ordinary Portland Cement) based concrete is substantially different in terms of the chemistry and the amount of energy involved in the manufacturing process (due to the increased amount of energy involved in producing the clinker).

Comment · 7 years ago
Yes... but another advantage here of lime over Portland cement is that the cooking of the limestone doesn’t require as much heat as the cooking of Portland cement. It won’t be carbon neutral, but it is a big improvement.
Comment · 7 years ago
It is too bad more isn't done with lime mortars and plasters. Hydrated lime (CaO + H20 => Ca(OH)2) reacts with CO2 to form CaCO3 + H20. And it is fun to work with ...
Comment · 8 years ago
It'll be interesting to see how much use Rust gets within Fuchsia atop the Zircon microkernel.
Comment · 8 years ago
Comment · 8 years ago
Comment · 8 years ago
Have you seen http://www.margrave-tool.org/v3/ which builds on Kodkod (which came after Alloy...)?
Comment · 9 years ago
It was relicensed as Apache 2 and GPLv2.
Comment · 9 years ago
That is me. I haven't seen much development effort since I switched to Rust. But ... I would still mentor someone who wanted to work on it or do something with it.
Comment · 9 years ago
I wrote that on the Atom forums ... that's the editor in Open Dylan, which used to be Harlequin Dylan (and was Functional Developer after Harlequin folded and before being open sourced).

I had parts of Deuce up and running as a terminal-based editor at some point. Well, I didn't do input which is clearly a very important thing ... but I'd made good progress on the output side of things. :)

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton