It's also, not by coincedence, really, really cool.
Long time 3D/CAD Schemer/Lisper here. I've tried OpenSCAD, programming FreeCAD in Python, Blender3D, and others. AutoLISP was OK as long as you had AutoCAD. Creating parametric shapes in Blender3D in the mid-2000s was cool.
I had used SDRC's IDEAS and AutoDesk Inventor for work, but I was always looking for a more programmatic way of doing things, since sometimes the concepts were more 'organic'. Tools like Rhino at the time were grabbing some of that market, and they had scripting. I dug into Open Cascade a bit, but I am not as skilled as you are, and I got lost in their link to analysis tooling too.
I think the term computational design is a good one. The same way I think computational intelligence is better than the artificial intelligence moniker.
This project, Rosetta, seemed interesting in using Racket to bring a general CAD programming language to work as a Front end for various CAD systems - Rhino, AutoCAD and future ones  [2 PDF].
I will be following you closely, since I think your other projects are cool too!
[2 PDF] http://papers.cumincad.org/data/works/att/acadia11_196.conte...
Please please please tell me that you intend on either keeping that project alive or moving it's features into Ao. This is the first CAD software I can understand.
It not only combines the logical ordering I have grown to love as a programmer but the instant feedback of playing with legos. It's the only way I can describe it.
You've blown my mind completely tonight. I've stayed up 5hr after when I like to hit the hay just to play around with this software and am I amazed.
Really hope to hear back on this.
I'm planning to keep either Antimony or something similar alive into the future. Antimony is approaching convergence, so development has slowed down – not sure whether major new features will land there or in a successor (because I'm not sure what the next big features should be).
The trajectory may be to use Ao's kernel plus a new graph engine to make an Antimony successor. Ao is a powerful system, but I'd like to keep providing a tool with a friendlier UI and lower barrier to entry.
For you, given your obviously gifted talent for this sort of thing, it might actually be much much easier just to have a software interface. I don't thing most of the population is like this.
I'd say for most a visual graph display is more natural a conversion of our ideas to shapes then text is. That combined with the live updating models and you've got yourself a winner.
For the more technically inclined you also get to play around with ADDING blocks (via the script block) which is a perfect bridge between the technical side and the conceptional side.
As for features, I'd like to suggest a few things that might be helpful.
For the node graph system, I'd say take some ideas from Unreal's UDK.
1. Comment Blocks that can be dropped around large block groups
2. Ability to rout "cables" the way you'd like (Snap to a "junction" then to where you'd like to take it)
3. Select colors of wires.
4. The ability to collapse and expand XYZ from floats to a Point object (making it a single value) for nicer routing.
5. Variable declaration
That alone would be a massive undertaking. But my begging hand is still out: I'd like to be able to "simulate" what will happen. Adding this feature takes your project from simply being one of the best open source CAD projects I've ever seen to being one of the best cad projects I've ever seen. For me rivaling the usefulness of Fusion 360, Autodesk, Creo, the likes.
Aside from that, maybe add a more traditional interface in which I can right click on the model and say "3d->extrude>cylinder" and visually in the model edit the project while also changing the node graph.
I've got to say this if no one else has told you this yet: you're on to something big with this software and I DO hope you keep it up. You're building something that will bring engineering into the hands of us mere mortals. Coming from CS it's crazy to find the huge lack of open source tools and documentation in this space that you are seemingly fixing single-handedly.
Keep up the good work! Well, I should say the amazing work!
Implementing interesting algorithms is a good way to get a feel for the problem space, and it drags a bunch of the UI/UX considerations along with it – once you've created the crux of a particular tool, how do you expose it to a user (or just yourself while testing) in a way that makes sense?
Ao is more experimental and unstable. It's much lower-impedance for folks that want to work directly with f-reps, but doesn't have a click-and-drag UI with which to get started. The geometry kernel is also newer than Antimony's, and has slightly better performance. From a development perspective, I can play more easily with new algorithms without a cumbersome UI.
For folks that aren't as comfortable with coding, Antimony is the right choice. For f-rep development, Ao is the right choice. Otherwise, it's a matter of personal preference.
Beyond that, it's a small matter of programming – I'd want to find a UI paradigm / library that's less cumbersome that Antimony's, as the UI programming adds a lot of impedance to development.
I've wanted to get into doing some ME stuff but I can never get past how "made by engineers, for engineers" CAD software is.
Windows is less likely, as Guile (an FSF project) doesn't have an officially supported build. It looks like people have made it work , but there would be a lot more messing around involved.
Oh! And thanks for using GNU Guile Scheme :)
Details are at http://www.mattkeeter.com/projects/ao/jit.html
Rendering is done with pixel-perfect rasterization of the function. Models are only gets converted into a mesh when you're exporting.
This may change in the future, as it's much easier to spin around a mesh – the right strategy is probably a low-res mesh for interactivity, which gets replaced with a pixel-perfect rendering (running in the background until complete).
Generic procedures may be a cleaner way to do this, but I only discovered GOOPS after this implementation was already working.
Ah yes, I'm just blind and missed the implementation in your article. Thanks for explaining!
I don't get it, has he given up on Guile or not:
Guile works fine for Ao – it's clean and simple, plays nice with C FFI, and has a good REPL.
Racket was lower-impedance for the project discussed in that thread (and certainly has better documentation), but seems a bit heavy-weight for embedded use.
It's a similar idea: scripting behind cad.
 - http://www.openscad.org/
It's been years since I've seen a blue/red 3-D image, but the effect is still there. Is it just me?