Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 112 113 114 115 116 117 118 119 120 121 122 .. 5022
— 502,152 events total
2020-09-21 11:30:46 <hekkaidekapus> tomjaguarpaw: hehehehe… Yeah, it’s about arithmetic branched off octopuses…
2020-09-21 11:30:46 × GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-09-21 11:30:57 → Amras joins (~Amras@unaffiliated/amras0000)
2020-09-21 11:31:06 → GyroW joins (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be)
2020-09-21 11:31:06 × GyroW quits (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) (Changing host)
2020-09-21 11:31:06 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-09-21 11:31:06 <merijn> tomjaguarpaw: Godspeed
2020-09-21 11:31:25 → knupfer joins (~Thunderbi@dynamic-046-114-145-147.46.114.pool.telefonica.de)
2020-09-21 11:31:27 <merijn> tomjaguarpaw: Cabal's internals are...hairy :p
2020-09-21 11:31:54 <tomjaguarpaw> I've also been wondering whether it's possible to reduce Cabal's line count by 80%
2020-09-21 11:32:07 <tomjaguarpaw> I suspect it would be, at the expense of not supporting Hugs and other little-used things
2020-09-21 11:33:42 → hvr joins (~hvr@haskell/developer/hvr)
2020-09-21 11:35:08 <merijn> tomjaguarpaw: Well, not so much about not supporting Hugs as "dropping the established API/design that accommodates any compiler"
2020-09-21 11:35:34 <merijn> Sure, if we just threw our hands in the air and said "fuck it, cabal only supports GHC" a significant portion of the code could be eliminated
2020-09-21 11:35:52 <merijn> But I don't like the idea of tying crucial tooling *that* tightly to GHC
2020-09-21 11:38:37 <hekkaidekapus> tomjaguarpaw: The full quote: “Octopus… Enapus… pentekaidekapus hekkaidekapus heptakaidekapus OKTOKAIDEKAPUS enneakaidekapus eikosapus” courtesy of Helen Dewitt <http://helendewitt.com/>
2020-09-21 11:38:56 <tomjaguarpaw> merijn: Agreed, but it would be an interesting experiment to see just how small and simple one could get.
2020-09-21 11:39:13 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-09-21 11:39:32 <tomjaguarpaw> hekkaidekapus: What's the connection to arithmetic?
2020-09-21 11:40:23 → shafox joins (~shafox@106.51.234.111)
2020-09-21 11:40:59 <hekkaidekapus> Learning new languages, for instance starting by counting in Greek, all of that to sustain some learning philosophy due to John S. Mill.
2020-09-21 11:42:33 <hekkaidekapus> H. Dewitt claims many teaching systems are broken and she goes on to teach Japanese, Greek, poker, bridge, maths… to an imaginary kid in her novel.
2020-09-21 11:44:09 × terrorjack quits (sid225236@gateway/web/irccloud.com/x-tzzxtdijayougbld) ()
2020-09-21 11:44:55 → gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-21 11:45:14 <tomjaguarpaw> Oh, The Last Samurai?
2020-09-21 11:45:20 <hekkaidekapus> Yep!
2020-09-21 11:45:22 <tomjaguarpaw> Interesting
2020-09-21 11:46:11 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-21 11:46:40 <hekkaidekapus> It’s a masterpiece, but let’s not go too far in the off-topic.
2020-09-21 11:47:04 → terrorjack joins (~terrorjac@static.23.111.201.195.clients.your-server.de)
2020-09-21 11:47:36 <hekkaidekapus> (Though I should add: wathc the movie —7 Samurai— before reading the novel)
2020-09-21 11:48:13 <tomjaguarpaw> Yes, I'm a big fan of Kurosawa, which is why I found the synopsis of this book interesting. I will keep it in mind, thanks!
2020-09-21 11:48:22 × chaosmasttter quits (~chaosmast@p200300c4a70213017ae400fffe8093b8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-21 11:48:25 <hekkaidekapus> yw
2020-09-21 11:49:14 <tomjaguarpaw> It's strange. When I first saw "hekkaidekapus" I assumed it was Japanese. When I looked more closely I saw it was Greek. Now we're back to Japanese again!
2020-09-21 11:49:27 <hekkaidekapus> lol
2020-09-21 11:49:49 × Saten-san quits (~Saten-san@ip-83-134-202-127.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-21 11:49:54 → polyrain joins (~polyrain@2001:8003:e501:6901:1d0:1c96:3b88:7bde)
2020-09-21 11:50:03 <Putonlalla> We do have #haskell-offtopic, where you can just derail and go.
2020-09-21 11:50:20 hekkaidekapus is already faded.
2020-09-21 11:50:25 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-09-21 11:51:01 <tomjaguarpaw> A brief flash of communication which may change a life ... or may not. And now back to your regularly scheduled Haskell programming.
2020-09-21 11:51:31 <nitrix> edwardk, How much have you explored ray marching signed-distance functions and do you remember much from it? I'm exploring the field and ran into a couple answers online by you and would have questions of my own.
2020-09-21 11:53:31 <Cale> nitrix: From what I recall, Ed has made some really cool demos involving them.
2020-09-21 11:54:33 × lemmih quits (~lemmih@58.182.131.25) (Ping timeout: 272 seconds)
2020-09-21 11:54:41 × jchia__ quits (~jchia@58.32.37.220) (Read error: Connection reset by peer)
2020-09-21 11:54:54 → jchia_ joins (~jchia@45.32.62.73)
2020-09-21 11:55:40 → jchia__ joins (~jchia@45.32.62.73)
2020-09-21 11:55:55 → lemmih joins (~lemmih@58.182.131.25)
2020-09-21 11:56:36 <nitrix> Like many others, I've successfully rendered a cute little scene. I now want to make an editor to build 3d models using these SDFs primitives... the problem is that suddenly makes the scene dynamic.
2020-09-21 11:56:40 → iqubic` joins (~user@2601:602:9500:4870:ecd4:9584:1de:8f2d)
2020-09-21 11:57:40 × jchia__ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-09-21 11:58:13 → jchia__ joins (~jchia@58.32.37.220)
2020-09-21 11:58:24 <nitrix> I sort of have an interpreter in the shader now, reading "instructions" to draw various primitives from a UBO (uniform buffer). The performance is pretty bad beyond a handful of SDFs.
2020-09-21 11:59:19 <nitrix> So that's one question for edward, then second one would be if I should drop the full-screen quad approach and invest time into compute shaders.
2020-09-21 11:59:25 × __Joker quits (~Joker@180.151.105.65) (Ping timeout: 240 seconds)
2020-09-21 11:59:49 → __Joker joins (~Joker@180.151.105.65)
2020-09-21 11:59:51 <nitrix> Not very Haskell-related but pretty math-y :D
2020-09-21 12:00:02 × Cadair1 quits (~Cadair@185.204.1.185) ()
2020-09-21 12:01:02 × jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-09-21 12:01:12 × iqubic quits (~user@2601:602:9500:4870:958d:950f:29cc:a6c4) (Ping timeout: 260 seconds)
2020-09-21 12:01:23 → jchia_ joins (~jchia@45.32.62.73)
2020-09-21 12:02:24 × jchia_ quits (~jchia@45.32.62.73) (Remote host closed the connection)
2020-09-21 12:03:39 → urodna joins (~urodna@unaffiliated/urodna)
2020-09-21 12:03:42 → jchia_ joins (~jchia@58.32.37.220)
2020-09-21 12:04:54 × acidjnk_new2 quits (~acidjnk@p200300d0c73658819d57354728142a5b.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-09-21 12:09:09 <tomjaguarpaw> nitrix: What's the best introduction to SDFs for that kind of thing?
2020-09-21 12:10:07 → sQVe joins (~sQVe@unaffiliated/sqve)
2020-09-21 12:11:03 → wavemode joins (~wavemode@097-070-075-143.res.spectrum.com)
2020-09-21 12:11:24 <nitrix> tomjaguarpaw, Probably this video/channel "The Art of Code": https://www.youtube.com/watch?v=PGtv-dBi2wE
2020-09-21 12:12:13 <nitrix> tomjaguarpaw, Otherwise, this guy Inigo Quilez (aka IQ) is one of the leading pioneer: https://iquilezles.org/www/articles/distfunctions/distfunctions.htm
2020-09-21 12:12:18 × knupfer quits (~Thunderbi@dynamic-046-114-145-147.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2020-09-21 12:12:27 <davve> ah nitrix beat me to linking inigos
2020-09-21 12:12:39 <davve> love those geometry functions
2020-09-21 12:12:40 <nitrix> tomjaguarpaw, He's the creator of ShaderToy (https://www.shadertoy.com/) which is junk full of that technique.
2020-09-21 12:14:29 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-09-21 12:14:42 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-21 12:15:34 × Peter_Storm quits (uid288816@gateway/web/irccloud.com/x-nhjukwhxucyezwqe) (Quit: Connection closed for inactivity)
2020-09-21 12:16:28 <nitrix> tomjaguarpaw, Oh, and here's a video that can sell you on the technique for doing constructive solid geometry: https://www.youtube.com/watch?v=Cp5WWtMoeKg
2020-09-21 12:17:27 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-21 12:25:11 × gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-21 12:25:19 × shad0w_ quits (~shad0w_@160.202.36.27) (Read error: Connection reset by peer)
2020-09-21 12:26:41 → shad0w_ joins (~shad0w_@160.202.36.94)
2020-09-21 12:26:43 <davve> nitrix: shaders are a nice way of using them
2020-09-21 12:26:54 <davve> and with glsl you get all the math functions you might need
2020-09-21 12:27:17 <davve> only they can be difficult to debug
2020-09-21 12:27:28 <davve> painful but fun
2020-09-21 12:28:01 × boxscape quits (577bcb23@gateway/web/cgi-irc/kiwiirc.com/ip.87.123.203.35) (Quit: Connection closed)
2020-09-21 12:28:49 × sQVe quits (~sQVe@unaffiliated/sqve) (Quit: Bye!)
2020-09-21 12:29:29 × darjeeling_ quits (~darjeelin@122.245.219.58) (Ping timeout: 260 seconds)
2020-09-21 12:29:56 <dminuoso> aroundWith :: (ActionWith a -> ActionWith b) -> SpecWith a -> SpecWith b; type ActionWith a = a -> IO (); after action = aroundWith $ \e x -> e x `finally` action x
2020-09-21 12:30:02 <dminuoso> My head is spinning. How is this even type checking?
2020-09-21 12:30:32 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-09-21 12:30:39 <dminuoso> How can aroundWith take a 2-argument function with that type signature?
2020-09-21 12:31:05 <{abby}> ((a- > IO ()) -> b -> IO ()) -> SpecWith a -> SpecWith b
2020-09-21 12:31:13 <{abby}> modulo paren errors, if any
2020-09-21 12:31:15 <Cale> e :: ActionWith a, x :: a
2020-09-21 12:31:16 → sQVe joins (~sQVe@unaffiliated/sqve)
2020-09-21 12:31:41 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
2020-09-21 12:31:45 <dminuoso> Oh.
←Prev  Next→
Page 1 .. 112 113 114 115 116 117 118 119 120 121 122 .. 5022

All times are in UTC.