Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 613 614 615 616 617 618 619 620 621 622 623 .. 5022
— 502,152 events total
2020-10-13 14:03:28 <dminuoso> Haha. :)
2020-10-13 14:03:29 <juri_> merijn: i've spent almost 7 years working on 3d printing in haskell. unfortunately, i'm falling apart faster than i can print.
2020-10-13 14:03:47 <dminuoso> juri_: Hold on, 3d printing in haskell?
2020-10-13 14:03:49 <dminuoso> tell me more.
2020-10-13 14:04:04 <merijn> Ah, but see, edwardk is just inventing cool new stuff, plenty of volunteers for that
2020-10-13 14:04:15 <phadej> merijn: order two copies (hopefully you can a discount) of hvr too
2020-10-13 14:04:29 <juri_> dminuoso: implicitcad. hslice. modeling and slicing natively in haskell. badly, because there is only one of me.
2020-10-13 14:04:29 <phadej> could get a discount*
2020-10-13 14:04:42 <merijn> Less volunteers for turning duct tape and string into semi-solid engineering foundations :p
2020-10-13 14:04:49 <dminuoso> juri_: How good is your slicing of human models?
2020-10-13 14:04:52 <juri_> I don't have hslice on hackage yet.
2020-10-13 14:05:07 <juri_> dminuoso: poor. i'm still working on simple geometric shapes.
2020-10-13 14:05:32 <merijn> phadej: And maybe an SPJ ;)
2020-10-13 14:05:39 → alp joins (~alp@2a01:e0a:58b:4920:e961:3e4f:cf0f:6182)
2020-10-13 14:05:43 <juri_> worse, i decided halfway through to change everything to projective geometric algebra, so hslice has a PGA engine embedded in it.
2020-10-13 14:06:05 × shafox quits (~shafox@106.51.234.111) (Ping timeout: 240 seconds)
2020-10-13 14:06:07 → xff0x joins (~fox@217.110.198.158)
2020-10-13 14:06:15 <dminuoso> merijn: Soon we're gonna need a clone of Stephanie Weirich as well to keep the cogs in dependent haskell going.
2020-10-13 14:06:31 <merijn> I'm not sure I'm happy with those cogs :p
2020-10-13 14:06:37 <phadej> isn't Richard kind of a mixture of both?
2020-10-13 14:07:07 <dminuoso> 16:05:32 merijn | phadej: And maybe an SPJ ;)
2020-10-13 14:07:18 <dminuoso> Luckily for us, SPJ did reproduce already.
2020-10-13 14:08:12 <dminuoso> juri_: What is PGA?
2020-10-13 14:08:15 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-13 14:08:33 <tomjaguarpaw> projective geometric algebra, presumably
2020-10-13 14:08:33 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-13 14:08:33 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-13 14:08:33 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 14:09:11 <akegalj> &quit
2020-10-13 14:09:18 <juri_> it's a high performance / high precision algebra system for doing geometry in. takes less operations to do stuff, and uses pure forms of objects, rather than approximations.
2020-10-13 14:09:53 <akegalj> ;'\[]
2020-10-13 14:09:58 <dminuoso> Does that require the input to be in some PGA format as well?
2020-10-13 14:10:07 <dminuoso> Or can an arbitrary CAD output be fed into that?
2020-10-13 14:10:10 × akegalj quits (~akegalj@93-138-183-8.adsl.net.t-com.hr) (Quit: leaving)
2020-10-13 14:11:02 → lemmih_ joins (~lemmih@218.186.157.57)
2020-10-13 14:11:02 × mmohammadi981266 quits (~mmohammad@188.210.103.147) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-10-13 14:11:42 <juri_> it uses STLs.
2020-10-13 14:11:57 <juri_> which coincidentally are what implicitcad outputs.
2020-10-13 14:13:32 × lemmih quits (~lemmih@2406:3003:2072:44:9dc:f2e9:a002:8d1a) (Ping timeout: 260 seconds)
2020-10-13 14:13:42 → mmohammadi981266 joins (~mmohammad@188.210.103.147)
2020-10-13 14:15:40 → ruffy_ joins (~jonas@2a03:b0c0:3:d0::162e:a001)
2020-10-13 14:17:47 <fendor> can I generate a module graph with some tool?
2020-10-13 14:17:48 → ddellacosta joins (~dd@86.106.121.168)
2020-10-13 14:17:48 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-10-13 14:17:55 <merijn> "yes"
2020-10-13 14:18:04 <merijn> But now you're gonna ask which one, aren't you? >.>
2020-10-13 14:18:06 <dminuoso> fendor: `cabal-plan dot --tred`
2020-10-13 14:18:16 × knupfer quits (~Thunderbi@200116b82c814300c0110b68686b9a3e.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-13 14:18:17 <dminuoso> (the --tred is not required, but probably desirable)
2020-10-13 14:18:26 → knupfer joins (~Thunderbi@200116b82c814300c0110b68686b9a3e.dip.versatel-1u1.de)
2020-10-13 14:18:30 <dminuoso> And then the usual graphviz tools. :)
2020-10-13 14:18:45 <dminuoso> Oh wait. module graph
2020-10-13 14:18:47 <dminuoso> mmm
2020-10-13 14:18:49 × Noldorin quits (~noldorin@unaffiliated/noldorin) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2020-10-13 14:18:57 <dminuoso> graphmod?
2020-10-13 14:19:15 <fendor> merijn, :P well, preferably
2020-10-13 14:19:40 <fendor> dminuoso, looks good
2020-10-13 14:21:19 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-13 14:21:43 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-13 14:22:28 hackage effet 0.3.0.0 - An Effect System based on Type Classes https://hackage.haskell.org/package/effet-0.3.0.0 (MichaelSzvetits)
2020-10-13 14:23:55 <fendor> dammit, I have multiple Types modules that almost everyone depends on
2020-10-13 14:24:09 <merijn> fendor: As always :p
2020-10-13 14:24:11 <fendor> dminuoso, thanks, beautiful tool!
2020-10-13 14:24:19 <merijn> I wish GHC would just get proper cyclic imports
2020-10-13 14:25:14 <dminuoso> merijn: I recall a length discussion at dinner with a few of the GHC folks.
2020-10-13 14:25:50 <dminuoso> Dont think it's ever gonna happen. :p
2020-10-13 14:26:00 <merijn> Which is a travesty!
2020-10-13 14:26:44 × mmohammadi981266 quits (~mmohammad@188.210.103.147) (Quit: Ping timeout (120 seconds))
2020-10-13 14:27:06 <merijn> I demand my convenience! :(
2020-10-13 14:27:27 → mmohammadi981266 joins (~mmohammad@188.210.103.147)
2020-10-13 14:28:34 → seawalk joins (~seawalk@185.163.110.116)
2020-10-13 14:30:28 hackage gi-gtksheet 4.0.1 - GtkSheet bindings https://hackage.haskell.org/package/gi-gtksheet-4.0.1 (ivanbakel)
2020-10-13 14:34:36 → spew joins (uid195861@gateway/web/irccloud.com/x-fetxtksdzgfjvjwb)
2020-10-13 14:36:19 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-13 14:37:14 → kupi joins (uid212005@gateway/web/irccloud.com/x-zkqelsktmjuyhxgl)
2020-10-13 14:38:39 × lowryder quits (~djlowry@web603.webfaction.com) (Read error: Connection reset by peer)
2020-10-13 14:40:24 × nomeata quits (~jojo@dslb-088-064-028-148.088.064.pools.vodafone-ip.de) (Quit: Client exiting)
2020-10-13 14:42:14 × ralejs quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 14:42:19 → ralejs_ joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 14:44:27 × ralejs_ quits (~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-13 14:44:51 → ralejs joins (~ralejs@2620:10d:c093:400::5:c80)
2020-10-13 14:44:53 × ericsagnes quits (~ericsagne@2405:6580:0:5100:dca2:e278:5c94:78bf) (Ping timeout: 272 seconds)
2020-10-13 14:45:05 × Gerula quits (~Gerula@unaffiliated/gerula) (Ping timeout: 240 seconds)
2020-10-13 14:45:16 × fendor quits (~fendor@77.119.130.38.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-13 14:45:35 × chaosmasttter quits (~chaosmast@p200300c4a711b0018861c787729f3b81.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-13 14:46:49 → blip joins (58823d9e@gateway/web/cgi-irc/kiwiirc.com/ip.88.130.61.158)
2020-10-13 14:47:45 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-13 14:48:52 <blip> Is it possible to have enum on the type level? data X = A | B | C | D; foo :: Proxy [A..D]
2020-10-13 14:49:03 <merijn> blip: Yes!
2020-10-13 14:49:23 <blip> I've got a quite large datatype and I'd like to avoid TH and copy pasting
2020-10-13 14:49:25 <merijn> blip: Although this is a path that *can* lead to incredibly painful code in the long term, so be warned :p
2020-10-13 14:49:33 <merijn> oh, wait
2020-10-13 14:49:37 <ocharles> Does anyone know if `build-tool-depends` should be putting executables in PATH for the relavant components when I use Cabal with Distribution.Simple.defaultMain? Because I'm not seeing that
2020-10-13 14:49:37 <merijn> You mean the syntax
2020-10-13 14:49:42 × mmohammadi981266 quits (~mmohammad@188.210.103.147) (Read error: Connection reset by peer)
2020-10-13 14:49:58 <ocharles> The documentation for build-tool-depends writes: Cabal tries to make sure that all specified programs are atomically built and prepended on the $PATH shell variable before building the component in question, but can only do so for Nix-style builds
2020-10-13 14:50:09 <merijn> blip: You could write a type family that computes that list?
2020-10-13 14:50:10 <ocharles> But I don't know if a Setup.hs counts as Nix-style or old style
2020-10-13 14:50:23 <merijn> ocharles: Setup.hs is lower level
2020-10-13 14:50:33 <merijn> Setup.hs is Cabal (not cabal-install)
←Prev  Next→
Page 1 .. 613 614 615 616 617 618 619 620 621 622 623 .. 5022

All times are in UTC.