7 ms·

Python bindings and GUI

104 points by chuchana 5y ago

codehero 5y ago
Any reason why the first example (subtracted sphere) is rotating off axis or possibly has bad geometry?
- dTal 5y ago
  How can a sphere be rotating "off axis"?
  - craftinator 5y ago
    Apparently you didn't bother to fully read their comment, or even look at the page. It is a subtracted sphere, meaning it could be any shape contained within a sphere, and the one in question has features that give axes, and to me eye appears to have a strange axial rotation
    - dTal 5y ago
      Wrong side of bed today? As a matter of fact I even put my finger up to the screen to verify that the edges were not in any way wobbling. The subtracted shape is a gyroid, which in no way has natural axes, so I beg your forgiveness for still not understanding the question.
      - craftinator 5y ago
        Yes, wrong side of the bed, I usually sleep on the left, but I definitely was on the right side that day, not that it's pertinent. I meant what I said, that it appeared that you hadn't bothered to read the page, or to fully read the comment. Your question is talking about a sphere (which can, btw, be rotated "off axis"), while the original comment was indicating one of the subtracted spheres from the page. Any of those subtracted spheres could be rotated off axis. So either you were ignoring a pertinent part of the original comment, or hadn't bothered to look at the subjects that comment was directed towards (either of these scenarios would violate HN guidelines). Off-axis rotation could mean many things in the context of the original comment, as is pointed out by other responses to your first comment. While it's true that a gyroid has no planar natural axes (by design), a gyroid can have many natural axes, depending on the space it is modelled in and the criteria for axis selection. For example, an axis can be found in the radial symmetry about the center of mass of a gyroid, in an infinite number of planes. A sphere can also be rotated off axis. If the axis of rotation is not projected across the center of mass of the sphere (rotation would be different than the infinite number of natural axes going through center of mass) is one way. Another way would be if the axis of rotation tended toward one of the COM natural axes at both ends, but was non-linear. Another off axis rotation would be if the axis of rotation was the natural axis, but was not co-planar with the rotation of the viewing axis, which would make it appear to wobble.
      - jmiskovic 5y ago
        I think you are referring to first video on home page while other two are talking about first video on examples page. That example has CSG operations on solids that share the vertical axis so the resulting shape should not wobble.
      - pengaru 5y ago
        There's definitely a wobble in the first example, no need for the attitude.
        dTal 5y ago
        >Apparently you didn't bother to fully read their comment, or even look at the page. Was there a need for this attitude (which, by the way, violates HN guidelines)? I was looking, not unreasonably, at the linked page. I see that indeed the first example on the "Examples" page exhibits this wobble - thanks to user jmiskovic who was actually helpful.
        craftinator 5y ago
        I'll direct you to my second response to you, where I point out why it appeared from what you wrote that you either hadn't read the original comment fully, or had not examined the subject of that comment. I believe pointing this out was not a violation of HN guidelines, while your negative attitude in multiple comments since then is most definitely in violation. As far as being helpful, I don't think your first comment falls into that category either.
        pengaru 5y ago
        write a song about it
twarge 5y ago
While there are lots of similar efforts, the bidirectional interaction struck me as quit promising; you can apparently push/pull on features and have the Scheme code update. There also seems to be an emphasis on correctness in the code, which sounds great to anyone who ever tried doing real work in FreeCad, though of course the gap in functionality is vast.
- dTal 5y ago
  I actually don't know of many similar efforts. The only comparable project to this one is curv [0] Coding shapes with signed distance fields is, unfortunately, highly impractical for CAD; operations tend to compose poorly (most operations a) assume euclidian space and b) distort space away from euclidian). But it's a pretty nice medium for generative art, and Scheme is a beautiful language to do it in. [0] http://www.curv3d.org/ http://www.curv3d.org/
  - Y_Y 5y ago
    I really don't know much about this, but do people often do CAD in non-Euclidean geometries? Outside of art and black holes and stuff, of course.
  - mkeeter 5y ago
    libfive is unusual in the SDF space in that it doesn't assume Euclidean space, or even Lipshitz continuity! It uses interval arithmetic, so its evaluation is conservative by construction; shapes with weird SDFs may evaluate more slowly, but they won't be wrong. This means that you can go wild with geometric and coordinate transformations – even weird things like twisting or attract/repel will work fine. (the only requirement is C0 continuity, which is the bare minimum; otherwise, a point could be both inside and outside the shape depending on which direction you approach it from)
    - elcritch 5y ago
      Is there a paper or more in depth resource for this? I've done continuum mechanics and FEM, but im curious to learn how SDF is unique. The projects looks very interesting!
leoedin 5y ago
This is an area I'd love to see more development - but the existing tools I've used all have quite major drawbacks. OpenSCAD is simple and relatively intuitive once you get your head around 3D space and how every object sits in it. The concept - code on the left, visualisation on the right is great. However, it's barely had any improvements in the 8 or so years I've been using it. The tooling is very basic and the performance can be very poor. There's often no way to know if a tiny change will crash (or slow down computation for so long it locks up) the environment (because it doesn't seem to have separation between the render thread and the GUI). Things like fillets, which other CAD environments can do seamlessly, are only possible with a hack which increases rendering time by many orders of magnitude (if it even finishes). CadQuery seems promising, but in the time I spent with it I found the workplane model quite frustrating. I wanted to write small functional geometries which I could reuse again and again - but I didn't find an easy way to do that. It seems to use global coordinates for all the transformations, so you need to know ahead of time what plane something's on. Maybe I just didn't understand the documentation though - it's incomplete and so you have to piece things together based on examples. These are of course open source tools, so it's great that they exist at all. In the age of 3D printing, laser cutting and CNC machining fully parametric code based model generation is really exciting.
- dTal 5y ago
  There's ZenCad: https://mirmik.github.io/zencad/en/ https://mirmik.github.io/zencad/en/ I'm extremely impressed by what it tries to be, although I found it to be rather hit-and-miss stability-wise. Seems to be the work of a single gifted developer. I would love to see this tool mature because it's pretty much exactly what I want. For programmatic mesh-based modeling - which is popular in the 3d-printing world but basically a non-starter for "real" CAD - Blender is starting to look quite promising. Blender's Python API is actually very nice for dealing with different coordinate systems (albeit a bit baroque when it comes to interacting with blender's knobs and buttons - although it's very discoverable thanks to the helpful API reference in the tooltips).
  - alanbernstein 5y ago
    Thanks for sharing this, seems worth a try at least.
virtualritz 5y ago
I started working on some Rust bindings for this but I'm currently stuck here[0] with some bindgen issue. If anyone wants to help that would be appreciated heaps. [0] https://github.com/rust-lang/rust-bindgen/issues/2035 https://github.com/rust-lang/rust-bindgen/issues/2035
- iudqnolq 5y ago
  I'd give cxx a shot. I've only written c bindings but I've heard great things about it. > This library provides a safe mechanism for calling C++ code from Rust and Rust code from C++. It carves out a regime of commonality where Rust and C++ are semantically very similar and guides the programmer to express their language boundary effectively within this regime. CXX fills in the low level stuff so that you get a safe binding, preventing the pitfalls of doing a foreign function interface over unsafe C-style signatures. https://cxx.rs/ https://cxx.rs/ If you're interested in chatting with a random inexperienced student about a month into writing his first Rust bindings I'd enjoy sharing approaches. I'm dzfranklin on the Rust language discord. (If you're not already aware of it the channel #black-magic is great for getting help with unsafe code)
deckar01 5y ago
I tried ImplicitCAD for SDF modeling, but it was just as slow as OpenSCAD and the quality was worse. This looks promising.
mkeeter 5y ago
I'm the main author of libfive, happy to answer any questions. The site isn't totally up to date – the Python bindings + API are brand new, and need some examples, but they work great if you know how to use them!
- traverseda 5y ago
  Are the python bindings part of core, or are they third party? Either way I should probably close https://github.com/libfive/libfive/issues/206 https://github.com/libfive/libfive/issues/206 ? Surprised to be hearing about this here instead of via that issue closing :p
  - mkeeter 5y ago
    Surprise! :D Yes, these are now part of libfive's core – Python is an important-enough language that having canonical, first-party bindings seems important. There was a bunch of infrastructure work to get to this point: the standard library was ported from Scheme to C++, so the shape bindings are now autogenerated for both target languages and use FFI to call into a dynamic library (with a C API).
- leokeba 5y ago
  Hello, thanks for your work, this seems very promising and I am very eager to push it a bit to see if it addresses the shortcomings of OpenSCAD, which I am using right now. However, when downloading the MacOS release of the Studio app and running it on my intel MBP, it seems that it cannot open the examples correctly. When opening the files with a text editor, I get the full content, but when opening them with Studio, only the last three lines (set-bounds, set-quality and set-resolution) are loaded into the text editor. I can copy and paste from my text editor and then it works like expected, but it's a bit tedious. Am I missing something or is this a bug ? I can open a ticket on github and provide more information if necessary. :)
  - mkeeter 5y ago
    I appreciate you downloading it and testing it out! This sounds like a bug, please open a Github issue and I'll investigate.
andybak 5y ago
I'd love to make use of this in various open source projects but as far as I know the Mozilla Public Licence has the same problem as LGPL if you ever want to build for Android or iOS. You can't mingle MPL/LGPL code with non-copyleft code unless it compiles to a separate binary. And on iOS/Android - you're forced to have a single signed binary for distribution on the official stores. Have I misunderstood? I would like to use it in conjunction with Apache licenced code. It feels like I'd be complying with the spirit but not the letter of the licence.
- mkeeter 5y ago
  Check out Q8/9/10 in the MPL FAQ: https://www.mozilla.org/en-US/MPL/2.0/FAQ/ https://www.mozilla.org/en-US/MPL/2.0/FAQ/ I don't believe the MPL requires the ability to re-link; this is one of the reasons I chose it over the LGPL. (My intentions are to promote development of the libfive by require changes to the library itself to be shared, while not limiting commercial use / distribution / embedding into a larger application; there is at least one commercial CAD company using libfive as a component in their application)
  - andybak 5y ago
    That's great news. I can think of another project using LGPL but (I suspect) with the same intention as you. I will spread the word the MPL might be a better fit.

104 points by chuchana 5y ago

codehero 5y ago

Any reason why the first example (subtracted sphere) is rotating off axis or possibly has bad geometry?

dTal 5y ago
How can a sphere be rotating "off axis"?
- craftinator 5y ago
  Apparently you didn't bother to fully read their comment, or even look at the page. It is a subtracted sphere, meaning it could be any shape contained within a sphere, and the one in question has features that give axes, and to me eye appears to have a strange axial rotation
  - dTal 5y ago
    Wrong side of bed today? As a matter of fact I even put my finger up to the screen to verify that the edges were not in any way wobbling. The subtracted shape is a gyroid, which in no way has natural axes, so I beg your forgiveness for still not understanding the question.
    - craftinator 5y ago
      Yes, wrong side of the bed, I usually sleep on the left, but I definitely was on the right side that day, not that it's pertinent. I meant what I said, that it appeared that you hadn't bothered to read the page, or to fully read the comment. Your question is talking about a sphere (which can, btw, be rotated "off axis"), while the original comment was indicating one of the subtracted spheres from the page. Any of those subtracted spheres could be rotated off axis. So either you were ignoring a pertinent part of the original comment, or hadn't bothered to look at the subjects that comment was directed towards (either of these scenarios would violate HN guidelines). Off-axis rotation could mean many things in the context of the original comment, as is pointed out by other responses to your first comment. While it's true that a gyroid has no planar natural axes (by design), a gyroid can have many natural axes, depending on the space it is modelled in and the criteria for axis selection. For example, an axis can be found in the radial symmetry about the center of mass of a gyroid, in an infinite number of planes. A sphere can also be rotated off axis. If the axis of rotation is not projected across the center of mass of the sphere (rotation would be different than the infinite number of natural axes going through center of mass) is one way. Another way would be if the axis of rotation tended toward one of the COM natural axes at both ends, but was non-linear. Another off axis rotation would be if the axis of rotation was the natural axis, but was not co-planar with the rotation of the viewing axis, which would make it appear to wobble.
    - jmiskovic 5y ago
      I think you are referring to first video on home page while other two are talking about first video on examples page. That example has CSG operations on solids that share the vertical axis so the resulting shape should not wobble.
    - pengaru 5y ago
      There's definitely a wobble in the first example, no need for the attitude.
      - dTal 5y ago
        >Apparently you didn't bother to fully read their comment, or even look at the page. Was there a need for this attitude (which, by the way, violates HN guidelines)? I was looking, not unreasonably, at the linked page. I see that indeed the first example on the "Examples" page exhibits this wobble - thanks to user jmiskovic who was actually helpful.
        craftinator 5y ago
        I'll direct you to my second response to you, where I point out why it appeared from what you wrote that you either hadn't read the original comment fully, or had not examined the subject of that comment. I believe pointing this out was not a violation of HN guidelines, while your negative attitude in multiple comments since then is most definitely in violation. As far as being helpful, I don't think your first comment falls into that category either.
        pengaru 5y ago
        write a song about it

twarge 5y ago

While there are lots of similar efforts, the bidirectional interaction struck me as quit promising; you can apparently push/pull on features and have the Scheme code update. There also seems to be an emphasis on correctness in the code, which sounds great to anyone who ever tried doing real work in FreeCad, though of course the gap in functionality is vast.

dTal 5y ago
I actually don't know of many similar efforts. The only comparable project to this one is curv [0] Coding shapes with signed distance fields is, unfortunately, highly impractical for CAD; operations tend to compose poorly (most operations a) assume euclidian space and b) distort space away from euclidian). But it's a pretty nice medium for generative art, and Scheme is a beautiful language to do it in. [0] http://www.curv3d.org/ http://www.curv3d.org/
- Y_Y 5y ago
  I really don't know much about this, but do people often do CAD in non-Euclidean geometries? Outside of art and black holes and stuff, of course.
- mkeeter 5y ago
  libfive is unusual in the SDF space in that it doesn't assume Euclidean space, or even Lipshitz continuity! It uses interval arithmetic, so its evaluation is conservative by construction; shapes with weird SDFs may evaluate more slowly, but they won't be wrong. This means that you can go wild with geometric and coordinate transformations – even weird things like twisting or attract/repel will work fine. (the only requirement is C0 continuity, which is the bare minimum; otherwise, a point could be both inside and outside the shape depending on which direction you approach it from)
  - elcritch 5y ago
    Is there a paper or more in depth resource for this? I've done continuum mechanics and FEM, but im curious to learn how SDF is unique. The projects looks very interesting!

leoedin 5y ago

This is an area I'd love to see more development - but the existing tools I've used all have quite major drawbacks. OpenSCAD is simple and relatively intuitive once you get your head around 3D space and how every object sits in it. The concept - code on the left, visualisation on the right is great. However, it's barely had any improvements in the 8 or so years I've been using it. The tooling is very basic and the performance can be very poor. There's often no way to know if a tiny change will crash (or slow down computation for so long it locks up) the environment (because it doesn't seem to have separation between the render thread and the GUI). Things like fillets, which other CAD environments can do seamlessly, are only possible with a hack which increases rendering time by many orders of magnitude (if it even finishes). CadQuery seems promising, but in the time I spent with it I found the workplane model quite frustrating. I wanted to write small functional geometries which I could reuse again and again - but I didn't find an easy way to do that. It seems to use global coordinates for all the transformations, so you need to know ahead of time what plane something's on. Maybe I just didn't understand the documentation though - it's incomplete and so you have to piece things together based on examples. These are of course open source tools, so it's great that they exist at all. In the age of 3D printing, laser cutting and CNC machining fully parametric code based model generation is really exciting.

dTal 5y ago
There's ZenCad: https://mirmik.github.io/zencad/en/ https://mirmik.github.io/zencad/en/ I'm extremely impressed by what it tries to be, although I found it to be rather hit-and-miss stability-wise. Seems to be the work of a single gifted developer. I would love to see this tool mature because it's pretty much exactly what I want. For programmatic mesh-based modeling - which is popular in the 3d-printing world but basically a non-starter for "real" CAD - Blender is starting to look quite promising. Blender's Python API is actually very nice for dealing with different coordinate systems (albeit a bit baroque when it comes to interacting with blender's knobs and buttons - although it's very discoverable thanks to the helpful API reference in the tooltips).
- alanbernstein 5y ago
  Thanks for sharing this, seems worth a try at least.

virtualritz 5y ago

I started working on some Rust bindings for this but I'm currently stuck here[0] with some bindgen issue. If anyone wants to help that would be appreciated heaps. [0] https://github.com/rust-lang/rust-bindgen/issues/2035 https://github.com/rust-lang/rust-bindgen/issues/2035

iudqnolq 5y ago
I'd give cxx a shot. I've only written c bindings but I've heard great things about it. > This library provides a safe mechanism for calling C++ code from Rust and Rust code from C++. It carves out a regime of commonality where Rust and C++ are semantically very similar and guides the programmer to express their language boundary effectively within this regime. CXX fills in the low level stuff so that you get a safe binding, preventing the pitfalls of doing a foreign function interface over unsafe C-style signatures. https://cxx.rs/ https://cxx.rs/ If you're interested in chatting with a random inexperienced student about a month into writing his first Rust bindings I'd enjoy sharing approaches. I'm dzfranklin on the Rust language discord. (If you're not already aware of it the channel #black-magic is great for getting help with unsafe code)

deckar01 5y ago

I tried ImplicitCAD for SDF modeling, but it was just as slow as OpenSCAD and the quality was worse. This looks promising.

mkeeter 5y ago

I'm the main author of libfive, happy to answer any questions. The site isn't totally up to date – the Python bindings + API are brand new, and need some examples, but they work great if you know how to use them!

traverseda 5y ago
Are the python bindings part of core, or are they third party? Either way I should probably close https://github.com/libfive/libfive/issues/206 https://github.com/libfive/libfive/issues/206 ? Surprised to be hearing about this here instead of via that issue closing :p
- mkeeter 5y ago
  Surprise! :D Yes, these are now part of libfive's core – Python is an important-enough language that having canonical, first-party bindings seems important. There was a bunch of infrastructure work to get to this point: the standard library was ported from Scheme to C++, so the shape bindings are now autogenerated for both target languages and use FFI to call into a dynamic library (with a C API).
leokeba 5y ago
Hello, thanks for your work, this seems very promising and I am very eager to push it a bit to see if it addresses the shortcomings of OpenSCAD, which I am using right now. However, when downloading the MacOS release of the Studio app and running it on my intel MBP, it seems that it cannot open the examples correctly. When opening the files with a text editor, I get the full content, but when opening them with Studio, only the last three lines (set-bounds, set-quality and set-resolution) are loaded into the text editor. I can copy and paste from my text editor and then it works like expected, but it's a bit tedious. Am I missing something or is this a bug ? I can open a ticket on github and provide more information if necessary. :)
- mkeeter 5y ago
  I appreciate you downloading it and testing it out! This sounds like a bug, please open a Github issue and I'll investigate.

andybak 5y ago

I'd love to make use of this in various open source projects but as far as I know the Mozilla Public Licence has the same problem as LGPL if you ever want to build for Android or iOS. You can't mingle MPL/LGPL code with non-copyleft code unless it compiles to a separate binary. And on iOS/Android - you're forced to have a single signed binary for distribution on the official stores. Have I misunderstood? I would like to use it in conjunction with Apache licenced code. It feels like I'd be complying with the spirit but not the letter of the licence.

mkeeter 5y ago
Check out Q8/9/10 in the MPL FAQ: https://www.mozilla.org/en-US/MPL/2.0/FAQ/ https://www.mozilla.org/en-US/MPL/2.0/FAQ/ I don't believe the MPL requires the ability to re-link; this is one of the reasons I chose it over the LGPL. (My intentions are to promote development of the libfive by require changes to the library itself to be shared, while not limiting commercial use / distribution / embedding into a larger application; there is at least one commercial CAD company using libfive as a component in their application)
- andybak 5y ago
  That's great news. I can think of another project using LGPL but (I suspect) with the same intention as you. I will spread the word the MPL might be a better fit.