Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 .. 5022
— 502,152 events total
2020-11-21 02:01:50 <dsal> That's all the squares. If you want the sum of all squares...
2020-11-21 02:01:54 <dsal> > sum [ x^2 | x <- [1..] ]
2020-11-21 02:02:00 <lambdabot> mueval-core: Time limit exceeded
2020-11-21 02:02:11 <dsal> lambdabot times out, but if you did that yourself and waited long enough, you'd know the sum of all squares.
2020-11-21 02:02:22 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-eizsscpohqhxizqc) (Quit: Connection closed for inactivity)
2020-11-21 02:02:47 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2020-11-21 02:02:58 <Ariakenom> (!) this claim is unverified
2020-11-21 02:03:02 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds)
2020-11-21 02:03:33 → Codaraxis joins (~Codaraxis@91.193.4.24)
2020-11-21 02:03:57 <dsal> That's true, I personally lack the patience to wait for it to finish.
2020-11-21 02:04:21 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-21 02:05:17 → cosimone_ joins (~cosimone@5.170.240.6)
2020-11-21 02:05:42 <Ariakenom> (I just used a twitter.com meme in IRC)
2020-11-21 02:05:50 <dsal> > sum . take 1000 $ [ x^2 | x <- [1..] ] -- but you can get a taste by just grabbing the first 1000
2020-11-21 02:05:52 <lambdabot> 333833500
2020-11-21 02:06:19 <dsal> Oh wow, I didn't even get the reference out of context. heh
2020-11-21 02:06:28 <Ariakenom> :D
2020-11-21 02:08:06 <dsal> While it is true that that's what I asked the computer to do, it's also an example of a poorly selected algorithm.
2020-11-21 02:08:46 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-frcalbfvnpyatyuv)
2020-11-21 02:13:00 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-21 02:13:39 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-11-21 02:14:08 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-11-21 02:14:42 × cosimone_ quits (~cosimone@5.170.240.6) (Quit: cosimone_)
2020-11-21 02:15:47 × jchia__ quits (~jchia@58.32.37.146) (Ping timeout: 265 seconds)
2020-11-21 02:17:19 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-21 02:17:43 → jchia__ joins (~jchia@58.32.37.146)
2020-11-21 02:18:37 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-21 02:19:59 × fubu quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Remote host closed the connection)
2020-11-21 02:20:01 × toorevitimirp quits (~tooreviti@117.182.180.118) (Remote host closed the connection)
2020-11-21 02:20:54 <ski> dminuoso : ok
2020-11-21 02:21:42 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-21 02:23:37 → Jonkimi727406120 joins (~Jonkimi@115.44.7.41)
2020-11-21 02:23:45 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-21 02:24:23 <kupi> > 1
2020-11-21 02:24:25 <lambdabot> 1
2020-11-21 02:24:43 × ph88_ quits (~ph88@2a02:8109:9e00:7e5c:11e6:1867:44b7:d623) (Ping timeout: 272 seconds)
2020-11-21 02:25:00 <kupi> >foldl (+) 0 [0..]
2020-11-21 02:25:05 × Entertainment quits (~entertain@104.246.132.210) ()
2020-11-21 02:25:50 <kupi> oh no
2020-11-21 02:26:10 <dsal> You should've used foldl'
2020-11-21 02:26:36 <kupi> i intentionally used the lazy version
2020-11-21 02:26:50 <kupi> wanted to see how does it respond
2020-11-21 02:27:30 → Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
2020-11-21 02:27:54 <kupi> >"still alive"
2020-11-21 02:28:31 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-21 02:28:55 <texasmynsted> sm[m]: Okay I will try your suggestions. Thank you.
2020-11-21 02:29:11 <dsal> kupi: lambdabot supports private intimate chats as well.
2020-11-21 02:29:19 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Remote host closed the connection)
2020-11-21 02:29:29 <Ariakenom> kupi, space after >
2020-11-21 02:29:36 × vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded)
2020-11-21 02:29:37 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-21 02:29:47 → luke joins (~luke@bitnomial/staff/luke)
2020-11-21 02:30:05 × Jonkimi727406120 quits (~Jonkimi@115.44.7.41) (Ping timeout: 240 seconds)
2020-11-21 02:30:06 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-11-21 02:30:47 <dsal> Oh, my client doesn't render it that way. It automatically puts it into some kind of markdown quote format.
2020-11-21 02:31:32 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-21 02:31:36 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 240 seconds)
2020-11-21 02:32:32 × Ariakenom quits (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Read error: Connection reset by peer)
2020-11-21 02:33:17 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-21 02:33:52 → Tario joins (~Tario@201.192.165.173)
2020-11-21 02:34:57 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-21 02:35:44 → toorevitimirp joins (~tooreviti@117.182.180.118)
2020-11-21 02:35:45 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 240 seconds)
2020-11-21 02:37:23 × xff0x quits (~fox@2001:1a81:5385:e100:f695:2019:7725:a87d) (Ping timeout: 272 seconds)
2020-11-21 02:38:01 × da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:6c06:f0fd:283a:1f37:de16) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-21 02:38:03 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-21 02:38:57 → xff0x joins (~fox@2001:1a81:53c2:b800:6e69:5f46:fae4:631a)
2020-11-21 02:47:29 × luke quits (~luke@bitnomial/staff/luke) (Quit: sleep)
2020-11-21 02:53:38 → et09 joins (~et09@unaffiliated/endolphin)
2020-11-21 02:54:11 → sand_dul1 joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-21 02:57:04 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Quit: Lost terminal)
2020-11-21 02:58:09 × siloxid quits (~user@unaffiliated/siloxid) (Remote host closed the connection)
2020-11-21 02:58:25 → siloxid joins (~user@unaffiliated/siloxid)
2020-11-21 02:58:42 × sand_dul1 quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Client Quit)
2020-11-21 03:03:27 × siloxid quits (~user@unaffiliated/siloxid) (Ping timeout: 260 seconds)
2020-11-21 03:03:27 × falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Ping timeout: 260 seconds)
2020-11-21 03:05:50 <Axman6> lambdabot also doesn't respond if you use the wrong syntax...
2020-11-21 03:05:56 × cosimone quits (~cosimone@5.170.240.6) (Quit: cosimone)
2020-11-21 03:09:18 × jedws quits (~jedws@101.184.150.93) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-21 03:10:25 × alp quits (~alp@88.126.45.36) (Ping timeout: 240 seconds)
2020-11-21 03:13:44 <siraben> Anyone working with GHC 8.12's linear types with a Nix overlay?
2020-11-21 03:15:04 → drbean joins (~drbean@TC210-63-209-164.static.apol.com.tw)
2020-11-21 03:15:16 × nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2020-11-21 03:16:13 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-11-21 03:18:01 hackage Z-IO 0.1.8.1 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.8.1 (winterland)
2020-11-21 03:23:22 × jedai42 quits (~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-11-21 03:25:39 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-21 03:27:05 → day joins (~Unknown@unaffiliated/day)
2020-11-21 03:29:42 → siloxid joins (~user@unaffiliated/siloxid)
2020-11-21 03:31:09 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-11-21 03:33:18 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-11-21 03:34:37 × siloxid quits (~user@unaffiliated/siloxid) (Ping timeout: 260 seconds)
2020-11-21 03:35:32 × acidjnk_new2 quits (~acidjnk@p200300d0c719ff68f4d20d2f20034438.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-21 03:38:28 → machinedgod joins (~machinedg@24.105.81.50)
2020-11-21 03:40:18 → boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-21 03:40:33 × boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Client Quit)
2020-11-21 03:43:17 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-11-21 03:43:22 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 272 seconds)
2020-11-21 03:43:40 lagothrix is now known as Guest39499
2020-11-21 03:43:40 × Guest39499 quits (~lagothrix@unaffiliated/lagothrix) (Killed (tepper.freenode.net (Nickname regained by services)))
←Prev  Next→
Page 1 .. 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 .. 5022

All times are in UTC.