Logs: liberachat/#haskell
| 2021-08-17 15:20:52 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-17 15:21:10 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-08-17 15:22:11 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-17 15:23:13 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-17 15:24:45 | → | pavonia joins (~user@user/siracusa) |
| 2021-08-17 15:28:21 | → | ale-pi joins (~user@2001:b07:a5b:4e95:7285:c2ff:feb3:1e28) |
| 2021-08-17 15:28:43 | ← | ale-pi parts (~user@2001:b07:a5b:4e95:7285:c2ff:feb3:1e28) () |
| 2021-08-17 15:29:26 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 15:30:19 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-17 15:30:51 | → | burnsidesLlama joins (~burnsides@client-8-71.eduroam.oxuni.org.uk) |
| 2021-08-17 15:32:00 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-17 15:32:33 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-17 15:32:37 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-17 15:33:33 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-08-17 15:35:40 | × | burnsidesLlama quits (~burnsides@client-8-71.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2021-08-17 15:42:02 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-17 15:44:35 | slac47615 | is now known as slack1256 |
| 2021-08-17 15:44:38 | × | zopsi quits (~zopsi@irc.dir.ac) (Quit: Oops) |
| 2021-08-17 15:45:03 | → | zopsi joins (~zopsi@irc.dir.ac) |
| 2021-08-17 15:46:37 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 15:51:13 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-17 15:51:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-17 15:51:26 | → | chisui joins (~chisui@200116b864e3ed008dc027ad9120a9d2.dip.versatel-1u1.de) |
| 2021-08-17 15:53:23 | → | jonathanx__ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-17 15:54:29 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-17 15:54:42 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-17 15:55:52 | <chisui> | Hey, I'm trying to write a simple modular synthesizer using sdl2 and conduit. I would like to write the outputs as conduit consumers. Unfortunately sdl plays samples via a callback that provides a buffer to write into: `IOVector actualSampleType -> IO ()`. How can I create a consumer that provides such a function? This is my first time working with |
| 2021-08-17 15:55:52 | <chisui> | conduit. |
| 2021-08-17 15:56:03 | × | jonathanx_ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 258 seconds) |
| 2021-08-17 15:56:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-17 15:57:07 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 245 seconds) |
| 2021-08-17 15:58:08 | × | yushyin quits (PW3hWJBC9s@karif.server-speed.net) (Quit: WeeChat 3.1) |
| 2021-08-17 15:58:17 | → | yushyin joins (eUaFhTnLYh@karif.server-speed.net) |
| 2021-08-17 15:59:12 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-17 15:59:51 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-17 16:01:51 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-08-17 16:02:08 | <chisui> | Essentially what I need is a pull consumer. |
| 2021-08-17 16:02:10 | × | jonathanx__ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-08-17 16:02:11 | × | dsrt^ quits (~dsrt@209.65.131.194) (Ping timeout: 268 seconds) |
| 2021-08-17 16:04:07 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-17 16:04:23 | → | Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 2021-08-17 16:04:43 | ← | falsifian parts (~falsifian@exoco.falsifian.org) () |
| 2021-08-17 16:11:21 | <carbolymer> | any ideas how can I print colors using Turtle? |
| 2021-08-17 16:13:58 | <maerwald> | https://hackage.haskell.org/package/pretty-terminal |
| 2021-08-17 16:15:56 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 16:16:17 | × | hueso quits (~root@user/hueso) (Quit: hueso) |
| 2021-08-17 16:17:11 | → | hueso joins (~root@user/hueso) |
| 2021-08-17 16:17:22 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-08-17 16:19:02 | <jay-invariant> | chisui: One solution would be to use stm-conduit to pass the results to a channel push-style, and then have another thread running the callback that reads from the channel. |
| 2021-08-17 16:19:38 | <carbolymer> | maerwald: I mean... I have an opposite problem, my commands output colors and I want to print them. >>= echo seems to do the trick, anyway, thanks |
| 2021-08-17 16:20:55 | <jay-invariant> | chisui: You could also use another library that supports pull-style consumers natively. I'm fond of dunai, and I think pipes can also do it if configured right |
| 2021-08-17 16:20:58 | × | octeep[m] quits (~octeepmoc@2001:470:69fc:105::695e) (Quit: You have been idle for 30+ days) |
| 2021-08-17 16:22:01 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-17 16:22:31 | <chisui> | jay-invariant: Yeah, pipes is more what I need here. I'll take a look at dunai. Thanks |
| 2021-08-17 16:22:44 | → | octeep[m] joins (~octeepmoc@2001:470:69fc:105::695e) |
| 2021-08-17 16:23:01 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-08-17 16:23:25 | ← | octeep[m] parts (~octeepmoc@2001:470:69fc:105::695e) () |
| 2021-08-17 16:24:56 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-17 16:27:23 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-17 16:27:39 | → | timCF joins (~timCF@200-149-20-81.sta.estpak.ee) |
| 2021-08-17 16:29:07 | <timCF> | Hello! Was anybody able to cross-compile Haskell programs for armv6 platform? Maybe you can recommend me some resources where I can learn how it can be done? |
| 2021-08-17 16:30:16 | × | frosky_ quits (~froskyarr@50.7.59.207) (Quit: Leaving) |
| 2021-08-17 16:30:52 | → | dsrt^ joins (~dsrt@209.65.131.194) |
| 2021-08-17 16:31:22 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-08-17 16:32:07 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-17 16:33:15 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 16:33:30 | <chisui> | jay-invariant: Um, can you give me any pointers on how to use dunai with pull? |
| 2021-08-17 16:35:10 | shapr | hops randomly |
| 2021-08-17 16:35:21 | <shapr> | Hello peoples! How's the code? |
| 2021-08-17 16:36:42 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-17 16:39:47 | × | keutoi quits (~keutoi@157.48.244.189) (Ping timeout: 268 seconds) |
| 2021-08-17 16:40:06 | <jay-invariant> | chisui: In dunai, each component is consuming one input per "tick", and producing one output. The basic type is an `MSF m a b`, which is a function that takes a stream of `a`s into a stream of `b`s, with monadic effects in `m`. At the end of the day you want to use combinators to get to a `MSF IO () ()` which you can run in a loop with `reactimate`. |
| 2021-08-17 16:40:44 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-17 16:41:25 | → | keutoi joins (~keutoi@27.59.202.95) |
| 2021-08-17 16:43:43 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-17 16:48:21 | <jay-invariant> | chisui: I imagine the tricky part is setting up the sink on the end. One approach might be to run individual steps directly in the callback with `unMSF`. |
| 2021-08-17 16:48:21 | <chisui> | jay-invariant: My current plan would be to append an action that pushes a value into an `IORef [Int16]` and call `Data.MonadicStreamFunction.ReactHandle.react` as many times as the buffer is long and then copy the values from the IORef to the buffer. That seems a little clunky though. |
| 2021-08-17 16:48:21 | <chisui> | maybe manually stepping through unMSF would be easier. |
| 2021-08-17 16:48:34 | → | drownbes joins (~igloo@gprs-inet-183-219.elisa.ee) |
| 2021-08-17 16:49:31 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-17 16:49:46 | × | drownbes quits (~igloo@gprs-inet-183-219.elisa.ee) (Remote host closed the connection) |
| 2021-08-17 16:49:48 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-17 16:49:55 | <jay-invariant> | chisui: I think the best might be to write something like `ReactHandle`, but which produces the right output type, rather than (). |
| 2021-08-17 16:50:37 | <jay-invariant> | The code in ReactHandle is pretty short, it looks like it just steps using unMSF |
| 2021-08-17 16:50:48 | <jay-invariant> | and saves the continuation in an IORef |
| 2021-08-17 16:50:58 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-08-17 16:51:35 | <chisui> | jay-invariant: Since it's real time audio I should probably just have one thread filling a buffer and another one reading from it. That could be achieved with just `reactimate`. |
| 2021-08-17 16:51:42 | × | keutoi quits (~keutoi@27.59.202.95) (Ping timeout: 245 seconds) |
| 2021-08-17 16:52:18 | <jay-invariant> | ^^ That too. Although to be fair you could do that with conduit as well |
| 2021-08-17 16:52:47 | → | keutoi joins (~keutoi@223.238.95.231) |
| 2021-08-17 16:54:37 | <chisui> | I'm intrigued by the interface dunai provides |
| 2021-08-17 16:57:40 | × | keutoi quits (~keutoi@223.238.95.231) (Ping timeout: 268 seconds) |
| 2021-08-17 16:59:00 | → | keutoi joins (~keutoi@157.47.61.149) |
| 2021-08-17 17:00:22 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-17 17:00:39 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-17 17:06:37 | × | arw_ quits (~arw@impulse.informatik.uni-erlangen.de) (Remote host closed the connection) |
| 2021-08-17 17:07:10 | → | econo joins (uid147250@user/econo) |
| 2021-08-17 17:11:35 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-17 17:15:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-08-17 17:16:40 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
All times are in UTC.