Logs: freenode/#haskell
| 2021-03-16 17:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-16 17:58:45 | × | stevenxl quits (uid133530@gateway/web/irccloud.com/x-ugkyksdwpgkpdwuw) (Quit: Connection closed for inactivity) |
| 2021-03-16 17:58:56 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-16 17:59:02 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-16 18:00:55 | × | kam1 quits (~kam1@83.123.167.219) (Read error: Connection reset by peer) |
| 2021-03-16 18:01:13 | <hyiltiz> | also I am not doing each though, I have the coordinates (m,n) for the 2D list [[]] that I'd like to view and edit (it is a grid) |
| 2021-03-16 18:02:44 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
| 2021-03-16 18:02:47 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-16 18:03:54 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-jiwetompintgtwib) (Quit: Connection closed for inactivity) |
| 2021-03-16 18:06:31 | → | conal joins (~conal@192.145.118.119) |
| 2021-03-16 18:07:28 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-16 18:09:11 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-16 18:10:34 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-16 18:11:36 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-16 18:12:07 | × | plutoniix quits (~q@node-un3.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-03-16 18:12:25 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 276 seconds) |
| 2021-03-16 18:13:02 | × | rj_ quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-16 18:13:53 | × | nisstyre quits (wes@python-zero/conduct-committee/nisstyre) (Ping timeout: 260 seconds) |
| 2021-03-16 18:14:56 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-16 18:15:08 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-16 18:16:02 | → | nisstyre joins (wes@python-zero/conduct-committee/nisstyre) |
| 2021-03-16 18:16:18 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-16 18:16:55 | → | rj_ joins (~x@gateway/tor-sasl/rj) |
| 2021-03-16 18:18:12 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-03-16 18:18:14 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-16 18:18:29 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-03-16 18:19:13 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-16 18:20:44 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-16 18:22:50 | <edwardk> | hyiltiz: traverse.traverse.traverse |
| 2021-03-16 18:23:22 | <dolio> | That won't set. But it's somewhat unclear what setting means. |
| 2021-03-16 18:24:05 | <dolio> | At least, if it's supposed to be based on index. |
| 2021-03-16 18:24:29 | → | ADG1089__ joins (~aditya@106.214.253.186) |
| 2021-03-16 18:25:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-16 18:25:25 | × | wickedjargon quits (~ff@2607:9880:2198:4e:fd0d:cbfa:ce9e:8708) (Remote host closed the connection) |
| 2021-03-16 18:25:52 | → | dfeuer joins (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) |
| 2021-03-16 18:27:31 | jdt_ | is now known as jdt |
| 2021-03-16 18:27:34 | × | motherfsck quits (~motherfsc@unaffiliated/motherfsck) (Quit: quit) |
| 2021-03-16 18:27:55 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-03-16 18:29:06 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-trkstrvybvcbmzax) |
| 2021-03-16 18:30:31 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection) |
| 2021-03-16 18:30:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-03-16 18:30:37 | → | elliott_ joins (~elliott_@170.121.246.234) |
| 2021-03-16 18:31:14 | × | xff0x quits (~xff0x@2001:1a81:52ee:e100:ed20:88c:e6f5:e319) (Ping timeout: 264 seconds) |
| 2021-03-16 18:31:49 | <tomsmeding> | hyiltiz: also random writes in a list are kind of slow |
| 2021-03-16 18:31:59 | → | xff0x joins (~xff0x@2001:1a81:52ee:e100:2c5:e186:20dd:e6dd) |
| 2021-03-16 18:32:02 | <tomsmeding> | so depends on how often, how large, and how serious :p |
| 2021-03-16 18:32:16 | → | stevenxl joins (uid133530@gateway/web/irccloud.com/x-lcskfaqclhmjmrbi) |
| 2021-03-16 18:32:44 | × | elliott_ quits (~elliott_@170.121.246.234) (Read error: Connection reset by peer) |
| 2021-03-16 18:33:46 | → | elliott_ joins (~elliott_@170.121.246.234) |
| 2021-03-16 18:35:47 | × | elliott_ quits (~elliott_@170.121.246.234) (Read error: Connection reset by peer) |
| 2021-03-16 18:36:05 | → | elliott_ joins (~elliott_@170.121.246.234) |
| 2021-03-16 18:36:20 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-16 18:36:39 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-16 18:36:59 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-16 18:37:13 | × | elliott_ quits (~elliott_@170.121.246.234) (Read error: Connection reset by peer) |
| 2021-03-16 18:37:45 | → | elliott_ joins (~elliott_@170.121.246.234) |
| 2021-03-16 18:38:52 | × | elliott_ quits (~elliott_@170.121.246.234) (Read error: Connection reset by peer) |
| 2021-03-16 18:39:17 | → | elliott_ joins (~elliott_@170.121.246.234) |
| 2021-03-16 18:39:19 | <hyiltiz> | it is always 3x3 |
| 2021-03-16 18:39:19 | <hyiltiz> | at most 9 times :D |
| 2021-03-16 18:39:19 | <hyiltiz> | so performance is not concern |
| 2021-03-16 18:40:05 | × | Chousuke_ quits (oranenj@coffee.modeemi.fi) (Remote host closed the connection) |
| 2021-03-16 18:40:39 | → | Chousuke joins (oranenj@coffee.modeemi.fi) |
| 2021-03-16 18:40:50 | × | joncol quits (~jco@c188-150-101-195.bredband.comhem.se) (Remote host closed the connection) |
| 2021-03-16 18:42:10 | × | neiluj quits (~jco@unaffiliated/neiluj) (Remote host closed the connection) |
| 2021-03-16 18:43:19 | × | elliott_ quits (~elliott_@170.121.246.234) (Read error: Connection reset by peer) |
| 2021-03-16 18:43:58 | <hyiltiz> | assuming the baord is b, setting means b[m][n]=Just newVal in psudocode |
| 2021-03-16 18:44:23 | <hyiltiz> | [[Maybe Bool]] is a 2D grid/borad |
| 2021-03-16 18:45:18 | → | elliott_ joins (~elliott_@170.121.246.234) |
| 2021-03-16 18:48:09 | ← | jdt parts (~jdt@38.77.195.50) ("ERC (IRC client for Emacs 26.3)") |
| 2021-03-16 18:48:11 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-16 18:48:37 | → | tinhatcat joins (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) |
| 2021-03-16 18:48:44 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) |
| 2021-03-16 18:49:21 | × | elliott_ quits (~elliott_@170.121.246.234) (Ping timeout: 246 seconds) |
| 2021-03-16 18:50:21 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 2021-03-16 18:50:22 | × | tinhatcat quits (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Client Quit) |
| 2021-03-16 18:52:17 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-03-16 18:55:14 | × | nfd quits (~nfd9001@2601:602:77f:1820:ad30:5ebc:6324:c6c5) (Ping timeout: 264 seconds) |
| 2021-03-16 18:57:11 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-03-16 18:58:10 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-16 18:58:12 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-16 18:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-16 18:58:58 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-16 18:59:00 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-16 18:59:38 | → | coot joins (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-16 19:02:46 | → | roconnor joins (~roconnor@host-45-58-230-226.dyn.295.ca) |
| 2021-03-16 19:03:33 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds) |
| 2021-03-16 19:03:54 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-luczsnoowjqghapa) (Quit: Connection closed for inactivity) |
| 2021-03-16 19:05:13 | → | elliott_ joins (~elliott_@170.121.246.234) |
| 2021-03-16 19:05:50 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 260 seconds) |
| 2021-03-16 19:08:54 | × | shad0w_ quits (67573b43@103.87.59.67) (Quit: Connection closed) |
| 2021-03-16 19:09:21 | × | xff0x quits (~xff0x@2001:1a81:52ee:e100:2c5:e186:20dd:e6dd) (Ping timeout: 244 seconds) |
| 2021-03-16 19:10:13 | → | xff0x joins (~xff0x@2001:1a81:52ee:e100:f577:1f30:738f:e56) |
| 2021-03-16 19:10:41 | → | codygman` joins (~user@47.186.207.161) |
| 2021-03-16 19:11:45 | × | elliott_ quits (~elliott_@170.121.246.234) (Read error: Connection reset by peer) |
| 2021-03-16 19:15:34 | → | elliott_ joins (~elliott_@170.121.246.234) |
| 2021-03-16 19:17:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-16 19:18:04 | ← | seven_three parts (~user@2601:18d:c180:4060::2829) ("ERC (IRC client for Emacs 27.1)") |
| 2021-03-16 19:19:41 | × | elliott_ quits (~elliott_@170.121.246.234) (Ping timeout: 244 seconds) |
| 2021-03-16 19:21:13 | <Unhammer> | I wonder how much work it'd be to hack lsp-mode into changing the message "Occurs check: cannot construct the infinite type" into "You've got your arguments ass-backwards again" |
All times are in UTC.