Logs: liberachat/#haskell
| 2021-06-17 01:04:33 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 01:05:13 | → | jludwig joins (~jludwig@2601:644:8500:c460:82e6:50ff:fe1c:f30e) |
| 2021-06-17 01:05:49 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:8b36:948d:3300:375b) (Ping timeout: 272 seconds) |
| 2021-06-17 01:06:16 | → | kadobanana joins (~mud@user/kadoban) |
| 2021-06-17 01:06:52 | × | mud quits (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 2021-06-17 01:07:06 | × | xff0x quits (~xff0x@2001:1a81:5295:df00:ef72:883a:88b0:6629) (Ping timeout: 244 seconds) |
| 2021-06-17 01:08:02 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-17 01:08:48 | → | xff0x joins (~xff0x@2001:1a81:52ae:b000:9ecb:4b8b:5520:b123) |
| 2021-06-17 01:09:18 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 264 seconds) |
| 2021-06-17 01:11:00 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-17 01:16:00 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2021-06-17 01:18:28 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 268 seconds) |
| 2021-06-17 01:21:32 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 01:23:05 | × | P1RATEZ quits (piratez@user/p1ratez) (Quit: https://mitchmurder.bandcamp.com) |
| 2021-06-17 01:26:29 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-17 01:26:30 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 01:31:25 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-17 01:36:06 | × | learner-monad quits (~ehanneken@user/learner-monad) (Quit: WeeChat 3.1) |
| 2021-06-17 01:37:09 | → | sbmsr joins (~pi@104-6-130-18.lightspeed.miamfl.sbcglobal.net) |
| 2021-06-17 01:42:17 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 01:46:57 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-17 01:49:53 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-17 01:58:42 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-06-17 01:58:59 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-17 02:00:05 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 02:01:00 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-17 02:01:39 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:fa26:649a:e763:b306) |
| 2021-06-17 02:04:39 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 02:04:43 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-17 02:05:06 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 240 seconds) |
| 2021-06-17 02:07:03 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-17 02:07:35 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-17 02:07:53 | × | sbmsr quits (~pi@104-6-130-18.lightspeed.miamfl.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-17 02:09:18 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 2021-06-17 02:11:50 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-06-17 02:13:16 | <jmct> | Anyone know of good DSLs for x86_64 (any modern ISS would likely work for my purposes)? |
| 2021-06-17 02:13:25 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-17 02:13:30 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 264 seconds) |
| 2021-06-17 02:15:39 | → | sagax joins (~sagax@213.138.71.146) |
| 2021-06-17 02:16:40 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-17 02:16:54 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-17 02:21:46 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-17 02:27:34 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-17 02:28:26 | → | P1RATEZ joins (piratez@user/p1ratez) |
| 2021-06-17 02:29:06 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-17 02:29:06 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (strontium.libera.chat (Nickname regained by services))) |
| 2021-06-17 02:29:06 | finn_elija | is now known as FinnElija |
| 2021-06-17 02:29:28 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 02:30:08 | → | slack1256 joins (~slack1256@191.125.99.208) |
| 2021-06-17 02:33:54 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 244 seconds) |
| 2021-06-17 02:36:12 | → | iridescent joins (~iridescen@41337027.cst.lightpath.net) |
| 2021-06-17 02:36:16 | <iridescent> | hi, what does :&~ operator mean? |
| 2021-06-17 02:36:54 | <iridescent> | i'm reading code and saw this: data Network = O Weights | Weights :&~ Network |
| 2021-06-17 02:38:18 | <int-e> | iridescent: it's a constructor name |
| 2021-06-17 02:38:25 | <ecameron[m]> | It's probably an infix type defined in the whatever you're reading |
| 2021-06-17 02:40:06 | × | benin036 quits (~benin@183.82.207.180) (Ping timeout: 244 seconds) |
| 2021-06-17 02:40:08 | <int-e> | ecameron[m]: no, it's a data constructor for the Network datatype |
| 2021-06-17 02:41:09 | → | qwin joins (~yaaic@ip-96-43-230-90.dsl.netrevolution.com) |
| 2021-06-17 02:43:10 | <iridescent> | what do you guys think about dependent types for machine learning :) |
| 2021-06-17 02:43:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-17 02:43:26 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 02:43:52 | → | beka joins (~beka@mobile-166-171-248-23.mycingular.net) |
| 2021-06-17 02:46:06 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 02:46:19 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-17 02:47:08 | <ecameron[m]> | int-e: right yeah, mixed the 'data' and 'type' constructor terms |
| 2021-06-17 02:48:30 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-17 02:49:04 | → | benin036 joins (~benin@183.82.205.245) |
| 2021-06-17 02:49:31 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
| 2021-06-17 02:50:58 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-17 02:51:29 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-17 02:52:12 | × | beka quits (~beka@mobile-166-171-248-23.mycingular.net) (Ping timeout: 268 seconds) |
| 2021-06-17 02:53:33 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-06-17 02:56:22 | → | sbmsr joins (~pi@104-6-130-18.lightspeed.miamfl.sbcglobal.net) |
| 2021-06-17 02:58:17 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-17 03:01:00 | → | beka joins (~beka@107.115.32.34) |
| 2021-06-17 03:01:23 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-17 03:01:27 | × | td_ quits (~td@94.134.91.127) (Ping timeout: 268 seconds) |
| 2021-06-17 03:02:50 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 244 seconds) |
| 2021-06-17 03:03:12 | → | td_ joins (~td@94.134.91.254) |
| 2021-06-17 03:04:30 | × | yahb quits (xsbot@user/mniip/bot/yahb) (Ping timeout: 264 seconds) |
| 2021-06-17 03:04:40 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 03:06:06 | → | shredder joins (~shredder@user/shredder) |
| 2021-06-17 03:06:27 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-06-17 03:06:44 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-17 03:09:02 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 244 seconds) |
| 2021-06-17 03:09:46 | → | yahb joins (xsbot@user/mniip/bot/yahb) |
| 2021-06-17 03:11:50 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-17 03:12:18 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 264 seconds) |
| 2021-06-17 03:14:25 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 03:17:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-17 03:19:20 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-17 03:20:34 | × | iridescent quits (~iridescen@41337027.cst.lightpath.net) (Ping timeout: 250 seconds) |
| 2021-06-17 03:22:15 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-17 03:27:54 | × | sbmsr quits (~pi@104-6-130-18.lightspeed.miamfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-06-17 03:28:30 | × | jneira_ quits (~jneira_@5.red-81-39-172.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2021-06-17 03:28:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-17 03:29:12 | × | shredder quits (~shredder@user/shredder) (Ping timeout: 268 seconds) |
| 2021-06-17 03:31:35 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 03:34:31 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 2021-06-17 03:35:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
All times are in UTC.