Logs on 2021-01-01 (freenode/#haskell)
| 00:00:02 | × | zopsi quits (~zopsi@irc.dir.ac) (Quit: Oops) |
| 00:00:13 | × | hiroaki_ quits (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 00:00:21 | × | Graypup_ quits (Graypup@lfcode.ca) (Quit: ZNC 1.6.1 - http://znc.in) |
| 00:00:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:00:42 | → | zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
| 00:00:48 | → | olligobber joins (~olligobbe@unaffiliated/olligobber) |
| 00:00:59 | → | Graypup_ joins (Graypup@lfcode.ca) |
| 00:02:37 | × | mp___ quits (mp@hell.cx) (Remote host closed the connection) |
| 00:02:54 | → | hiroaki_ joins (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
| 00:05:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 00:06:02 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 00:06:10 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 00:09:12 | → | dduduruh joins (ac6a0a06@172.106.10.6) |
| 00:09:41 | → | reggie_ joins (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
| 00:10:20 | × | reggie_ quits (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 00:12:32 | × | paintcan` quits (~user@cpe-69-206-241-99.nyc.res.rr.com) (Read error: Connection reset by peer) |
| 00:16:37 | → | jneira joins (501e6579@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.121) |
| 00:16:37 | × | solonarv quits (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 00:17:22 | → | solonarv joins (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) |
| 00:18:26 | × | DavidEichmann quits (~david@98.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 00:18:45 | × | kenran quits (~kenran@87.123.205.142) (Quit: leaving) |
| 00:19:16 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 00:19:42 | × | dduduruh quits (ac6a0a06@172.106.10.6) (Remote host closed the connection) |
| 00:20:07 | → | gamb2 joins (6d946d08@host109-148-109-8.range109-148.btcentralplus.com) |
| 00:20:07 | × | iteratee_ quits (~kyle@162.211.154.4) (Read error: Connection reset by peer) |
| 00:20:20 | × | gamb2 quits (6d946d08@host109-148-109-8.range109-148.btcentralplus.com) (Remote host closed the connection) |
| 00:20:46 | → | iteratee joins (~kyle@162.211.154.4) |
| 00:22:29 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 00:24:20 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 00:25:33 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
| 00:27:10 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 00:27:14 | × | z quits (~z@ics141-225.icsincorporated.com) (Ping timeout: 256 seconds) |
| 00:28:47 | → | petersen joins (~petersen@redhat/juhp) |
| 00:32:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:32:41 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 00:34:10 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-fhallxsiwyrmztmu) |
| 00:34:20 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:4a42) |
| 00:35:40 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:4a42) (Client Quit) |
| 00:37:23 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 00:38:35 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:4a42) |
| 00:38:52 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8d66:925f:69c5:e3bc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:40:17 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:4a42) (Client Quit) |
| 00:41:37 | → | z joins (~z@ics141-225.icsincorporated.com) |
| 00:41:43 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:4a42) |
| 00:44:01 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:4a42) (Client Quit) |
| 00:46:33 | × | foobar2 quits (89537310@137-83-115-16.starry-inc.net) (Remote host closed the connection) |
| 00:47:47 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 00:49:06 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 00:50:51 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:52:05 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 240 seconds) |
| 01:00:58 | × | b4er quits (~b5er_@91.193.4.138) (Ping timeout: 260 seconds) |
| 01:06:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 01:09:14 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 01:17:37 | × | boxscape quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Ping timeout: 260 seconds) |
| 01:24:59 | × | smitop quits (uid328768@gateway/web/irccloud.com/x-weceejnpfzqxutrk) (Quit: Connection closed for inactivity) |
| 01:28:22 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 01:28:50 | → | Fischmie1 joins (~Fischmiep@95.163.174.85) |
| 01:31:34 | × | Fischmiep quits (~Fischmiep@46.59.132.43) (Ping timeout: 246 seconds) |
| 01:35:22 | × | strangeglyph quits (~strangegl@boreeas.net) (Quit: User terminated) |
| 01:35:33 | → | strangeglyph joins (~strangegl@boreeas.net) |
| 01:35:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:36:23 | × | frankdmartinez quits (~frankdmar@5.181.234.188) (Quit: frankdmartinez) |
| 01:37:44 | × | columbarius quits (~columbari@mue-88-130-54-032.dsl.tropolys.de) (Ping timeout: 260 seconds) |
| 01:39:49 | → | columbarius joins (~columbari@mue-88-130-54-094.dsl.tropolys.de) |
| 01:40:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 01:40:57 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 01:41:01 | × | z quits (~z@ics141-225.icsincorporated.com) (Ping timeout: 264 seconds) |
| 01:42:11 | → | z joins (~z@ics141-225.icsincorporated.com) |
| 01:42:25 | × | zangi quits (~azure@103.154.230.250) (Ping timeout: 246 seconds) |
| 01:44:37 | → | zangi joins (~azure@103.154.230.250) |
| 01:52:25 | <Torro> | happy new year! |
| 01:52:36 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: bye) |
| 01:54:57 | × | Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 260 seconds) |
| 01:56:04 | → | frankdmartinez joins (~frankdmar@5.181.234.188) |
| 02:00:39 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 02:02:44 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:9853:f638:e207:b1cf) (Ping timeout: 258 seconds) |
| 02:03:16 | → | boxscape joins (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
| 02:08:38 | × | Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
| 02:09:49 | × | klardotsh quits (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 02:11:35 | → | klardotsh joins (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) |
| 02:11:36 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8d66:925f:69c5:e3bc) |
| 02:12:02 | × | munsel quits (~munsel@2a03:4000:10:5a0:445c:bbff:fea9:cf8f) (Ping timeout: 264 seconds) |
| 02:12:38 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 02:14:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:16:01 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 02:17:25 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 240 seconds) |
| 02:23:35 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 02:23:46 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Read error: Connection reset by peer) |
| 02:24:54 | × | notzmv quits (~user@unaffiliated/zmv) (Remote host closed the connection) |
| 02:25:11 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
| 02:25:41 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 02:25:50 | → | notzmv joins (~user@unaffiliated/zmv) |
| 02:26:01 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 264 seconds) |
| 02:31:52 | → | jedws_ joins (~jedws@121.209.189.201) |
| 02:35:37 | × | jedws quits (~jedws@121.209.189.201) (Ping timeout: 264 seconds) |
| 02:36:06 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 02:38:05 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
| 02:41:02 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 02:41:10 | → | petersen joins (~petersen@redhat/juhp) |
| 02:42:37 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 02:44:12 | × | codeAlways quits (uid272474@gateway/web/irccloud.com/x-zlylaysqfazhvjvl) (Quit: Connection closed for inactivity) |
| 02:44:38 | → | ensyde joins (~ensyde@2600:1702:2e30:1a40:d9f1:87ee:6d21:c6f3) |
| 02:48:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 02:48:45 | × | xff0x_ quits (~fox@2001:1a81:5398:2d00:1f27:11b6:17e5:8c13) (Ping timeout: 272 seconds) |
| 02:48:55 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 246 seconds) |
| 02:50:24 | → | xff0x_ joins (~fox@2001:1a81:53cd:600:a3f1:dae9:3686:9d84) |
| 02:50:24 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 02:51:01 | → | Tario joins (~Tario@201.192.165.173) |
| 02:54:19 | → | dfeuer joins (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
| 02:54:25 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 02:55:19 | × | sunfreakz quits (~sunfreakz@51.194.80.91) (Ping timeout: 260 seconds) |
| 02:57:42 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 02:58:23 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
| 03:01:14 | × | ransom quits (~c4264035@8.47.12.52) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:02:08 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 03:02:22 | → | plutoniix joins (~q@node-uq8.pool-125-24.dynamic.totinternet.net) |
| 03:02:42 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 03:02:58 | → | Tario joins (~Tario@201.192.165.173) |
| 03:05:20 | <Feuermagier> | I'm trying to check if an iterable contains x at least 4 times in sequence, how can I do that elegantly? (feels like a job for fold, but unsure) |
| 03:06:15 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 03:07:17 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-emygrcoqztsqoawx) (Quit: Connection closed for inactivity) |
| 03:10:36 | → | xirhtogal joins (~lagothrix@unaffiliated/lagothrix) |
| 03:10:36 | lagothrix | is now known as Guest16872 |
| 03:10:36 | × | Guest16872 quits (~lagothrix@unaffiliated/lagothrix) (Killed (beckett.freenode.net (Nickname regained by services))) |
| 03:10:36 | xirhtogal | is now known as lagothrix |
| 03:16:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 03:16:47 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:17:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:17:42 | → | Kronic joins (~Kronic___@84.203.96.46) |
| 03:20:30 | → | ransom joins (~c4264035@8.47.12.52) |
| 03:21:40 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 03:22:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 03:22:23 | <ephemient> | `any (not . null . drop 3) . group` should tell you whether a list contains any 4+-in-a-row |
| 03:23:06 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 03:23:34 | <ephemient> | Feuermagier: do you just want to know whether such an x exists, or do you also want what/where it is? |
| 03:24:11 | <Feuermagier> | ephemient, just knowing that there are 4 in a row is enough |
| 03:24:36 | <ephemient> | there you go then :) |
| 03:26:51 | → | sunrise_ joins (~sunrise_@51.194.80.91) |
| 03:26:55 | <ephemient> | would be nice if base had a `compareLength :: [a] -> Int -> Ordering` function built in though |
| 03:28:15 | <ephemient> | (because `(>= 4) . length` isn't safe on an infinite list, but `(>= EQ) . flip compareLength 4`can be) |
| 03:30:18 | × | thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection) |
| 03:34:46 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 03:36:00 | × | Kronic quits (~Kronic___@84.203.96.46) (Quit: Leaving) |
| 03:36:12 | × | ransom quits (~c4264035@8.47.12.52) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:36:18 | → | Kronic joins (uid480486@gateway/web/irccloud.com/x-rjhpihcgimfhbndr) |
| 03:36:40 | <Feuermagier> | ephemient, i'm trying to optimize this a bit. let me give you more info. this is for checking the win condition of a connect_four game. I want to check if the stone I just placed has formed a 4-in-sequence. I know where I placed the stone, so I'd only need to check into all directions from that point of origin until interruption. |
| 03:36:58 | × | Vulfe_ quits (~vulfe@2600:1702:31b0:34e0:25e9:81:81d6:bd54) (Remote host closed the connection) |
| 03:37:38 | <ephemient> | hmm right, and you need to check 4 directions |
| 03:38:03 | <Feuermagier> | yes. well, 8 and sum the result of 2 each |
| 03:39:01 | → | Vulfe joins (~vulfe@2600:1702:31b0:34e0:25e9:81:81d6:bd54) |
| 03:39:04 | → | drbean joins (~drbean@TC210-63-209-192.static.apol.com.tw) |
| 03:39:05 | × | hiroaki_ quits (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 03:39:29 | × | Vulfe quits (~vulfe@2600:1702:31b0:34e0:25e9:81:81d6:bd54) (Remote host closed the connection) |
| 03:39:36 | → | Vulfe joins (~vulfe@2600:1702:31b0:34e0:25e9:81:81d6:bd54) |
| 03:40:50 | → | hiroaki joins (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
| 03:41:17 | × | hiroaki quits (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Max SendQ exceeded) |
| 03:41:18 | <Feuermagier> | there's a good chance I might do connect-N on an Y*X sized board. I have already implemented a high order function that gives me my squares from a starting point towards a direction which modifies the starting position |
| 03:41:50 | → | hiroaki joins (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
| 03:42:20 | × | hiroaki quits (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Max SendQ exceeded) |
| 03:43:33 | <ephemient> | so I was thinking you'd check [pos-3 .. pos+3] in [⇄, ⇅, ↖↘, ↙↗] directions - that's 4 |
| 03:44:26 | <Feuermagier> | yes. but it's probaby easiest if i go into each (of the 8) arrow directions and sum the result of the 2 in opposite direction |
| 03:44:30 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 03:44:44 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 03:44:56 | × | Tops2 quits (~Tobias@dyndsl-095-033-019-027.ewe-ip-backbone.de) (Quit: Leaving.) |
| 03:45:38 | <ephemient> | if you're going to check opposite directions separately then in theory it could just be [↖←↙↓↘→↗] - ↑ should always be 0 by the rules of the game? although probably not worth the trouble of optimizing for |
| 03:46:40 | <Feuermagier> | ephemient, oh, nice! didn't catch the nonexistant top. you are right! |
| 03:51:16 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 240 seconds) |
| 03:51:58 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-100.cust.tzulo.com) (Remote host closed the connection) |
| 03:52:56 | × | theDon quits (~td@94.134.91.248) (Ping timeout: 256 seconds) |
| 03:54:23 | → | theDon joins (~td@muedsl-82-207-238-228.citykom.de) |
| 03:55:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:57:06 | → | mp___ joins (mp@hell.cx) |
| 03:57:28 | × | solonarv quits (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 03:58:56 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 04:00:11 | → | hiroaki joins (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
| 04:00:30 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 04:01:51 | × | mp___ quits (mp@hell.cx) (Ping timeout: 256 seconds) |
| 04:03:08 | × | dfeuer quits (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 04:08:58 | × | carthia quits (~carthia@gateway/tor-sasl/carthia) (Quit: carthia) |
| 04:09:05 | × | jedws_ quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:10:07 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 04:11:33 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-fhallxsiwyrmztmu) (Quit: Connection closed for inactivity) |
| 04:12:11 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 04:12:34 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 04:13:23 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 04:13:43 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 04:14:39 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 04:14:39 | → | dfeuer joins (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
| 04:16:36 | → | jedws joins (~jedws@121.209.189.201) |
| 04:18:20 | × | jedws quits (~jedws@121.209.189.201) (Client Quit) |
| 04:19:23 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 04:20:57 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 04:21:49 | × | plutoniix quits (~q@node-uq8.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 04:24:19 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 04:25:03 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
| 04:27:53 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:d9f1:87ee:6d21:c6f3) () |
| 04:29:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 04:37:55 | → | gioyik joins (~gioyik@179.32.228.107) |
| 04:45:15 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 04:47:14 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 04:51:58 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 04:56:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:57:22 | × | shinobi quits (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 04:58:08 | → | shinobi joins (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) |
| 05:01:34 | × | Gorbel quits (~Gorbel@p5790e186.dip0.t-ipconnect.de) (Quit: Gorbel) |
| 05:01:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 05:03:13 | × | dfeuer quits (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 05:03:16 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 05:04:06 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 05:04:19 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 05:04:35 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:04:58 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 05:05:37 | × | shinobi quits (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) (Ping timeout: 264 seconds) |
| 05:05:41 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 05:05:57 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 05:05:59 | × | kjak quits (~kjak@pool-173-73-38-16.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 05:07:19 | × | boxscape quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Quit: Connection closed) |
| 05:09:13 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds) |
| 05:13:17 | → | paintcan joins (~user@cpe-69-206-241-99.nyc.res.rr.com) |
| 05:16:50 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 05:22:42 | → | boxscape joins (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
| 05:23:55 | × | boxscape quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Client Quit) |
| 05:34:49 | × | proteusguy quits (~proteusgu@cm-58-10-154-202.revip7.asianet.co.th) (Ping timeout: 246 seconds) |
| 05:36:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:44:30 | → | reggie_ joins (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
| 05:44:40 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 05:44:47 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 05:45:59 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
| 05:46:01 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 05:47:18 | × | reggie_ quits (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 05:48:06 | → | proteusguy joins (~proteusgu@cm-58-10-154-202.revip7.asianet.co.th) |
| 05:49:24 | → | reggie_ joins (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
| 05:50:43 | × | reggie_ quits (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 05:50:47 | → | sparsity joins (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) |
| 05:51:10 | → | reggie_ joins (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
| 05:53:24 | × | reggie_ quits (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 05:54:26 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 05:54:26 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 272 seconds) |
| 05:54:56 | × | hiroaki quits (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 05:55:27 | × | Guest20891 quits (~AntiSpamM@195.140.213.38) (Remote host closed the connection) |
| 05:59:18 | → | Tario joins (~Tario@200.119.187.185) |
| 06:06:28 | × | sparsity quits (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) (Quit: Connection closed) |
| 06:06:29 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 06:08:31 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) (Remote host closed the connection) |
| 06:09:00 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 06:10:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 06:14:48 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 06:14:48 | × | Tario quits (~Tario@200.119.187.185) (Read error: Connection reset by peer) |
| 06:15:42 | → | Tario joins (~Tario@201.192.165.173) |
| 06:16:24 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 06:17:27 | × | frankdmartinez quits (~frankdmar@5.181.234.188) (Ping timeout: 260 seconds) |
| 06:17:42 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 06:17:44 | × | nfd9001 quits (~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 06:17:56 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 06:18:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:19:18 | → | serAphim joins (~serAphim@139.28.218.148) |
| 06:21:51 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 06:23:06 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 06:23:15 | → | dfeuer joins (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
| 06:23:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 06:23:32 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 06:24:47 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 06:27:39 | × | jmchael quits (~jmchael@81.174.205.210) (Remote host closed the connection) |
| 06:27:44 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 06:27:52 | → | jmchael joins (~jmchael@81.174.205.210) |
| 06:28:07 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 06:29:38 | × | thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection) |
| 06:30:09 | × | ADG1089__ quits (~aditya@223.235.213.117) (Client Quit) |
| 06:30:36 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 06:31:07 | → | petersen joins (~petersen@redhat/juhp) |
| 06:34:45 | × | ADG1089__ quits (~aditya@223.235.213.117) (Client Quit) |
| 06:35:26 | × | xff0x_ quits (~fox@2001:1a81:53cd:600:a3f1:dae9:3686:9d84) (Ping timeout: 268 seconds) |
| 06:36:10 | → | xff0x_ joins (~fox@2001:1a81:53cd:600:13ec:7df7:81ac:e67) |
| 06:36:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:36:49 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 264 seconds) |
| 06:38:10 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
| 06:38:37 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 06:38:50 | × | ADG1089__ quits (~aditya@223.235.213.117) (Client Quit) |
| 06:39:11 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 06:40:40 | × | dfeuer quits (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 06:41:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 06:43:58 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) |
| 06:44:28 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 06:45:03 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 06:45:24 | × | ADG1089__ quits (~aditya@223.235.213.117) (Client Quit) |
| 06:46:05 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 06:48:22 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:712a:9864:5fb8:33ae) (Ping timeout: 260 seconds) |
| 06:52:19 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 06:57:46 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 06:59:18 | → | reggie_ joins (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
| 07:00:10 | × | reggie_ quits (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 07:00:27 | → | reggie_ joins (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) |
| 07:01:38 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds) |
| 07:01:49 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 07:02:15 | × | reggie_ quits (~reggie@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 07:02:18 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 07:02:29 | × | ADG1089__ quits (~aditya@223.235.213.117) (Client Quit) |
| 07:05:09 | → | petersen joins (~petersen@redhat/juhp) |
| 07:05:34 | × | ym555 quits (~ym@102.47.62.107) (Ping timeout: 260 seconds) |
| 07:06:24 | → | Tario joins (~Tario@201.192.165.173) |
| 07:06:27 | × | serAphim quits (~serAphim@139.28.218.148) (Remote host closed the connection) |
| 07:06:32 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 07:08:07 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 07:09:25 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 07:09:40 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 07:11:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:15:36 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 07:16:50 | × | ADG1089__ quits (~aditya@223.235.213.117) (Client Quit) |
| 07:20:17 | → | Deide joins (~Deide@217.155.19.23) |
| 07:22:28 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 07:27:10 | → | Kater joins (~Kater@178.239.168.171) |
| 07:29:07 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 07:33:27 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 07:40:08 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 07:40:59 | → | codeAlways joins (uid272474@gateway/web/irccloud.com/x-wmlqjaxzgcivyywk) |
| 07:42:25 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:18c7:9eb0:c6da:a3ef) |
| 07:45:36 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 07:45:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 07:46:44 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 07:47:17 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:18c7:9eb0:c6da:a3ef) (Ping timeout: 260 seconds) |
| 07:49:09 | × | ADG1089__ quits (~aditya@223.235.213.117) (Client Quit) |
| 07:50:12 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:51:04 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 07:51:22 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 07:53:47 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 07:53:53 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 07:56:10 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 08:00:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:00:56 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 08:01:12 | → | Tario joins (~Tario@201.192.165.173) |
| 08:03:48 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 08:05:19 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 08:09:24 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 08:09:27 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 08:10:01 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 08:10:48 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 08:12:23 | → | chambln joins (~user@2.31.230.114) |
| 08:12:57 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
| 08:15:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 08:17:18 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8d66:925f:69c5:e3bc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:20:51 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 08:23:56 | × | koala_man quits (~vidar@unaffiliated/koala-man/x-2491903) (Remote host closed the connection) |
| 08:24:08 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 08:24:08 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Changing host) |
| 08:24:08 | → | koala_man joins (~vidar@unaffiliated/koala-man/x-2491903) |
| 08:30:13 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 08:31:38 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 08:32:06 | × | thunderrd quits (~thunderrd@183.182.111.131) (Ping timeout: 246 seconds) |
| 08:32:09 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 08:36:27 | × | Kater quits (~Kater@178.239.168.171) (Remote host closed the connection) |
| 08:36:40 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 08:36:55 | → | petersen joins (~petersen@redhat/juhp) |
| 08:38:59 | × | rmk236 quits (~lcampos@2a02:908:3616:b100:849c:a12b:ff95:e193) (Ping timeout: 272 seconds) |
| 08:40:58 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 08:42:36 | → | rmk236 joins (~lcampos@2a02:908:3616:b100:5d3c:3ea2:9142:e850) |
| 08:43:08 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:18c7:9eb0:c6da:a3ef) |
| 08:43:19 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:43:31 | → | sgibber2018 joins (~arch-gibb@2600:6c55:6d80:3243:c2cb:38ff:fe8d:b46f) |
| 08:46:33 | → | pera joins (~pera@unaffiliated/pera) |
| 08:47:15 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 08:47:57 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:18c7:9eb0:c6da:a3ef) (Ping timeout: 260 seconds) |
| 08:47:58 | × | thunderrd quits (~thunderrd@183.182.111.131) (Read error: Connection reset by peer) |
| 08:48:17 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 08:53:11 | × | thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection) |
| 08:53:29 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 08:54:11 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 08:57:28 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 09:00:05 | × | mang0[m] quits (dea223matr@gateway/shell/matrix.org/x-neesfcqailnhhnob) (Quit: Idle for 30+ days) |
| 09:04:53 | × | thunderrd quits (~thunderrd@183.182.111.131) (Remote host closed the connection) |
| 09:06:29 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 09:10:22 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 09:11:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 09:14:47 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
| 09:16:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 09:17:38 | → | rsoeldner_ joins (~rsoeldner@2a02:8108:973f:eb38:61c8:bc2c:6f96:2b71) |
| 09:21:47 | × | drbean quits (~drbean@TC210-63-209-192.static.apol.com.tw) (Ping timeout: 260 seconds) |
| 09:22:13 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 09:23:48 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 09:24:04 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 09:24:16 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 09:24:32 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 09:25:02 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:26:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 09:27:48 | × | pacak quits (~pacak@bb116-14-220-91.singnet.com.sg) (Remote host closed the connection) |
| 09:31:27 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-hvtdnmwcdwieelqx) |
| 09:38:57 | → | slopjong joins (~slopjong@5.253.204.101) |
| 09:42:33 | × | gioyik quits (~gioyik@179.32.228.107) (Quit: WeeChat 3.0) |
| 09:47:05 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 09:52:22 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 09:52:26 | → | jedws joins (~jedws@121.209.189.201) |
| 09:52:39 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 09:53:53 | → | pacak joins (~pacak@bb116-14-220-91.singnet.com.sg) |
| 09:54:58 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 09:55:43 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 09:57:09 | → | mp___ joins (~mp@hell.cx) |
| 09:57:25 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 09:57:39 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Client Quit) |
| 09:59:36 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 09:59:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:01:08 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:01:16 | × | mp___ quits (~mp@hell.cx) (Ping timeout: 240 seconds) |
| 10:01:34 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 10:02:03 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 10:02:25 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 10:02:46 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 10:04:25 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 10:05:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 10:06:33 | × | jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:07:05 | → | toorevitimirp joins (~tooreviti@117.182.181.242) |
| 10:07:46 | × | sgibber2018 quits (~arch-gibb@2600:6c55:6d80:3243:c2cb:38ff:fe8d:b46f) (Quit: WeeChat 3.0) |
| 10:07:58 | → | jedws joins (~jedws@121.209.189.201) |
| 10:08:56 | × | rotty quits (rotty@ghost.xx.vu) (Ping timeout: 240 seconds) |
| 10:11:07 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 10:11:44 | <idnar> | @pl \k _ -> k `elem` touching |
| 10:11:44 | <lambdabot> | const . (`elem` touching) |
| 10:13:02 | <gentauro> | 00:24 < ephemient> if you steal the F# names, (<|) = ($), (<<) = (.), (|>) = (&), (>>) = flip (.) |
| 10:13:32 | <gentauro> | would it give sense to add those operators to Haskell base to help F#'ers arrive at Haskell land? |
| 10:14:33 | <gentauro> | I personally like how code reads, specially with the `pipe operator` (slide 9) -> http://blog.stermon.com/assets/talks/2020-11-01_Domain_Driven_Design_DDD_with_Algebraic_Data_Types_ADT.pdf |
| 10:15:01 | gentauro | Left-to-right and Top-bottom |
| 10:15:58 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 10:16:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
| 10:16:34 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 10:18:17 | × | chambln quits (~user@2.31.230.114) (Ping timeout: 265 seconds) |
| 10:20:35 | → | rotty joins (rotty@ghost.xx.vu) |
| 10:26:32 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-kavyfortterppjsq) (Quit: Connection closed for inactivity) |
| 10:26:35 | <tomsmeding> | gentauro: (>>) clashes with an existing operator in Prelude, and <| and |> are used in Data.Sequence; if base is to define them, it would be in a module that is not imported by default |
| 10:26:50 | <tomsmeding> | and then I think the benefit to F#'ers is limited |
| 10:31:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:33:13 | → | t3xp4t joins (~texinwien@213162073014.public.t-mobile.at) |
| 10:34:29 | <__monty__> | I doubt a bit of syntax is going to stop someone familiar with F# from picking up Haskell. |
| 10:37:02 | <Kronic> | I was looking at discordOnEvent from https://hackage.haskell.org/package/discord-haskell-1.8.1/docs/src/Discord.html#runDiscord and I was wondering if it is possible for me to pipe additional information into there? My use case is before I call runDiscord, I load up a configuration file and I want to be able to extract values from it on events. I see that there is a readerT here, can I use that in some way? |
| 10:38:28 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 10:39:00 | <tomsmeding> | Kronic: can't you just use whatever you want in that lambda when you write it? |
| 10:39:22 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 10:39:32 | <tomsmeding> | the ReaderT allows you to get the DiscordHandle in this case, nothing else |
| 10:40:03 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Client Quit) |
| 10:40:20 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 10:40:24 | <tomsmeding> | but just like you can write this: foo x l = map (\y -> y + x) l, where I refer to x from that lambda, you should be able to use whatever you want in that discordOnEvent lambda |
| 10:40:28 | <tomsmeding> | or I'm misunderstanding you :) |
| 10:40:42 | → | kam1 joins (~kam1@24.231.108.143) |
| 10:41:24 | × | cheater quits (~user@unaffiliated/cheater) (Remote host closed the connection) |
| 10:41:36 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 10:43:10 | → | cheater joins (~user@unaffiliated/cheater) |
| 10:44:09 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 10:44:39 | × | jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:44:39 | <Kronic> | Perhaps, but just in case I'll retry explaining: So I know I can do whatever I want inside the event handler. My point is I want to pipe something I already read into the context of the handler, I don't want to re-read a file each time an event happens |
| 10:44:50 | <Kronic> | I'm also not sure I quite understand your example tomsmeding |
| 10:46:43 | → | jedws joins (~jedws@121.209.189.201) |
| 10:47:04 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 10:47:29 | <tomsmeding> | Kronic: buildKronicsDiscordOpts filedata = RunDiscordOpts { ..., discordOnEnd = \ev -> myCoolLogic filedata ev, ... } |
| 10:47:51 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 10:48:01 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 10:48:07 | <tomsmeding> | but perhaps it's clearer if you show the RunDiscordOpts construction where you want to use that config data |
| 10:48:36 | × | jedws quits (~jedws@121.209.189.201) (Client Quit) |
| 10:51:00 | <Kronic> | Hmm... I really don't get that at all |
| 10:52:17 | <tomsmeding> | I'm probably misunderstanding you :) |
| 10:52:20 | <tomsmeding> | @where paste |
| 10:52:20 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 10:52:33 | tomsmeding | loves a good self-promotion |
| 10:52:45 | <Kronic> | Well, maybe a more contextual example would be better, take the example on https://hackage.haskell.org/package/discord-haskell, say in the pingPongExample I added an extra line to the do block which was like file <- readFile ... -- how could I pipe this result to the eventHandler function ? |
| 10:54:31 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 10:55:54 | <tomsmeding> | Kronic: like this? https://paste.tomsmeding.com/7Hs6cBVI |
| 10:56:25 | <tomsmeding> | where you of course do something more useful with the data than just printing it :p |
| 10:58:14 | <Kronic> | Oh I am so silly |
| 10:58:54 | <Kronic> | I didn't even think partial application would work there, thanks tomsmeding |
| 10:59:14 | <tomsmeding> | can also write \event -> eventHandler filedata event, means the same |
| 10:59:53 | <tomsmeding> | key point in your question was the word "pipe", I think; you don't pipe information into that callback, you just use it |
| 10:59:55 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 11:00:30 | <tomsmeding> | you'd need to do something more intelligent if obtaining that data required doing IO each time, but you could do that too since you have access to IO in that callback |
| 11:01:30 | <tomsmeding> | this "you can just use it" is perhaps one of the gotchas of functional programming that you just have to see once, then it'll be clear :) |
| 11:02:43 | <Kronic> | Honestly I just forgot that if the type of the handler is somedata -> Event -> Discord, I forgot that I could just partially apply the somedata to begin with, I've never used partial application like that but each day it proves to be more and more useful |
| 11:03:07 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:03:48 | <tomsmeding> | partial application is the bread and butter of working in haskell |
| 11:04:00 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 11:04:01 | <Kronic> | thanks for your help though, working in the imperative space for so long has really effected how I view so solving so many problems lol |
| 11:04:11 | <tomsmeding> | (but even without partial application, \event -> eventHandler file event) |
| 11:04:29 | <tomsmeding> | sounds familiar, though for me a couple years ago :) |
| 11:04:39 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 11:05:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:06:59 | <Kronic> | Yea, the lambda example makes more sense now |
| 11:09:35 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 11:10:52 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 11:11:50 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 11:16:42 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
| 11:17:03 | × | kam1 quits (~kam1@24.231.108.143) (Ping timeout: 256 seconds) |
| 11:21:26 | → | DarkRanger joins (b6bc83e8@182.188.131.232) |
| 11:21:49 | × | DarkRanger quits (b6bc83e8@182.188.131.232) (Remote host closed the connection) |
| 11:22:22 | → | ph88_ joins (~ph88@2a02:8109:9e00:7e5c:71b8:bbed:4abf:19c2) |
| 11:22:30 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 11:22:50 | → | thunderrd joins (~thunderrd@183.182.111.131) |
| 11:22:51 | × | t3xp4t quits (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
| 11:23:30 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 11:23:34 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 11:23:49 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 11:24:50 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 11:26:49 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:61d8:4dbb:1763:5965) (Ping timeout: 272 seconds) |
| 11:27:30 | <gentauro> | 11:52 < lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 11:27:39 | <gentauro> | tomsmeding: are you the mantainer of lambdabot? |
| 11:27:55 | <gentauro> | if yes, then you are one of the other "few" that code in `Safe Haskell` right? |
| 11:28:38 | <tomsmeding> | gentauro: lol no that's int-e I believe, I run only paste.tomsmeding.com and ircbrowse.tomsmeding.com |
| 11:29:05 | <tomsmeding> | people here decided for some unknown reason that my paste service was good enough to put in the @where paste message |
| 11:29:46 | <gentauro> | tomsmeding: oh |
| 11:29:48 | <gentauro> | fair enough |
| 11:30:03 | <gentauro> | so you aren't part of the 2.9% then :P (reference: https://twitter.com/taylorfausak/status/1304534936192520194) |
| 11:30:25 | <tomsmeding> | RIP the 55.1% |
| 11:30:46 | <gentauro> | btw, my paste service for the moment is Ubuntus, which seems pretty good https://pastebin.ubuntu.com/ (even though I'm a NixOS user) |
| 11:31:25 | <tomsmeding> | the primary reason why we use mine is because 1. it's written in Haskell, and 2. it has some custom text at the top |
| 11:31:41 | <tomsmeding> | but everyone has their own preferred one :p |
| 11:31:44 | <sm[m]> | We had a bunch of specific needs for doing support here and tomsmeding made it happen |
| 11:32:15 | <sm[m]> | many pastebins fall short in one way or another |
| 11:32:39 | <gentauro> | tomsmeding: yeah, I liked the old one |
| 11:32:50 | tomsmeding | still needs to add line numbering |
| 11:32:52 | <gentauro> | and I was looking for alternatives that weren't "bloated with ads" |
| 11:33:12 | <gentauro> | so I ran into the Ubuntu one and I was: "And we have a winner" |
| 11:33:49 | <gentauro> | tomsmeding: maybe also add the timeperiod removal? |
| 11:34:05 | <gentauro> | I like that from the Ubuntu one |
| 11:34:11 | <gentauro> | if it's just a `quick-question` |
| 11:34:34 | → | kam1 joins (~kam1@24.231.108.143) |
| 11:34:40 | <__monty__> | Maybe don't make it the default though. Makes irc logs far less useful : / |
| 11:34:45 | <gentauro> | if it's a snippet that will be part of a post or somthing. I don't add a timestamp cos that would make it `useless` for people reading that post/comment in the future |
| 11:35:42 | <__monty__> | Sometimes you find a support question in your logs and either the problem or the solution is an expired paste. |
| 11:35:57 | <tomsmeding> | gentauro: added to my TODO :p |
| 11:36:10 | <tomsmeding> | certainly not the default __monty__ |
| 11:36:25 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 11:36:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:36:55 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 11:36:57 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 11:37:09 | <tomsmeding> | first version of my pastebin it didn't store anything to disk, everything was lost when I did ^C :p |
| 11:37:36 | <gentauro> | tomsmeding: xD |
| 11:40:15 | <__monty__> | An effective anti-spam measure I guess : ) |
| 11:40:54 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-hvtdnmwcdwieelqx) (Quit: Connection closed for inactivity) |
| 11:41:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 11:45:46 | → | kuribas joins (~user@ptr-25vy0i9g14sodnd3b5o.18120a2.ip6.access.telenet.be) |
| 11:46:34 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 11:47:06 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 11:51:43 | → | son0p joins (~son0p@181.58.39.182) |
| 11:51:46 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 11:52:32 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 11:58:30 | → | and_pete joins (uid386199@gateway/web/irccloud.com/x-jpttjkcmthnsbvpq) |
| 11:59:24 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 12:01:25 | × | MidAutumnHotaru quits (~MidAutumn@154.91.197.93) (Quit: Quit 啾) |
| 12:01:59 | → | MidAutumnHotaru joins (~MidAutumn@154.91.197.93) |
| 12:02:20 | → | nfd joins (~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net) |
| 12:09:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:12:20 | → | ym555 joins (~ym@102.47.62.107) |
| 12:12:49 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 12:13:05 | → | u0_a203 joins (~u0_a203@37.98.47.224) |
| 12:13:12 | <u0_a203> | exit |
| 12:13:16 | × | u0_a203 quits (~u0_a203@37.98.47.224) (Client Quit) |
| 12:13:21 | → | b4er joins (~b5er_@91.193.4.138) |
| 12:14:20 | → | u0_a203 joins (~u0_a203@66.42.94.234) |
| 12:14:33 | × | u0_a203 quits (~u0_a203@66.42.94.234) (Client Quit) |
| 12:14:47 | → | t3xp4t joins (~texinwien@213162073014.public.t-mobile.at) |
| 12:17:33 | × | b4er quits (~b5er_@91.193.4.138) (Client Quit) |
| 12:17:41 | → | b4er joins (~b5er_@91.193.4.138) |
| 12:17:41 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 268 seconds) |
| 12:29:09 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) |
| 12:33:07 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 260 seconds) |
| 12:33:15 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 12:40:07 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:a87e:8f8c:63a3:698b) (Ping timeout: 260 seconds) |
| 12:42:42 | → | Entertainment joins (~entertain@104.246.132.210) |
| 12:43:56 | <L29Ah> | how do i ask ghc to "freeze" a value in memory so GC won't move it, so i can supply its address to syscalls, without copying the data? |
| 12:44:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 12:46:13 | <int-e> | L29Ah: You can create a pinned bytearray, or rely on the fact that no GC takes place during "unsafe" foreign calls. |
| 12:46:34 | × | rmk236 quits (~lcampos@2a02:908:3616:b100:5d3c:3ea2:9142:e850) (Quit: Leaving.) |
| 12:47:02 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 12:47:32 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 12:47:32 | <L29Ah> | a pinned bytearray would require me to fill it with copying, no? |
| 12:47:40 | <int-e> | But you can't lock an object in place without planning ahead; this is pretty much incompatible with copying garbage collection, where the whole point is to free a large contiguous block of memory so that allocation will be cheap. |
| 12:48:01 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:8bc9) |
| 12:48:07 | <L29Ah> | unsafe foreign calls would stop all the other threads of my app so it's not an option |
| 12:48:28 | <int-e> | Well they keep running until they need a garbage collection. |
| 12:49:47 | <L29Ah> | i wonder why don't we have a movable Data.ByteString with I/O functions, do we? |
| 12:50:03 | <int-e> | You can check whether a bytearray is pinned, and large bytearrays are always pinned. |
| 12:50:15 | <int-e> | Isn't Data.ByteString always using pinned bytearrays anyway? |
| 12:50:20 | <L29Ah> | yes |
| 12:50:59 | <int-e> | But there's a Data.ByteString.Small somewhere (possibly with a different module name, this is a vague memory) |
| 12:51:11 | <L29Ah> | yes, but there's no I/O for Small |
| 12:51:41 | <int-e> | This. https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/Data-ByteString-Short.html |
| 12:52:07 | <int-e> | L29Ah: Well you can't escape the fact that the RTS does not support pinning arbitrary heap objects. |
| 12:53:16 | int-e | wonders why https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/src/Data.ByteString.Short.Internal.html#fromShort doesn't test for pinned bytearrays... |
| 12:53:21 | → | ym555_ joins (~ym@156.199.233.205) |
| 12:54:58 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:ea:479d:de22:4e6b) |
| 12:55:24 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out) |
| 12:55:39 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 12:55:41 | × | ym555_ quits (~ym@156.199.233.205) (Client Quit) |
| 12:56:01 | × | ym555 quits (~ym@102.47.62.107) (Ping timeout: 264 seconds) |
| 12:58:10 | <L29Ah> | my real problem today in fact is that my program leaks a shitload of pinned memory and i don't understand how to figure out why, as ghc doesn't provide any profiling for pinned memory, apart from the size of all the pinned memory regions combined, but having to copy stuff just to toss it out of the program sucks on its own |
| 13:04:23 | × | t3xp4t quits (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
| 13:06:02 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 13:06:52 | → | aldessa joins (~hugh@host-92-27-117-235.static.as13285.net) |
| 13:07:16 | <aldessa> | hi, if I'm doing a case match and two branches have the same result is it possible to combine this into one pattern match |
| 13:08:10 | <aldessa> | e.g. case whatIsMatched of X -> K \n Y -> K \n _ -> M |
| 13:08:17 | <aldessa> | like can I do X | Y -> K? |
| 13:08:30 | → | bartholin joins (~bartholin@unaffiliated/bartholin) |
| 13:08:45 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:8bc9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 13:09:19 | <bartholin> | I am trying to compile a hello world, but I get /usr/bin/ld.gold: error: cannot find -lHSrandom-1.2.0-9Cjazij3YwuA0ae758RzhE |
| 13:09:57 | <L29Ah> | bartholin: are you sure it is a hello world? it shouldn't pull random |
| 13:10:33 | <idnar> | aldessa: no, sadly |
| 13:10:36 | <L29Ah> | also how did you install your ghc? |
| 13:10:45 | <bartholin> | L29Ah: actually I have copypasted an OpenGL example program, then it made the compiler crash, and now whatever I am trying to compile I get this error |
| 13:10:46 | <int-e> | L29Ah: Well as far as I can see, there's no way out of this if you want to use GHC. You could avoid copying ByteArrays that are already pinned (which is what Data.ByteString.Short doesn't do), but that's about it; ordinary heap objects will move around during GC. (In the young generation; there's support for a non-moving GC in the old generation since GHC 8.10... I wonder what the story is there,... |
| 13:10:52 | <int-e> | ...does it upgrade byte arrays to pinned byte arrays when they enter the old heap?) |
| 13:11:16 | <int-e> | Unfortunataly, it probably can't because that's at odds with isByteArrayPinned# being pure. |
| 13:12:37 | <aldessa> | also is there a simple explanation on how to use generic-lens? by doing a reverse dependency lookup you use it with control.lens ? |
| 13:13:13 | <L29Ah> | bartholin: echo 'main = putStrLn "hello"' > a.hs && ghc --make a.hs && ./a |
| 13:13:19 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 13:13:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:14:38 | <bartholin> | L29Ah: I erased ~/.cabal and ~/.ghc, and now it works |
| 13:15:32 | <idnar> | aldessa: https://github.com/kcsongor/generic-lens/tree/master/generic-lens/examples may be of interest |
| 13:15:56 | × | son0p quits (~son0p@181.58.39.182) (Ping timeout: 240 seconds) |
| 13:16:38 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 13:16:47 | <int-e> | there's also a README at https://github.com/kcsongor/generic-lens ... unforuntately not included in the package (probably due to directory structure contraints) |
| 13:17:50 | → | petersen joins (~petersen@redhat/juhp) |
| 13:18:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
| 13:18:10 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 13:18:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 13:20:35 | × | p3n quits (~p3n@217.198.124.246) (Remote host closed the connection) |
| 13:21:32 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 13:25:11 | → | taurux joins (~taurux@net-93-144-87-101.cust.dsl.teletu.it) |
| 13:27:55 | × | Guest40492 quits (~textual@2603-7000-3040-0000-f863-b1d6-d130-6615.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:28:01 | → | son0p joins (~son0p@181.58.39.182) |
| 13:30:15 | → | Alleria joins (~textual@2603-7000-3040-0000-f863-b1d6-d130-6615.res6.spectrum.com) |
| 13:30:15 | × | Alleria quits (~textual@2603-7000-3040-0000-f863-b1d6-d130-6615.res6.spectrum.com) (Client Quit) |
| 13:31:25 | × | kam1 quits (~kam1@24.231.108.143) (Ping timeout: 264 seconds) |
| 13:32:31 | × | son0p quits (~son0p@181.58.39.182) (Client Quit) |
| 13:33:38 | × | crblmr quits (~carbolyme@matrix.dropacid.net) (Ping timeout: 264 seconds) |
| 13:35:19 | → | kam1 joins (~kam1@24.231.108.143) |
| 13:36:39 | <aldessa> | thank you idnar and int-e. in my code from a few months ago I use #content in place of field @"content", what allows this? |
| 13:36:47 | <aldessa> | i try it in my code today and it doesn't seem to work but the field stuff does |
| 13:36:54 | → | crblmr joins (~carbolyme@matrix.dropacid.net) |
| 13:39:01 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 13:39:11 | <idnar> | aldessa: https://hackage.haskell.org/package/generic-lens-2.0.0.0/docs/Data-Generics-Labels.html |
| 13:39:50 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 13:42:15 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 13:42:40 | × | toorevitimirp quits (~tooreviti@117.182.181.242) (Ping timeout: 256 seconds) |
| 13:43:46 | <aldessa> | ahh ty idnar, before i randomly added packages till it worked without doing that but adding generic-core before; this is much better |
| 13:45:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:50:21 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 13:51:55 | → | rekahsoft joins (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
| 13:52:30 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 13:52:54 | Alleria | is now known as Guest14638 |
| 13:52:55 | → | rekahsoft` joins (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
| 13:53:08 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 13:53:20 | → | rekahsoft`` joins (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
| 13:53:39 | × | rekahsoft quits (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
| 13:54:05 | × | rekahsoft`` quits (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
| 13:54:23 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 13:54:24 | → | shinobi joins (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) |
| 13:56:56 | <ezzieyguywuf> | how can I view transactions for just the parent account, not it's children? |
| 13:57:23 | <ezzieyguywuf> | also, is it possible to do `hledger bal --monthly` where the total is reported as of the last day of the month rather than the first? |
| 13:57:41 | → | t3xp4t joins (~texinwien@213162073014.public.t-mobile.at) |
| 13:59:15 | → | toorevitimirp joins (~tooreviti@117.182.181.242) |
| 14:01:06 | → | neiluj joins (~jco@103.197.204.77.rev.sfr.net) |
| 14:01:06 | × | neiluj quits (~jco@103.197.204.77.rev.sfr.net) (Changing host) |
| 14:01:06 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 14:01:20 | <__monty__> | ezzieyguywuf: Isn't there an #hledger channel? |
| 14:01:49 | <ezzieyguywuf> | __monty__: yes, I've made the same mistake I've made before sorry ;( |
| 14:01:59 | <__monty__> | Good luck : ) |
| 14:02:44 | × | t3xp4t quits (~texinwien@213162073014.public.t-mobile.at) (Ping timeout: 272 seconds) |
| 14:02:53 | <ezzieyguywuf> | lol thanks |
| 14:04:08 | → | DavidEichmann joins (~david@98.27.93.209.dyn.plus.net) |
| 14:06:04 | × | and_pete quits (uid386199@gateway/web/irccloud.com/x-jpttjkcmthnsbvpq) (Quit: Connection closed for inactivity) |
| 14:06:18 | <exarkun> | tasty description includes "Acquire and release resources (sockets, temporary files etc.)" in the feature list but I can't find the part of tasty that provides this functionality. anyone know where I should look? |
| 14:07:49 | → | frankdmartinez joins (~frankdmar@5.181.234.188) |
| 14:07:56 | → | son0p joins (~son0p@181.136.122.143) |
| 14:09:49 | × | leat quits (~leat@128-71-108-164.broadband.corbina.ru) (Quit: WeeChat 2.8) |
| 14:10:16 | × | zangi quits (~azure@103.154.230.250) (Read error: Connection reset by peer) |
| 14:10:42 | → | zangi joins (~azure@36.79.200.71) |
| 14:11:07 | <carter> | Good morning |
| 14:11:28 | <idnar> | exarkun: https://hackage.haskell.org/package/tasty-1.4.0.1/docs/Test-Tasty.html#v:withResource I think |
| 14:12:26 | <exarkun> | Ah ok. So not specifically about, say, temporary files, just about stuff involving IO |
| 14:12:40 | <exarkun> | (I just want the equivalent of `TestCase.mktemp`) |
| 14:14:27 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 14:14:46 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 14:18:12 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:18:55 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 14:19:19 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 14:20:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 14:20:25 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 14:21:33 | → | ashbreeze joins (~mark@64.85.214.234.reverse.socket.net) |
| 14:21:55 | × | ashbreeze quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 14:21:56 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Read error: Connection reset by peer) |
| 14:23:10 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 14:24:01 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 14:24:16 | × | kam1 quits (~kam1@24.231.108.143) (Ping timeout: 240 seconds) |
| 14:25:04 | → | Katarushisu9 joins (~Katarushi@cpc149726-finc20-2-0-cust203.4-2.cable.virginm.net) |
| 14:27:38 | × | Katarushisu quits (~Katarushi@cpc149726-finc20-2-0-cust203.4-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 14:28:29 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:143:c475:d20e:3db4:7e5b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:28:49 | Katarushisu9 | is now known as Katarushisu |
| 14:31:13 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 14:31:16 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 14:33:22 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 14:34:42 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-hqfdpizxijwctpzd) |
| 14:35:30 | × | Katarushisu quits (~Katarushi@cpc149726-finc20-2-0-cust203.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 14:36:16 | × | shinobi quits (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 14:36:42 | → | Katarushisu joins (~Katarushi@cpc149726-finc20-2-0-cust203.4-2.cable.virginm.net) |
| 14:37:28 | → | funkatronixxx joins (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) |
| 14:39:31 | → | rekahsoft joins (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
| 14:40:11 | × | rekahsoft` quits (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
| 14:40:11 | × | rekahsoft quits (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
| 14:40:25 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 14:40:35 | × | Anthaas quits (~Anthaas@unaffiliated/anthaas) (Read error: Connection reset by peer) |
| 14:41:48 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 14:42:30 | <exarkun> | Hrmph. So I'm just using withSystemTempFile from the temporary package but I guess there's something I still don't understand about (lazy?) IO because whenever I try to read the temporary path that I've just written to I get some kind of error |
| 14:43:08 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 14:44:54 | <exarkun> | https://gist.github.com/exarkun/dc0123fb1a099e5a81918d8528a7d13e fails with openBinaryFile: resource busy (file is locked) |
| 14:45:01 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 14:45:46 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 14:45:58 | → | Anthaas joins (~Anthaas@unaffiliated/anthaas) |
| 14:46:02 | <exarkun> | I guess the hPut isn't done when it comes around to trying to open the file for reading? But I'm already surprised because the runtime is ... inspecting the paths I'm working on and deciding they refer to the same file? |
| 14:46:43 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 14:47:25 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 14:47:38 | <Rembane> | exarkun: What happens if you flush the handle and then read from it? |
| 14:47:50 | <exarkun> | And then if I hClose handle between hPut and withBinaryFile it fails a different way, with hGetBufSome saying "illegal operation (handle is closed)" |
| 14:48:26 | <exarkun> | with hFlush between hPut and withBinaryFile it still fails with "file is locked" |
| 14:50:06 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 14:50:23 | → | kam1 joins (~kam1@24.231.108.143) |
| 14:50:40 | <exarkun> | Oh. Or it's not about general Haskell I/O at all and instead it's a feature of the temp file package |
| 14:50:47 | <exarkun> | which opens the temp with file O_EXCL |
| 14:50:56 | <exarkun> | so it's just the OS telling me I can't do what I want |
| 14:51:15 | <exarkun> | Okay then. |
| 14:51:33 | <Rembane> | Yeah, use the file handle instead of trying to open the file again |
| 14:52:08 | <exarkun> | I guess, maybe, except this is in a test where I'm trying to test an API that takes a FilePath, not a Handle :) But maybe it would be okay if it took a Handle ... |
| 14:52:39 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:52:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:56:03 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 14:56:36 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 14:57:24 | <Rembane> | exarkun: Got it, you could also create a temp directory and do things in that directory instead, with the full path. |
| 14:57:30 | → | geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com) |
| 14:58:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 15:04:12 | × | kam1 quits (~kam1@24.231.108.143) (Ping timeout: 260 seconds) |
| 15:05:38 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 15:08:09 | → | kam1 joins (~kam1@24.231.108.143) |
| 15:10:42 | × | usr25 quits (~usr25@unaffiliated/usr25) (Ping timeout: 265 seconds) |
| 15:11:29 | → | Tario joins (~Tario@201.192.165.173) |
| 15:12:17 | demiurge | is now known as e |
| 15:13:18 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:5c08:7b47:1b0:b77) |
| 15:13:21 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 15:14:32 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 15:15:23 | → | madjest52 joins (~Android@89-200-3-147.mobile.kpn.net) |
| 15:15:40 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 15:15:48 | × | olligobber quits (~olligobbe@unaffiliated/olligobber) (Remote host closed the connection) |
| 15:17:13 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 15:19:22 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
| 15:22:16 | × | ADG1089__ quits (~aditya@223.235.213.117) (Ping timeout: 240 seconds) |
| 15:22:21 | × | funkatronixxx quits (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:23:09 | → | fendor__ joins (~fendor@77.119.129.8.wireless.dyn.drei.com) |
| 15:24:43 | → | funkatronixxx joins (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) |
| 15:24:43 | → | petersen joins (~petersen@redhat/juhp) |
| 15:25:37 | × | fendor_ quits (~fendor@77.119.130.207.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 15:28:50 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 15:28:52 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 272 seconds) |
| 15:30:17 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 15:31:38 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 256 seconds) |
| 15:31:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:34:20 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 15:35:11 | × | jneira quits (501e6579@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.121) (Quit: Ping timeout (120 seconds)) |
| 15:38:13 | → | jneira joins (501e6579@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.121) |
| 15:38:45 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
| 15:39:08 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 15:41:49 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 15:42:25 | × | unlink2 quits (~unlink2@p200300ebcf259600e4593ff5d42812d3.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 15:42:36 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 15:44:14 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 15:44:14 | × | madjest52 quits (~Android@89-200-3-147.mobile.kpn.net) (Read error: Connection reset by peer) |
| 15:45:23 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 15:45:55 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 15:47:50 | → | unlink2 joins (~unlink2@p200300ebcf259600e4593ff5d42812d3.dip0.t-ipconnect.de) |
| 15:47:57 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:507e:67a8:8e33:6ee2) |
| 15:48:31 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 15:50:10 | × | funkatronixxx quits (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:50:21 | × | slopjong quits (~slopjong@5.253.204.101) (Remote host closed the connection) |
| 15:51:26 | <aldessa> | what is the best way to play playlists in Haskell? i've managed to generate an m3u playlist bytestring |
| 15:51:50 | <aldessa> | i can't seem to find any library on hackage to play playlists directly |
| 15:52:37 | → | rekahsoft joins (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
| 15:53:49 | → | rmk236 joins (~lcampos@ip-37-201-211-236.hsi13.unitymediagroup.de) |
| 15:54:29 | × | rekahsoft quits (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
| 15:54:30 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 15:54:47 | → | rekahsoft joins (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) |
| 15:55:02 | × | rekahsoft quits (~rekahsoft@2607:fea8:44e0:66:d2b:b420:6883:8a3a) (Remote host closed the connection) |
| 15:56:49 | fendor__ | is now known as fendor |
| 15:57:06 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 265 seconds) |
| 15:58:20 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
| 16:00:05 | × | CRTified[m] quits (schnecfkru@gateway/shell/matrix.org/x-vrozfuovpxunwnos) (Quit: Idle for 30+ days) |
| 16:00:32 | → | funkatronixxx joins (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) |
| 16:01:00 | × | taurux quits (~taurux@net-93-144-87-101.cust.dsl.teletu.it) (Quit: ZNC 1.7.5 - https://znc.in) |
| 16:01:53 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 16:02:20 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 16:02:44 | × | funkatronixxx quits (~funkatron@2001:981:f73:1:fd83:5117:7005:74aa) (Client Quit) |
| 16:04:57 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 16:10:03 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 16:10:48 | → | solonarv joins (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) |
| 16:11:24 | → | cwj1 joins (~cwj@s91904426.blix.com) |
| 16:14:32 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 16:15:49 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 16:17:00 | → | FreeBirdLjj joins (~freebirdl@101.87.175.26) |
| 16:18:17 | → | petersen joins (~petersen@redhat/juhp) |
| 16:18:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:19:47 | → | shinobi joins (~shinobi@c-24-147-48-162.hsd1.ma.comcast.net) |
| 16:20:37 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
| 16:21:34 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 16:21:39 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:22:25 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 16:27:36 | × | kam1 quits (~kam1@24.231.108.143) (Read error: Connection reset by peer) |
| 16:27:48 | → | kam1 joins (~kam1@24.231.108.143) |
| 16:30:04 | → | Saukk joins (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 16:30:12 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:30:16 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 16:31:08 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
| 16:32:44 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 16:33:00 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 16:34:55 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 16:35:03 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:36:14 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 16:37:49 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 16:39:48 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 16:40:29 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Client Quit) |
| 16:41:13 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 16:43:11 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 16:43:36 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 16:46:52 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 16:47:38 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 16:47:52 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 16:49:21 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) |
| 16:50:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 16:52:37 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:53:21 | → | kderme joins (2eb0d7c7@ppp046176215199.access.hol.gr) |
| 16:54:15 | × | brown121407 quits (~brown1214@fsf/member/brown121407) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:54:33 | → | brown121407 joins (~brown1214@2001:19f0:6c01:2b9c:3c66:4201:22f3:3ebc) |
| 16:54:33 | × | brown121407 quits (~brown1214@2001:19f0:6c01:2b9c:3c66:4201:22f3:3ebc) (Changing host) |
| 16:54:33 | → | brown121407 joins (~brown1214@fsf/member/brown121407) |
| 16:54:45 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 16:55:00 | × | ADG1089__ quits (~aditya@223.235.213.117) (Ping timeout: 272 seconds) |
| 16:55:21 | × | kuribas quits (~user@ptr-25vy0i9g14sodnd3b5o.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 16:55:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 16:57:38 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 16:58:36 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 16:59:39 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 17:05:36 | × | Guest14638 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 240 seconds) |
| 17:07:25 | × | kam1 quits (~kam1@24.231.108.143) (Ping timeout: 264 seconds) |
| 17:08:50 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:09:36 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 17:10:57 | <shinobi> | Happy New Year! I am just learning about applicative functors. Why is the type of the below function what it is? It makes no sense to me. |
| 17:11:13 | <shinobi> | Prelude> :t (.) <$> (+3) <*> (*100) |
| 17:11:13 | <shinobi> | (.) <$> (+3) <*> (*100) :: Num (c -> c) => (c -> c) -> c -> c |
| 17:11:56 | <shinobi> | This similar function make sense to me: |
| 17:11:57 | <shinobi> | Prelude> :t (+) <$> (+3) <*> (*100) |
| 17:11:57 | <shinobi> | (+) <$> (+3) <*> (*100) :: Num b => b -> b |
| 17:12:25 | <shinobi> | I would expect the same type under function composition. |
| 17:12:35 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 17:12:45 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 17:12:49 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Ping timeout: 264 seconds) |
| 17:12:57 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 17:13:32 | <dsal> | :t (.) <$> (+3) <*> (*100) |
| 17:13:34 | <lambdabot> | Num (c -> c) => (c -> c) -> c -> c |
| 17:14:04 | <dsal> | :t (+) <$> (+3) <*> (*100) |
| 17:14:06 | <lambdabot> | Num b => b -> b |
| 17:14:17 | <shinobi> | I like your lambdabot! |
| 17:14:24 | <dsal> | It's all of our lambdabot |
| 17:14:32 | <dsal> | I'm not sure I understand your confusion, though. |
| 17:14:35 | → | pera joins (~pera@unaffiliated/pera) |
| 17:14:35 | <dsal> | :t (.) |
| 17:14:37 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 17:14:48 | → | bitmagie joins (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
| 17:14:52 | <shinobi> | I would expect the two functions above to have the same type. |
| 17:15:13 | <idnar> | (.) <$> (+3) <*> (*100) = \x -> (x + 3) . (x * 100) |
| 17:15:14 | <dsal> | . composes functions into new functions (i.e., combines functions) and + combines numbers. combining functions yields functions, where combining numbers yields numbers. |
| 17:15:38 | <dsal> | :t (+) |
| 17:15:40 | <lambdabot> | Num a => a -> a -> a |
| 17:15:40 | <dsal> | :t (.) |
| 17:15:41 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 17:16:04 | <dsal> | Why would you expect them to have the same type? What type would you expect that to be? |
| 17:16:29 | <ephemient> | they would be same thing with church numerals :p |
| 17:16:39 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 17:16:58 | <shinobi> | Looking at the second function. I would expect the system to add the two functions together and then apply it to 5 |
| 17:17:02 | <shinobi> | Is that correct? |
| 17:17:11 | → | chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
| 17:17:28 | <shinobi> | (x+3) + (X*100) |
| 17:17:50 | <shinobi> | So this looks like num -> num |
| 17:17:52 | <dsal> | > (+) <$> (+a) <*> (*b) $ c |
| 17:17:54 | <lambdabot> | c + a + c * b |
| 17:17:59 | <ephemient> | (+) does not add two functions together, it only adds two numbers together |
| 17:18:14 | → | Alleria joins (~textual@2603-7000-3040-0000-05ee-0552-d472-c8f7.res6.spectrum.com) |
| 17:18:16 | <shinobi> | ah |
| 17:18:26 | <shinobi> | so it has to apply an argument first? |
| 17:18:38 | Alleria | is now known as Guest87408 |
| 17:18:39 | <idnar> | :t (<*>) |
| 17:18:40 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 17:19:49 | <dsal> | > liftA2 (+) (+a) (+b) c |
| 17:19:51 | <lambdabot> | c + a + (c + b) |
| 17:19:58 | <idnar> | the Applicative here is ((->) r) |
| 17:21:17 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Ping timeout: 260 seconds) |
| 17:21:36 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 17:26:28 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 17:29:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:31:08 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 17:32:56 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 17:33:17 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 17:34:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:35:32 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 17:38:55 | → | Tops21 joins (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) |
| 17:40:46 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 17:41:24 | × | rsoeldner_ quits (~rsoeldner@2a02:8108:973f:eb38:61c8:bc2c:6f96:2b71) (Quit: Leaving) |
| 17:41:46 | × | lassulus quits (~lassulus@NixOS/user/lassulus) (Ping timeout: 246 seconds) |
| 17:42:00 | × | FreeBirdLjj quits (~freebirdl@101.87.175.26) (Remote host closed the connection) |
| 17:42:13 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 17:42:18 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
| 17:42:36 | → | FreeBirdLjj joins (~freebirdl@101.87.175.26) |
| 17:42:40 | × | FreeBirdLjj quits (~freebirdl@101.87.175.26) (Read error: Connection reset by peer) |
| 17:42:41 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 17:42:43 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 17:42:56 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 17:42:57 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 17:42:57 | → | lassulus joins (~lassulus@NixOS/user/lassulus) |
| 17:43:00 | → | FreeBirdLjj joins (~freebirdl@101.87.175.26) |
| 17:43:02 | × | FreeBirdLjj quits (~freebirdl@101.87.175.26) (Remote host closed the connection) |
| 17:43:07 | × | ADG1089__ quits (~aditya@223.235.213.117) (Quit: Konversation terminated!) |
| 17:43:18 | → | FreeBirdLjj joins (~freebirdl@101.87.175.26) |
| 17:43:23 | × | FreeBirdLjj quits (~freebirdl@101.87.175.26) (Remote host closed the connection) |
| 17:43:40 | → | FreeBirdLjj joins (~freebirdl@101.87.175.26) |
| 17:43:43 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 17:43:44 | × | FreeBirdLjj quits (~freebirdl@101.87.175.26) (Remote host closed the connection) |
| 17:44:57 | → | Shiranai joins (beed0d74@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.116) |
| 17:46:13 | <Shiranai> | any good problem sets to practice appliatives, functors, monads, and friends? |
| 17:47:00 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 17:47:24 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-164.cust.tzulo.com) |
| 17:48:08 | × | aldessa quits (~hugh@host-92-27-117-235.static.as13285.net) (Quit: Leaving) |
| 17:48:16 | × | toorevitimirp quits (~tooreviti@117.182.181.242) (Remote host closed the connection) |
| 17:48:16 | <monochrom> | https://github.com/system-f/fp-course e.g. Course.Functor, Course.Applicative, Course.Monad |
| 17:48:36 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 17:49:07 | → | Tario joins (~Tario@201.192.165.173) |
| 17:49:13 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) |
| 17:51:22 | <Shiranai> | monochrom: thanks a lot! |
| 17:51:39 | → | kam1 joins (~kam1@24.231.108.143) |
| 17:52:26 | × | Saukk quits (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 17:52:36 | × | andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection) |
| 17:52:45 | × | Tops21 quits (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 17:54:13 | × | lassulus quits (~lassulus@NixOS/user/lassulus) (Ping timeout: 264 seconds) |
| 17:56:17 | × | chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:56:46 | → | andi- joins (~andi-@NixOS/user/andi-) |
| 17:56:57 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 17:57:09 | → | lassulus joins (~lassulus@NixOS/user/lassulus) |
| 17:59:31 | → | t3xp4t joins (~texinwien@213162073014.public.t-mobile.at) |
| 18:00:11 | × | nurupo quits (~nurupo.ga@unaffiliated/nurupo) (Quit: nurupo.ga) |
| 18:01:26 | → | nurupo joins (~nurupo.ga@unaffiliated/nurupo) |
| 18:03:43 | <koz_> | I think there's some Typeclassopedia exercises too? |
| 18:04:51 | × | lassulus quits (~lassulus@NixOS/user/lassulus) (Quit: WeeChat 2.9) |
| 18:04:52 | × | t3xp4t quits (~texinwien@213162073014.public.t-mobile.at) (Ping timeout: 268 seconds) |
| 18:06:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:07:44 | → | lassulus joins (~lassulus@NixOS/user/lassulus) |
| 18:07:54 | × | rmk236 quits (~lcampos@ip-37-201-211-236.hsi13.unitymediagroup.de) (Quit: Leaving.) |
| 18:11:06 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:11:13 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 18:11:26 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 18:11:33 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 18:12:05 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 18:14:19 | <monochrom> | Yeah, but they're much lighter. |
| 18:14:27 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 18:15:33 | <koz_> | Still worth doing. |
| 18:16:55 | → | VladArdelean joins (6da68aea@109.166.138.234) |
| 18:17:03 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:17:45 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 18:18:08 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 18:18:27 | <VladArdelean> | Hi all! I'm trying to learn Haskell for fun. I want to set up an IDE. Does anyone have a good recommendation of something that can |
| 18:18:39 | <VladArdelean> | ...help ? |
| 18:18:39 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Read error: Connection reset by peer) |
| 18:18:50 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 18:19:22 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 18:21:00 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 18:22:00 | <cohn> | VladArdelean: I can recommend VS Code without hesitation: https://code.visualstudio.com/ |
| 18:22:25 | <cohn> | be sure to get the Haskell plugin so you get linting, formatting, etc... |
| 18:23:10 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 18:23:21 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 18:23:22 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 18:25:54 | <koz_> | That's basically _the_ solution if you want a full-blown IDE. |
| 18:25:59 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:26:16 | <koz_> | If you're OK with something a bit less capable, there are other options, depending on what you're comfortable with. |
| 18:27:28 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 272 seconds) |
| 18:27:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:27:58 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 18:28:04 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 18:29:31 | <VladArdelean> | thanks @koz_ ! I'm OK with something with the largest amount of features so VS code sounds like my cup of tea :) Do you happen to have an idea how I'd run/debug code with the plugin? I am far too lazy to use ghci and :break/ :step/ :list /etc |
| 18:30:06 | <koz_> | VladArdelean: I personally wouldn't know, but someone else in here might. |
| 18:30:40 | × | VladArdelean quits (6da68aea@109.166.138.234) (Remote host closed the connection) |
| 18:31:05 | <merijn> | I think the real answer is: The debugger isn't used nearly as much as anything like the debuggers for C/java/whatever |
| 18:31:10 | <merijn> | @quote stream.of.concious |
| 18:31:11 | <lambdabot> | No quotes match. I can't hear you -- I'm using the scrambler. |
| 18:31:13 | <merijn> | aww |
| 18:31:28 | × | kam1 quits (~kam1@24.231.108.143) (Ping timeout: 246 seconds) |
| 18:31:36 | <merijn> | @quote cmccann narrative |
| 18:31:36 | <lambdabot> | cmccann says: you want a debugger? GHC has one. Except that stepping through lazy evaluation is like listening to a stream of consciousness narrative told by a 5-year-old with ADHD. |
| 18:31:44 | <merijn> | That |
| 18:32:08 | <cohn> | haha |
| 18:32:44 | × | solonarv quits (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 18:33:09 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:33:23 | <cohn> | I find HLS to be extremely helpful. Not a substitute for a debugger, but definitely helps make code better. |
| 18:33:34 | → | ransom joins (~c4264035@8.47.12.52) |
| 18:33:46 | <merijn> | HLS is just a platform for other things to plug into, though |
| 18:33:51 | <cohn> | yep |
| 18:34:10 | <cohn> | I dunno how I ever lived without it |
| 18:34:23 | → | dfeuer joins (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
| 18:35:45 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 18:36:10 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 18:36:56 | × | DavidEichmann quits (~david@98.27.93.209.dyn.plus.net) (Ping timeout: 256 seconds) |
| 18:37:03 | <koz_> | Yeah, I would agree with merijn here. |
| 18:37:14 | <koz_> | (and that quote is both hilarious and accurate) |
| 18:37:34 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 18:37:56 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 18:38:21 | <ephemient> | IMO: stepping and watching in a debugger should be a fallback for code that can't be understood. if it can be understood, there are better ways to debug |
| 18:39:29 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 18:39:34 | <koz_> | ephemient: That right there speaks volumes about how incomprehensible C code is. :P |
| 18:39:35 | → | solonarv joins (~solonarv@astrasbourg-653-1-252-231.w92-161.abo.wanadoo.fr) |
| 18:39:51 | <dolio> | C is at least more amenable to that technique. |
| 18:39:53 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 18:39:54 | <heatsink> | Is there a way to put haddock documentation on a multiple type signature like `one, two, three :: Number`? |
| 18:39:57 | <merijn> | cohn: I like the warning/error highlighting and jump to definition, but tbh I know for a fact that I'd easily give that up for tooling quality :p |
| 18:40:13 | <merijn> | cohn: Because I had those features and gave them up for 4 years to use v2-build instead :p |
| 18:40:23 | <merijn> | heatsink: not afaik? |
| 18:40:35 | <heatsink> | ok |
| 18:40:54 | <dolio> | The exact sequence of steps in lazy evaluation is decoupled from the logical structure of the definitions, so you can't really expect to understand the latter from the former in general. |
| 18:41:17 | <cohn> | merijn: good point. :D |
| 18:41:18 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 18:42:17 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 18:42:24 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 18:43:44 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Quit: -a- Connection Timed Out) |
| 18:43:51 | <monochrom> | Even in C I no longer use debuggers. I use printf to check/refute conjectures based on Dijsktra's weakest preconditions. That's what I did successfully last time I was troubleshooting someone else's code. |
| 18:44:00 | → | madjestic joins (~Android@86-88-72-244.fixed.kpn.net) |
| 18:44:01 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 18:44:23 | <merijn> | monochrom: It depends, printf debugging is certainly my default. But debuggers have their uses |
| 18:45:16 | <merijn> | Especially in concurrent/multi-threaded code since the ability to set breakpoint, watchpoints and control sequencing is fantastic and unattainable via printf :p |
| 18:45:44 | <dolio> | I've never used a C debugger, I think, because I never learned how. But I used JS debugging quite a bit, since it's essentially automatically set up for you in every browser. |
| 18:45:51 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:46:04 | <heatsink> | A debugger is useful for inspecting corrupted data |
| 18:46:14 | <dolio> | As long as you're not mangling your source code and not telling it how to recover the original. |
| 18:47:03 | <dolio> | printf type stuff is also not so great in JS, I guess. |
| 18:47:04 | <ephemient> | in Haskell I find it very useful to be able to throw a QuickCheck property at just about anything |
| 18:47:18 | <cohn> | anyone ever use dtrace? |
| 18:47:23 | <ephemient> | find a minimal counterexample to what you think should be happening, then reason through it |
| 18:47:24 | <merijn> | @quote refreshing.desert |
| 18:47:24 | <lambdabot> | chromatic says: My productivity increased when Autrijus told me about Haskell's trace function. He called it a refreshing desert in the oasis of referential transparency. |
| 18:47:30 | <merijn> | cohn: Yes, DTrace is amazing |
| 18:47:40 | <monochrom> | I have used debuggers for only two scenerios. One is when it's someone else code so I know nothing and I don't have patience to read it all. (But you see I have superseded that.) The other is when there is a crash so I fire up "gdb foo core" but I merely look at the backtrace. |
| 18:47:47 | <merijn> | cohn: And apparently "just works" on macOS with GHC :D |
| 18:48:03 | <ephemient> | Debug.Trace is still kinda weird sometimes due to laziness, but yeah that's basically printf debugging :D |
| 18:48:11 | <cohn> | merijn: wow, never knew that! Might have to try it some time |
| 18:48:14 | <monochrom> | The printf+wp technique I said I use was a case of corrupted data. |
| 18:48:35 | <monochrom> | Well, in a sense. |
| 18:48:41 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 18:48:56 | → | ADG1089__ joins (~aditya@223.235.213.117) |
| 18:49:21 | <monochrom> | The desired outcome was computing some pixel colour values (unlikely 0) and storing in an array. The buggy outcome was storing 0's there. |
| 18:49:49 | <ephemient> | unfortunately the nature of trace printing something can also change order of evaluation… |
| 18:50:03 | <merijn> | cohn: All I did was start DTrace and fire some Haskell application and I just saw alls sorts of thread scheduling and GC events pouring out in DTrace, so that was neat |
| 18:50:12 | <cohn> | wow |
| 18:50:12 | <ephemient> | well, the same if you're using GHC's debugger; forcing something to print it is also changing order of evaluation |
| 18:51:10 | <cohn> | there's also Ghidra if you want to reverse engineer binaries and don't mind that the NSA developed it: https://www.nsa.gov/resources/everyone/ghidra/ |
| 18:51:12 | <monochrom> | I also use strace, when I want to know the conversation between the program and the OS. |
| 18:51:37 | <monochrom> | But again strace is printf on steroid, not gdb on steroid |
| 18:51:39 | <ephemient> | = dtruss on dtrace systems, but yeah |
| 18:51:52 | <monochrom> | or rather, not stepping on steroid. |
| 18:52:00 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 18:52:01 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:53:26 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 272 seconds) |
| 18:54:41 | <merijn> | dtrace is printf on steroids :p |
| 18:55:04 | <dsal> | cohn: I added dtrace support to erlang |
| 18:55:13 | <merijn> | dsal: \o/ |
| 18:55:14 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 18:55:19 | <merijn> | DTrace support in everything! |
| 18:56:23 | <dsal> | I've not used it much in a while. But it's absurdly powerful. I had a high-end engineer talking about things you can't know because it's erlang, so I added dtrace support and demonstrated that you can know these things. Turns out, facts don't change opinions. |
| 18:57:04 | × | bitmagie quits (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Quit: bitmagie) |
| 18:57:16 | <cohn> | they definitely don't. : ( |
| 18:57:33 | <merijn> | I don't use DTrace that much, but every time I dive into it I just go "wow, I forgot how cool and amazing this is!" |
| 18:57:41 | <dsal> | That sounds about right. |
| 18:58:01 | <monochrom> | In the case of C, or rather "C", there is no conflict between "dtrace can tell you" and "you still can't know". |
| 18:58:01 | <cohn> | dsal: that's awesome that you added dtrace support to erlang. I tried to learn erlang and it was... weird. |
| 18:58:39 | <dsal> | cohn: erlang isn't all that weird. It's got a few simple types and is good at moving them around networks. The model is nice. If something doesn't work, crash. I've made pretty reliable stuff that way. |
| 18:58:54 | <monochrom> | On the ground that 90% of things you discover from debuggers and tracers, they aren't guaranteed by the "C" "standard". >:) |
| 18:59:06 | <dsal> | It's also pretty good at low-latency because everything is immutable and it can swap tasks without having to think about whether something is in a critical region or whatever. |
| 18:59:25 | <koz_> | monochrom: That is indeed the right number of air quotes. |
| 18:59:52 | × | neiluj quits (~jco@unaffiliated/neiluj) (Ping timeout: 260 seconds) |
| 19:01:06 | <dsal> | monochrom: Well, the particular question was this idea that the time between sending a message and processing a message was unknowable because it's magic VM overhead. So I added more junk and made a tiny dtrace script that would dump out a histogram showing that, actually, there's almost never any actual time between sends and receives most of the time. |
| 19:01:23 | <dsal> | Dude remained convinced that erlang was too slow and he needed to rewrite everything in C to have it not be slow. |
| 19:01:49 | <merijn> | dsal: You can't argue with stupid |
| 19:01:52 | <dsal> | Spoiler: The IO system didn't actually care whether bits were prepped from C code or erlang code. It wasn't faster and it scaled more poorly... except on single core systems. |
| 19:02:07 | <monochrom> | Oh, then that's unforgivable. To disrespect empirical data like so. |
| 19:02:20 | <dsal> | Yeah. I was surprised. It made me sad. |
| 19:02:26 | <hpc> | i suspect he just wanted to write c and didn't care what he had to say to get there |
| 19:03:16 | <dsal> | Yeah, the motivations weren't what I expected. It took > 9 months to get to feature parity with what we'd done in a weekend in erlang and it was *hilariously* buggy. |
| 19:03:30 | <merijn> | monochrom: "We're software engineers! Which means we're going to reject empirical data and go with our gut, because that's what engineers do!" |
| 19:03:39 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:08 | <dsal> | He and the guy he was doing this C thing with were convinced they found a bug in the linux kernel that lead to filesystem corruption because their new C code wasn't writing the bits they expected. Turns out, they just didn't understand how to write concurrent mutable code in C. |
| 19:04:13 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 19:04:19 | <monochrom> | Heh time to whip out Gerald Weinburg's quote again. "If it doesn't have to be correct, I can do it ten times faster." |
| 19:04:37 | <merijn> | monochrom: If it doesn't have to be correct I can do it arbitarily faster |
| 19:05:10 | <dsal> | I was asking why NetBSD didn't have a floppy tape driver way back in the mid 90s. These things were kind of popular. Someone recommended /dev/null as being just as reliable, but significantly faster. Turns out, it was. |
| 19:05:17 | <merijn> | monochrom: "return 42;" done |
| 19:07:15 | <tomsmeding> | dsal: depends on your definition of "reliable" |
| 19:07:46 | → | gioyik joins (~gioyik@179.32.228.107) |
| 19:08:11 | <dsal> | tomsmeding: that's true. /dev/null did behave more predictably |
| 19:08:25 | <monochrom> | haha roast |
| 19:09:02 | → | falafel joins (~falafel@pool-108-31-243-192.washdc.fios.verizon.net) |
| 19:09:49 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-bphofpilzzzitilm) |
| 19:10:15 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40::ee4f) |
| 19:11:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 19:12:27 | <koz_> | Something something 'this number was generated by a fair die roll' something XKCD something. |
| 19:13:52 | × | xff0x_ quits (~fox@2001:1a81:53cd:600:13ec:7df7:81ac:e67) (Ping timeout: 260 seconds) |
| 19:14:43 | → | xff0x_ joins (~fox@2001:1a81:53cd:600:4280:8eb:d6d7:f299) |
| 19:14:50 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 19:17:00 | <Shiranai> | I'm doing the system-exercises and I'm getting an error on this, 100% sure I'm missing something silly https://pastebin.com/GQmry9bL |
| 19:17:35 | <Shiranai> | but can't figure out what it is, though |
| 19:17:44 | <monochrom> | (??) Empty y = y |
| 19:18:00 | <Shiranai> | yes that works, but why does my don't? |
| 19:18:00 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 19:18:05 | <Shiranai> | mine* |
| 19:18:44 | <monochrom> | The language standard KISS and requires consistent number of arguments. |
| 19:19:21 | <Shiranai> | ahhh, I see, thanks |
| 19:22:01 | → | jacks2 joins (~bc815220@217.29.117.252) |
| 19:22:16 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 19:22:47 | <jacks2> | hi. is there something like Data.Map in base that doesn't require Ord? a hashmap or something similar? |
| 19:23:27 | <geekosaur> | not in base but in containers |
| 19:23:45 | <jacks2> | unordered-containers? did some googling while asking the question |
| 19:23:48 | <koz_> | geekosaur: unordered-containers you mean? |
| 19:24:07 | <koz_> | jacks2: Yeah, unordered-containers has HashMap and friends. It requires (Eq a, Hashable a). |
| 19:24:38 | → | p-core joins (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) |
| 19:25:17 | <jacks2> | class Hashable, minimal complete definition, Nothing? |
| 19:25:37 | <koz_> | jacks2: That's because it leans on Generic. |
| 19:25:53 | <koz_> | If your type lacks a Generic instance, you'd still have to write one. |
| 19:26:05 | <koz_> | s/one/one method, 'hashWithSalt'/ |
| 19:26:16 | <jacks2> | so key Type needs to implement Generic? I was hoping to avoid having to write Ord for my keys, but I'm not sure if having to write Generics is any better/easier |
| 19:26:24 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 19:26:36 | <koz_> | jacks2: You don't have to write Ord. Just go 'deriving (Ord)'. |
| 19:26:49 | <koz_> | Unless you have a vested interest in what kind of order you have over them. |
| 19:26:55 | <koz_> | (which by the sounds of it, you don't) |
| 19:27:06 | <jacks2> | koz_, a key can also be a third party type though |
| 19:27:21 | <monochrom> | This sounds like a lot of trouble and a rabbit hole just to avoid Ord. |
| 19:27:23 | <koz_> | jacks2: By that, you mean 'a type you didn't write'? |
| 19:27:35 | <koz_> | And you're 100% certain said type(s) _don't_ have Ord instances? |
| 19:27:37 | <jacks2> | koz_ a type written, or defined, by someone else |
| 19:28:00 | <dsal> | Ord seems easier than hashable |
| 19:28:11 | <jacks2> | context: I am writing a caching library [yes I know they already exist], and I want to be as convenient as possible for the user |
| 19:29:54 | <dsal> | If a user wants to use something as a cache key that isn't comparable on its own, they'll have to provide a way to compare them. |
| 19:31:34 | <Shiranai> | Are there any resources on system-F fp course? I am not sure if I'm supposed to be using the functors, applicatives and all that at an early point. |
| 19:32:02 | <jacks2> | so what do you think, Data.Map over Hashmap? there's also [(Key, Value)], that would require just Eq, but it would be least efficient |
| 19:34:07 | × | falafel quits (~falafel@pool-108-31-243-192.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 19:34:43 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 19:35:29 | → | kam1 joins (~kam1@24.231.108.143) |
| 19:36:05 | → | bitmagie joins (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
| 19:37:46 | <monochrom> | Shiranai: I don't understand the question. The course contains both basic material and functor applicative monad material, you can skip whatever is too basic for you and do whatever interests you, no? |
| 19:38:15 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 19:39:02 | <Shiranai> | For example in the Optional .hs excercises they were presented just as so, without instructions of "how to" do it, for that particular case just pattern matching works fine but you could also use (<*>) and that stuff |
| 19:39:13 | <Shiranai> | so I wanted to know if there was some intended way of solving them |
| 19:39:18 | <Shiranai> | or just whatever works |
| 19:40:02 | <monochrom> | Oh, then that one is basic. |
| 19:40:41 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 19:40:59 | <dsal> | jacks2: making a slow cache doesn't seem great. :) |
| 19:41:24 | <dsal> | I've rarely used Hashmap. |
| 19:41:47 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:41:48 | → | laqq3 joins (~laqq3@204.14.36.36) |
| 19:43:45 | × | laqq3 quits (~laqq3@204.14.36.36) (Quit: leaving) |
| 19:44:01 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 19:44:49 | <jacks2> | same |
| 19:46:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 19:46:30 | <dsal> | Map is fine. If you can think of a use case that involves a user wanting to cache with some kind of key that can't be Ord, then just tell the user they're doing it wrong. |
| 19:46:45 | <monochrom> | :) |
| 19:47:16 | → | argento joins (~argent0@168.227.96.51) |
| 19:48:19 | <jacks2> | that works :) |
| 19:49:14 | <dsal> | i.e., some thing that is conceptually usable as a key, but isn't Ord is probably a `toKey` function away from something that is Ord. |
| 19:51:04 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 19:52:14 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-uagwkmdlrotoupds) |
| 19:53:50 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 19:54:05 | → | chambln joins (~user@2.31.230.114) |
| 19:55:04 | → | t3xp4t joins (~texinwien@213162073014.public.t-mobile.at) |
| 19:57:06 | × | ADG1089__ quits (~aditya@223.235.213.117) (Remote host closed the connection) |
| 19:59:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 20:00:36 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 20:06:04 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 20:06:52 | → | kuribas joins (~user@ptr-25vy0i9hqewdqyz7ls0.18120a2.ip6.access.telenet.be) |
| 20:12:10 | <Shiranai> | I am looking at filter's definition and was wondering if it could be implemented using just pattern matching (without where-bindings) https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.List.html#filter |
| 20:12:20 | <Shiranai> | any ideas? |
| 20:12:47 | × | kam1 quits (~kam1@24.231.108.143) (Ping timeout: 265 seconds) |
| 20:12:59 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 20:13:17 | → | Deide joins (~Deide@217.155.19.23) |
| 20:13:27 | <__monty__> | Shiranai: But it has no where clause? |
| 20:13:35 | <__monty__> | Do you mean without guards? |
| 20:15:05 | × | frankdmartinez quits (~frankdmar@5.181.234.188) (Quit: frankdmartinez) |
| 20:15:31 | <Shiranai> | yes, just using pattern matching |
| 20:16:37 | <argento> | Could be done defining an auxiliar revursive function that consules (Bool, a). But why avoid guards? |
| 20:16:57 | <argento> | s/revur/recur/g |
| 20:17:19 | <__monty__> | Shiranai: You can write it with if then else or a case expression instead. |
| 20:17:36 | <__monty__> | Or a list comprehension. |
| 20:18:49 | <Shiranai> | yeah I did it with case expresions and if then elses |
| 20:19:21 | <Shiranai> | not really avoiding them, just checking if they can always be reestated in pattern matching |
| 20:19:43 | <b4er> | Or do-notation ;P |
| 20:19:58 | → | bendo_ joins (~bendo@130.61.122.121) |
| 20:20:01 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 264 seconds) |
| 20:20:17 | <b4er> | I guess that'd count as list-notation maybe |
| 20:20:24 | <Shiranai> | yeah I see how do-notation or list comprehension work but sounds overkill for a simple problem haha |
| 20:20:31 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 20:20:56 | <hpc> | you could write it as one pattern and a bunch of if-then-else if you really wanted :P |
| 20:21:11 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 20:21:43 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 20:22:16 | <b4er> | `case` on Boolean too, nobody wants if-then-else statements |
| 20:22:27 | <monochrom> | I want if-then-else statements. |
| 20:22:50 | <Shiranai> | I thought you were all for pattern matching |
| 20:23:09 | <Shiranai> | in fact because of your blogpost on it is why I just made this question haha |
| 20:23:15 | <monochrom> | I am for pattern matching too. Just not as religiously as others. |
| 20:23:21 | <hpc> | monochrom: technically you want if-then-else expressions :D |
| 20:23:26 | × | bendo quits (~bendo@130.61.122.121) (Ping timeout: 264 seconds) |
| 20:23:50 | <monochrom> | "if x>0 then ... else ..." does not benefit from pattern matching. |
| 20:24:18 | <b4er> | Do people write code like that though `case x > 0 of ...` ? |
| 20:24:23 | bendo_ | is now known as bendo |
| 20:24:30 | <monochrom> | Religious people do. |
| 20:24:32 | <b4er> | Honestly this is pretty silly |
| 20:25:08 | <monochrom> | Such as some puritan sects that refuse to use smartphones. |
| 20:25:32 | <Shiranai> | as a noob I personally would like an `if' True x y = x`, if then else seems very natural but I feel it takes me out of the functional paradigm a bit |
| 20:25:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:25:36 | <Shiranai> | and then I have to come back |
| 20:25:43 | <monochrom> | There was another puritan sect that was OK with using email but refused HTML in emails. |
| 20:25:46 | <b4er> | But not using smartphones and not using case is very different, one I can totally understand |
| 20:26:07 | <Shiranai> | b4er , agree, smartphones are the devil itself |
| 20:26:16 | → | kam1 joins (~kam1@24.231.108.143) |
| 20:26:24 | <monochrom> | Sure, so how about my second example, refusing HTML in emails. |
| 20:26:26 | <ddellacosta> | Shiranai: what would that expression evaluate to when the if predicate failed? |
| 20:26:42 | <Shiranai> | if' False x y = y |
| 20:26:55 | <exarkun> | It's just if but with `then` and `else` keywords removed |
| 20:26:58 | <exarkun> | So you need more parenthesis :) |
| 20:26:59 | <b4er> | I kind of get it why you don't want HTML in emails tbh, there's really no need and most of the time it's not really helping much |
| 20:27:02 | <Shiranai> | yup |
| 20:27:04 | <geekosaur> | :t bool |
| 20:27:05 | <lambdabot> | a -> a -> Bool -> a |
| 20:27:07 | <b4er> | Yeah, hyperlinks are cool but that's about it |
| 20:27:09 | <ddellacosta> | ah I see |
| 20:28:52 | <idnar> | if' = flip bool |
| 20:29:16 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 20:30:03 | → | kritzefitz_ joins (~kritzefit@212.86.56.80) |
| 20:30:14 | <b4er> | \b x y -> last$x:[y|b] |
| 20:30:28 | <b4er> | When b, x and y are bound that's the shortest way I think |
| 20:30:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 20:30:51 | → | Nik05 joins (~Nik05@85.150.134.175) |
| 20:31:15 | Nik05 | is now known as Guest7758 |
| 20:31:38 | × | bitmagie quits (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Quit: bitmagie) |
| 20:31:47 | <b4er> | Oh probably I should have swapped y, x but you get the idea |
| 20:32:19 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds) |
| 20:35:56 | <dsal> | That's kind of awful. |
| 20:37:02 | <dsal> | > [ 1 | True ] -- also, this kind of demonstrates a way of thinking about list comprehensions that is a bit more fundamental than I normally do. |
| 20:37:05 | <lambdabot> | [1] |
| 20:38:01 | <monochrom> | > [ 1 | False ] |
| 20:38:04 | <lambdabot> | [] |
| 20:38:30 | <b4er> | dsal, do you just use the enumerations then or wdym? |
| 20:38:49 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-164.cust.tzulo.com) (Remote host closed the connection) |
| 20:38:58 | <dsal> | Yeah, I tend to just use specific patterns for list comprehensions, not like "think about what this means and do that thing" |
| 20:39:15 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 20:39:38 | × | Shiranai quits (beed0d74@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.116) (Quit: Connection closed) |
| 20:39:51 | <dsal> | A list comprehension has several essential parts before I consider it: [ f x | x <- xs, b x ] |
| 20:40:10 | <b4er> | > [(i,j) | i <- [1..3] | j <- [1..3]] |
| 20:40:13 | <lambdabot> | [(1,1),(2,2),(3,3)] |
| 20:40:39 | <b4er> | You can also have let-bindings in it and whatnot, list comprehensions are fun |
| 20:41:11 | <dsal> | I should actually understand list comprehensions beyond how I use them. |
| 20:41:16 | <monochrom> | Aww, too bad [ 1 | ] is not supported. |
| 20:41:25 | <b4er> | > [ n | Just n <- [Just 0, Nothing]] |
| 20:41:27 | <lambdabot> | [0] |
| 20:41:56 | <monochrom> | dsal, if you imagine translating comprehension to do-notation, that model covers even [ 1 | True ] |
| 20:41:58 | <b4er> | That one is pretty useful I found |
| 20:42:11 | <dsal> | @undo [ 1 | True ] |
| 20:42:11 | <lambdabot> | if True then [1] else [] |
| 20:42:28 | <monochrom> | because "do { guard True; return 1 }" makes the correct prediction. |
| 20:42:48 | <dsal> | @undo [ (x,y) | x <- [1,2] | y <- [3,4] ] |
| 20:42:49 | <lambdabot> | [(x, y)| x <- [1, 2]| y <- [3, 4]] |
| 20:43:13 | → | byorgey joins (~byorgey@155.138.238.211) |
| 20:43:27 | <geekosaur> | doesn't speak parallel list comp? |
| 20:43:37 | <dsal> | Is that an extension? |
| 20:43:42 | <geekosaur> | yes |
| 20:43:50 | <dsal> | Ah. That makes a lot more sense to me now. |
| 20:46:10 | <monochrom> | @undo [ x+1 | x<-[1,2,3], x<0 ] |
| 20:46:10 | <lambdabot> | concatMap (\ x -> if x < 0 then [x + 1] else []) [1, 2, 3] |
| 20:46:47 | <b4er> | That doesn't seem right? |
| 20:47:00 | <monochrom> | Let's see |
| 20:47:06 | <b4er> | Is the `,x<0` part not meant to be `guard (x<0)` ? |
| 20:47:09 | <monochrom> | > [ x+1 | x<-[1,2,3], x>0 ] |
| 20:47:11 | <lambdabot> | [2,3,4] |
| 20:47:41 | <geekosaur> | b4er, it should behave the same as that but does not necessarily translate to that. |
| 20:47:43 | <dsal> | I don't expect @undo or @src or whatever to be accurate, just a way to think about things. |
| 20:47:52 | <geekosaur> | iirc it dependson whether MonadComprehensions is enabled or not |
| 20:48:59 | <b4er> | @undo [ y+1 | x <- [1..3], x >0, y <- [1..x] ] |
| 20:48:59 | <lambdabot> | concatMap (\ x -> if x > 0 then concatMap (\ y -> [y + 1]) [1 .. x] else []) [1 .. 3] |
| 20:50:20 | <monochrom> | guard (x<0) = if x<0 then [()] else [] |
| 20:51:05 | → | bitmagie joins (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
| 20:51:18 | <monochrom> | But you can always merge it with an outer concatMap to replace [()] by [something actually interesting] |
| 20:52:27 | <ephemient> | I wonder if lambdabot has TransformListComp turned on |
| 20:52:38 | <b4er> | > [ () | x <- [1..3], x > 0 ] -- maybe not always hehe |
| 20:52:40 | <lambdabot> | [(),(),()] |
| 20:52:48 | <ephemient> | > [x | x <- [1..], then takeWhile by x < 5] |
| 20:52:50 | <lambdabot> | error: |
| 20:52:50 | <lambdabot> | Unexpected transform statement in a list comprehension |
| 20:52:50 | <lambdabot> | Use TransformListComp |
| 20:52:52 | <b4er> | Oh @undo and all that jazz |
| 20:53:35 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 20:55:47 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:55:51 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:57:14 | × | dfeuer quits (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 20:58:50 | → | tjol232pp joins (~tjol232pp@ip4d17917d.dynamic.kabel-deutschland.de) |
| 20:59:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:59:44 | × | t3xp4t quits (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
| 21:01:21 | × | tjol232pp quits (~tjol232pp@ip4d17917d.dynamic.kabel-deutschland.de) (Client Quit) |
| 21:01:44 | → | ransom_ joins (~c4264035@70-59-22-250.hlrn.qwest.net) |
| 21:02:56 | × | ransom quits (~c4264035@8.47.12.52) (Ping timeout: 240 seconds) |
| 21:03:16 | × | kam1 quits (~kam1@24.231.108.143) (Ping timeout: 272 seconds) |
| 21:05:59 | → | dfeuer joins (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
| 21:06:21 | × | danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 3.0) |
| 21:13:33 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Remote host closed the connection) |
| 21:17:21 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 21:18:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 21:19:32 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 21:22:00 | × | ransom_ quits (~c4264035@70-59-22-250.hlrn.qwest.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 21:22:37 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Client Quit) |
| 21:22:38 | → | ransom joins (~c4264035@70-59-22-250.hlrn.qwest.net) |
| 21:24:13 | × | bitmagie quits (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Quit: bitmagie) |
| 21:24:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:24:40 | → | bitmagie joins (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
| 21:24:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 21:26:53 | → | son0p joins (~son0p@181.136.122.143) |
| 21:26:57 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection) |
| 21:27:24 | × | ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Quit: WeeChat 2.8) |
| 21:27:34 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 21:27:39 | × | bitmagie quits (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Client Quit) |
| 21:28:58 | × | ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Client Quit) |
| 21:29:07 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 21:31:37 | → | bitmagie joins (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) |
| 21:33:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 21:41:25 | → | Guest53 joins (~textual@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) |
| 21:41:44 | × | bitmagie quits (~Thunderbi@200116b806fb3d00a8ac6fc158861482.dip.versatel-1u1.de) (Quit: bitmagie) |
| 21:45:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:45:59 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
| 21:49:21 | → | t3xp4t joins (~texinwien@213162073014.public.t-mobile.at) |
| 21:50:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 21:50:35 | Guest53 | is now known as CoolMa7 |
| 21:52:16 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 21:54:34 | × | t3xp4t quits (~texinwien@213162073014.public.t-mobile.at) (Ping timeout: 272 seconds) |
| 21:57:29 | → | FrostyX joins (~jkadlcik@78.80.183.78) |
| 21:58:25 | × | chambln quits (~user@2.31.230.114) (Ping timeout: 264 seconds) |
| 22:00:24 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:01:17 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 22:02:29 | × | kritzefitz_ quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 22:04:45 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:05:15 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 22:07:13 | → | dmwit joins (~dmwit@pool-108-18-106-204.washdc.fios.verizon.net) |
| 22:07:41 | × | CoolMa7 quits (~textual@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) (Quit: Textual IRC Client: www.textualapp.com) |
| 22:08:07 | → | Guest53 joins (~textual@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) |
| 22:08:24 | <dmwit> | :t coerce |
| 22:08:25 | <lambdabot> | error: |
| 22:08:26 | <lambdabot> | • Variable not in scope: coerce |
| 22:08:26 | <lambdabot> | • Perhaps you meant ‘coerced’ (imported from Control.Lens) |
| 22:08:30 | <dmwit> | % :t coerce |
| 22:08:31 | <yahb> | dmwit: Coercible a b => a -> b |
| 22:08:51 | <dmwit> | % :t let foo :: Coercible a b => a -> Maybe b; foo = coerce . Just in foo |
| 22:08:51 | <yahb> | dmwit: Coercible a b => a -> Maybe b |
| 22:08:58 | <dmwit> | % :t let foo :: Coercible a b => a -> Maybe b; foo = coerce Just in foo |
| 22:08:58 | <yahb> | dmwit: ; <interactive>:1:49: error:; * Couldn't match representation of type `a0' with that of `b1' arising from a use of `coerce'; `b1' is a rigid type variable bound by; the type signature for:; foo :: forall a1 b1. Coercible a1 b1 => a1 -> Maybe b1; at <interactive>:1:5-40; * In the expression: coerce Just; In an equation for `foo': foo = coerce Just; In the |
| 22:09:05 | <dmwit> | Why doesn't the second one work? |
| 22:09:26 | × | crblmr quits (~carbolyme@matrix.dropacid.net) (Ping timeout: 256 seconds) |
| 22:09:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 22:10:16 | Guest53 | is now known as CoolMa7 |
| 22:11:25 | → | crblmr joins (~carbolyme@matrix.dropacid.net) |
| 22:12:03 | <dmwit> | Possibly: it couldn't decide between `Just :: a -> Maybe a` and `Just :: b -> Maybe b`? If so, then my follow-up question is how to discover that from the error message. |
| 22:13:14 | × | ransom quits (~c4264035@70-59-22-250.hlrn.qwest.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:13:55 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 22:15:04 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Remote host closed the connection) |
| 22:15:13 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 22:16:22 | → | christo joins (~chris@81.96.113.213) |
| 22:16:52 | × | argento quits (~argent0@168.227.96.51) (Ping timeout: 246 seconds) |
| 22:17:16 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:17:46 | → | Tops21 joins (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) |
| 22:18:00 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 22:18:35 | × | CoolMa7 quits (~textual@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) (Quit: Textual IRC Client: www.textualapp.com) |
| 22:19:02 | → | CoolMa7 joins (~ColMa7@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) |
| 22:19:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:20:46 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 22:21:19 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
| 22:21:24 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-103.ewe-ip-backbone.de) (Ping timeout: 268 seconds) |
| 22:21:40 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 22:22:41 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-73-208.w86-212.abo.wanadoo.fr) |
| 22:24:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 22:27:35 | × | kuribas quits (~user@ptr-25vy0i9hqewdqyz7ls0.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 22:28:30 | × | Fischmie1 quits (~Fischmiep@95.163.174.85) (Quit: WeeChat 3.0) |
| 22:30:45 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
| 22:30:59 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 22:32:02 | CoolMa7 | is now known as CoolMa8 |
| 22:33:10 | → | dyamon joins (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) |
| 22:33:45 | CoolMa8 | is now known as CoolMa7 |
| 22:35:12 | × | CoolMa7 quits (~ColMa7@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) (Quit: Textual IRC Client: www.textualapp.com) |
| 22:35:35 | → | CoolMa7 joins (~ColMa7@2a02:8109:9d40:14ea:9c11:93da:85f4:5b67) |
| 22:37:26 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 22:39:34 | × | fendor quits (~fendor@77.119.129.8.wireless.dyn.drei.com) (Remote host closed the connection) |
| 22:42:38 | × | ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 22:47:43 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 22:51:29 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 22:52:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:52:55 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 22:53:28 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 22:53:49 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit) |
| 22:58:45 | → | t3xp4t joins (~texinwien@213162073014.public.t-mobile.at) |
| 23:08:07 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Remote host closed the connection) |
| 23:10:06 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) |
| 23:11:35 | → | ransom joins (~c4264035@70-59-22-250.hlrn.qwest.net) |
| 23:13:00 | × | ransom quits (~c4264035@70-59-22-250.hlrn.qwest.net) (Client Quit) |
| 23:13:18 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 23:13:43 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 23:14:13 | → | ransom joins (~c4264035@70-59-22-250.hlrn.qwest.net) |
| 23:15:25 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 23:15:49 | × | dfeuer quits (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 23:18:30 | → | HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 23:18:36 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:507e:67a8:8e33:6ee2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:19:36 | → | nhs_ joins (~nhs@c-67-180-177-103.hsd1.ca.comcast.net) |
| 23:20:01 | × | ransom quits (~c4264035@70-59-22-250.hlrn.qwest.net) (Ping timeout: 264 seconds) |
| 23:20:27 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:81fd:2b8d:9354:7a4f) (Remote host closed the connection) |
| 23:21:23 | × | nhs_ quits (~nhs@c-67-180-177-103.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 23:26:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 23:27:28 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 23:27:36 | × | ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 23:28:11 | → | christo joins (~chris@81.96.113.213) |
| 23:32:15 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 23:32:44 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
| 23:37:43 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 23:39:36 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 23:40:15 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 23:40:23 | → | dfeuer joins (~dfeuer@pool-108-18-223-60.washdc.fios.verizon.net) |
| 23:45:05 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 23:47:02 | → | knupfer joins (~Thunderbi@200116b82c90ff003c203efffe389899.dip.versatel-1u1.de) |
| 23:47:44 | × | knupfer quits (~Thunderbi@200116b82c90ff003c203efffe389899.dip.versatel-1u1.de) (Remote host closed the connection) |
| 23:48:00 | → | knupfer joins (~Thunderbi@200116b82c90ff009d83bf767b64260e.dip.versatel-1u1.de) |
| 23:49:54 | × | bartholin quits (~bartholin@unaffiliated/bartholin) (Quit: Leaving) |
| 23:52:26 | → | halbGefressen joins (~halbGefre@2a02:810d:f40:2a9c:a4fe:2adc:248b:466f) |
| 23:52:50 | → | carthia joins (~carthia@gateway/tor-sasl/carthia) |
| 23:53:33 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-148.cust.tzulo.com) |
| 23:54:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:54:32 | <phaazon> | anyone using haskell-mode on emacs? |
| 23:54:34 | <phaazon> | I’m becoming crazy |
| 23:54:53 | <phaazon> | I keep having messaging stating that my “haskell app has died; restart?” when I move my cursor around |
| 23:55:01 | <halbGefressen> | How would I get all two-partitions of a List that fulfills the Set invariant? E.g I have a list [0,1,2,3], it would return a list of lists. Those lists contain the two partitions of the original list and form the original list. |
| 23:55:43 | <halbGefressen> | (dunno why i put the example in, retardation) |
| 23:55:47 | × | dyamon quits (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Quit: WeeChat 2.9) |
| 23:58:54 | <dsal> | halbGefressen: what do you mean by "two partitions"? |
| 23:59:07 | <dsal> | > partition odd [0..3] |
| 23:59:09 | <lambdabot> | ([1,3],[0,2]) |
| 23:59:28 | <halbGefressen> | that would be two partitions yes |
| 23:59:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
All times are in UTC on 2021-01-01.