teepee changed the topic of #openscad to: OpenSCAD - The Programmers Solid 3D CAD Modeller | This channel is logged! | Website: http://www.openscad.org/ | FAQ: https://goo.gl/pcT7y3 | Request features / report bugs: https://goo.gl/lj0JRI | Tutorial: https://bit.ly/37P6z0B | Books: https://bit.ly/3xlLcQq | FOSDEM 2020: https://bit.ly/35xZGy6 | Logs: https://bit.ly/32MfbH5
<dTal> Tell me about your Haskell CAD kernel!
<juri_> well, i'm maintainer of implicitcad, so i've always had some haskell cad stuff to kick around, but i've spent the last two years writing a slicer.
<dTal> how do you parameterize shapes? Can you do CSG yet?
<juri_> oh yes, i have a dumb scad engine that for really dumb programs is identical to openscad.
<dTal> mesh based?
<juri_> yep.
<juri_> implicit function based. hense the name.
<dTal> ah I wasn't sure if your dumb scad engine == implicitcad
<juri_> yep!
<juri_> writing something from scratch for the slicer, tho.
<dTal> I've been thinking a lot about parametric surfaces lately
<juri_> it's ALSO using the implicitcad SCAD engine, but only to define regions to perform slicing in.
teepee_ has joined #openscad
<juri_> the geometry engine in it is completely different. it's a projective geometry engine.
<dTal> projective geometry?
<juri_> Projective geometric algebra. it's an algebraic system that does a lot of the work you would normally use a linear algebra system for.
teepee has quit [Ping timeout: 240 seconds]
teepee_ is now known as teepee
<juri_> everything is defined in N+1 dimensions, then projected into the target dimension set. so, for instance, my 2D points consist of three floats.
<juri_> Can you read haskell?
<dTal> doubtful, but I'd love to try
<dTal> this looks very interesting http://projectivegeometricalgebra.org/
<juri_> yep. that's the stuff.
<juri_> I have a debugging interface in my geometry engine that pops out ganja.js code.
<juri_> https://github.com/Haskell-Things/HSlice/blob/master/Graphics/Slicer/Math/PGA.hs and GeometricAlgebra.hs are the whole geometry system, and Ganja.hs spits out code you can drop into https://enkimute.github.io/ganja.js/examples/coffeeshop.html
<dTal> line 171, s/it's/its/g :)
<dTal> this is deep stuff, it's a little late for me to grok it
kilimar has joined #openscad
<dTal> but thanks for the heads up!
<juri_> dTal: I'm always around if you have PGA questions.
rue_mohr has joined #openscad
<dTal> I want to be able to define surfaces parametrically, as (x,y) = f(t), intersect them, and generate new functions
<dTal> I had a notion I might start throwing equalities at Symbolic.jl (a CAS in Julia)
<juri_> there's a couple of other GAs that are surface-based.
<dTal> but I had in mind just ordinary cartesian functions, none of this extra dimension stuff; it seems to sit at a lower representational level than the abstract parametric surface
<juri_> I've basically written a geometry engine in 1000 lines of code, using PGA. i'm sure geometric algebra is the way to go, nowadays. i'd love to have a few years to rewrite ImplicitCAD. maybe in Idris this time. :)
rogeliodh has quit [Quit: The Lounge - https://thelounge.chat]
rogeliodh has joined #openscad
use-value1 has joined #openscad
use-value has quit [Ping timeout: 240 seconds]
use-value1 is now known as use-value
LordOfBikes has quit [Ping timeout: 246 seconds]
KimK has quit [Ping timeout: 268 seconds]
LordOfBikes has joined #openscad
kilimar has quit [Quit: Client closed]
J2297 has joined #openscad
J22 has quit [Ping timeout: 250 seconds]
trashbird has quit [Ping timeout: 260 seconds]
KimK has joined #openscad
trashbird has joined #openscad
KimK has quit [Ping timeout: 246 seconds]
KimK has joined #openscad
toulene has quit [Read error: Connection reset by peer]
toulene has joined #openscad
<J2297> the highlight gets confused if a text is in two lines
GNUmoon has quit [Ping timeout: 240 seconds]
<J2297> i wonder what happens if "!" is not "show only" but "execute only"  - i think it would make it easier to find a problem
<J2297> and it would be the inverse of "*"
<J2297> at the moment "show only" means everything else still gets calculated
J2297 is now known as J22
teepee has quit [Remote host closed the connection]
teepee has joined #openscad
lastrodamo has joined #openscad
zauberfisch has quit [Ping timeout: 260 seconds]
zauberfisch has joined #openscad
KimK has quit [Ping timeout: 246 seconds]
arebil has joined #openscad
<J22> any idea how i can get rid of these face errors? https://pasteboard.co/IEi39KNOcjpU.png  .. overlap doesn't solve this
califax has quit [Remote host closed the connection]
califax has joined #openscad
<J22> hmm different overlap https://pasteboard.co/IazhDDaQOpvh.png  no issues this time .. however CGAL always says everything is ok  but other software detect multiple shells
la1yv_b has quit [Ping timeout: 248 seconds]
la1yv_b has joined #openscad
fling has quit [Ping timeout: 240 seconds]
arebil has quit [Quit: My keyboard has gone to sleep. ZZZzzz…]
qeed has quit [Quit: qeed]
qeed has joined #openscad
KimK has joined #openscad
foul_owl has quit [Ping timeout: 256 seconds]
arebil has joined #openscad
foul_owl has joined #openscad
arebil has quit [Quit: My keyboard has gone to sleep. ZZZzzz…]
SamantazFox_ has quit [Ping timeout: 248 seconds]
SamantazFox has joined #openscad
drgerg has left #openscad [#openscad]
arebil has joined #openscad
arebil has quit [Quit: My keyboard has gone to sleep. ZZZzzz…]
kyki has joined #openscad
kyki has quit [Client Quit]
use-value1 has joined #openscad
use-value has quit [Ping timeout: 248 seconds]
use-value1 is now known as use-value
use-value1 has joined #openscad
use-value has quit [Ping timeout: 248 seconds]
use-value1 is now known as use-value
nedko has quit [Ping timeout: 240 seconds]
SilentSquares has quit [Quit: Client closed]
nedko has joined #openscad
<gbruno> [github] MichaelPFrey opened issue #4210 (the parser does not count new line in context of use and include) https://github.com/openscad/openscad/issues/4210
<gbruno> [github] MichaelPFrey assigned issue #4210 (the parser does not count new line in context of use and include) https://github.com/openscad/openscad/issues/4210
lastrodamo has quit [Quit: Leaving]
KimK has quit [Ping timeout: 256 seconds]
snaked has quit [Ping timeout: 268 seconds]
GNUmoon has joined #openscad
EkpyroticFrood has quit [Quit: So long, and thanks for all the fish.]
EkpyroticFrood has joined #openscad