Logs on 2021-05-01 (freenode/#haskell)
| 00:00:02 | × | zopsi quits (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops) |
| 00:01:38 | → | zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
| 00:02:26 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:652c:7737:827c:ce7) |
| 00:02:42 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:652c:7737:827c:ce7) (Client Quit) |
| 00:03:04 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 00:03:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:05:21 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 00:06:21 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 00:07:08 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 00:07:25 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 00:07:59 | × | ADG1089 quits (~aditya@223.226.237.158) (Remote host closed the connection) |
| 00:10:33 | → | zaquest joins (~notzaques@5.128.210.178) |
| 00:12:26 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 00:12:33 | × | Qwerky quits (~qwerky@37.173.116.194) (Remote host closed the connection) |
| 00:12:52 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 00:13:39 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:13:57 | → | Tario joins (~Tario@200.119.184.22) |
| 00:18:02 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection) |
| 00:18:40 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 00:21:16 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 00:22:16 | → | vent joins (~vent@185.62.190.213) |
| 00:23:28 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 00:23:32 | × | letmein quits (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) (Quit: letmein) |
| 00:27:13 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 00:30:40 | → | bennofs__ joins (~quassel@x4dbf4a04.dyn.telefonica.de) |
| 00:34:11 | × | bennofs_ quits (~quassel@x4dbf8c0e.dyn.telefonica.de) (Ping timeout: 240 seconds) |
| 00:39:07 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 00:39:33 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 260 seconds) |
| 00:41:37 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 00:44:37 | × | MarcelineVQ quits (~anja@198.254.208.159) (Ping timeout: 252 seconds) |
| 00:46:28 | → | MarcelineVQ joins (~anja@198.254.208.159) |
| 00:48:53 | × | tomkap1 quits (~tomkap@217.146.82.202) (Remote host closed the connection) |
| 00:49:13 | × | Tario quits (~Tario@200.119.184.22) (Ping timeout: 252 seconds) |
| 00:49:23 | → | enthropy joins (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 00:54:51 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 00:55:58 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 00:55:59 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 00:56:07 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-lthemimjkmqujsuh) (Quit: Connection closed for inactivity) |
| 00:56:10 | → | Tario joins (~Tario@201.192.165.173) |
| 00:56:18 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection) |
| 00:57:14 | <shapr> | wow, the first IOHCC submission arrived and it's a doozy |
| 00:58:55 | <c_wraith> | does it use anything unsafe? |
| 00:59:35 | <shapr> | Nope, but the character frequencies is just insane |
| 01:00:27 | <shapr> | c_wraith: ok, there is some minor unsafe calls |
| 01:00:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 01:01:18 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 01:01:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:03:46 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 01:04:04 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 265 seconds) |
| 01:04:10 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 01:04:53 | → | leafstorm joins (~leafstorm@185.204.1.185) |
| 01:05:05 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer) |
| 01:06:14 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 01:08:18 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 01:10:32 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 01:11:15 | × | hiroaki quits (~hiroaki@2a02:908:4b18:8c40:3267:9995:ede7:c222) (Ping timeout: 260 seconds) |
| 01:12:11 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 01:12:33 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:13:33 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 01:13:40 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:13:41 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 01:18:11 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 01:18:17 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 01:19:22 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 01:19:40 | → | letmein joins (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 01:19:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 01:21:44 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 01:24:28 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 01:32:25 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 01:34:35 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 01:37:33 | → | Facu joins (bf534f6b@191.83.79.107) |
| 01:37:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:38:46 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 01:40:10 | × | xff0x quits (~xff0x@2001:1a81:5283:5b00:a859:aa60:21e:361d) (Ping timeout: 276 seconds) |
| 01:41:17 | → | xff0x joins (~xff0x@2001:1a81:52b7:b500:7355:ada0:cdf5:eb04) |
| 01:42:51 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 01:44:43 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 01:46:44 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:47:44 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 01:47:44 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 01:48:51 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 01:49:44 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 01:50:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 01:50:44 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 01:52:56 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 01:53:15 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 01:56:29 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 01:56:30 | → | ddellacosta joins (~ddellacos@86.106.143.203) |
| 01:59:07 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 01:59:31 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 02:00:39 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 02:00:56 | × | ddellacosta quits (~ddellacos@86.106.143.203) (Ping timeout: 260 seconds) |
| 02:04:03 | → | stree joins (~stree@68.36.8.116) |
| 02:04:21 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 02:07:34 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:8450:22e8:63bf:6919) (Quit: Leaving) |
| 02:08:12 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 02:11:10 | × | ADG1089 quits (~aditya@223.226.237.158) (Quit: Konversation terminated!) |
| 02:11:11 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 02:11:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 02:15:38 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 02:17:32 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 02:18:29 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 02:18:39 | × | enthropy quits (~aavogt@135-23-166-92.cpe.pppoe.ca) (Quit: Leaving) |
| 02:19:18 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ukveqpcklunebhzh) |
| 02:22:18 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 02:23:00 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 02:23:09 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Quit: WeeChat 2.8) |
| 02:24:17 | <ADG1089> | how can i remove not required cabal packages? |
| 02:24:24 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 02:24:34 | <ADG1089> | shall i just delete ~/.cabal and install any breaking packages again? |
| 02:24:35 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 02:25:40 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 02:28:12 | × | theDon quits (~td@muedsl-82-207-238-113.citykom.de) (Ping timeout: 240 seconds) |
| 02:28:36 | × | ADG1089 quits (~aditya@223.226.237.158) (Remote host closed the connection) |
| 02:28:47 | <monochrom> | It suffices to delete .cabal/store/ghc-<version> |
| 02:29:14 | <monochrom> | There are higher-precision deletes if you know what you're doing. |
| 02:30:22 | → | theDon joins (~td@muedsl-82-207-238-128.citykom.de) |
| 02:31:30 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 02:31:42 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 02:35:22 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds) |
| 02:35:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 02:36:04 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 02:36:13 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:36:13 | finn_elija | is now known as Guest27671 |
| 02:36:13 | FinnElija | is now known as finn_elija |
| 02:39:33 | × | Guest27671 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:39:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 02:45:45 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 250 seconds) |
| 02:53:46 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds) |
| 02:55:40 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 02:59:10 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:59:29 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 03:00:18 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:04:16 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 03:04:19 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 03:06:59 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 03:07:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:07:51 | × | carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 03:10:09 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 03:11:40 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 03:11:51 | <justsomeguy> | I've noticed that most introductary books on haskell tend to teach you abstractions before getting you to a working example of some useful program, first. Are there any books that take the opposite approach: Teaching how to make a useful app as directly as possible, introducing as few abstrations as possible? |
| 03:12:13 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 03:12:40 | <justsomeguy> | I'm a little bit interested in the teaching process. |
| 03:13:11 | → | ajc joins (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) |
| 03:14:16 | <justsomeguy> | s/introducing as few abstractions as possible/introducing abstrations only as necessary/ |
| 03:14:49 | → | carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 03:15:21 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 03:15:28 | × | Facu quits (bf534f6b@191.83.79.107) (Quit: Connection closed) |
| 03:15:40 | <sm[m]> | @where HTAC ? |
| 03:15:40 | <lambdabot> | "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook> |
| 03:16:04 | <sm[m]> | http://www.cs.yale.edu/homes/hudak/SOE/ ? |
| 03:16:18 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-ryndtoravsfingxg) |
| 03:17:37 | <justsomeguy> | Nice! I'll have to give these a good perusal. |
| 03:19:25 | justsomeguy | fumbles with his keyboard as he slowly relizes that capslock isn't bound to tab anymore, and his intermittent attempts at completing English words wouldn't work with tab completion, anyways. |
| 03:20:48 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 03:21:37 | <sm[m]> | http://dev.stephendiehl.com/fun/ |
| 03:32:37 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-bodjmmiexpfrqdom) (Quit: Connection closed for inactivity) |
| 03:37:55 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:39:42 | × | Wuzzy quits (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 03:43:37 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:44:38 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 03:47:15 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 03:47:39 | × | dsal quits (sid13060@gateway/web/irccloud.com/x-rekuaujdfzsbqruq) (Ping timeout: 246 seconds) |
| 03:48:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 03:49:01 | → | dsal joins (sid13060@gateway/web/irccloud.com/x-rbhhbvpkgeegolrt) |
| 03:51:33 | pjb | is now known as Guest47260 |
| 03:52:15 | × | Guest47260 quits (~pjb@2a01cb04063ec5003930e59e19b6ded2.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 03:52:56 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 03:53:41 | → | pjb joins (~pjb@2a01cb04063ec500d847c6a20b966406.ipv6.abo.wanadoo.fr) |
| 03:54:38 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-jnwqiticvjjkxczt) (Quit: Connection closed for inactivity) |
| 03:57:52 | × | slack1256 quits (~slack1256@191.113.245.191) (Ping timeout: 240 seconds) |
| 03:57:58 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 03:59:00 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-vbtktmfgkmwpmzmf) (Quit: Connection closed for inactivity) |
| 04:04:48 | → | ddellacosta joins (~ddellacos@86.106.143.125) |
| 04:06:45 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 04:08:20 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 04:08:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:08:46 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 04:09:25 | × | ddellacosta quits (~ddellacos@86.106.143.125) (Ping timeout: 252 seconds) |
| 04:11:09 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 04:12:18 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 04:17:39 | <dmj`> | justsomeguy: there's some self-study upfront legwork you gotta do with haskell before you can just "start writing apps" otherwise its just copy and paste and you don't really know whats going on |
| 04:18:58 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 04:25:06 | → | stree joins (~stree@68.36.8.116) |
| 04:26:40 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 04:27:21 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 04:31:22 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Remote host closed the connection) |
| 04:32:52 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 04:36:14 | × | dansho quits (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving) |
| 04:37:59 | <suzu> | @where RWH ? |
| 04:38:00 | <lambdabot> | http://www.realworldhaskell.org/blog/ http://book.realworldhaskell.org/read/ |
| 04:38:04 | <suzu> | this too justsomeguy |
| 04:39:36 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 260 seconds) |
| 04:40:11 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:42:10 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 04:42:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 04:42:31 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 04:42:44 | → | Tario joins (~Tario@201.192.165.173) |
| 04:44:32 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 04:45:36 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 04:46:33 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 04:49:01 | × | Constrixor quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 04:49:28 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 04:49:29 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 04:51:16 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 05:00:34 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 05:01:13 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 05:01:32 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 05:03:47 | → | sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) |
| 05:03:48 | → | MVQq joins (~anja@198.254.208.159) |
| 05:04:46 | → | tapas_ joins (sid467876@gateway/web/irccloud.com/x-kfnzeibaxcgtifed) |
| 05:04:49 | → | natim87_ joins (sid286962@gateway/web/irccloud.com/x-twckrkpcygtbpwdz) |
| 05:06:15 | → | dcoutts_ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 05:06:34 | → | kadoban joins (~mud@unaffiliated/kadoban) |
| 05:06:55 | → | piele_ joins (~piele@tbonesteak.creativeserver.net) |
| 05:07:40 | → | ridcully_ joins (~ridcully@pd951f269.dip0.t-ipconnect.de) |
| 05:08:14 | → | bobbytab1es joins (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) |
| 05:08:26 | → | fryguybo1 joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 05:09:24 | → | coddinkn_ joins (~coddinkn@octayn.net) |
| 05:11:37 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 260 seconds) |
| 05:11:57 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 05:13:10 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split) |
| 05:13:10 | × | MarcelineVQ quits (~anja@198.254.208.159) (*.net *.split) |
| 05:13:10 | × | dcoutts__ quits (~duncan@94.186.125.91.dyn.plus.net) (*.net *.split) |
| 05:13:11 | × | leafstorm quits (~leafstorm@185.204.1.185) (*.net *.split) |
| 05:13:11 | × | whatisRT quits (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (*.net *.split) |
| 05:13:11 | × | mud quits (~mud@unaffiliated/kadoban) (*.net *.split) |
| 05:13:11 | × | jrqc quits (~rofl@96.78.87.197) (*.net *.split) |
| 05:13:11 | × | puke quits (~vroom@217.138.252.196) (*.net *.split) |
| 05:13:11 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split) |
| 05:13:12 | × | danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (*.net *.split) |
| 05:13:12 | × | Eoco quits (~ian@x-160-94-179-157.acm.umn.edu) (*.net *.split) |
| 05:13:12 | × | puffnfresh1 quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (*.net *.split) |
| 05:13:12 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) (*.net *.split) |
| 05:13:12 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (*.net *.split) |
| 05:13:12 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (*.net *.split) |
| 05:13:12 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (*.net *.split) |
| 05:13:12 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (*.net *.split) |
| 05:13:13 | × | blackdog quits (~blackdog@198.211.112.85) (*.net *.split) |
| 05:13:13 | × | carbolymer quits (~carbolyme@dropacid.net) (*.net *.split) |
| 05:13:13 | × | oleks quits (~oleks@188.166.34.97) (*.net *.split) |
| 05:13:13 | × | tv quits (~tv@unaffiliated/tv) (*.net *.split) |
| 05:13:14 | × | electrostat quits (~dag@unaffiliated/electrostat) (*.net *.split) |
| 05:13:14 | × | natim87 quits (sid286962@gateway/web/irccloud.com/x-prbhcwqvabbymouf) (*.net *.split) |
| 05:13:14 | × | stux|RC quits (stux2@grid9.quadspeedi.net) (*.net *.split) |
| 05:13:14 | × | lurkless quits (~ll@kiwi.pr0.tips) (*.net *.split) |
| 05:13:15 | × | exarkun quits (~exarkun@14.79.69.34.bc.googleusercontent.com) (*.net *.split) |
| 05:13:15 | × | tapas quits (sid467876@gateway/web/irccloud.com/x-bsjadohtpruxmywx) (*.net *.split) |
| 05:13:15 | × | piele quits (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 05:13:15 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 05:13:15 | × | Geekingfrog quits (~geekingfr@li2156-64.members.linode.com) (*.net *.split) |
| 05:13:16 | × | ridcully quits (~ridcully@pd951f269.dip0.t-ipconnect.de) (*.net *.split) |
| 05:13:16 | × | hiredman quits (~hiredman@138.68.1.198) (*.net *.split) |
| 05:13:16 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (*.net *.split) |
| 05:13:16 | × | NieDzejkob quits (~quassel@195.149.98.3) (*.net *.split) |
| 05:13:16 | × | lewky quits (~lewky@159.65.37.240) (*.net *.split) |
| 05:13:16 | × | mupf quits (~micha@v22017094964653601.ultrasrv.de) (*.net *.split) |
| 05:13:16 | × | DustyDingo quits (~nonamen@v2202001112302107134.ultrasrv.de) (*.net *.split) |
| 05:13:16 | × | infinisil quits (~infinisil@NixOS/user/infinisil) (*.net *.split) |
| 05:13:17 | × | quaestor quits (~quaestor@griffith.christophrauch.de) (*.net *.split) |
| 05:13:18 | × | beka quits (~beka@gothdyke.mom) (*.net *.split) |
| 05:13:18 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 05:13:18 | × | grrandi quits (mlp@kapsi.fi) (*.net *.split) |
| 05:13:18 | × | eldritch quits (~eldritch@unaffiliated/eldritch) (*.net *.split) |
| 05:13:18 | × | avp quits (~avp@unaffiliated/avp) (*.net *.split) |
| 05:13:18 | × | runawayfive quits (~nope@unaffiliated/runawayfive) (*.net *.split) |
| 05:13:19 | × | Dykam quits (Dykam@dykam.nl) (*.net *.split) |
| 05:13:19 | × | canta quits (~canta@cvm0.d5k.one) (*.net *.split) |
| 05:13:19 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (*.net *.split) |
| 05:13:19 | × | yushyin quits (QWFouZJprr@karif.server-speed.net) (*.net *.split) |
| 05:13:19 | × | orzo quits (joe@lasker.childrenofmay.org) (*.net *.split) |
| 05:13:19 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (*.net *.split) |
| 05:13:19 | × | quintasan quits (~quassel@ubuntu/member/quintasan) (*.net *.split) |
| 05:13:19 | × | lyxia quits (~lyxia@poisson.chat) (*.net *.split) |
| 05:13:20 | × | coddinkn quits (~coddinkn@octayn.net) (*.net *.split) |
| 05:13:20 | × | Sparadox quits (~etienne@ns3123347.ip-51-68-152.eu) (*.net *.split) |
| 05:13:20 | × | sssb54 quits (~ssssb56@vps-b2931db6.vps.ovh.ca) (*.net *.split) |
| 05:13:21 | × | pharaun quits (~pharaun@static.88-198-62-245.clients.your-server.de) (*.net *.split) |
| 05:13:21 | × | bobbytables quits (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 05:13:21 | × | hrdl quits (~ef24a0e6@unaffiliated/hrdl) (*.net *.split) |
| 05:13:21 | × | [exa] quits (exa@unaffiliated/exa/x-5381537) (*.net *.split) |
| 05:13:21 | × | hwabyong quits (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (*.net *.split) |
| 05:13:21 | × | zceejkr quits (~wintermut@cpe-92-37-88-51.dynamic.amis.net) (*.net *.split) |
| 05:13:21 | × | interruptinuse quits (~interrupt@girl.mrtheplague.net) (*.net *.split) |
| 05:13:21 | × | hackage quits (mniip@haskell/bot/hackage) (*.net *.split) |
| 05:13:21 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 05:13:22 | × | xe4 quits (~xe4@unaffiliated/xe4) (*.net *.split) |
| 05:13:22 | × | c-rog quits (~c-rog@traffic.simst.im) (*.net *.split) |
| 05:13:23 | natim87_ | is now known as natim87 |
| 05:13:23 | tapas_ | is now known as tapas |
| 05:13:24 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 05:13:27 | → | hackage joins (mniip@haskell/bot/hackage) |
| 05:14:24 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 05:16:12 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 05:17:57 | → | stux|RC joins (stux2@grid9.quadspeedi.net) |
| 05:18:03 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 05:18:27 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 05:22:52 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 240 seconds) |
| 05:23:51 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:652c:7737:827c:ce7) |
| 05:24:02 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 05:24:02 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 05:24:02 | → | whatisRT joins (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 05:24:02 | → | jrqc joins (~rofl@96.78.87.197) |
| 05:24:02 | → | puke joins (~vroom@217.138.252.196) |
| 05:24:02 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 05:24:02 | → | danso joins (~dan@23-233-111-52.cpe.pppoe.ca) |
| 05:24:02 | → | Eoco joins (~ian@x-160-94-179-157.acm.umn.edu) |
| 05:24:02 | → | puffnfresh1 joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 05:24:02 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 05:24:02 | → | blackdog joins (~blackdog@198.211.112.85) |
| 05:24:02 | → | carbolymer joins (~carbolyme@dropacid.net) |
| 05:24:02 | → | oleks joins (~oleks@188.166.34.97) |
| 05:24:02 | → | tv joins (~tv@unaffiliated/tv) |
| 05:24:02 | → | electrostat joins (~dag@unaffiliated/electrostat) |
| 05:24:02 | → | lurkless joins (~ll@kiwi.pr0.tips) |
| 05:24:02 | → | exarkun joins (~exarkun@14.79.69.34.bc.googleusercontent.com) |
| 05:24:02 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 05:24:02 | → | Geekingfrog joins (~geekingfr@li2156-64.members.linode.com) |
| 05:24:02 | → | hiredman joins (~hiredman@138.68.1.198) |
| 05:24:02 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 05:24:02 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 05:24:02 | → | lewky joins (~lewky@159.65.37.240) |
| 05:24:02 | → | mupf joins (~micha@v22017094964653601.ultrasrv.de) |
| 05:24:02 | → | DustyDingo joins (~nonamen@v2202001112302107134.ultrasrv.de) |
| 05:24:02 | → | infinisil joins (~infinisil@NixOS/user/infinisil) |
| 05:24:02 | → | quaestor joins (~quaestor@griffith.christophrauch.de) |
| 05:24:02 | → | beka joins (~beka@gothdyke.mom) |
| 05:24:02 | → | grrandi joins (mlp@kapsi.fi) |
| 05:24:02 | → | eldritch joins (~eldritch@unaffiliated/eldritch) |
| 05:24:02 | → | avp joins (~avp@unaffiliated/avp) |
| 05:24:02 | → | runawayfive joins (~nope@unaffiliated/runawayfive) |
| 05:24:02 | → | Dykam joins (Dykam@dykam.nl) |
| 05:24:02 | → | canta joins (~canta@cvm0.d5k.one) |
| 05:24:02 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 05:24:02 | → | yushyin joins (QWFouZJprr@karif.server-speed.net) |
| 05:24:02 | → | orzo joins (joe@lasker.childrenofmay.org) |
| 05:24:02 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 05:24:02 | → | quintasan joins (~quassel@ubuntu/member/quintasan) |
| 05:24:02 | → | lyxia joins (~lyxia@poisson.chat) |
| 05:24:02 | → | sssb54 joins (~ssssb56@vps-b2931db6.vps.ovh.ca) |
| 05:24:02 | → | Sparadox joins (~etienne@ns3123347.ip-51-68-152.eu) |
| 05:24:02 | → | hrdl joins (~ef24a0e6@unaffiliated/hrdl) |
| 05:24:02 | → | pharaun joins (~pharaun@static.88-198-62-245.clients.your-server.de) |
| 05:24:02 | → | [exa] joins (exa@unaffiliated/exa/x-5381537) |
| 05:24:02 | → | hwabyong joins (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) |
| 05:24:02 | → | zceejkr joins (~wintermut@cpe-92-37-88-51.dynamic.amis.net) |
| 05:24:02 | → | interruptinuse joins (~interrupt@girl.mrtheplague.net) |
| 05:24:02 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 05:24:02 | → | xe4 joins (~xe4@unaffiliated/xe4) |
| 05:24:03 | → | c-rog joins (~c-rog@traffic.simst.im) |
| 05:24:26 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:652c:7737:827c:ce7) (Client Quit) |
| 05:27:15 | → | st8less joins (~st8less@2603:a060:11fd::bf1) |
| 05:27:36 | × | lurkless quits (~ll@kiwi.pr0.tips) (Max SendQ exceeded) |
| 05:28:12 | → | lurkless joins (~ll@unaffiliated/lurkless) |
| 05:32:52 | × | st8less quits (~st8less@2603:a060:11fd::bf1) (Ping timeout: 276 seconds) |
| 05:35:49 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 05:36:15 | × | sssb54 quits (~ssssb56@vps-b2931db6.vps.ovh.ca) (Remote host closed the connection) |
| 05:36:29 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 250 seconds) |
| 05:40:40 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 05:41:06 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 05:42:18 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:44:53 | → | kik1 joins (~kik1@185.169.233.12) |
| 05:45:54 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-ryndtoravsfingxg) (Quit: Connection closed for inactivity) |
| 05:48:47 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 246 seconds) |
| 05:48:57 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 252 seconds) |
| 05:49:12 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 05:50:37 | → | ddellacosta joins (~ddellacos@86.106.143.21) |
| 05:53:27 | × | alx741 quits (~alx741@181.196.68.89) (Quit: alx741) |
| 05:54:52 | × | ddellacosta quits (~ddellacos@86.106.143.21) (Ping timeout: 240 seconds) |
| 05:58:48 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 05:58:58 | → | sssb54 joins (~ssssb56@155.138.143.61) |
| 05:59:21 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 06:00:56 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 06:03:42 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 06:09:19 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 252 seconds) |
| 06:09:41 | × | argento quits (~argent0@168.227.97.29) (Quit: leaving) |
| 06:09:49 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 06:10:16 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 06:20:41 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 240 seconds) |
| 06:22:13 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 06:24:13 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 06:27:30 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 06:28:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 06:28:42 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-zoclupkfjvlkftdp) (Quit: Connection closed for inactivity) |
| 06:29:14 | → | jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 06:29:51 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 06:30:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:31:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 06:32:19 | <tomsmeding> | shapr: is there a webpage for the IOHCC? |
| 06:32:52 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 06:33:07 | <olligobber> | `error: Typed splices may not appear in untyped brackets' :( |
| 06:36:46 | <c_wraith> | you can always untype a typed splice |
| 06:37:30 | → | sdx23 joins (~sdx23@unaffiliated/sdx23) |
| 06:38:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:39:41 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 240 seconds) |
| 06:40:06 | → | jalumar joins (uid392211@gateway/web/irccloud.com/x-ulvzcprozvzoropl) |
| 06:40:24 | <olligobber> | yeah, it makes the code longer though |
| 06:42:32 | <olligobber> | `No instance for (Language.Haskell.TH.Syntax.Lift TH.ExpQ)' oh no that's not good |
| 06:43:57 | <olligobber> | merijn, any idea how I put a validated literal into an (untyped) splice? |
| 06:45:22 | <olligobber> | I tried the obvious thing: `$(TH.unType <$> (valid "]" :: TH.Q (TH.TExp TypedRenderS)))' and got an error about not being able to lift ExpQ, which seems like a thing I wouldn't want to do anyway |
| 06:45:37 | <olligobber> | actually, this sounds familiar... |
| 06:46:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:46:43 | → | stree joins (~stree@68.36.8.116) |
| 06:48:26 | <olligobber> | hmm |
| 06:49:55 | <olligobber> | didn't work |
| 06:55:06 | <olligobber> | yeah, putting valid in a splice is not going well |
| 06:55:15 | <tomsmeding> | :t Language.Haskell.TH.Syntax.unTypeQ -- olligobber |
| 06:55:17 | <lambdabot> | Language.Haskell.TH.Syntax.Q (Language.Haskell.TH.Syntax.TExp a) -> Language.Haskell.TH.Syntax.Q Language.Haskell.TH.Syntax.Exp |
| 06:55:29 | <tomsmeding> | mind you I know nothing of TH |
| 06:56:10 | <olligobber> | yeah, I'm not really sure what's happening |
| 06:56:19 | <tomsmeding> | (perhaps also see the definition of that function) |
| 06:56:32 | <tomsmeding> | https://hackage.haskell.org/package/template-haskell-2.17.0.0/docs/src/Language-Haskell-TH-Syntax.html#unTypeQ |
| 06:56:42 | <olligobber> | I assume it's just fmap unType? |
| 06:56:55 | <tomsmeding> | nope |
| 06:56:59 | <olligobber> | huh |
| 06:57:02 | <olligobber> | let's see if it helps |
| 06:57:28 | <olligobber> | nah, same error |
| 06:57:34 | <olligobber> | `No instance for (Language.Haskell.TH.Syntax.Lift TH.ExpQ)' |
| 06:57:41 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 06:58:20 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 07:00:27 | <olligobber> | hmm |
| 07:00:40 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 07:01:04 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 07:01:06 | → | curiousgay joins (~gay@178.217.208.8) |
| 07:01:34 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 07:02:50 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 07:03:47 | → | joncol joins (~jco@c83-248-173-38.bredband.comhem.se) |
| 07:04:12 | <olligobber> | I'm not surprised I can't use valid in a splice, I'm surprised that once it's been applied to its input it still can't be used |
| 07:04:41 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-qamskrartzxwuohd) (Quit: Connection closed for inactivity) |
| 07:05:43 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 07:06:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:07:04 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 07:07:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 07:11:31 | → | mandober joins (b2dcd45c@178.220.212.92) |
| 07:12:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 07:13:15 | <olligobber> | I ditched valid to just use the way I defined it instead, but I got the same error |
| 07:15:32 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:16:02 | <mandober> | @hoogle ContT |
| 07:16:03 | <lambdabot> | Control.Monad.Trans.Cont newtype ContT r m a |
| 07:16:03 | <lambdabot> | Control.Monad.Trans.Cont ContT :: ((a -> m r) -> m r) -> ContT r m a |
| 07:16:03 | <lambdabot> | Control.Monad.Cont newtype ContT (r :: k) (m :: k -> *) a |
| 07:16:10 | <olligobber> | I don't see why it's complaining about trying to lift an ExpQ, I'm not doing that? |
| 07:16:32 | <olligobber> | omg I'm so dumb |
| 07:16:38 | <olligobber> | it wasn't the valid bit that was erroring |
| 07:16:49 | <olligobber> | it's because I forgot to put $ before the input variables |
| 07:16:50 | <mandober> | @hoogle ContT |
| 07:16:50 | <lambdabot> | Control.Monad.Trans.Cont newtype ContT r m a |
| 07:16:51 | <lambdabot> | Control.Monad.Trans.Cont ContT :: ((a -> m r) -> m r) -> ContT r m a |
| 07:16:51 | <lambdabot> | Control.Monad.Cont newtype ContT (r :: k) (m :: k -> *) a |
| 07:17:11 | <tomsmeding> | olligobber: lol |
| 07:18:06 | × | mandober quits (b2dcd45c@178.220.212.92) (Quit: Connection closed) |
| 07:18:11 | × | todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 07:18:59 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 260 seconds) |
| 07:20:31 | <olligobber> | oh no, more errors |
| 07:22:11 | <olligobber> | ah, I forgot to convert my tuple to an Ftuple |
| 07:23:08 | <olligobber> | yay it compiled |
| 07:24:10 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 07:25:16 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 07:25:43 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 07:38:25 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 07:41:47 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 07:42:32 | → | ddellacosta joins (~ddellacos@86.106.143.151) |
| 07:45:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:46:44 | × | ddellacosta quits (~ddellacos@86.106.143.151) (Ping timeout: 246 seconds) |
| 07:49:49 | → | ram19890 joins (~ram@49.205.84.15) |
| 07:50:06 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:03:40 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 08:05:06 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 08:08:12 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:10:21 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:12:07 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 08:16:07 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 08:20:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 08:23:43 | → | ram19890_ joins (~ram@49.205.84.15) |
| 08:25:52 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:26:15 | hackage | sockets-and-pipes 0.2 - Support for the Sockets and Pipes book https://hackage.haskell.org/package/sockets-and-pipes-0.2 (chris_martin) |
| 08:27:46 | × | ram19890 quits (~ram@49.205.84.15) (Ping timeout: 265 seconds) |
| 08:29:09 | → | plutoniix joins (~q@node-upe.pool-125-24.dynamic.totinternet.net) |
| 08:33:55 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 08:34:28 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 08:40:00 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) |
| 08:45:47 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 08:46:17 | alexander | is now known as Guest20148 |
| 08:47:39 | → | LKoen joins (~LKoen@22.249.88.92.rev.sfr.net) |
| 08:49:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 08:52:45 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 08:54:52 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 08:57:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 08:58:27 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 09:00:02 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 09:00:03 | × | mrus[m] quits (mrusmatrix@gateway/shell/matrix.org/x-nwqeewfgxdoywgen) (Quit: Idle for 30+ days) |
| 09:01:59 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 09:05:57 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 09:07:35 | → | stree joins (~stree@68.36.8.116) |
| 09:09:34 | × | puke quits (~vroom@217.138.252.196) (Quit: puke) |
| 09:10:25 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 09:10:34 | → | Qwerky joins (~qwerky@37.172.55.41) |
| 09:10:41 | → | poljar joins (~poljar@93-143-176-203.adsl.net.t-com.hr) |
| 09:11:58 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 09:12:12 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection) |
| 09:12:24 | → | puke joins (~vroom@217.138.252.196) |
| 09:13:11 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 09:13:11 | × | poljar1 quits (~poljar@93-139-112-157.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 09:14:49 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 09:15:49 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 09:18:25 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 09:19:18 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 09:20:05 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 250 seconds) |
| 09:22:13 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 09:22:35 | → | fendor joins (~fendor@91.141.2.250.wireless.dyn.drei.com) |
| 09:25:36 | × | Qwerky quits (~qwerky@37.172.55.41) (Remote host closed the connection) |
| 09:26:19 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 09:26:23 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:27:21 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 09:30:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:30:47 | × | johnnyv[m] quits (badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc) (*.net *.split) |
| 09:30:48 | × | seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (*.net *.split) |
| 09:30:48 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 09:30:48 | × | juri_ quits (~juri@178.63.35.222) (*.net *.split) |
| 09:30:48 | × | Forlorn_ quits (~Forlorn@unaffiliated/forlorn) (*.net *.split) |
| 09:30:48 | × | caasih quits (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) (*.net *.split) |
| 09:30:48 | × | ibloom quits (sid350277@gateway/web/irccloud.com/x-yhokoaaxqmoudodu) (*.net *.split) |
| 09:30:48 | × | alexknvl quits (sid259568@gateway/web/irccloud.com/x-wdxobfzstmpkvclf) (*.net *.split) |
| 09:30:49 | × | kaletaa quits (~kaletaa@188.34.177.83) (*.net *.split) |
| 09:30:49 | × | kloeri quits (~kloeri@freenode/staff/exherbo.kloeri) (*.net *.split) |
| 09:30:49 | × | joeytwiddle quits (~joeytwidd@162.243.115.31) (*.net *.split) |
| 09:30:49 | × | lovesegfault quits (~bemeurer@37.219.94.34.bc.googleusercontent.com) (*.net *.split) |
| 09:30:49 | × | TMA quits (tma@twin.jikos.cz) (*.net *.split) |
| 09:31:16 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 260 seconds) |
| 09:31:34 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 09:32:06 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 246 seconds) |
| 09:33:03 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.9) |
| 09:35:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:35:31 | → | alexknvl joins (sid259568@gateway/web/irccloud.com/x-lbsuvmnzhurzmlgb) |
| 09:36:01 | → | ibloom joins (sid350277@gateway/web/irccloud.com/x-tmdqaspioghaundv) |
| 09:36:26 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 09:37:04 | <merijn> | olligobber: "TExp a" is just a newtype wrapper with a phantom around Exp |
| 09:37:07 | → | johnnyv[m] joins (badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc) |
| 09:37:07 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 09:37:07 | → | juri_ joins (~juri@178.63.35.222) |
| 09:37:07 | → | Forlorn_ joins (~Forlorn@unaffiliated/forlorn) |
| 09:37:07 | → | caasih joins (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) |
| 09:37:07 | → | lovesegfault joins (~bemeurer@37.219.94.34.bc.googleusercontent.com) |
| 09:37:07 | → | kloeri joins (~kloeri@freenode/staff/exherbo.kloeri) |
| 09:37:07 | → | kaletaa joins (~kaletaa@188.34.177.83) |
| 09:37:07 | → | joeytwiddle joins (~joeytwidd@162.243.115.31) |
| 09:37:07 | → | TMA joins (tma@twin.jikos.cz) |
| 09:37:11 | <merijn> | olligobber: https://hackage.haskell.org/package/template-haskell-2.17.0.0/docs/Language-Haskell-TH-Syntax.html#t:TExp |
| 09:37:24 | <olligobber> | merijn, I thought so, that's basically what my TypedLambda type is too |
| 09:37:35 | <merijn> | olligobber: So you can just "unType" to coerce it into an untyped Exp |
| 09:37:39 | <olligobber> | anyway, turns out the error was not in valid, it was elsewhere |
| 09:37:45 | <olligobber> | and is now fixed |
| 09:37:49 | <merijn> | \o/ |
| 09:37:51 | <olligobber> | basically I forgot two $ |
| 09:38:04 | → | __minoru__shirae joins (~shiraeesh@109.166.57.34) |
| 09:43:32 | → | poljar1 joins (~poljar@78-1-50-121.adsl.net.t-com.hr) |
| 09:44:01 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Max SendQ exceeded) |
| 09:44:39 | → | codedmart joins (~codedmart@li335-49.members.linode.com) |
| 09:45:32 | × | poljar quits (~poljar@93-143-176-203.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 09:46:58 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:48:47 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 09:51:21 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 09:53:37 | × | plutoniix quits (~q@node-upe.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection) |
| 09:57:11 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 260 seconds) |
| 09:59:18 | → | cinimod joins (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) |
| 10:00:59 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 10:01:23 | → | todda7 joins (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 10:01:43 | <ADG1089> | i'm using brittany as a formatter; I want to wrap every argument on a new line if line length > say 80 or 120. Can I do in brittany or do I need another formatter? |
| 10:02:46 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 10:04:27 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection) |
| 10:04:51 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 10:06:37 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 10:10:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 10:12:10 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 10:13:48 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 10:16:06 | × | ram19890_ quits (~ram@49.205.84.15) (Quit: Konversation terminated!) |
| 10:17:34 | → | chargen joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 10:21:22 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 10:22:19 | × | random quits (~random@46.254.129.126) (Ping timeout: 252 seconds) |
| 10:23:26 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:30af:4068:d497:ff92) |
| 10:23:32 | × | todda7 quits (~torstein@178-147-206-209.haap.dm.cosmote.net) (Ping timeout: 240 seconds) |
| 10:25:40 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 10:27:58 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:30af:4068:d497:ff92) (Ping timeout: 276 seconds) |
| 10:28:28 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 10:29:46 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 10:32:56 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 10:33:10 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds) |
| 10:33:54 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection) |
| 10:35:22 | → | aidecoe joins (~aidecoe@unaffiliated/aidecoe) |
| 10:35:25 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 10:36:55 | × | chargen quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 10:37:38 | → | constrixor joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 10:37:40 | <__monty__> | ADG1089: Afaict that's what brittany does by default? |
| 10:37:47 | → | ddellacosta joins (~ddellacos@86.106.143.73) |
| 10:38:09 | <merijn> | I say: Cast of your chains, free yourself from laziness and machine tyranny! |
| 10:38:21 | <merijn> | Say no to auto-formatting: https://twitter.com/comerijn/status/1257804634833420292 |
| 10:42:06 | × | ddellacosta quits (~ddellacos@86.106.143.73) (Ping timeout: 240 seconds) |
| 10:44:26 | × | whatisRT quits (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 10:44:34 | <ADG1089> | automation is the future |
| 10:44:53 | sm2n_ | is now known as sm2n |
| 10:44:59 | <ADG1089> | __monty__: yeah I'll have to play with it's config. AFAIK dev didn't bother to document the config |
| 10:45:19 | → | whatisRT joins (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 10:45:52 | × | ADG1089 quits (~aditya@223.226.237.158) (Remote host closed the connection) |
| 10:45:56 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 246 seconds) |
| 10:46:47 | <merijn> | ADG1089: Yes, but also no. Auto-formatting code is abdicating your responsibility to make code readable for other people |
| 10:46:54 | <maerwald> | no one's got time for manual formatting |
| 10:47:03 | <merijn> | maerwald: I don't buy that |
| 10:47:12 | <maerwald> | merijn: deadlines |
| 10:47:43 | <merijn> | maerwald: That only makes sense if all time until the deadline is spent typing code |
| 10:47:57 | <maerwald> | Yes |
| 10:48:03 | <merijn> | Which is bs, I spend like a third of my time writing code at best |
| 10:48:22 | <merijn> | Most time goes into thinking, reading, testing |
| 10:48:32 | <maerwald> | So you know how much time other ppl spend on typing code at their workplace? :p |
| 10:49:06 | <merijn> | If you're typing more than that, there are much bigger problems, like: Stop writing so much damn code >.< |
| 10:49:16 | <maerwald> | The two things that wasted most of my time were: 1. hlint, 2. formatting discussions/fixes |
| 10:49:16 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 10:49:39 | <maerwald> | merijn: yeah, that's why I ended up with RSI lol |
| 10:50:19 | <maerwald> | manual code formatting is gonna make it worse |
| 10:50:32 | <maerwald> | I say f*** that |
| 10:50:39 | <merijn> | @quote hours.of.coding |
| 10:50:39 | <lambdabot> | * says: | shapr remembers that hours of coding can save minutes of thinking |
| 10:51:32 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 240 seconds) |
| 10:52:49 | <merijn> | maerwald: tbh, I don't spend that much time on formatting manually to begin with |
| 10:53:30 | <maerwald> | there are just too many ways to format |
| 10:53:59 | <maerwald> | and the difference in eye tracking whatever is gonna be so low that you can't even scientifically gain evidence about advantages for anything |
| 10:54:12 | <merijn> | Anyway, I should go back to writing, rather than procrastinating on IRC :p |
| 10:54:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: writing) |
| 10:57:23 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 10:58:25 | × | Benzi-Junior quits (~BenziJuni@dsl-149-64-251.hive.is) (Ping timeout: 252 seconds) |
| 10:59:06 | → | vv8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 11:00:54 | → | Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 11:01:11 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-acomrlmtwzzmslun) |
| 11:01:46 | × | jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 11:05:05 | <__minoru__shirae> | maerwald: I thought people care more about their subjective preferences rather than about scientifically measurable differences |
| 11:05:51 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 11:06:13 | <maerwald> | hmm, subjective preferences yes, but many I think it's also the consistency obsession... so if it's not your own preference, you want at least consistency |
| 11:06:21 | <maerwald> | I also don't believe in consistency wrt style |
| 11:07:55 | <maerwald> | Code is a huge mess of different thoughts from very different people. Style doesn't really solve the problem |
| 11:08:45 | <__minoru__shirae> | I think at some point in the future people are going to create a tool that allows to code your formatting preferences as a config and automatically convert from your formatting to common standard and back |
| 11:09:18 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 11:12:24 | → | malumore_ joins (~malumore@151.62.121.94) |
| 11:12:57 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 11:13:21 | <__minoru__shirae> | but people sometimes diverge from their own preferences, so there should be a way of making exceptions |
| 11:14:26 | <__minoru__shirae> | something like a hint to the auto-formatter in the comments |
| 11:15:26 | → | malumore__ joins (~malumore@151.62.121.94) |
| 11:15:37 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 11:15:44 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 11:15:59 | vv8 | is now known as undecidedvisrain |
| 11:16:12 | undecidedvisrain | is now known as undvrainbowvital |
| 11:16:15 | undvrainbowvital | is now known as undvrainbowvita8 |
| 11:17:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 11:17:11 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 11:17:31 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 11:17:33 | × | malumore_ quits (~malumore@151.62.121.94) (Read error: Connection reset by peer) |
| 11:17:57 | <maerwald> | I don't think formatting is really about "what's the right formatting". It's about what is bad formatting. You just avoid bad formatting (e.g. lines that are 500 chars long) and the rest doesn't significantly improve readability anymore |
| 11:18:54 | <maerwald> | so you actually want a formatter that is NOT opinionated and avoids changing code as much as possible |
| 11:18:55 | → | malumore_ joins (~malumore@151.62.121.94) |
| 11:19:21 | <maerwald> | which means you can mostly preserve your own style |
| 11:19:28 | × | malumore__ quits (~malumore@151.62.121.94) (Read error: Connection reset by peer) |
| 11:24:04 | <zzz> | even better, code in your own syntax and share ASTs as the source |
| 11:24:31 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 11:26:12 | <maerwald> | also: getting contributors in open source projects these days is hard enough. If you want to make sure you'll never get one, including a 10 page style guide in your HACKING.md. |
| 11:26:35 | → | Qwerky joins (~qwerky@37.172.55.41) |
| 11:28:18 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:28:35 | → | stree joins (~stree@68.36.8.116) |
| 11:28:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 11:33:16 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 11:33:26 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 11:40:06 | <__minoru__shirae> | another option is to configure branches in git with formatting settings, so that everyone can have their own branch with their formatting, but some branches (like "dev" or "master") have standard formatting automatically |
| 11:41:26 | × | puffnfresh1 quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 240 seconds) |
| 11:42:58 | → | puffnfresh1 joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 11:44:02 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 11:44:14 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 11:44:21 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 11:45:19 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 11:45:53 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 11:46:14 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 11:46:46 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 11:48:24 | → | tlaxkit joins (~konversat@185.228.153.18) |
| 11:48:33 | × | Qwerky quits (~qwerky@37.172.55.41) () |
| 11:49:47 | → | ddellacosta joins (~ddellacos@86.106.143.34) |
| 11:54:00 | <thblt> | Does cabal have some equivalent of the stack shebang `stack --resolver RESOLVER script`? |
| 11:54:06 | × | ddellacosta quits (~ddellacos@86.106.143.34) (Ping timeout: 240 seconds) |
| 11:54:17 | × | ech quits (~user@gateway/tor-sasl/ech) (Remote host closed the connection) |
| 11:55:05 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 11:55:29 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 11:55:36 | → | thevishy joins (~Nishant@117.193.35.98) |
| 11:55:42 | <tomsmeding> | thblt: https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=running+script#cabal-v2-run ? |
| 11:56:06 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 11:56:39 | <thblt> | tomsmeding: looks great, thank you! |
| 11:56:56 | <geekosaur> | cabal doesn't have a resolver but it doeds have a (poorly documented) script mode including comments that tell it e.g. what packages to expose |
| 11:59:03 | <thblt> | geekosaur: thanks! |
| 11:59:42 | <tomsmeding> | unfortunately cabal re-builds your script every time you run it |
| 11:59:57 | <tomsmeding> | some kind of caching would have been nice, but I guess depending on the purpose of the script it's not that important |
| 12:04:55 | <thblt> | Indeed, 2.5s for an hello world :) |
| 12:05:52 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 12:06:16 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 12:06:29 | <thblt> | I have an old botched shebang script for recompiling on change and running a cached binary otherwise, but it's quite hacky. |
| 12:11:04 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 12:11:47 | → | jgt joins (~jgt@176.232.59.54) |
| 12:12:11 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 12:20:03 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 12:22:11 | × | __minoru__shirae quits (~shiraeesh@109.166.57.34) (Ping timeout: 240 seconds) |
| 12:27:27 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 12:29:41 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 12:31:45 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 12:32:46 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 12:33:14 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 12:33:49 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 12:34:06 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 12:37:37 | → | __minoru__shirae joins (~shiraeesh@109.166.57.34) |
| 12:39:45 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 12:40:15 | × | Guest41112 quits (~textual@2603-7000-3040-0000-f13f-9b4c-5fb5-809d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:42:46 | × | __minoru__shirae quits (~shiraeesh@109.166.57.34) (Ping timeout: 240 seconds) |
| 12:46:00 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 12:47:22 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 12:50:35 | → | xprl-gjf joins (~gavin@98.154.147.147.dyn.plus.net) |
| 12:52:02 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 12:52:45 | hackage | dimensional-codata 2014.0.0.3 - CODATA Recommended Physical Constants with Dimensional Types https://hackage.haskell.org/package/dimensional-codata-2014.0.0.3 (BjornBuckwalter) |
| 12:53:20 | × | xprl-gjf quits (~gavin@98.154.147.147.dyn.plus.net) (Client Quit) |
| 12:54:06 | <olligobber> | can I curry types? |
| 12:54:24 | <olligobber> | so if I have `* -> * -> *' can I turn it into `(*,*) -> *' ? |
| 12:56:08 | → | xprl-gjf joins (~gavin@98.154.147.147.dyn.plus.net) |
| 12:56:33 | <olligobber> | does that even make sense? |
| 12:57:16 | <Clint> | i don't know what you mean, can you give an example? |
| 12:57:31 | <geekosaur> | I thought the only tuples at type level were constraints |
| 12:59:06 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 12:59:59 | <hpc> | type aliases can't be partially applied |
| 13:00:04 | <hpc> | i don't know that they have kinds, per se |
| 13:00:14 | <hpc> | but maybe that's the closest you can get to this idea |
| 13:00:20 | <olligobber> | I was hoping I could have `Uncurry (,) a` and `Uncurry Either a` where `a :: (*,*)` |
| 13:00:55 | <hpc> | actually, upon testing in ghci i am mistaken |
| 13:00:57 | <hpc> | ignore me :P |
| 13:01:01 | × | constrixor quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 13:02:00 | <olligobber> | So the problem I have at the moment is I want to have a `class Show1 t' with member `show1 :: (a -> String) -> t a -> String', but I want that for types with various numbers of input types |
| 13:02:26 | <olligobber> | I could write some template haskell to just generate all those classes, but I think there must be a better way |
| 13:02:37 | <olligobber> | but it would have to somehow be generic over kinds |
| 13:02:50 | <olligobber> | I don't think haskell has the required kind-level stuff I would need |
| 13:03:00 | → | ddellacosta joins (~ddellacos@86.106.143.73) |
| 13:04:20 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 13:05:21 | × | jgt quits (~jgt@176.232.59.54) (Ping timeout: 260 seconds) |
| 13:06:42 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 13:07:06 | × | ddellacosta quits (~ddellacos@86.106.143.73) (Ping timeout: 240 seconds) |
| 13:08:35 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 248 seconds) |
| 13:09:05 | <olligobber> | % type Get1Of2 a b = a |
| 13:09:07 | <yahb> | olligobber: |
| 13:09:18 | <olligobber> | % type Fst p = p Get1Of2 |
| 13:09:18 | <yahb> | olligobber: ; <interactive>:18:1: error:; * The type synonym `Get1Of2' should have 2 arguments, but has been given none; * In the type synonym declaration for `Fst' |
| 13:09:27 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 260 seconds) |
| 13:09:56 | <olligobber> | % type Fst (p :: (* -> * -> *) -> *) = p Get1Of2 |
| 13:09:57 | <yahb> | olligobber: ; <interactive>:19:1: error:; * The type synonym `Get1Of2' should have 2 arguments, but has been given none; * In the type synonym declaration for `Fst' |
| 13:10:00 | <olligobber> | >:( |
| 13:10:08 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 13:10:25 | <olligobber> | I want type level pairs :( |
| 13:12:01 | <olligobber> | I think I have to use constraints for that |
| 13:12:48 | <olligobber> | I'll investigate some type level stuff later, see what I can find |
| 13:13:22 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 13:16:50 | <pjb> | olligobber: https://termbin.com/jru0 |
| 13:17:28 | × | carlomagno quits (~cararell@148.87.23.13) (Remote host closed the connection) |
| 13:17:51 | <olligobber> | that's not quite what I had in mind |
| 13:20:11 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 13:20:13 | <olligobber> | that's value level currying, I want type level currying |
| 13:24:12 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 268 seconds) |
| 13:25:09 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 13:26:49 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40:b489:e8aa:3425:9216) |
| 13:28:27 | × | kik1 quits (~kik1@185.169.233.12) (Remote host closed the connection) |
| 13:28:41 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 13:31:02 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:33:05 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:36:42 | → | mmfood joins (~mmfood@45.91.21.58) |
| 13:37:09 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 13:37:21 | → | Deide joins (~Deide@217.155.19.23) |
| 13:38:07 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 13:39:04 | → | graf_blutwurst joins (~user@2001:171b:226e:adc0:70e7:22e7:bde:ceb9) |
| 13:41:51 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 13:44:23 | → | pcmanus joins (~pcmanus@195.140.213.38) |
| 13:46:32 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 13:46:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 13:46:56 | Alleria | is now known as Guest90725 |
| 13:47:23 | → | mmfood_1 joins (~mmfood@45.91.21.58) |
| 13:49:39 | → | stree joins (~stree@68.36.8.116) |
| 13:49:43 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 13:50:16 | × | mmfood quits (~mmfood@45.91.21.58) (Ping timeout: 260 seconds) |
| 13:50:39 | → | mmfood_2 joins (~mmfood@45.91.21.58) |
| 13:51:45 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Remote host closed the connection) |
| 13:52:13 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 13:52:34 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 13:52:38 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 13:52:51 | <cub3s_> | When I'm building Haskell projects with "cabal build" on the nix-shell, why doesn't anything extra get downloaded from the Nix binary cache if I change compiler build options? |
| 13:52:58 | × | mmfood_1 quits (~mmfood@45.91.21.58) (Ping timeout: 252 seconds) |
| 13:53:14 | <cub3s_> | I mean, am I not downloading pre-built libraries after all? If compiler options change, I ought to be downloading a different binary right? |
| 13:53:58 | → | mmfood_1 joins (~mmfood@45.91.21.58) |
| 13:55:01 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 13:55:35 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 13:55:46 | × | mmfood_2 quits (~mmfood@45.91.21.58) (Ping timeout: 240 seconds) |
| 13:56:40 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 13:56:48 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 13:56:57 | → | mmfood_2 joins (~mmfood@45.91.21.58) |
| 13:57:21 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 13:59:06 | × | mmfood_1 quits (~mmfood@45.91.21.58) (Ping timeout: 240 seconds) |
| 13:59:12 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 13:59:19 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-sljlvsodxllzwnvt) |
| 13:59:23 | → | mmfood_1 joins (~mmfood@185.176.246.118) |
| 13:59:26 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 240 seconds) |
| 14:00:06 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 14:00:41 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 14:01:19 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 14:02:31 | × | mmfood_2 quits (~mmfood@45.91.21.58) (Ping timeout: 260 seconds) |
| 14:02:52 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 14:04:15 | hackage | rattletrap 11.1.1 - Parse and generate Rocket League replays. https://hackage.haskell.org/package/rattletrap-11.1.1 (fozworth) |
| 14:05:37 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 14:08:29 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 14:08:43 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 14:09:11 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 14:09:35 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 14:11:07 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 14:11:45 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 14:13:53 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 14:16:03 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 250 seconds) |
| 14:21:59 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 14:22:23 | → | alx741 joins (~alx741@181.196.68.89) |
| 14:22:23 | → | ddellacosta joins (~ddellacos@86.106.143.216) |
| 14:23:00 | × | tlaxkit quits (~konversat@185.228.153.18) (Quit: Konversation terminated!) |
| 14:23:27 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection) |
| 14:23:48 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 14:24:08 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 14:25:16 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 14:25:59 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 14:26:11 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 14:26:39 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 14:26:46 | × | ddellacosta quits (~ddellacos@86.106.143.216) (Ping timeout: 240 seconds) |
| 14:27:14 | <dmj`> | cub3s_: well the cache doesn't have your program in it, just the dependencies to your program. If you change compiler options of a depedency the derivation will change and you'll get a cache miss. |
| 14:27:35 | <dmj`> | cub3s_: forcing you to build that dependency locally |
| 14:27:57 | × | Pickchea quits (~private@unaffiliated/pickchea) (Remote host closed the connection) |
| 14:28:06 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 14:28:28 | → | jamm__ joins (~jamm@unaffiliated/jamm) |
| 14:31:25 | → | safinaskar joins (6dfc5a88@109.252.90.136) |
| 14:31:43 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 14:32:24 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 14:34:07 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 14:34:08 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds) |
| 14:34:54 | × | nrdmn98 quits (~nrdmn@95.129.53.118) (Quit: Bye) |
| 14:35:06 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 265 seconds) |
| 14:37:11 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 14:37:21 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 14:39:23 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 14:39:32 | × | xprl-gjf quits (~gavin@98.154.147.147.dyn.plus.net) (Ping timeout: 240 seconds) |
| 14:39:57 | → | xprl-gjf joins (~gavin@98.154.147.147.dyn.plus.net) |
| 14:43:11 | ← | safinaskar parts (6dfc5a88@109.252.90.136) () |
| 14:43:23 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 14:44:07 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Remote host closed the connection) |
| 14:44:30 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 14:44:32 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 14:44:46 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 14:45:00 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 14:49:07 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 14:54:56 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:55:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 14:56:27 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 14:57:23 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 248 seconds) |
| 14:58:12 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 14:59:28 | → | pera joins (~pera@unaffiliated/pera) |
| 15:01:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 15:01:26 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 15:04:07 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:04:28 | × | yahb quits (~yahb@haskell/bot/yahb) (Ping timeout: 252 seconds) |
| 15:05:24 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:05:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 15:05:46 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 15:06:07 | × | mniip quits (mniip@freenode/staff/mniip) (Ping timeout: 630 seconds) |
| 15:07:41 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 15:07:44 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 15:07:44 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds) |
| 15:08:25 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 268 seconds) |
| 15:09:00 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 15:09:51 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 15:10:04 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 15:15:25 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 15:17:57 | → | malumore__ joins (~malumore@151.62.121.94) |
| 15:19:11 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 15:20:06 | × | malumore_ quits (~malumore@151.62.121.94) (Ping timeout: 240 seconds) |
| 15:21:03 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:599c:a489:a3a:24f3) (Ping timeout: 260 seconds) |
| 15:22:02 | → | random joins (~random@46.254.129.126) |
| 15:26:27 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 15:26:28 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 15:28:15 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 15:30:00 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:30:34 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:70e7:22e7:bde:ceb9) (Remote host closed the connection) |
| 15:32:22 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 15:33:07 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 15:33:37 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 15:34:16 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 15:37:47 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 15:38:07 | → | dinciorip joins (~dincio@5.171.8.85) |
| 15:38:41 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 15:38:49 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 250 seconds) |
| 15:39:27 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 15:39:56 | → | cinimod` joins (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) |
| 15:39:59 | <dinciorip> | Hey all. Is there a quick way of configuring hls so that it includes a list of specified packages? I'm asking because HLS seemes to start up when editing a stack script, but specified pkgs in the stack script header aren't considered. |
| 15:42:25 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 15:42:26 | → | biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 15:42:49 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 15:42:49 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 15:42:49 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 15:42:52 | × | cinimod quits (~user@cpc112689-nmal22-2-0-cust419.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 15:44:19 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 15:44:20 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 15:44:20 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 15:46:24 | <cub3s_> | dmj`, ah ok for some reason i thought compiler options carried into all dependencies |
| 15:46:55 | <cub3s_> | dmj`, for instance if I add -O2 shouldn't everything be O2? |
| 15:47:48 | <maerwald> | don't do that :> |
| 15:48:23 | <maerwald> | would be surprised if nix ensures all packages build with your CFLAGS anyway |
| 15:49:04 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 15:53:32 | <monochrom> | https://cabal.readthedocs.io/en/3.4/nix-integration.html would be the relevant doc to read for using cabal on top of nix. |
| 15:56:19 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 15:56:40 | <ADG1089> | thinking of joining remote haskell jobs, i have 6 months in buffer |
| 15:56:53 | <ADG1089> | idk how doable is that for aug-dec this year |
| 15:58:22 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 15:59:25 | → | plutoniix joins (~q@node-ukq.pool-125-24.dynamic.totinternet.net) |
| 15:59:39 | × | ADG1089 quits (~aditya@223.226.237.158) (Client Quit) |
| 15:59:57 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 16:00:14 | × | ManofLetters[m] quits (manoflette@gateway/shell/matrix.org/x-aldpwaoxcmoohpyk) (Quit: Idle for 30+ days) |
| 16:00:14 | × | chrisbloecker[m] quits (chrisbloec@gateway/shell/matrix.org/x-cfmnrgdjzwadkarf) (Quit: Idle for 30+ days) |
| 16:00:14 | × | fox[m]1 quits (foxforestf@gateway/shell/matrix.org/x-sgyvyyrumxjkmryw) (Quit: Idle for 30+ days) |
| 16:00:14 | × | enya[m] quits (enyaismatr@gateway/shell/matrix.org/x-agkydfhgcfwkhomn) (Quit: Idle for 30+ days) |
| 16:00:14 | × | viktorstrate[m] quits (viktorstra@gateway/shell/matrix.org/x-npzjdqyttogpwofo) (Quit: Idle for 30+ days) |
| 16:00:30 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 16:03:09 | × | pera quits (~pera@unaffiliated/pera) (Quit: leaving) |
| 16:07:29 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:08:29 | <cub3s_> | maerwald, i'm just trying to understand things. i just learned compiler options only apply for that project. do you think dependencies are mostly compiled with O2 anyway (i.e., as fast as possible)? |
| 16:09:43 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 16:09:51 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Remote host closed the connection) |
| 16:10:09 | <juri_> | well this is unholy. custom type (data Topped x = Something x | Empty) . two values of that type. i can show each value, they have a standard EQ deriving the type.. but when i try to evaluate (var1 == var2), i get Prelude.head: empty list. |
| 16:10:10 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 16:10:46 | → | stree joins (~stree@68.36.8.116) |
| 16:11:46 | × | dinciorip quits (~dincio@5.171.8.85) (Ping timeout: 265 seconds) |
| 16:12:35 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Client Quit) |
| 16:13:30 | → | dinciorip joins (~dincio@5.170.44.231) |
| 16:13:37 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 16:13:42 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 16:14:06 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Client Quit) |
| 16:14:20 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 16:14:33 | <__monty__> | cub3s_: O2 is *not* "as fast as possible." |
| 16:15:12 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 16:15:39 | <cub3s_> | __monty__, what is it? O3? (the gist of my question stands lol) |
| 16:15:46 | <__monty__> | O2 gets GHC to try to apply more optimizations that are too costly to check for otherwise. But the benefit is very situational. |
| 16:16:12 | <__monty__> | No, don't go past -O without benchmarking. Seriously, builds take longer and runtime performance may be worse. |
| 16:18:47 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 16:19:21 | → | poljar joins (~poljar@93-139-112-157.adsl.net.t-com.hr) |
| 16:20:20 | × | random quits (~random@46.254.129.126) (Remote host closed the connection) |
| 16:20:47 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 260 seconds) |
| 16:21:02 | <cub3s_> | __monty__, what do most devs do for most dependencies? what i'm driving at, do i have to think about this at all? can i just trust (most of the time) the library devs have already given their library sensible compiler options? |
| 16:22:01 | × | poljar1 quits (~poljar@78-1-50-121.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 16:23:47 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 16:24:26 | <__monty__> | Not particularly more or less so than for other ecosystems afaik. But yes you do need to think about this more than "Adding another -O means faster." |
| 16:26:58 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 16:29:06 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 16:29:10 | → | justsome1 joins (~justsomeg@unaffiliated/--/x-3805311) |
| 16:32:02 | × | ADG1089 quits (~aditya@223.226.237.158) (Quit: Konversation terminated!) |
| 16:32:05 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 252 seconds) |
| 16:32:50 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:32:56 | → | Entertainment joins (~entertain@104.246.145.85) |
| 16:37:25 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 16:39:04 | × | philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:45:51 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 268 seconds) |
| 16:46:46 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 16:46:55 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 16:47:29 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 16:48:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:52:00 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 16:55:14 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 16:55:18 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 16:56:14 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 16:56:31 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 16:56:35 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Read error: Connection reset by peer) |
| 17:00:50 | × | MVQq quits (~anja@198.254.208.159) (Quit: q) |
| 17:01:12 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:03:00 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 17:03:00 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 17:07:39 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:09:32 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:10:03 | → | dcoutts__ joins (~dcoutts@unaffiliated/dcoutts) |
| 17:10:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 17:10:31 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 17:10:43 | × | Inoperable quits (~PLAYER_1@fancydata.science) (Ping timeout: 260 seconds) |
| 17:11:35 | → | Inoperable joins (~PLAYER_1@fancydata.science) |
| 17:11:39 | × | rzmt quits (~rzmt@87-92-180-112.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 17:11:39 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Read error: Connection reset by peer) |
| 17:11:56 | <dinciorip> | Is there an equivalent of `lift` or `liftIO` for a function taking an argument and returning a monad? (i.e. of type sig. `a -> IO ()` like `puStr`) |
| 17:12:10 | × | justsome1 quits (~justsomeg@unaffiliated/--/x-3805311) (Read error: Connection reset by peer) |
| 17:12:44 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:13:52 | × | dcoutts quits (~dcoutts@unaffiliated/dcoutts) (Ping timeout: 240 seconds) |
| 17:15:00 | <davean> | dinciorip: you mean "lift"? |
| 17:15:04 | → | malumore joins (~malumore@151.62.126.132) |
| 17:15:57 | <dinciorip> | I was using backquotes to specify code, do I need to use double quotes instead? |
| 17:16:24 | × | malumore__ quits (~malumore@151.62.121.94) (Read error: Connection reset by peer) |
| 17:16:48 | <dinciorip> | Or are you just saying that "lift" works for my usecase? |
| 17:16:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:17:34 | → | rzmt joins (~rzmt@87-92-180-112.rev.dnainternet.fi) |
| 17:17:40 | <davean> | I mean lift works for your use case |
| 17:17:46 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 17:18:10 | <dinciorip> | Ok sorry for the confusion |
| 17:18:34 | <dinciorip> | That's weird though I got an error using it like that... I'll try again |
| 17:18:44 | <davean> | I mean you have to use it correctly |
| 17:18:49 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 17:19:19 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:19:50 | <davean> | dinciorip: so for example "lift . f" |
| 17:19:54 | <davean> | composes |
| 17:20:16 | <davean> | Effectively "feeding" the result of running f on an input into lift |
| 17:20:24 | <davean> | what is f run on an input? m something |
| 17:20:29 | <davean> | what does lift take? m something |
| 17:21:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:21:27 | <dinciorip> | davean: It works using compostion. Can't believe I didn't think of it that way XD thanks a lot |
| 17:22:20 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 17:24:02 | bobbytab1es | is now known as bobbytables |
| 17:24:08 | × | nvmd quits (~nvmd@177.30.111.232) (Quit: Later nerds.) |
| 17:24:34 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 17:25:45 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Read error: Connection reset by peer) |
| 17:26:55 | <davean> | dinciorip: yep, just think about functions at a bit higher level, less procedurally and more conceptually. |
| 17:27:00 | <davean> | dinciorip: should help |
| 17:27:26 | → | asimons04[m] joins (asimonsptz@gateway/shell/matrix.org/x-reabkokykcvrwzca) |
| 17:28:46 | × | cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 17:31:22 | → | ddellacosta joins (~ddellacos@86.106.143.177) |
| 17:32:27 | <dinciorip> | Yeah it probably will. Didn't even occour to me to try composing the two functions just headed straight into searching another one. |
| 17:32:50 | <dinciorip> | I'm still very new to haskell |
| 17:33:40 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 17:33:44 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 17:34:45 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 17:35:24 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit) |
| 17:35:32 | × | ddellacosta quits (~ddellacos@86.106.143.177) (Ping timeout: 240 seconds) |
| 17:38:21 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 17:39:16 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 17:39:39 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 17:41:48 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 17:48:01 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 17:48:26 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 17:49:43 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:49:48 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 17:51:49 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 17:52:26 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 17:55:03 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Remote host closed the connection) |
| 17:55:18 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 18:00:30 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 18:02:14 | hackage | request 0.2.1.0 - https://hackage.haskell.org/package/request-0.2.1.0 (asaka) |
| 18:03:15 | hackage | pusher-http-haskell 2.1.0.1 - Haskell client library for the Pusher Channels HTTP API https://hackage.haskell.org/package/pusher-http-haskell-2.1.0.1 (willsewell) |
| 18:03:24 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-ukveqpcklunebhzh) (Quit: Connection closed for inactivity) |
| 18:06:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 18:08:48 | × | Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 18:09:32 | → | Techcable joins (~Techcable@168.235.93.147) |
| 18:09:35 | <tomsmeding> | juri_: probably the argument to the 'Something' was an unevaluated thunk that, when evaluated, threw that error? |
| 18:09:42 | <tomsmeding> | (which originated somewhere else earlier) |
| 18:09:45 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 18:10:13 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 18:15:19 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 18:15:23 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 18:19:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 18:19:24 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 18:20:01 | <juri_> | tomsmeding: yeah, i found out how to stop it from happening, but.. i have no idea why it'd follow that codepath. |
| 18:20:46 | <tomsmeding> | juri_: that's something only you can know, being able to see the entire source code :) |
| 18:21:52 | → | __minoru__shirae joins (~shiraeesh@109.166.56.46) |
| 18:22:16 | <juri_> | tomsmeding: I'll be posting the PR hopefully sometime today. fear. :) |
| 18:22:39 | <tomsmeding> | should I fear? |
| 18:22:48 | <juri_> | my code is.. not the best. :) |
| 18:23:11 | → | yhsiveht joins (~Nishant@117.193.35.68) |
| 18:23:59 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 18:24:05 | <tomsmeding> | juri_: it can always get worse https://esolangs.org/wiki/Malbolge |
| 18:26:06 | × | thevishy quits (~Nishant@117.193.35.98) (Ping timeout: 240 seconds) |
| 18:26:16 | <juri_> | pretty. |
| 18:27:52 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 18:32:09 | → | stree joins (~stree@68.36.8.116) |
| 18:34:45 | × | jamm__ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:35:50 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 18:36:16 | toppler` | is now known as toppler |
| 18:36:16 | → | RandomArcher joins (~RandomArc@90.153.186.49) |
| 18:38:49 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 18:40:19 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 18:40:30 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 18:41:40 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Client Quit) |
| 18:42:11 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 18:44:15 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 18:47:45 | × | andi- quits (~andi-@NixOS/user/andi-) (Ping timeout: 250 seconds) |
| 18:48:32 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 18:48:50 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:50:46 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 18:52:29 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 18:53:41 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 18:54:13 | → | andi- joins (~andi-@NixOS/user/andi-) |
| 18:59:42 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 18:59:54 | → | constrixor joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 19:00:23 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 19:05:05 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 19:07:58 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 19:10:01 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 19:10:20 | → | bitmagie joins (~Thunderbi@200116b80676ee0071719a705ce3a4ed.dip.versatel-1u1.de) |
| 19:12:49 | × | bitmagie quits (~Thunderbi@200116b80676ee0071719a705ce3a4ed.dip.versatel-1u1.de) (Client Quit) |
| 19:13:06 | → | bitmagie joins (~Thunderbi@200116b80676ee0071719a705ce3a4ed.dip.versatel-1u1.de) |
| 19:13:31 | × | bitmagie quits (~Thunderbi@200116b80676ee0071719a705ce3a4ed.dip.versatel-1u1.de) (Client Quit) |
| 19:15:56 | × | Entertainment quits (~entertain@104.246.145.85) () |
| 19:18:46 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 19:21:11 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 19:21:25 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-ajqscjbxyqprtvok) |
| 19:22:40 | × | RandomArcher quits (~RandomArc@90.153.186.49) (Remote host closed the connection) |
| 19:23:12 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 19:28:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 19:29:13 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 19:32:15 | hackage | witch 0.2.1.1 - Convert values from one type into another. https://hackage.haskell.org/package/witch-0.2.1.1 (fozworth) |
| 19:32:45 | × | fendor quits (~fendor@91.141.2.250.wireless.dyn.drei.com) (Remote host closed the connection) |
| 19:32:55 | → | RandomArcher joins (~RandomArc@188.133.94.111) |
| 19:34:41 | → | ddellacosta joins (~ddellacos@86.106.143.100) |
| 19:35:27 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 19:35:36 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 19:35:55 | → | fendor joins (~fendor@212095005240.public.telering.at) |
| 19:39:10 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 19:39:33 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 19:41:12 | × | RandomArcher quits (~RandomArc@188.133.94.111) (Ping timeout: 240 seconds) |
| 19:41:31 | → | RandomArcher joins (RandomArch@gateway/vpn/protonvpn/randomarcher) |
| 19:42:12 | × | __minoru__shirae quits (~shiraeesh@109.166.56.46) (Ping timeout: 240 seconds) |
| 19:42:23 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 19:42:29 | → | __minoru__shirae joins (~shiraeesh@109.166.57.8) |
| 19:42:41 | × | ddellacosta quits (~ddellacos@86.106.143.100) (Remote host closed the connection) |
| 19:42:52 | → | ddellacosta joins (~ddellacos@86.106.143.100) |
| 19:43:29 | × | ddellacosta quits (~ddellacos@86.106.143.100) (Remote host closed the connection) |
| 19:43:41 | → | ddellacosta joins (~ddellacos@86.106.143.100) |
| 19:44:17 | × | ddellacosta quits (~ddellacos@86.106.143.100) (Remote host closed the connection) |
| 19:44:28 | → | ddellacosta joins (~ddellacos@86.106.143.100) |
| 19:45:05 | × | ddellacosta quits (~ddellacos@86.106.143.100) (Remote host closed the connection) |
| 19:45:16 | → | ddellacosta joins (~ddellacos@86.106.143.100) |
| 19:46:05 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 19:46:40 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 19:47:18 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 19:47:26 | × | RandomArcher quits (RandomArch@gateway/vpn/protonvpn/randomarcher) (Ping timeout: 240 seconds) |
| 19:48:49 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:e515:fc51:a243:99ae) |
| 19:49:09 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 19:49:30 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 19:49:45 | × | ddellacosta quits (~ddellacos@86.106.143.100) (Ping timeout: 265 seconds) |
| 19:51:37 | → | desophos joins (~desophos@2601:249:1680:a570:e8c6:41eb:f89b:6f1f) |
| 19:53:00 | → | mav1 joins (~mav@ip-88-152-11-191.hsi03.unitymediagroup.de) |
| 19:54:17 | × | Guest90725 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:56:13 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 19:56:31 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:56:55 | → | urodna_ joins (~urodna@unaffiliated/urodna) |
| 19:59:06 | × | urodna quits (~urodna@unaffiliated/urodna) (Ping timeout: 240 seconds) |
| 19:59:10 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 19:59:28 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 20:02:20 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 20:03:39 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 20:03:59 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 20:05:23 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 20:05:27 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 20:05:39 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 268 seconds) |
| 20:05:43 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 20:07:11 | → | petersen joins (~petersen@redhat/juhp) |
| 20:08:03 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 20:08:04 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 20:08:20 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 20:11:09 | → | Alleria joins (~textual@69.202.254.168) |
| 20:11:15 | hackage | chessIO 0.6.1.0 - Basic chess library https://hackage.haskell.org/package/chessIO-0.6.1.0 (mlang) |
| 20:11:33 | Alleria | is now known as Guest79401 |
| 20:14:10 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 20:14:29 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 20:15:26 | × | Guest79401 quits (~textual@69.202.254.168) (Ping timeout: 240 seconds) |
| 20:17:08 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:19:06 | × | joncol quits (~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 20:22:19 | × | constrixor quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 20:24:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 20:24:50 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:25:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:26:13 | × | mav1 quits (~mav@ip-88-152-11-191.hsi03.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 20:27:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 20:28:45 | hackage | ghc-lib-parser 0.20210501 - The GHC API, decoupled from GHC versions https://hackage.haskell.org/package/ghc-lib-parser-0.20210501 (shayne_fletcher) |
| 20:29:15 | hackage | ghc-lib 0.20210501 - The GHC API, decoupled from GHC versions https://hackage.haskell.org/package/ghc-lib-0.20210501 (shayne_fletcher) |
| 20:30:10 | → | akkay joins (92c42513@146.196.37.19) |
| 20:31:38 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:31:55 | × | akkay quits (92c42513@146.196.37.19) (Client Quit) |
| 20:32:16 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 20:32:38 | ← | thblt parts (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)") |
| 20:34:20 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 20:34:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 20:36:04 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:37:58 | → | Guest2801 joins (~dwight@2603-8080-4602-377d-0000-0000-0000-1c21.res6.spectrum.com) |
| 20:39:56 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 20:39:58 | × | alx741 quits (~alx741@181.196.68.89) (Ping timeout: 252 seconds) |
| 20:40:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 20:41:15 | × | fendor quits (~fendor@212095005240.public.telering.at) (Read error: Connection reset by peer) |
| 20:41:33 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 20:42:29 | × | Guest2801 quits (~dwight@2603-8080-4602-377d-0000-0000-0000-1c21.res6.spectrum.com) (Quit: Leaving) |
| 20:43:04 | → | fendor joins (~fendor@91.141.2.250.wireless.dyn.drei.com) |
| 20:44:03 | × | travv0 quits (sid293381@gateway/web/irccloud.com/x-ibennfphzbqxqksd) (Ping timeout: 246 seconds) |
| 20:44:04 | × | ProofTechnique quits (sid79547@gateway/web/irccloud.com/x-uvtkxtknhyjkpohz) (Ping timeout: 248 seconds) |
| 20:44:19 | × | ibloom quits (sid350277@gateway/web/irccloud.com/x-tmdqaspioghaundv) (Ping timeout: 250 seconds) |
| 20:44:19 | × | ReinH quits (sid179972@gateway/web/irccloud.com/x-yupwkseagmcsclao) (Ping timeout: 250 seconds) |
| 20:44:19 | × | wildsebastian quits (sid324688@gateway/web/irccloud.com/x-huuoejtmpgsbomho) (Ping timeout: 250 seconds) |
| 20:44:21 | × | ebutleriv quits (sid217783@gateway/web/irccloud.com/x-kdwwbglqjsasvtqj) (Ping timeout: 258 seconds) |
| 20:44:24 | × | cstrahan quits (sid36118@gateway/web/irccloud.com/x-hpizenqsuhtlubbn) (Ping timeout: 246 seconds) |
| 20:44:27 | × | entel quits (uid256215@gateway/web/irccloud.com/x-faybeeyqfufhejcm) (Ping timeout: 260 seconds) |
| 20:44:34 | × | dsturnbull quits (sid347899@gateway/web/irccloud.com/x-qvlrvivkyeospoih) (Ping timeout: 245 seconds) |
| 20:44:34 | × | kip quits (sid71464@gateway/web/irccloud.com/x-webckzlcagezilts) (Ping timeout: 245 seconds) |
| 20:44:34 | × | teehemkay quits (sid14792@gateway/web/irccloud.com/x-vrzhbkfkvvlqpciw) (Ping timeout: 245 seconds) |
| 20:44:34 | × | blackriversoftwa quits (sid364914@gateway/web/irccloud.com/x-nqkjcymscowwdvxo) (Ping timeout: 245 seconds) |
| 20:44:35 | × | simony quits (sid226116@gateway/web/irccloud.com/x-kmfpxdltuszvmpvx) (Read error: Connection reset by peer) |
| 20:44:35 | × | joel135 quits (sid136450@gateway/web/irccloud.com/x-ndhpmrvvghebnbtd) (Read error: Connection reset by peer) |
| 20:44:44 | × | adamse quits (sid72084@gateway/web/irccloud.com/x-pqgjxyvnyjkpejpe) (Ping timeout: 258 seconds) |
| 20:44:44 | × | parseval quits (sid239098@gateway/web/irccloud.com/x-mgyjqkcnbnnprosw) (Ping timeout: 258 seconds) |
| 20:44:44 | × | chessai quits (sid225296@gateway/web/irccloud.com/x-byrazhpexotqswfh) (Ping timeout: 258 seconds) |
| 20:44:45 | × | natim87 quits (sid286962@gateway/web/irccloud.com/x-twckrkpcygtbpwdz) (Ping timeout: 250 seconds) |
| 20:44:45 | × | jared-w quits (uid405292@gateway/web/irccloud.com/x-qitlcehrrgjsxmby) (Ping timeout: 250 seconds) |
| 20:44:45 | × | yogani quits (sid42623@gateway/web/irccloud.com/x-diwllcjriwggxbhg) (Ping timeout: 250 seconds) |
| 20:44:46 | × | npgm quits (sid42623@gateway/web/irccloud.com/x-fhkrdsmpgobnqrhj) (Ping timeout: 246 seconds) |
| 20:44:46 | × | brownxoat quits (uid497520@gateway/web/irccloud.com/x-oixgpoqiqdtzpkhf) (Read error: Connection reset by peer) |
| 20:44:47 | → | simony joins (sid226116@gateway/web/irccloud.com/x-cpijtsbzgmtoihvj) |
| 20:44:47 | → | joel135 joins (sid136450@gateway/web/irccloud.com/x-btpltzfcfgoqnjdk) |
| 20:44:55 | → | wildsebastian joins (sid324688@gateway/web/irccloud.com/x-rcgrecdlrkfjoymx) |
| 20:44:55 | × | koankeeper quits (sid216950@gateway/web/irccloud.com/x-nzolrgtzcrofgnoi) (Ping timeout: 260 seconds) |
| 20:44:55 | × | albethere quits (sid457088@gateway/web/irccloud.com/x-ajnbmzmsakddueby) (Ping timeout: 260 seconds) |
| 20:44:56 | × | caasih quits (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) (Ping timeout: 245 seconds) |
| 20:44:56 | → | brownxoat joins (uid497520@gateway/web/irccloud.com/x-gnvcoowjhkmblozz) |
| 20:44:56 | → | adamse joins (sid72084@gateway/web/irccloud.com/x-mlscjvpdmswucwuj) |
| 20:44:59 | × | cbarrett quits (sid192934@gateway/web/irccloud.com/x-pcpsnnndmmzgqjie) (Ping timeout: 245 seconds) |
| 20:44:59 | × | thi quits (sid97277@gateway/web/irccloud.com/x-oifnjcxoqwnxxowb) (Ping timeout: 245 seconds) |
| 20:45:06 | × | alunduil quits (alunduil@gateway/web/irccloud.com/x-qgdrlegiweaqkffo) (Ping timeout: 246 seconds) |
| 20:45:06 | × | cemerick quits (sid54985@gateway/web/irccloud.com/x-egkglgovrlmgnbit) (Ping timeout: 246 seconds) |
| 20:45:20 | → | cbarrett joins (sid192934@adium/cbarrett) |
| 20:45:23 | × | tapas quits (sid467876@gateway/web/irccloud.com/x-kfnzeibaxcgtifed) (Ping timeout: 260 seconds) |
| 20:45:23 | × | eruditass quits (uid248673@gateway/web/irccloud.com/x-cnlrhpzwvwyuplws) (Ping timeout: 260 seconds) |
| 20:45:23 | × | NemesisD quits (sid24071@gateway/web/irccloud.com/x-ycovkwiujmamhcns) (Ping timeout: 260 seconds) |
| 20:45:23 | × | aizen_s quits (sid462968@gateway/web/irccloud.com/x-nmgeupgtnhzagvmo) (Ping timeout: 260 seconds) |
| 20:45:30 | → | ibloom joins (sid350277@gateway/web/irccloud.com/x-hjfzqqwmhebemcto) |
| 20:45:42 | → | npgm joins (sid42623@gateway/web/irccloud.com/x-geajwhsmjoalbuuo) |
| 20:45:43 | → | cstrahan joins (sid36118@gateway/web/irccloud.com/x-jwbvbshiqcwnansi) |
| 20:45:44 | → | koankeeper joins (sid216950@gateway/web/irccloud.com/x-utdpmlvofhbekyeu) |
| 20:45:45 | → | blackriversoftwa joins (sid364914@gateway/web/irccloud.com/x-xymzuctbyliynnwh) |
| 20:45:47 | → | cemerick joins (sid54985@gateway/web/irccloud.com/x-cgnqmpfzhzxaaydo) |
| 20:45:48 | → | teehemkay joins (sid14792@gateway/web/irccloud.com/x-uxywiqahddcwiviw) |
| 20:45:49 | × | rizary quits (sid220347@gateway/web/irccloud.com/x-fdmmbtrvbseviuro) (Ping timeout: 245 seconds) |
| 20:45:55 | → | entel joins (uid256215@botters/entel) |
| 20:46:02 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 20:46:03 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-acomrlmtwzzmslun) (Ping timeout: 250 seconds) |
| 20:46:03 | × | rodlogic__ quits (sid214676@gateway/web/irccloud.com/x-jsfobhdzpplfsdpe) (Ping timeout: 250 seconds) |
| 20:46:21 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 20:46:56 | → | chessai joins (sid225296@gateway/web/irccloud.com/x-qdrhqswrbokzjufq) |
| 20:46:58 | → | jared-w joins (uid405292@gateway/web/irccloud.com/x-nohdotnpqgmaljhg) |
| 20:46:59 | → | yogani joins (sid42623@gateway/web/irccloud.com/x-bnhacqijyxmiyyae) |
| 20:47:02 | → | alunduil joins (alunduil@gateway/web/irccloud.com/x-sgyntsoasgqdqqwz) |
| 20:47:03 | → | caasih joins (sid13241@gateway/web/irccloud.com/x-cymkwsjxbflumclu) |
| 20:47:04 | → | ReinH joins (sid179972@gateway/web/irccloud.com/x-fiiksfzjjwldxwig) |
| 20:47:04 | → | NemesisD joins (sid24071@gateway/web/irccloud.com/x-fkxaomdnkvheoktk) |
| 20:47:04 | → | dsturnbull joins (sid347899@gateway/web/irccloud.com/x-omsvvcpcwxsussbn) |
| 20:47:04 | → | travv0 joins (sid293381@gateway/web/irccloud.com/x-bgosnvmgywfhipga) |
| 20:47:05 | → | ebutleriv joins (sid217783@gateway/web/irccloud.com/x-axsaplaythlyhqvy) |
| 20:47:05 | → | natim87 joins (sid286962@gateway/web/irccloud.com/x-segjzaitfpijfgwt) |
| 20:47:06 | → | tapas joins (sid467876@gateway/web/irccloud.com/x-jnxdqaqlhfwdctoj) |
| 20:47:06 | → | ProofTechnique joins (sid79547@gateway/web/irccloud.com/x-hmamblixaqsfzazg) |
| 20:47:07 | → | rodlogic__ joins (sid214676@gateway/web/irccloud.com/x-eoudvnsbeyqqlkat) |
| 20:47:08 | → | kip joins (sid71464@gateway/web/irccloud.com/x-ejmdxvkprgoyfvds) |
| 20:47:11 | → | aizen_s joins (sid462968@gateway/web/irccloud.com/x-okppepjuupguejis) |
| 20:47:13 | → | rizary joins (sid220347@gateway/web/irccloud.com/x-zohgjjsthivlaoum) |
| 20:47:21 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-fvnebrpcqfvnuzef) |
| 20:47:21 | → | albethere joins (sid457088@gateway/web/irccloud.com/x-mbvquzwaocrjeomi) |
| 20:47:53 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-nijwetafsecwzhgt) |
| 20:47:59 | × | supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 20:48:00 | × | alunduil quits (alunduil@gateway/web/irccloud.com/x-sgyntsoasgqdqqwz) (Max SendQ exceeded) |
| 20:48:11 | × | Nascha quits (sid212230@gateway/web/irccloud.com/x-isfxwpevxpkghjql) (Ping timeout: 260 seconds) |
| 20:48:11 | × | nlofaro quits (sid258233@gateway/web/irccloud.com/x-usnfghvzaavehzve) (Ping timeout: 260 seconds) |
| 20:48:32 | × | NemesisD quits (sid24071@gateway/web/irccloud.com/x-fkxaomdnkvheoktk) (Max SendQ exceeded) |
| 20:48:40 | × | aizen_s quits (sid462968@gateway/web/irccloud.com/x-okppepjuupguejis) (Max SendQ exceeded) |
| 20:48:49 | × | albethere quits (sid457088@gateway/web/irccloud.com/x-mbvquzwaocrjeomi) (Max SendQ exceeded) |
| 20:49:39 | × | lally quits (sid388228@gateway/web/irccloud.com/x-mustwksujnqlrayq) (Ping timeout: 246 seconds) |
| 20:49:40 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-fvnebrpcqfvnuzef) (Max SendQ exceeded) |
| 20:49:55 | × | angerman quits (sid209936@gateway/web/irccloud.com/x-vkbiyhlbxhfghaep) (Ping timeout: 248 seconds) |
| 20:49:59 | × | elvishjerricco quits (sid237756@NixOS/user/ElvishJerricco) (Ping timeout: 245 seconds) |
| 20:50:03 | × | alexknvl quits (sid259568@gateway/web/irccloud.com/x-lbsuvmnzhurzmlgb) (Ping timeout: 260 seconds) |
| 20:50:03 | × | dsal quits (sid13060@gateway/web/irccloud.com/x-rbhhbvpkgeegolrt) (Ping timeout: 260 seconds) |
| 20:50:03 | × | edmundnoble quits (sid229620@gateway/web/irccloud.com/x-emmrpthgulpebvrs) (Ping timeout: 260 seconds) |
| 20:50:10 | → | parseval joins (sid239098@gateway/web/irccloud.com/x-kgsjdvzwchusspuk) |
| 20:50:14 | × | rizary quits (sid220347@gateway/web/irccloud.com/x-zohgjjsthivlaoum) (Max SendQ exceeded) |
| 20:50:16 | → | nlofaro joins (sid258233@gateway/web/irccloud.com/x-xhutvjiokxcusdlf) |
| 20:50:16 | → | Nascha joins (sid212230@gateway/web/irccloud.com/x-dqtvumpmtznmjvar) |
| 20:50:17 | → | alunduil joins (alunduil@gateway/web/irccloud.com/x-gkzbqequsfjzsifm) |
| 20:50:19 | → | albethere joins (sid457088@gateway/web/irccloud.com/x-azfovzljcvllvjsz) |
| 20:50:19 | → | aizen_s joins (sid462968@gateway/web/irccloud.com/x-wkgllnirjxztqgtb) |
| 20:50:27 | × | entel quits (uid256215@botters/entel) (Max SendQ exceeded) |
| 20:50:31 | × | heyj quits (sid171370@gateway/web/irccloud.com/x-mqcobmcwiqxugtpm) (Ping timeout: 260 seconds) |
| 20:50:34 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-pnimwispknmgrbja) |
| 20:50:39 | → | thi joins (sid97277@gateway/web/irccloud.com/x-bxukhjieydccrlak) |
| 20:50:40 | × | simony quits (sid226116@gateway/web/irccloud.com/x-cpijtsbzgmtoihvj) (Ping timeout: 276 seconds) |
| 20:50:52 | × | eruditass quits (uid248673@gateway/web/irccloud.com/x-nijwetafsecwzhgt) (Excess Flood) |
| 20:50:53 | → | NemesisD joins (sid24071@gateway/web/irccloud.com/x-dzmyzafvcbeydbqy) |
| 20:50:54 | → | rizary joins (sid220347@gateway/web/irccloud.com/x-revgodckvfrudozr) |
| 20:50:59 | × | ibloom quits (sid350277@gateway/web/irccloud.com/x-hjfzqqwmhebemcto) (Ping timeout: 260 seconds) |
| 20:50:59 | × | idnar quits (sid12240@gateway/web/irccloud.com/x-keevbfwrcfohgwht) (Ping timeout: 260 seconds) |
| 20:51:03 | × | scav quits (sid309693@gateway/web/irccloud.com/x-zpwaikoxdaqjtkjd) (Ping timeout: 258 seconds) |
| 20:51:04 | → | heyj joins (sid171370@gateway/web/irccloud.com/x-qyedrcpqcfzgabrs) |
| 20:51:12 | → | angerman joins (sid209936@gateway/web/irccloud.com/x-bjqvqntumlclafcb) |
| 20:51:12 | → | entel joins (uid256215@botters/entel) |
| 20:51:14 | × | acertain quits (sid470584@gateway/web/irccloud.com/x-sumasjykwljqhlbu) (Ping timeout: 245 seconds) |
| 20:51:14 | × | SrPx quits (sid108780@gateway/web/irccloud.com/x-rptzeemvcbwvtpoq) (Ping timeout: 245 seconds) |
| 20:51:14 | × | feepo quits (sid28508@gateway/web/irccloud.com/x-scbvwvhfmythcfru) (Ping timeout: 245 seconds) |
| 20:51:15 | × | davetapley quits (sid666@gateway/web/irccloud.com/x-qidbuhiulumhvzos) (Ping timeout: 250 seconds) |
| 20:51:15 | → | alexknvl joins (sid259568@gateway/web/irccloud.com/x-nmpsczwmqtirdvkj) |
| 20:51:18 | → | ibloom joins (sid350277@gateway/web/irccloud.com/x-ebtrxrhcmwzrgwfl) |
| 20:51:18 | → | elvishjerricco joins (sid237756@NixOS/user/ElvishJerricco) |
| 20:51:28 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-eplpevcwgafbnswy) |
| 20:51:28 | → | lally joins (sid388228@gateway/web/irccloud.com/x-epmeawsrwfhvjugi) |
| 20:51:41 | × | JSharp quits (sid4580@wikia/JSharp) (Ping timeout: 250 seconds) |
| 20:51:41 | × | jlpeters quits (sid25606@gateway/web/irccloud.com/x-dbifrnxtcwhelvgl) (Ping timeout: 250 seconds) |
| 20:51:49 | → | edmundnoble joins (sid229620@gateway/web/irccloud.com/x-qbknwyguzexjcemb) |
| 20:51:57 | → | idnar joins (sid12240@gateway/web/irccloud.com/x-pmxdxjhakcbmtigk) |
| 20:52:46 | × | elvishjerricco quits (sid237756@NixOS/user/ElvishJerricco) (Max SendQ exceeded) |
| 20:53:20 | × | albethere quits (sid457088@gateway/web/irccloud.com/x-azfovzljcvllvjsz) (Max SendQ exceeded) |
| 20:53:27 | → | stree joins (~stree@68.36.8.116) |
| 20:53:51 | → | davetapley joins (sid666@gateway/web/irccloud.com/x-tjtmijegqbuqabqg) |
| 20:54:13 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-pnimwispknmgrbja) (Max SendQ exceeded) |
| 20:54:16 | → | scav joins (sid309693@gateway/web/irccloud.com/x-hwaqsdaneehliysc) |
| 20:54:17 | × | PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-zsvgstszagyrpulm) (Ping timeout: 250 seconds) |
| 20:54:17 | × | tributarian quits (sid381145@gateway/web/irccloud.com/x-nsecoaejldvgfonl) (Ping timeout: 250 seconds) |
| 20:54:17 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 250 seconds) |
| 20:54:17 | × | newhoggy quits (sid198874@gateway/web/irccloud.com/x-odbcefoglogukgog) (Ping timeout: 250 seconds) |
| 20:54:18 | → | alx741 joins (~alx741@181.196.69.213) |
| 20:54:19 | × | ajmcmiddlin quits (sid284402@gateway/web/irccloud.com/x-haiyfskefbbtaisd) (Ping timeout: 258 seconds) |
| 20:54:21 | × | rizary quits (sid220347@gateway/web/irccloud.com/x-revgodckvfrudozr) (Max SendQ exceeded) |
| 20:54:28 | → | feepo joins (sid28508@gateway/web/irccloud.com/x-wwogwwfwpqlxwlgl) |
| 20:54:30 | × | amatecha____ quits (sid10006@gateway/web/irccloud.com/x-gvwvasnyguqtijeo) (Ping timeout: 258 seconds) |
| 20:54:33 | × | sclv quits (sid39734@haskell/developer/sclv) (Ping timeout: 246 seconds) |
| 20:54:34 | × | pent quits (sid313808@gateway/web/irccloud.com/x-kxizvjpikxcxwtml) (Ping timeout: 245 seconds) |
| 20:54:37 | → | SrPx joins (sid108780@gateway/web/irccloud.com/x-rwifggglogkkmwmr) |
| 20:54:42 | × | grfn quits (sid449115@gateway/web/irccloud.com/x-bdqnujcrokkpscfq) (Ping timeout: 258 seconds) |
| 20:54:42 | × | FMJz_____ quits (sid279245@gateway/web/irccloud.com/x-gdvcqgmmbdaqujfv) (Ping timeout: 258 seconds) |
| 20:54:43 | × | chessai quits (sid225296@gateway/web/irccloud.com/x-qdrhqswrbokzjufq) (Ping timeout: 260 seconds) |
| 20:54:43 | × | alanz quits (sid110616@gateway/web/irccloud.com/x-ncrnigbstdtdkqie) (Ping timeout: 260 seconds) |
| 20:54:43 | × | b20n quits (sid115913@gateway/web/irccloud.com/x-cchyjwwvmcgmcjcg) (Ping timeout: 260 seconds) |
| 20:54:43 | × | pringlescan quits (uid192736@gateway/web/irccloud.com/x-lenvtbpxunzhzodb) (Ping timeout: 250 seconds) |
| 20:54:43 | × | gluegadget quits (sid22336@gateway/web/irccloud.com/x-itbovuhjwhyfdepu) (Ping timeout: 250 seconds) |
| 20:54:43 | × | liquorice quits (sid267884@gateway/web/irccloud.com/x-nzkqxgdtfgechhzd) (Ping timeout: 250 seconds) |
| 20:54:44 | × | jonrh quits (sid5185@gateway/web/irccloud.com/x-wzkchmmanupyucfa) (Ping timeout: 250 seconds) |
| 20:54:44 | × | moobar quits (sid171730@gateway/web/irccloud.com/x-mfdnwzlgpjfftngj) (Ping timeout: 250 seconds) |
| 20:54:44 | × | adamse quits (sid72084@gateway/web/irccloud.com/x-mlscjvpdmswucwuj) (Ping timeout: 248 seconds) |
| 20:54:51 | × | mpickering quits (sid78412@gateway/web/irccloud.com/x-xjsuxnedetzxjhqw) (Read error: Connection reset by peer) |
| 20:54:51 | × | hamishmack quits (sid389057@gateway/web/irccloud.com/x-hinwsnzvmlwgjiuz) (Read error: Connection reset by peer) |
| 20:54:53 | × | higherorder__ quits (sid185221@gateway/web/irccloud.com/x-wtimblnxvtqrrlzx) (Read error: Connection reset by peer) |
| 20:54:55 | × | runeks quits (sid21167@gateway/web/irccloud.com/x-hasdkvyrirwackgz) (Ping timeout: 246 seconds) |
| 20:54:55 | → | elvishjerricco joins (sid237756@NixOS/user/ElvishJerricco) |
| 20:54:56 | × | teehemkay quits (sid14792@gateway/web/irccloud.com/x-uxywiqahddcwiviw) (Read error: Connection reset by peer) |
| 20:54:59 | × | rann quits (sid175221@gateway/web/irccloud.com/x-ispnvynichnxaxzh) (Ping timeout: 245 seconds) |
| 20:54:59 | × | lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-vyltbyovtotffqec) (Ping timeout: 245 seconds) |
| 20:54:59 | × | dgpratt quits (sid193493@gateway/web/irccloud.com/x-ovlxokqacfliraro) (Ping timeout: 245 seconds) |
| 20:55:04 | × | eruditass quits (uid248673@gateway/web/irccloud.com/x-eplpevcwgafbnswy) (Excess Flood) |
| 20:55:05 | → | hamishmack joins (sid389057@gateway/web/irccloud.com/x-rpcgwizcoublvqlf) |
| 20:55:08 | → | mpickering joins (sid78412@gateway/web/irccloud.com/x-tpskmsnkgjzzndkf) |
| 20:55:09 | → | adamse joins (sid72084@gateway/web/irccloud.com/x-puohczerzhlxmbcd) |
| 20:55:09 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-ajqscjbxyqprtvok) (Ping timeout: 250 seconds) |
| 20:55:09 | × | kaychaks quits (sid236345@gateway/web/irccloud.com/x-vvdrivxruwhittji) (Ping timeout: 250 seconds) |
| 20:55:10 | → | acertain joins (sid470584@gateway/web/irccloud.com/x-orzpfpabdksdtfgw) |
| 20:55:11 | → | tributarian joins (sid381145@gateway/web/irccloud.com/x-eeuhxzmchjqkodyv) |
| 20:55:11 | × | ReinH quits (sid179972@gateway/web/irccloud.com/x-fiiksfzjjwldxwig) (Ping timeout: 260 seconds) |
| 20:55:11 | × | parisienne quits (sid383587@gateway/web/irccloud.com/x-nwydpoxjajroybbx) (Ping timeout: 260 seconds) |
| 20:55:11 | → | ajmcmiddlin joins (sid284402@gateway/web/irccloud.com/x-zedxpawnnjzkmoir) |
| 20:55:13 | × | blackriversoftwa quits (sid364914@gateway/web/irccloud.com/x-xymzuctbyliynnwh) (Ping timeout: 276 seconds) |
| 20:55:13 | × | cbarrett quits (sid192934@adium/cbarrett) (Ping timeout: 276 seconds) |
| 20:55:14 | → | teehemkay joins (sid14792@gateway/web/irccloud.com/x-xuibphqfjsbzklag) |
| 20:55:15 | → | simony joins (sid226116@gateway/web/irccloud.com/x-tedxcwlifdwpqlcf) |
| 20:55:15 | → | dsal joins (sid13060@gateway/web/irccloud.com/x-zounpjlomilsmhqz) |
| 20:55:16 | × | ^[ quits (sid43445@gateway/web/irccloud.com/x-ugyfoxhbynrgoqzp) (Ping timeout: 246 seconds) |
| 20:55:21 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-dvuppglxmxbuwdqf) |
| 20:55:22 | → | higherorder__ joins (sid185221@gateway/web/irccloud.com/x-lueqolprtaqpohdi) |
| 20:55:23 | → | b20n joins (sid115913@gateway/web/irccloud.com/x-udwflvyexwjwmsyu) |
| 20:55:23 | → | jlpeters joins (sid25606@gateway/web/irccloud.com/x-arwccajngugcacff) |
| 20:55:23 | → | lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-gqfmidrvmqxlqunt) |
| 20:55:24 | × | Guest86361 quits (sid309956@gateway/web/irccloud.com/x-ijoedzrmmabuizls) (Ping timeout: 245 seconds) |
| 20:55:25 | → | PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-kmmdocnfhgdlkmie) |
| 20:55:26 | → | albethere joins (sid457088@gateway/web/irccloud.com/x-ypjvwxpdiimxodrd) |
| 20:55:27 | → | FMJz_____ joins (sid279245@gateway/web/irccloud.com/x-jlunksjulhvmctkz) |
| 20:55:31 | × | bradparker quits (sid262931@gateway/web/irccloud.com/x-ipktkzcrditobyzs) (Ping timeout: 260 seconds) |
| 20:55:35 | × | gregberns_ quits (sid315709@gateway/web/irccloud.com/x-skjetjsgahxqvatt) (Ping timeout: 250 seconds) |
| 20:55:35 | → | liquorice joins (sid267884@gateway/web/irccloud.com/x-rrsknyuqibmsgrnl) |
| 20:55:39 | × | billstclair quits (sid77830@gateway/web/irccloud.com/x-ouhlhzompordlszs) (Ping timeout: 258 seconds) |
| 20:55:45 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-arbekezlrkucpqjq) |
| 20:55:46 | × | alunduil quits (alunduil@gateway/web/irccloud.com/x-gkzbqequsfjzsifm) (Ping timeout: 240 seconds) |
| 20:55:47 | × | wildsebastian quits (sid324688@gateway/web/irccloud.com/x-rcgrecdlrkfjoymx) (Ping timeout: 248 seconds) |
| 20:55:54 | → | JSharp joins (sid4580@wikia/JSharp) |
| 20:55:57 | → | rizary joins (sid220347@gateway/web/irccloud.com/x-uzljfsveodeuccfd) |
| 20:56:01 | → | gluegadget joins (sid22336@gateway/web/irccloud.com/x-rvnpjowkbxcsxpry) |
| 20:56:01 | × | Tritlo quits (sid58727@gateway/web/irccloud.com/x-qlfkwgdcrqlcpigc) (Ping timeout: 250 seconds) |
| 20:56:02 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 20:56:02 | → | ReinH joins (sid179972@gateway/web/irccloud.com/x-fuvvxehhumskktue) |
| 20:56:07 | × | d0liver quits (sid363046@gateway/web/irccloud.com/x-exedhhwbfaneiogy) (Ping timeout: 260 seconds) |
| 20:56:07 | → | wildsebastian joins (sid324688@gateway/web/irccloud.com/x-juycsjrjjlxwmqxd) |
| 20:56:11 | → | grfn joins (sid449115@gateway/web/irccloud.com/x-sjtubiawjbbpwhkv) |
| 20:56:16 | → | dgpratt joins (sid193493@gateway/web/irccloud.com/x-cijfyohsqekxzffe) |
| 20:56:17 | → | d0liver joins (sid363046@gateway/web/irccloud.com/x-ymmzryfvswoxfpty) |
| 20:56:17 | → | parisienne joins (sid383587@gateway/web/irccloud.com/x-ufvusthrvsiiipcy) |
| 20:56:19 | → | alanz joins (sid110616@gateway/web/irccloud.com/x-gmjggvpguvuxoubd) |
| 20:56:22 | → | gregberns_ joins (sid315709@gateway/web/irccloud.com/x-iraqpdpziokobihx) |
| 20:56:25 | → | kaychaks joins (sid236345@gateway/web/irccloud.com/x-zdikqmehbjwcyukf) |
| 20:56:27 | × | ibloom quits (sid350277@gateway/web/irccloud.com/x-ebtrxrhcmwzrgwfl) (Ping timeout: 250 seconds) |
| 20:56:31 | → | pent joins (sid313808@gateway/web/irccloud.com/x-cpxermbqpxsktgud) |
| 20:56:36 | → | runeks joins (sid21167@gateway/web/irccloud.com/x-uvksicbwepulegbv) |
| 20:56:39 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-xzygzpuerezxithz) |
| 20:56:41 | → | chessai joins (sid225296@gateway/web/irccloud.com/x-ldpypglktrbopvgw) |
| 20:56:45 | → | sclv joins (sid39734@haskell/developer/sclv) |
| 20:56:48 | → | moobar joins (sid171730@gateway/web/irccloud.com/x-dzeuwzhyexwyqqbx) |
| 20:56:49 | → | blackriversoftwa joins (sid364914@gateway/web/irccloud.com/x-zpbotnmudrijetbw) |
| 20:56:51 | → | ibloom joins (sid350277@gateway/web/irccloud.com/x-lcvuldtqumombbtc) |
| 20:57:09 | → | jonrh joins (sid5185@gateway/web/irccloud.com/x-mgnbpcjwtutwyefu) |
| 20:57:09 | → | amatecha____ joins (sid10006@gateway/web/irccloud.com/x-kkwncmkzdtehtbuc) |
| 20:57:14 | → | alunduil joins (alunduil@gateway/web/irccloud.com/x-gotmixnsbbkqusav) |
| 20:57:15 | → | pringlescan joins (uid192736@gateway/web/irccloud.com/x-puuysjqvmclgwmck) |
| 20:57:15 | → | billstclair joins (sid77830@gateway/web/irccloud.com/x-olfxcxrqivvdbbbh) |
| 20:57:15 | → | cbarrett joins (sid192934@adium/cbarrett) |
| 20:57:18 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 20:57:24 | → | Guest86361 joins (sid309956@gateway/web/irccloud.com/x-rvponptvoabwkozx) |
| 20:57:25 | → | bradparker joins (sid262931@gateway/web/irccloud.com/x-pnnpnsamzcgcvhic) |
| 20:57:25 | → | newhoggy joins (sid198874@gateway/web/irccloud.com/x-cbfobebtzfwaaecs) |
| 20:57:36 | → | ^[ joins (sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 20:57:37 | → | Tritlo joins (sid58727@gateway/web/irccloud.com/x-oepyiacuibpypgrx) |
| 20:57:40 | → | rann joins (sid175221@gateway/web/irccloud.com/x-kpzfexuzehrsrngu) |
| 20:57:44 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 20:59:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 21:01:18 | → | jgt joins (~jgt@178.233.42.233) |
| 21:01:20 | <hololeap> | is there something in base that is the equivalent of `where` in linux, in other words it returns the path of an executable in $PATH |
| 21:01:52 | → | Alleria joins (~textual@2603-7000-3040-0000-6c1e-6cc0-306b-de82.res6.spectrum.com) |
| 21:02:16 | Alleria | is now known as Guest50267 |
| 21:03:35 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 21:05:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:07:14 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:09:05 | <hololeap> | hm, i searched hoogle for 'FilePath -> IO FilePath' and i don't see what i want. oh well. |
| 21:10:17 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 21:10:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 21:11:07 | <hololeap> | when you install some packages with `cabal install --lib --enable-documentation`, the docs get spread around in different directories. is there a good way to make a master index of all of these? i would like something that lists each package and links to the local docs. |
| 21:11:27 | <Rembane> | hololeap: You could write something yourself that takes the $PATH variable, splits it and searches through all of them after a string. |
| 21:11:51 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 21:12:24 | <hololeap> | Rembane: it turns out i didn't need to give the absoulte path of the executable |
| 21:13:24 | <Rembane> | hololeap: That's good. |
| 21:13:57 | <hololeap> | if i absolutely had to, i'd probably just grab the output of `where` |
| 21:15:14 | × | yhsiveht quits (~Nishant@117.193.35.68) (Ping timeout: 246 seconds) |
| 21:15:32 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving) |
| 21:15:46 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95260054a0f399f7bc3e.dip0.t-ipconnect.de) |
| 21:16:45 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 21:18:36 | ← | usr25 parts (~usr25@unaffiliated/usr25) ("Leaving") |
| 21:22:18 | → | tzh_ joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 21:23:21 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 21:23:29 | <hpc> | keep things exciting, use the output of apropos instead :D |
| 21:24:53 | <hololeap> | hpc: i totally forgot about that command until now! |
| 21:25:27 | <hololeap> | i learned about a lot of good linux utils using that back when i first started learning |
| 21:25:47 | <hololeap> | on slackware, no less |
| 21:25:47 | × | biglama quits (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 21:28:48 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:33:09 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 21:33:12 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 21:33:26 | → | Volt_ joins (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) |
| 21:33:29 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Read error: Connection reset by peer) |
| 21:34:46 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 21:37:11 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 21:39:52 | → | mmfood_2 joins (~mmfood@45.91.21.58) |
| 21:42:06 | × | mmfood_1 quits (~mmfood@185.176.246.118) (Ping timeout: 240 seconds) |
| 21:42:19 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 21:44:06 | <hololeap> | regarding my question about docs: i thought i might be able to grab the doc locations using `ghc-pkg`, but it doesn't seem to know about anything installed through `cabal install --lib` |
| 21:45:28 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:45:49 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 21:46:53 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 21:47:55 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 21:49:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 21:50:07 | <hololeap> | i notice there is an argument in the ghc-pkg help: --package-db=FILE/DIR use the specified package database |
| 21:50:18 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 21:50:29 | <hololeap> | i'm not finding something like this in ~/.cabal, but maybe i just don't know where to look? |
| 21:50:38 | <geekosaur> | cabal-install --lib doesn't use a package database |
| 21:50:43 | <geekosaur> | it uses environment files |
| 21:50:50 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-xzygzpuerezxithz) (Quit: Connection closed for inactivity) |
| 21:50:52 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 21:51:19 | <hololeap> | geekosaur: so how would i go about enumerating all the packages that were "installed" this way and grab there doc locations? |
| 21:51:25 | <hololeap> | *their |
| 21:51:38 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 21:52:19 | <geekosaur> | ~/.ghc/<version>/environments/* |
| 21:52:53 | <hololeap> | hm, ok |
| 21:53:26 | <hololeap> | is there a better way to get the docs installed locally than `cabal install --lib --enable-documentation`? |
| 21:53:35 | <hololeap> | i'm using ghcup on ubuntu |
| 21:54:00 | × | pcmanus quits (~pcmanus@195.140.213.38) (Remote host closed the connection) |
| 21:54:12 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-zohuszkgaklticjf) |
| 21:54:20 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 21:54:26 | <geekosaur> | that I don't know |
| 21:54:43 | <hololeap> | geekosaur: good enough for me. thank you |
| 21:56:27 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 21:57:07 | <hololeap> | geekosaur: what do you use for docs? hackage.haskell.org, or do you install them locally somehow? |
| 21:57:20 | <geekosaur> | hackage, generally |
| 21:57:27 | <hololeap> | ok, just curiouis |
| 21:59:11 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 21:59:12 | <hololeap> | hm, i have two instances of optparse-applicative-0.16.1.0, each with a different hash, in ~/.ghc/<version>/environments/default. why would that be? |
| 22:00:45 | <geekosaur> | different flags? I see a "process" flag (grumble) |
| 22:00:59 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 22:01:07 | <hololeap> | i don't know. i thought that package was installed along with ghc |
| 22:02:31 | <geekosaur> | it is, whether it's a dependency is another question |
| 22:04:03 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 22:05:17 | × | Volt_ quits (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) (Ping timeout: 268 seconds) |
| 22:05:22 | <hololeap> | huh, it looks like it is because of two different hashes for transformers-compat: one version with "documentation: True" and the other without |
| 22:05:57 | <hololeap> | that seems to be the only difference between them |
| 22:06:22 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:07:43 | <hololeap> | it's going to be annoying enumerating these libs if there are duplicates because of silly reasons like this |
| 22:07:55 | → | Volt_ joins (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) |
| 22:08:54 | × | pringlescan quits (uid192736@gateway/web/irccloud.com/x-puuysjqvmclgwmck) (Quit: Connection closed for inactivity) |
| 22:09:09 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:09:10 | <hololeap> | i'm a little surprised that tooling for local docs is this underdeveloped |
| 22:09:56 | → | mrmonday joins (~mrmonday@195.140.213.38) |
| 22:10:32 | × | fendor quits (~fendor@91.141.2.250.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 22:12:48 | <hololeap> | i wonder how hackage.haskell.org sorts things out so there is one hash version for each package version |
| 22:13:18 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 22:13:53 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:16:12 | × | mmfood_2 quits (~mmfood@45.91.21.58) (Ping timeout: 240 seconds) |
| 22:16:51 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 22:19:12 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 22:19:15 | → | mmfood_2 joins (~mmfood@45.91.21.58) |
| 22:20:30 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 22:22:31 | → | sayola joins (~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de) |
| 22:23:01 | → | mmfood_1 joins (~mmfood@45.91.21.58) |
| 22:23:11 | → | ddellacosta joins (~ddellacos@86.106.143.44) |
| 22:23:32 | × | mmfood_2 quits (~mmfood@45.91.21.58) (Ping timeout: 240 seconds) |
| 22:24:22 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 22:25:53 | × | cortexauth quits (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) (Read error: Connection reset by peer) |
| 22:26:33 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8) |
| 22:27:46 | × | ddellacosta quits (~ddellacos@86.106.143.44) (Ping timeout: 252 seconds) |
| 22:31:19 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 22:34:46 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 22:38:26 | <hololeap> | is there a way to set up `cabal install` so that certain options are the default? for instance, i would like to add some default warnings to ghc-options |
| 22:38:42 | <hololeap> | sorry, meant `cabal init` |
| 22:39:15 | <sclv> | not for init but its a good feature req tho |
| 22:39:36 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:b546:5594:c630:5696) (Quit: WeeChat 3.1) |
| 22:40:33 | <hololeap> | sclv: you say "not for init" as though it is available for a different cabal command |
| 22:40:52 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Remote host closed the connection) |
| 22:41:13 | <sclv> | you can add default flags to the ~/.cabal/config |
| 22:41:26 | <hololeap> | ah, ok |
| 22:41:26 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 22:41:43 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 22:42:11 | <sclv> | also note you can put options into a cabal.project file and copy the same file for use in multiple projects |
| 22:42:24 | → | mmfood_2 joins (~mmfood@185.176.246.118) |
| 22:42:27 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:8ea5:80d2:fb29:a6df) |
| 22:42:35 | <sclv> | which is fine for warnings etc since they are for development not packaging mainly |
| 22:43:08 | <hololeap> | ok |
| 22:44:08 | <hololeap> | sclv: how would i do that? "ghc-options: ..." at the top level, or does it need to go inside some kind of stanza? |
| 22:44:33 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:45:09 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 22:45:16 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
| 22:45:22 | × | mmfood_1 quits (~mmfood@45.91.21.58) (Ping timeout: 268 seconds) |
| 22:45:24 | <sclv> | v2 configure will record the flags into a project file for you iirc |
| 22:46:13 | <sclv> | other than that check the docs for syntax |
| 22:46:13 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) |
| 22:46:26 | <sclv> | i think its top level |
| 22:47:01 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds) |
| 22:48:38 | × | cortexauth quits (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) (Client Quit) |
| 22:48:51 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:49:14 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) |
| 22:51:19 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 22:53:55 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:54:31 | × | dinciorip quits (~dincio@5.170.44.231) (Quit: WeeChat 3.1) |
| 22:54:51 | <hololeap> | it looks like it's sticking ghc-options under two different stanzas: "package *" and "program-options" |
| 22:55:42 | → | carlomagno joins (~cararell@148.87.23.11) |
| 22:55:47 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 22:55:50 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 22:56:23 | <hololeap> | (in cabal.project.local after i run `cabal configure --ghc-options=-Wall`) |
| 22:56:48 | <hololeap> | are both of these necessary? i'm not finding any documentation for this "program-options" stanza |
| 22:57:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:57:50 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 22:58:23 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 22:59:26 | × | jgt quits (~jgt@178.233.42.233) (Ping timeout: 240 seconds) |
| 23:00:49 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 23:01:19 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 23:01:34 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:01:52 | × | LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 23:02:02 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 23:02:07 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 23:02:14 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 23:03:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 23:14:20 | → | stree joins (~stree@68.36.8.116) |
| 23:17:11 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 23:20:08 | → | hexfive joins (~hexfive@50.35.83.177) |
| 23:22:00 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 23:25:26 | × | malumore quits (~malumore@151.62.126.132) (Ping timeout: 260 seconds) |
| 23:27:58 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 276 seconds) |
| 23:28:20 | → | yahb joins (xsbot@178.219.36.155) |
| 23:28:20 | × | yahb quits (xsbot@178.219.36.155) (Changing host) |
| 23:28:20 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 23:28:32 | → | mniip joins (mniip@freenode/staff/mniip) |
| 23:30:19 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 23:30:55 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Remote host closed the connection) |
| 23:31:23 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 23:37:24 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 265 seconds) |
| 23:37:40 | → | ddellacosta joins (~ddellacos@86.106.143.122) |
| 23:37:51 | → | guest joins (17fc36f9@23.252.54.249) |
| 23:38:24 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 23:39:38 | × | guest quits (17fc36f9@23.252.54.249) (Quit: Connection closed) |
| 23:41:25 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 23:42:43 | × | ddellacosta quits (~ddellacos@86.106.143.122) (Ping timeout: 265 seconds) |
| 23:44:55 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Remote host closed the connection) |
| 23:45:22 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 23:47:02 | × | __minoru__shirae quits (~shiraeesh@109.166.57.8) (Ping timeout: 268 seconds) |
| 23:48:24 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 23:50:39 | × | tsaka__ quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 23:52:32 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 240 seconds) |
| 23:55:32 | → | __minoru__shirae joins (~shiraeesh@109.166.57.8) |
| 23:55:41 | → | tsaka__ joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 23:56:13 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 23:56:23 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:953a:9b1:d22f:2d00) |
| 23:57:09 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:953a:9b1:d22f:2d00) (Client Quit) |
| 23:57:49 | → | RandomArcher joins (RandomArch@gateway/vpn/protonvpn/randomarcher) |
| 23:59:10 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 23:59:29 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
All times are in UTC on 2021-05-01.