Logs: freenode/#haskell
| 2021-04-26 13:22:29 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
| 2021-04-26 13:27:35 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-26 13:27:57 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-26 13:28:24 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-04-26 13:28:25 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-04-26 13:28:25 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-04-26 13:29:09 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-26 13:29:15 | → | vv8 joins (~egp_@2.95.117.163) |
| 2021-04-26 13:30:18 | vv8 | is now known as fj |
| 2021-04-26 13:30:24 | fj | is now known as fjMSX |
| 2021-04-26 13:34:01 | × | ddellacosta quits (~ddellacos@86.106.143.112) (Ping timeout: 252 seconds) |
| 2021-04-26 13:40:03 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 2021-04-26 13:40:41 | → | lleb joins (5c91ba7e@amarseille-158-1-23-126.w92-145.abo.wanadoo.fr) |
| 2021-04-26 13:41:03 | × | Gardy quits (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed) |
| 2021-04-26 13:41:39 | → | enoq joins (~textual@194-208-146-143.lampert.tv) |
| 2021-04-26 13:46:51 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 252 seconds) |
| 2021-04-26 13:48:13 | × | thunderrd quits (~thunderrd@183.182.114.233) (Ping timeout: 265 seconds) |
| 2021-04-26 13:48:50 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-04-26 13:51:29 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-26 13:53:07 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
| 2021-04-26 13:54:08 | × | drbean_ quits (~drbean@TC210-63-209-57.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-26 13:55:59 | → | Gardy joins (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) |
| 2021-04-26 13:56:15 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-26 13:57:21 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
| 2021-04-26 13:58:09 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-26 14:05:23 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
| 2021-04-26 14:06:35 | → | ddellacosta joins (~ddellacos@86.106.143.203) |
| 2021-04-26 14:06:53 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-26 14:07:20 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 265 seconds) |
| 2021-04-26 14:07:25 | → | ph88 joins (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) |
| 2021-04-26 14:08:02 | → | zmijunkie1 joins (~Adium@109.90.32.89) |
| 2021-04-26 14:08:25 | × | zmijunkie quits (~Adium@87.123.51.242) (Ping timeout: 268 seconds) |
| 2021-04-26 14:09:09 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 2021-04-26 14:09:56 | × | martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 258 seconds) |
| 2021-04-26 14:10:49 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds) |
| 2021-04-26 14:11:11 | × | ddellacosta quits (~ddellacos@86.106.143.203) (Ping timeout: 246 seconds) |
| 2021-04-26 14:11:32 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 246 seconds) |
| 2021-04-26 14:12:03 | → | Jef1 joins (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) |
| 2021-04-26 14:13:38 | × | Gardy quits (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) (Quit: Connection closed) |
| 2021-04-26 14:13:55 | → | Gardy joins (51f4b066@102.176-244-81.adsl-dyn.isp.belgacom.be) |
| 2021-04-26 14:14:51 | ← | Jef1 parts (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) () |
| 2021-04-26 14:15:00 | → | Jef1 joins (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) |
| 2021-04-26 14:15:15 | ← | Jef1 parts (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) () |
| 2021-04-26 14:16:22 | → | Jef1 joins (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) |
| 2021-04-26 14:16:26 | ← | Jef1 parts (~Jef@2a02:a03f:e14a:7f00:54c8:d911:27c3:16d4) () |
| 2021-04-26 14:25:03 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-04-26 14:25:32 | × | anandprabhu-M quits (anandprabh@gateway/shell/kde/matrix/x-bzzbuurppcsxzllt) (Quit: Bridge terminating on SIGTERM) |
| 2021-04-26 14:25:32 | × | hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-htrnwcwmekebkeel) (Quit: Bridge terminating on SIGTERM) |
| 2021-04-26 14:27:18 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-26 14:28:49 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-04-26 14:30:26 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-04-26 14:31:29 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-04-26 14:31:36 | → | martin02 joins (~martin02@hund.fs.lmu.de) |
| 2021-04-26 14:32:30 | → | johncena joins (5c0cd4ac@host-92-12-212-172.as13285.net) |
| 2021-04-26 14:33:01 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-sgigdjanpsamlbkh) |
| 2021-04-26 14:33:17 | <johncena> | Does anyone know of memory allocator simulators written in haskell |
| 2021-04-26 14:33:29 | <johncena> | Or just a memory allocator itself written in haskell |
| 2021-04-26 14:35:09 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-04-26 14:35:40 | → | anandprabhu-M joins (anandprabh@gateway/shell/kde/matrix/x-knnbylqxaiupdwue) |
| 2021-04-26 14:35:43 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9563253a50075d84e1af.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-26 14:36:45 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-26 14:36:54 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-26 14:36:58 | → | idhugo_ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-26 14:37:44 | × | enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-26 14:37:56 | <wz1000> | johncena: Foreign.Marshal.Pool? |
| 2021-04-26 14:38:12 | <jumper149> | Is there a reason why monad transformers aren't defined with a `Monad m` constraint in their newtype definition? |
| 2021-04-26 14:38:23 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-04-26 14:38:41 | <jumper149> | I feel like constraints in data/newtype declarations are not liked very much, but I'm not sure what the reason is. |
| 2021-04-26 14:38:49 | → | hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-urtbejfwazafnhmf) |
| 2021-04-26 14:39:09 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-26 14:39:23 | <jumper149> | The GADTs extension surely makes this very possible. |
| 2021-04-26 14:39:35 | ← | seven_three parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-04-26 14:39:40 | × | idhugo quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-26 14:39:43 | × | boogsbunny quits (1769ab38@23.105.171.56) (Ping timeout: 240 seconds) |
| 2021-04-26 14:40:50 | <johncena> | wz1000: thanks ill take a look. although I'm looking for a pure functional implementation, i.e. not using malloc/free and all of it explicitly being doing in functional code |
| 2021-04-26 14:40:55 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-26 14:41:10 | → | ddellacosta joins (~ddellacos@86.106.143.112) |
| 2021-04-26 14:42:32 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
| 2021-04-26 14:42:53 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-26 14:43:46 | × | idhugo_ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-26 14:45:32 | × | ddellacosta quits (~ddellacos@86.106.143.112) (Ping timeout: 240 seconds) |
| 2021-04-26 14:46:31 | <jumper149> | Ah I see, newtypes can't have contexts. Only datas. |
| 2021-04-26 14:46:59 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
| 2021-04-26 14:48:39 | <sshine> | contexts? |
| 2021-04-26 14:49:13 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-26 14:51:40 | × | Enrico63 quits (520efe97@cpc92708-cmbg20-2-0-cust150.5-4.cable.virginm.net) (Quit: Connection closed) |
| 2021-04-26 14:53:09 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-26 14:55:30 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-26 14:58:23 | <jumper149> | sshine: constraints |
| 2021-04-26 14:58:44 | × | xff0x quits (~xff0x@2001:1a81:53aa:e600:aedf:66c8:4911:fe15) (Ping timeout: 245 seconds) |
| 2021-04-26 14:58:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-26 14:59:07 | → | CrazyPyt_ joins (~crazypyth@98.122.164.118) |
| 2021-04-26 14:59:09 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-26 14:59:42 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-rvemkovqaoswbohn) |
| 2021-04-26 14:59:50 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds) |
| 2021-04-26 15:00:01 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-26 15:00:34 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Ping timeout: 252 seconds) |
| 2021-04-26 15:00:55 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-26 15:02:34 | <cheater> | in accelerate, i have a 5x100 (or 100x5, doesn't matter) matrix, and a vector v that's 1x5 (or 5x1). i want to treat the matrix as 100 5-element vectors and compute the dot product against v, then return a 100 element array that has each of the resulting dot products. how would i do that? i don't want to copy the matrix around because it's on the gpu. (it's actually very large and takes up most of the vram). |
| 2021-04-26 15:03:26 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
All times are in UTC.