Logs on 2021-09-24 (liberachat/#haskell)
| 00:04:17 | → | hololeap_ joins (~hololeap@user/hololeap) |
| 00:05:54 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
| 00:06:18 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 00:06:43 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 00:06:46 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:08:53 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 00:11:01 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 00:11:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 00:15:32 | × | euandreh_ quits (~euandreh@2804:14c:33:9fe5:62bf:2631:9503:606c) (Ping timeout: 246 seconds) |
| 00:16:38 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 00:17:03 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 00:22:47 | → | sneedsfeed joins (~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) |
| 00:23:09 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 00:26:58 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 00:27:23 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 00:31:17 | × | alzgh quits (~alzgh@user/alzgh) (Remote host closed the connection) |
| 00:37:18 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 00:37:43 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 00:38:15 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 00:41:10 | × | sneedsfeed quits (~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Quit: Client closed) |
| 00:42:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:45:30 | → | goepsilongo joins (~goepsilon@2603-7000-ab00-62ed-89d8-d02e-77d4-d554.res6.spectrum.com) |
| 00:47:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 00:47:38 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 00:47:46 | → | zebrag joins (~chris@user/zebrag) |
| 00:47:49 | × | rond_ quits (~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Ping timeout: 256 seconds) |
| 00:48:04 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 00:50:22 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 00:52:04 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 00:53:11 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 00:53:11 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 00:54:15 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 00:54:20 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 00:57:23 | → | zebrag joins (~chris@user/zebrag) |
| 00:57:59 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 00:58:25 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 01:00:20 | × | neightchan quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 01:03:16 | → | neightchan joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 01:08:18 | × | xff0x quits (~xff0x@2001:1a81:5223:600:4c14:d9af:343:6bc3) (Ping timeout: 260 seconds) |
| 01:08:20 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 01:08:45 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 01:10:11 | → | xff0x joins (~xff0x@2001:1a81:5262:8400:31c4:2554:56e4:740e) |
| 01:10:44 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 01:11:45 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 01:18:41 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 01:19:06 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 01:22:04 | → | zebrag joins (~chris@user/zebrag) |
| 01:24:32 | → | neurocyte0132 joins (~neurocyte@92.119.9.88) |
| 01:24:32 | × | neurocyte0132 quits (~neurocyte@92.119.9.88) (Changing host) |
| 01:24:32 | → | neurocyte0132 joins (~neurocyte@user/neurocyte) |
| 01:26:22 | × | neurocyte013 quits (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 01:26:22 | neurocyte0132 | is now known as neurocyte013 |
| 01:28:19 | <Axman6> | "until is in prelude" ... how have I never known that D: |
| 01:28:59 | × | yinghua quits (~yinghua@2800:2121:1400:1db:e974:19dd:c7f3:8cf6) (Remote host closed the connection) |
| 01:29:01 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 01:29:09 | <Axman6> | @hoogle until |
| 01:29:10 | <lambdabot> | Prelude until :: (a -> Bool) -> (a -> a) -> a -> a |
| 01:29:10 | <lambdabot> | GHC.Base until :: (a -> Bool) -> (a -> a) -> a -> a |
| 01:29:10 | <lambdabot> | Test.Hspec.Discover until :: () => (a -> Bool) -> (a -> a) -> a -> a |
| 01:29:26 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 01:29:27 | <Axman6> | I don't believe it, this is literally blowing my mind, I need to call an ambulance |
| 01:31:19 | × | alx741 quits (~alx741@181.196.69.154) (Ping timeout: 252 seconds) |
| 01:33:54 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 01:35:46 | × | nrl^ quits (~nrl@12.203.127.82) (Remote host closed the connection) |
| 01:39:36 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 01:39:43 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 01:40:02 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 01:41:01 | <Axman6> | > length $ show $ floor $ 1/0 |
| 01:41:03 | <lambdabot> | 309 |
| 01:42:33 | → | dehhy^ joins (~dehhy@12.203.127.82) |
| 01:44:15 | → | alx741 joins (~alx741@181.196.68.94) |
| 01:44:31 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 01:45:19 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
| 01:47:56 | × | tommd quits (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 01:48:20 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 01:49:57 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 01:50:22 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 01:52:56 | <zzz> | wait what? |
| 01:53:27 | <zzz> | > floor $ 1/0 |
| 01:53:28 | <lambdabot> | 1797693134862315907729305190789024733617976978942306572734300811577326758055... |
| 01:53:34 | <zzz> | ah... |
| 01:53:41 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 01:54:47 | <Axman6> | It's goot to know we have an upper bound on infinity |
| 01:55:09 | <Clint> | zo goot |
| 01:56:52 | <Axman6> | > until (\n -> 2^n > floor (1/0)) (+1) 1 |
| 01:56:53 | <lambdabot> | 1025 |
| 01:57:52 | <awpr> | > 309 * log 10 / log 2 |
| 01:57:53 | <lambdabot> | 1026.4757813201952 |
| 01:58:46 | <geekosaur> | yeh, floor uses some cheaty algorithm thta assumes nobody will ever call it on Inf or NaN |
| 01:59:07 | <zzz> | > until (\n -> 2^n > floor (1/0 :: Float)) succ 1 |
| 01:59:09 | <lambdabot> | 129 |
| 01:59:46 | <int-e> | Axman6: should use >= |
| 02:00:10 | <Axman6> | I think I really needed to use 2^(n-1) |
| 02:00:11 | <int-e> | > 2^1024 == floot (1/0) |
| 02:00:13 | <lambdabot> | error: |
| 02:00:13 | <lambdabot> | • Variable not in scope: floot :: t0 -> a0 |
| 02:00:13 | <lambdabot> | • Perhaps you meant one of these: |
| 02:00:18 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 02:00:18 | <int-e> | > 2^1024 == floor (1/0) |
| 02:00:21 | <lambdabot> | True |
| 02:00:43 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 02:00:57 | <awpr> | I'm betting there's a ".0" at the end |
| 02:01:14 | <Axman6> | > 8*2^40 |
| 02:01:15 | <awpr> | > dropWhile (/= '.') (show (1/0)) |
| 02:01:16 | <lambdabot> | 8796093022208 |
| 02:01:17 | <lambdabot> | "" |
| 02:01:23 | → | sander joins (~sander@user/sander) |
| 02:01:25 | <awpr> | > dropWhile (/= '.') (show (floor $ 1/0)) |
| 02:01:27 | <lambdabot> | "" |
| 02:01:28 | <Axman6> | > 8*2^40*2 |
| 02:01:29 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 02:01:30 | <lambdabot> | 17592186044416 |
| 02:01:43 | <int-e> | :t floor (1/0) |
| 02:01:44 | <lambdabot> | Integral b => b |
| 02:02:04 | <int-e> | it would be odd for an Integral instance to produce decimal points in its Show instance |
| 02:02:32 | <int-e> | (Especially when it defaults to Integer) |
| 02:03:13 | <zzz> | even weirder |
| 02:03:23 | <zzz> | 1/0 == 1/(negate 0) |
| 02:03:26 | <zzz> | > 1/0 == 1/(negate 0) |
| 02:03:26 | <awpr> | hm. I was trying to figure out why the discrepancy between the length and the `until`-based log was so big. maybe the answer is that 2.5 isn't that big |
| 02:03:27 | <lambdabot> | False |
| 02:03:33 | <zzz> | > -1/0 == 1/(negate 0) |
| 02:03:35 | <lambdabot> | True |
| 02:04:00 | <int-e> | Axman6: oh I guess you counted binary digits in which case > is of course correct... I got distracted by the fact that the result *is* a power of 2 |
| 02:04:23 | <Axman6> | yeah I just wanted to know which power of two was larger than infinity |
| 02:04:53 | <Axman6> | well, larger than the floor of infinity |
| 02:05:11 | <awpr> | all that says is the whole number part of infinity is finite |
| 02:05:19 | <awpr> | so the fractional part of infinity must be infinite |
| 02:05:49 | <zzz> | > -0 |
| 02:05:51 | <lambdabot> | 0 |
| 02:06:05 | <zzz> | > 1/(-0) |
| 02:06:07 | <geekosaur> | > -0 :: Double |
| 02:06:07 | <lambdabot> | -Infinity |
| 02:06:08 | <lambdabot> | -0.0 |
| 02:06:20 | <awpr> | > properFraction (1 / 0 :: Double) |
| 02:06:21 | <lambdabot> | (179769313486231590772930519078902473361797697894230657273430081157732675805... |
| 02:06:44 | <int-e> | > let a = -0; b = 0; f = isNegativeZero in (a == b, f a == f b) |
| 02:06:46 | <lambdabot> | (True,False) |
| 02:08:00 | <zzz> | > -0 == 0 |
| 02:08:02 | <lambdabot> | True |
| 02:08:12 | <zzz> | > 1/(-0) == 1/0 |
| 02:08:14 | <lambdabot> | False |
| 02:09:00 | <geekosaur> | zzz, if you're wondering, nhegative zero exists because when computing things involving limits, zero approached from below must be treated as distinct from zero approached from above |
| 02:09:14 | <geekosaur> | therefore there is a distinct "negative zero" |
| 02:10:03 | <awpr> | is that the actual reason IEEE defined it that way? I always assumed it was just to make negation circuits cheap (flip the highest bit) |
| 02:10:17 | <geekosaur> | I believe so, yes |
| 02:10:21 | <awpr> | neat |
| 02:10:39 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 02:10:43 | <Axman6> | it's not like a two's compliment negation would've been that complicated, in the scheme of everything else you need to do with IEEE-754 |
| 02:10:59 | <geekosaur> | they were going for something that covered as many use cases as possible, including limits |
| 02:11:04 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 02:11:09 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 02:13:29 | × | td_ quits (~td@94.134.91.102) (Ping timeout: 246 seconds) |
| 02:14:18 | → | Everything joins (~Everythin@37.115.210.35) |
| 02:15:18 | <geekosaur> | it in particular relates to atan / atan2, negative zeros have the same value as positive zeros but are in different quadrants |
| 02:15:29 | → | td_ joins (~td@94.134.91.253) |
| 02:16:05 | <geekosaur> | (isn't math fun?) |
| 02:16:26 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 260 seconds) |
| 02:17:30 | → | xlei joins (akans@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 02:17:39 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:18:40 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 02:20:59 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 02:21:24 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 02:23:21 | → | goepsilongo_ joins (~goepsilon@2603-7000-ab00-62ed-bda1-bc58-a701-afae.res6.spectrum.com) |
| 02:24:03 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 02:25:18 | × | goepsilongo quits (~goepsilon@2603-7000-ab00-62ed-89d8-d02e-77d4-d554.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 02:29:16 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 02:31:20 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 02:31:45 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 02:32:36 | → | sneedsfeed joins (~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) |
| 02:36:57 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 02:37:26 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 02:39:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 02:39:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 02:39:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:42:01 | <Axman6> | which quadrants would they be in? trying to remember how atan works... |
| 02:42:05 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds) |
| 02:42:05 | ← | Everything parts (~Everythin@37.115.210.35) () |
| 02:42:25 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 02:42:49 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 02:43:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:43:49 | <Axman6> | ah, -,- and +,+ - the sleepy owl and dead owl quadrants |
| 02:43:54 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:44:49 | → | shiraeeshi[m] joins (~shiraeesh@2001:470:69fc:105::1:77) |
| 02:45:04 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 02:45:46 | × | hendursaga quits (~weechat@user/hendursaga) (Quit: hendursaga) |
| 02:46:16 | → | hendursaga joins (~weechat@user/hendursaga) |
| 02:52:45 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 02:53:09 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 02:53:43 | × | alx741 quits (~alx741@181.196.68.94) (Quit: alx741) |
| 03:03:28 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 03:03:53 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 03:08:21 | → | Guest43 joins (~Guest43@2804:14d:ba83:4337:d20e:967:f49:191d) |
| 03:09:08 | × | Guest43 quits (~Guest43@2804:14d:ba83:4337:d20e:967:f49:191d) (Client Quit) |
| 03:13:49 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 03:14:14 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 03:17:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 03:21:37 | × | Guest866 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 03:21:52 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 03:22:12 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:24:11 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 03:24:12 | PigDude_ | is now known as PigDude |
| 03:24:37 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 03:24:53 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 03:29:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 03:29:27 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 03:30:19 | × | glguy quits (x@libera/staff/glguy) (Read error: Connection reset by peer) |
| 03:33:04 | → | chris joins (~chris@81.96.113.213) |
| 03:33:08 | chris | is now known as Guest1928 |
| 03:34:32 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 03:34:57 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 03:37:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 03:37:44 | × | elias_ quits (~elias@bl9-97-115.dsl.telepac.pt) (Quit: Leaving) |
| 03:38:06 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 03:39:48 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 03:44:53 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 03:45:18 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 03:46:21 | → | pfurla_ joins (~pfurla@235.15.195.173.client.static.strong-in52.as13926.net) |
| 03:49:29 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 03:50:07 | → | glguy joins (x@libera/staff/glguy) |
| 03:51:17 | pfurla_ | is now known as pfurla |
| 03:55:04 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 265 seconds) |
| 03:55:12 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 03:55:37 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 03:56:05 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 04:00:54 | → | yauhsien_ joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 04:00:54 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 04:04:27 | × | vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (Quit: ...) |
| 04:05:10 | → | vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae) |
| 04:14:33 | → | monochrom joins (trebla@216.138.220.146) |
| 04:19:43 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 04:22:08 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:25:14 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 04:27:31 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 04:36:14 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 04:37:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:37:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 04:37:22 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:40:30 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 04:42:10 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 04:42:10 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 04:43:33 | × | sneedsfeed quits (~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Ping timeout: 256 seconds) |
| 04:44:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:49:41 | × | yauhsien_ quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 04:50:30 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 04:55:25 | → | michalz joins (~michalz@185.246.204.61) |
| 05:00:16 | → | oxide joins (~lambda@user/oxide) |
| 05:02:06 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 260 seconds) |
| 05:05:43 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 05:09:05 | × | dumbsharka quits (~amirvince@user/amirvincent64) (Ping timeout: 264 seconds) |
| 05:09:47 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 05:12:30 | × | turlando quits (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 05:12:46 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 05:12:46 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 05:12:46 | → | turlando joins (~turlando@user/turlando) |
| 05:13:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:14:17 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 05:16:32 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:19:57 | → | aliosablack joins (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) |
| 05:25:38 | × | aliosablack quits (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Quit: Leaving) |
| 05:25:53 | → | aliosablack joins (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) |
| 05:26:47 | × | aliosablack quits (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Client Quit) |
| 05:29:30 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:29:50 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 05:32:20 | × | pfurla quits (~pfurla@235.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 252 seconds) |
| 05:38:51 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection) |
| 05:44:34 | pfurla_ | is now known as pfurla |
| 05:48:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 05:51:02 | × | Guest1928 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 05:51:39 | → | chomwitt joins (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) |
| 06:02:15 | → | steven1 joins (~steven@172.92.136.203) |
| 06:03:38 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 06:06:06 | → | kimjetwav joins (~user@2607:fea8:235f:9730:f1dd:e856:2be4:2476) |
| 06:06:28 | <steven1> | hi, I saw this paper on using hyperfunctions to perform list fusion on calls to `zip`, has it ever been considered for GHC? It doesn't seem to be in use now and I don't see an issue for it https://arxiv.org/abs/1309.5135 |
| 06:14:49 | × | echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 06:15:44 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 06:18:43 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:20:18 | × | pounce quits (~pounce@facebook/engineering/pounce) (Quit: bye bye!) |
| 06:21:51 | × | kimjetwav quits (~user@2607:fea8:235f:9730:f1dd:e856:2be4:2476) (Remote host closed the connection) |
| 06:23:30 | → | root1 joins (root@2600:3c02::f03c:92ff:fe1a:c779) |
| 06:24:31 | → | kimjetwav joins (~user@2607:fea8:235f:9730:9246:a28d:f255:7bd7) |
| 06:25:42 | → | mikoto-chan joins (~mikoto-ch@84.199.144.235) |
| 06:32:17 | → | Null_A joins (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) |
| 06:33:41 | × | renzhi quits (~xp@2607:fa49:6500:b100::5845) (Ping timeout: 264 seconds) |
| 06:34:05 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 06:34:06 | → | vysn joins (~vysn@user/vysn) |
| 06:36:10 | × | Null_A quits (~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Client Quit) |
| 06:46:28 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 06:46:32 | → | renzhi joins (~xp@2607:fa49:6500:b100::1d9d) |
| 06:47:37 | × | chomwitt quits (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Ping timeout: 252 seconds) |
| 06:50:59 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 06:51:40 | → | wonko joins (~wjc@62.115.229.50) |
| 06:56:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:58:50 | → | chele joins (~chele@user/chele) |
| 07:00:03 | × | steven1 quits (~steven@172.92.136.203) (Quit: WeeChat 3.2) |
| 07:01:19 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 07:06:00 | → | max22- joins (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 07:06:23 | → | nschoe joins (~quassel@178.251.84.79) |
| 07:07:13 | → | ubert joins (~Thunderbi@77.119.171.246.wireless.dyn.drei.com) |
| 07:07:33 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 07:07:45 | <[exa]> | stevenxl: |
| 07:08:02 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 07:08:12 | <[exa]> | whoops sorry I wanted to hilite steven1 with the hyperfunctions from above and it backfired. :] |
| 07:08:50 | <[exa]> | re the paper, isn't that functionality present in the streaming libraries now? |
| 07:09:04 | → | chomwitt joins (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) |
| 07:09:32 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 07:12:23 | × | phma quits (~phma@host-67-44-209-62.hnremote.net) (Read error: Connection reset by peer) |
| 07:13:14 | → | phma joins (~phma@host-67-44-208-122.hnremote.net) |
| 07:13:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:22:52 | → | evertedsphere joins (~sm@36.255.87.108) |
| 07:25:12 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 07:26:34 | → | euandreh_ joins (~euandreh@2804:14c:33:9fe5:f1aa:cb1f:b2aa:34a9) |
| 07:33:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:34:20 | euandreh_ | is now known as euandreh |
| 07:35:10 | × | hnOsmium0001 quits (uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:39:15 | → | everteds1here joins (~sm@36.255.87.108) |
| 07:39:15 | × | everteds1here quits (~sm@36.255.87.108) (Client Quit) |
| 07:39:18 | × | evertedsphere quits (~sm@36.255.87.108) (Quit: leaving) |
| 07:39:33 | → | evertedsphere joins (~sm@36.255.87.108) |
| 07:42:41 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:44:07 | × | evertedsphere quits (~sm@36.255.87.108) (Client Quit) |
| 07:44:21 | → | evertedsphere joins (~sm@36.255.87.108) |
| 07:44:32 | → | fendor joins (~fendor@178.165.167.3.wireless.dyn.drei.com) |
| 07:44:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:45:28 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Remote host closed the connection) |
| 07:48:13 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:b7d2:712:7ac2:adb6) |
| 07:49:53 | → | madjestic joins (~madjestic@88-159-247-120.fixed.kpn.net) |
| 07:53:24 | → | brsvh joins (~brsvh@45.33.39.92) |
| 07:58:10 | → | acidjnk joins (~acidjnk@p200300d0c703cb776830e60a2c5c772a.dip0.t-ipconnect.de) |
| 08:02:19 | → | arpl joins (~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) |
| 08:05:19 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 08:08:23 | → | smarton joins (~smarton@gnu/webmaster/smarton) |
| 08:08:42 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 08:08:51 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 08:12:50 | ← | arpl parts (~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) () |
| 08:14:33 | → | neo2 joins (~neo3@cpe-292712.ip.primehome.com) |
| 08:17:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 08:17:43 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 08:22:51 | → | pera joins (~pera@137.221.132.200) |
| 08:23:15 | pera | is now known as Guest1491 |
| 08:25:38 | × | neo2 quits (~neo3@cpe-292712.ip.primehome.com) (Remote host closed the connection) |
| 08:27:29 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 08:32:40 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds) |
| 08:35:22 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 08:37:11 | → | oxide joins (~lambda@user/oxide) |
| 08:40:21 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:41:47 | × | azeem quits (~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) (Read error: Connection reset by peer) |
| 08:42:19 | → | azeem joins (~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) |
| 08:43:50 | × | azeem quits (~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) (Read error: Connection reset by peer) |
| 08:44:04 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 08:45:53 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) |
| 08:48:14 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 08:50:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Ping timeout: 260 seconds) |
| 08:52:33 | × | smarton quits (~smarton@gnu/webmaster/smarton) (Quit: Quit) |
| 08:52:38 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 08:59:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:00:43 | × | neurocyte013 quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 09:02:27 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 09:02:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 09:04:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 09:07:32 | × | Alex_test quits (~al_test@94.233.241.29) (Quit: ;-) |
| 09:07:34 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Read error: Connection reset by peer) |
| 09:07:51 | × | AlexZenon quits (~alzenon@94.233.241.29) (Quit: ;-) |
| 09:08:53 | → | Guest|90 joins (~Guest|90@natd.fit.cvut.cz) |
| 09:10:51 | × | Guest|90 quits (~Guest|90@natd.fit.cvut.cz) (Client Quit) |
| 09:10:51 | × | Guest1491 quits (~pera@137.221.132.200) (Read error: Connection reset by peer) |
| 09:13:21 | → | AlexZenon joins (~alzenon@94.233.241.29) |
| 09:14:59 | × | brsvh quits (~brsvh@45.33.39.92) (Ping timeout: 256 seconds) |
| 09:15:54 | × | phma quits (~phma@host-67-44-208-122.hnremote.net) (Read error: Connection reset by peer) |
| 09:16:36 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 09:19:43 | → | phma joins (~phma@host-67-44-208-122.hnremote.net) |
| 09:21:34 | × | mixfix41 quits (~homefame@user/mixfix41) (Ping timeout: 260 seconds) |
| 09:23:00 | → | notzmv joins (~zmv@user/notzmv) |
| 09:27:34 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 09:34:46 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
| 09:37:59 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:f1e5:9d26:3b71:29c5) (Ping timeout: 246 seconds) |
| 09:41:40 | → | ulvarrefr joins (~user@185.24.53.152) |
| 09:42:38 | → | Alex_test joins (~al_test@94.233.241.29) |
| 09:43:44 | → | arpl joins (~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) |
| 09:44:49 | × | arpl quits (~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 09:46:02 | → | neurocyte0132 joins (~neurocyte@92.119.9.88) |
| 09:46:02 | × | neurocyte0132 quits (~neurocyte@92.119.9.88) (Changing host) |
| 09:46:02 | → | neurocyte0132 joins (~neurocyte@user/neurocyte) |
| 09:46:22 | × | xff0x quits (~xff0x@2001:1a81:5262:8400:31c4:2554:56e4:740e) (Ping timeout: 252 seconds) |
| 09:49:40 | × | acidjnk quits (~acidjnk@p200300d0c703cb776830e60a2c5c772a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 09:50:36 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:b7d2:712:7ac2:adb6) (Quit: WeeChat 2.8) |
| 09:52:35 | × | goepsilongo_ quits (~goepsilon@2603-7000-ab00-62ed-bda1-bc58-a701-afae.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 09:56:34 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:58:23 | → | rond_ joins (~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) |
| 09:58:34 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 10:07:13 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Read error: Connection reset by peer) |
| 10:07:40 | → | alzgh joins (~alzgh@user/alzgh) |
| 10:07:49 | → | xff0x joins (~xff0x@2001:1a81:5262:8400:5d23:43c7:1c6a:a9b6) |
| 10:07:52 | × | jespada quits (~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 10:08:47 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 10:13:53 | × | ulvarrefr quits (~user@185.24.53.152) (Remote host closed the connection) |
| 10:14:27 | → | Guest57 joins (~Guest57@wificampus-020162.grenet.fr) |
| 10:19:59 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 252 seconds) |
| 10:23:11 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 265 seconds) |
| 10:26:53 | → | azeem joins (~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) |
| 10:29:10 | × | azeem quits (~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) (Read error: Connection reset by peer) |
| 10:30:12 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 10:30:59 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 10:31:49 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:33:58 | → | pbrisbin joins (~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) |
| 10:38:20 | → | arpl joins (~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) |
| 10:40:03 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 10:41:05 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 10:41:21 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 10:41:42 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 10:45:54 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 10:46:02 | × | ubert quits (~Thunderbi@77.119.171.246.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 10:47:55 | × | Guest57 quits (~Guest57@wificampus-020162.grenet.fr) (Ping timeout: 256 seconds) |
| 10:47:57 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) |
| 10:52:34 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Ping timeout: 260 seconds) |
| 10:53:27 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:b7d2:712:7ac2:adb6) |
| 10:54:01 | × | xff0x quits (~xff0x@2001:1a81:5262:8400:5d23:43c7:1c6a:a9b6) (Ping timeout: 252 seconds) |
| 10:54:38 | × | mikoto-chan quits (~mikoto-ch@84.199.144.235) (Ping timeout: 252 seconds) |
| 10:55:05 | → | xff0x joins (~xff0x@2001:1a81:5262:8400:7a57:83e4:f571:218) |
| 10:55:54 | → | xiongxin joins (~quassel@119.123.100.167) |
| 10:56:02 | → | alx741 joins (~alx741@181.196.68.94) |
| 10:56:42 | ← | arpl parts (~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) () |
| 11:00:01 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 11:00:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:01:46 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 11:02:41 | → | __monty__ joins (~toonn@user/toonn) |
| 11:03:19 | × | pbrisbin quits (~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 11:11:46 | × | VoidNoir0 quits (~VoidNoir0@72.80.203.52) (Quit: Connection closed) |
| 11:13:31 | → | Brumaire joins (~quassel@37.164.124.26) |
| 11:14:17 | → | Guest55 joins (~Guest55@84-45-243-170.static.enta.net) |
| 11:14:26 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 252 seconds) |
| 11:14:54 | <Guest55> | is there a way to return another type from a bool depending on if its true or false? |
| 11:15:39 | <hpc> | you mean like if p then "string" else 5? |
| 11:15:44 | <Guest55> | yeah |
| 11:15:47 | <hpc> | use Either |
| 11:15:54 | <hpc> | if p then Left "string" else Right 5 |
| 11:15:57 | <hpc> | :t if p then Left "string" else Right 5 |
| 11:15:58 | <lambdabot> | error: |
| 11:15:58 | <lambdabot> | • Couldn't match expected type ‘Bool’ with actual type ‘Expr’ |
| 11:15:58 | <lambdabot> | • In the expression: p |
| 11:16:04 | <hpc> | :t \p -> if p then Left "string" else Right 5 |
| 11:16:05 | <Guest55> | Bool -> Either String Double |
| 11:16:05 | <lambdabot> | Num b => Bool -> Either [Char] b |
| 11:16:15 | <hpc> | yep |
| 11:16:18 | <Guest55> | but then the datatype thats returned has to be the same length |
| 11:16:48 | <hpc> | not quite, Either isn't like C unions |
| 11:16:54 | <hpc> | the two Either types can be anything |
| 11:17:12 | <Guest55> | i have a "parse" function, i had several, like parseOrder :: String -> Order, parseTrades :: String -> [Trade] ... |
| 11:17:38 | <Guest55> | then i wrote parse "order" :: String -> String -> Order |
| 11:17:40 | <Guest55> | and got stuck |
| 11:18:02 | <Guest55> | i wanted to make a datatype like data Option = Order | Trade | ... |
| 11:18:14 | <Guest55> | and have the type returned somehow calculated from this |
| 11:18:24 | <Guest55> | i guess it would have to be in a class? |
| 11:18:33 | <Guest55> | like an associated type family or something |
| 11:18:44 | <hpc> | you probably don't want a class here |
| 11:18:59 | <hpc> | imagine you wanted parseManyOptions sometime in the future |
| 11:19:01 | <Guest55> | for the associated type? |
| 11:19:09 | <hpc> | (or just anything that interacts with multiple Options) |
| 11:19:11 | <Guest55> | oh, i was thinking maybe that the Options was singleton |
| 11:19:27 | <hpc> | if you do a class, that list is going to have to all be orders, or all be trades |
| 11:19:38 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 11:19:40 | <Guest55> | i mean, to calculate the type of the output from matching a sum datatype |
| 11:19:52 | <hpc> | you'd do that with the data constructor |
| 11:20:06 | <Guest55> | wouldnt the class resolution be able to choose the instance corresponding to the singleton sum option? |
| 11:20:06 | <hpc> | data Option = OrderOption Order | TradeOption Trade | ... |
| 11:20:14 | <hpc> | and then when you're using it |
| 11:20:19 | <hpc> | foo :: Option -> something |
| 11:20:26 | <hpc> | foo (OrderOption order) = something with order |
| 11:20:32 | <hpc> | foo (TradeOption trade) = something with trade |
| 11:21:19 | <Guest55> | you still have "something" not being polymorphic |
| 11:21:28 | <hpc> | that's just a placeholder |
| 11:21:30 | <Guest55> | i need the type to be determined by some type level calculation |
| 11:21:59 | <Guest55> | hpc: i mean, it would throw an error if the different definitions tried to return different types |
| 11:22:09 | <Guest55> | Either would be ok if it wast extensible |
| 11:22:26 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 11:22:39 | <Guest55> | and you seem to be saying something like creating a container for the results of the same length as the input options |
| 11:23:10 | <Guest55> | and im asking, how, instead of doing that, do i use type families to calculate the result type? |
| 11:23:22 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 260 seconds) |
| 11:23:24 | <Guest55> | im not sure why you thought using a class wasnt the way to go |
| 11:23:37 | <hpc> | i didn't mention classes |
| 11:23:44 | <Guest55> | i need a polymorphic output |
| 11:23:45 | <hpc> | er, wasn't |
| 11:23:53 | <hpc> | classes don't do polymorphism all that well |
| 11:24:03 | <hpc> | at least, not in the way i suspect you want |
| 11:24:15 | <alzgh> | I have `data myData = firstCons String | secondCons Int` and `az :: [myData]`. I want to filter all the `fistCons` and return the `String`s. I know how to write the `filter` or `foldr` but I'm not sure how to check for the type and extract the `String` out of that type. |
| 11:24:18 | <Guest55> | well, i mean, if the class was parametric on the singleton options type level label |
| 11:24:18 | <hpc> | like, (+) is polymorphic in that you can use it on many numeric types |
| 11:24:37 | <hpc> | but once you're locked into one numeric type you don't get to mix them at all |
| 11:24:50 | <alzgh> | O, I do a pattern match maybe? |
| 11:25:11 | <Guest55> | i cant see a Maybe in your code? |
| 11:25:28 | <Guest55> | :t maybe |
| 11:25:29 | <lambdabot> | b -> (a -> b) -> Maybe a -> b |
| 11:25:58 | <Guest55> | oh, you want to delete the other entries |
| 11:26:12 | → | ubert joins (~Thunderbi@77.119.171.246.wireless.dyn.drei.com) |
| 11:26:16 | <hpc> | alzgh: yeah, you'd filter for FirstCons and then use map and pattern match to extract the strings |
| 11:26:33 | <hpc> | map (\FirstCons s -> s) . filter isFirstCons |
| 11:26:35 | <hpc> | or something like that |
| 11:26:36 | <Guest55> | yes your just going to use filter and pattern matching to check if its the right part of the sum datatype, returning True if it is |
| 11:26:51 | <Guest55> | :t filter isLeft |
| 11:26:52 | <lambdabot> | [Either a b] -> [Either a b] |
| 11:27:07 | <Guest55> | :t map fromLeft . filter isLeft |
| 11:27:08 | <lambdabot> | [Either a b1] -> [Either (Either a b1) b2 -> Either a b1] |
| 11:27:12 | <Guest55> | !? |
| 11:27:23 | <Guest55> | nvm |
| 11:27:41 | <alzgh> | thanks, I guess I have a rough idea. gonna come back if stuck :D |
| 11:27:51 | <tomsmeding> | :t lefts |
| 11:27:51 | <Guest55> | list comprehension syntax would be better |
| 11:27:52 | <lambdabot> | [Either a b] -> [a] |
| 11:28:30 | <tomsmeding> | :t \l -> [x | Left x <- l] |
| 11:28:31 | <lambdabot> | [Either a b] -> [a] |
| 11:28:50 | <Guest55> | :t \xs -> [y <- | a@(Left y) <- xs,isLeft a] |
| 11:28:51 | <lambdabot> | error: |
| 11:28:51 | <lambdabot> | parse error on input ‘<-’ |
| 11:28:51 | <lambdabot> | Perhaps this statement should be within a 'do' block? |
| 11:28:59 | <tomsmeding> | why do you want the isLeft? |
| 11:29:00 | <Guest55> | :t \xs -> [y | a@(Left y) <- xs,isLeft a] |
| 11:29:02 | <lambdabot> | [Either a b] -> [a] |
| 11:29:06 | <Guest55> | thats lefts |
| 11:29:18 | <tomsmeding> | yuo don't need to check, list comprehensions already discard the elements that don't match the pattern |
| 11:29:27 | <Guest55> | :t \xs -> [y | a@(Left y) <- xs] |
| 11:29:28 | <lambdabot> | [Either a b] -> [a] |
| 11:29:30 | <tomsmeding> | yeah |
| 11:29:31 | <Guest55> | oh, awesome |
| 11:29:34 | <tomsmeding> | also: |
| 11:29:36 | <tomsmeding> | :t lefts |
| 11:29:36 | <lambdabot> | [Either a b] -> [a] |
| 11:29:38 | <tomsmeding> | ;) |
| 11:29:48 | <hpc> | > [y | (Left y) <- [Left "yes", Right "no"]] |
| 11:29:48 | <Guest55> | anyway |
| 11:29:49 | <lambdabot> | ["yes"] |
| 11:30:33 | <Guest55> | how do i have the output type of a function be determined by a type level calculation over the type level data stored in a singletons sum type input? |
| 11:30:52 | <tomsmeding> | what exactly is the type of the input? |
| 11:30:54 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Read error: Connection reset by peer) |
| 11:31:06 | <Guest55> | for example SBool |
| 11:31:20 | <Guest55> | but generally i will be having to extend it as i find new things to parse |
| 11:31:50 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 11:31:57 | <Guest55> | hmm, maybe ther ReadS hack would work, cant remember if that used Overlapping instances in some hackey way |
| 11:32:15 | <Guest55> | like, thats basically the parsing function we normally use |
| 11:32:28 | <tomsmeding> | Guest55: a type family? |
| 11:32:46 | <Guest55> | but then your just writing read instances that resolve based on the type of the output rather than the "choice" input |
| 11:32:56 | <tomsmeding> | type family RetType b where RetType 'True = MyTrueThing ; RetType 'False = MyFalseThing |
| 11:33:02 | <Guest55> | tomsmedling: i was thinking maybe an associated type family |
| 11:33:07 | <tomsmeding> | myfun :: SBool b -> other things -> RetType b |
| 11:33:15 | <Guest55> | exactly! |
| 11:33:18 | <Guest55> | thanks |
| 11:33:28 | <tomsmeding> | this is a normal, closed type family, not an associated one though |
| 11:33:33 | <Guest55> | i couldnt quite visualise that |
| 11:33:52 | <Guest55> | ie, the `b' and how that parameter conveys the type level option |
| 11:33:57 | <tomsmeding> | yeah |
| 11:34:16 | <Guest55> | now im thinking to just make read instanes! |
| 11:34:42 | <tomsmeding> | but you were so well on your way to type-level haskell enlightenment! |
| 11:34:44 | <Guest55> | my singletons machinery is burried somewhere almost irritrivable |
| 11:35:02 | <Guest55> | tomsmeding: unfortunately not |
| 11:35:05 | <tomsmeding> | :p |
| 11:35:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 11:35:17 | tomsmeding | jokes |
| 11:35:37 | <Guest55> | the 8-fold path to a waste of lazyness |
| 11:36:15 | <hpc> | heh, reminds me of http://thecodelesscode.com |
| 11:36:56 | <Guest55> | "The target hardware, likewise, lies in ruin." |
| 11:36:57 | <Guest55> | lol |
| 11:37:17 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 11:38:06 | <Guest55> | can anyone talk me through some code i have seen being shared recently? |
| 11:38:41 | <Guest55> | a user called fog put together a "clock" library, but i cant find it, and i couldnt understand how it worked |
| 11:39:15 | <Guest55> | i think it was something to do with traversing IO lists or something |
| 11:39:47 | <Guest55> | basically, i want to filter a persistent ping, to only transmit when it change content |
| 11:40:04 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 11:40:15 | <Guest55> | like, if it just broadcast the time of day to the nearest minute, then i would expect only one item in the stream to arrive per minute |
| 11:40:46 | <Guest55> | but if the input is like, every second or something, idk how to write this IO filter so it streams through correctly without jamming or something |
| 11:41:56 | <tomsmeding> | I think if you find the code in question, people will be able to help you better :) |
| 11:42:12 | <Guest55> | https://github.com/fog-hs/clock-scanner |
| 11:43:25 | <Guest55> | i guess its basically an IO streaming nearest-neighbour nub that im after |
| 11:43:43 | <tomsmeding> | if that is what this code is doing, it's doing _vastly_ more complicated stuff than necessary |
| 11:43:49 | <Guest55> | i think i understood how to write maps and folds using scanners, but not filters |
| 11:44:08 | <Guest55> | could be a problem to do with traverse being shape preserving? |
| 11:44:13 | <tomsmeding> | are you sure you want to work with ListT IO, and not just with channels from Control.Concurrent (perhaps STM) ? |
| 11:44:44 | <Guest55> | the library is self contained readable and succinct and imo quite well designed |
| 11:44:50 | <Guest55> | i wouldnt consider an alternative |
| 11:45:11 | <Guest55> | i mean, if you have something cannonical... |
| 11:45:34 | <tomsmeding> | a streaming library, or just a simple channel? :p |
| 11:46:01 | tomsmeding | doesn't know how to reason about comonads and hylomorphisms |
| 11:46:11 | <Guest55> | its supposed to be a principled replacement for the ad-hoc construction (based on cursors) used by conduit/pipes appraoch to streaming |
| 11:46:24 | <Guest55> | or the algebra of streaming functions |
| 11:46:27 | × | max22- quits (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 11:46:37 | <Guest55> | it just uses the compositionality of the scanner state update functions |
| 11:47:10 | <Guest55> | something like map f . map g = map (f . g) |
| 11:47:39 | <Guest55> | idk if it handles branches or multiple output functions or anything like that |
| 11:47:49 | <Guest55> | probably just have to use extensible records... |
| 11:48:20 | <Guest55> | anyway, idk how to write a filter on the IOList using Scanner |
| 11:48:52 | <Guest55> | i mean, its supposed to be "above" traverse in the class hierarchy, so maybe the shape preserving thing that would break a filter doesnt apply |
| 11:49:06 | → | Lycurgus joins (~juan@98.4.112.204) |
| 11:49:53 | <Guest55> | basically just working with; |
| 11:49:53 | <Guest55> | scannerM :: Monad m => (s -> a -> m (b,s)) -> s -> t m a -> m (t m b,s) |
| 11:50:24 | <Guest55> | t m a, is then basically able to be MonadicList IO a |
| 11:50:54 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 11:50:55 | <Guest55> | i guess i have to use the `s' portion of the output |
| 11:51:12 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) |
| 11:51:15 | <Guest55> | if the `t m b' is going to be the same shape |
| 11:51:25 | <Guest55> | i think thats like the mapped part of the traverse |
| 11:51:43 | <Guest55> | and the `s' is the carry, which i guess is where you accumulate the filtered list |
| 11:51:45 | → | ubert1 joins (~Thunderbi@91.141.60.166.wireless.dyn.drei.com) |
| 11:52:00 | <Guest55> | sorry this is really compllicated, i have to take a break |
| 11:52:18 | × | ubert quits (~Thunderbi@77.119.171.246.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 11:52:19 | ubert1 | is now known as ubert |
| 11:54:53 | <Guest55> | i think a biparametric (eg monadic list) container that implements scannerM as above |
| 11:55:01 | → | __monty__ joins (~toonn@user/toonn) |
| 11:55:06 | <Guest55> | wait, idk. sorry |
| 11:55:28 | <Guest55> | er, i mean, thats basically the least sufficient interface right? |
| 11:55:33 | <Guest55> | its one line... |
| 11:55:40 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 11:56:28 | <Guest55> | maybe filter needs its own class? |
| 11:56:37 | <Guest55> | since it has to be able to reconstruct it? |
| 11:57:19 | <Guest55> | and then it could just have the defaults in terms of get and set as this library seems to present |
| 11:57:26 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 11:57:49 | <Guest55> | but, with the possibility of not just being impllemented that way |
| 11:58:01 | <Guest55> | like, anything that can implement a monadic filtering function |
| 11:58:07 | <Guest55> | any container* |
| 11:58:19 | <Guest55> | not sure what the type would be, going for a cig |
| 12:04:22 | × | xiongxin quits (~quassel@119.123.100.167) (Ping timeout: 252 seconds) |
| 12:05:02 | <Guest55> | hmm, i guess the best i could hope for is a default implementation via get and set |
| 12:05:05 | → | xiongxin joins (~quassel@113.116.35.121) |
| 12:05:12 | <Guest55> | since the type of filter itslef is uniformative |
| 12:05:20 | <Guest55> | ie it wouldnt make a good class function |
| 12:05:37 | <Guest55> | ok, im off, ciao |
| 12:06:32 | × | Guest55 quits (~Guest55@84-45-243-170.static.enta.net) (Quit: Client closed) |
| 12:20:43 | → | wonko joins (~wjc@62.115.229.50) |
| 12:25:54 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:f1aa:cb1f:b2aa:34a9) (Ping timeout: 260 seconds) |
| 12:27:11 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 12:27:12 | × | Ranhir quits (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 12:29:06 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:f1aa:cb1f:b2aa:34a9) |
| 12:30:09 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 12:32:28 | → | acidjnk joins (~acidjnk@p200300d0c703cb7748f323b024886b38.dip0.t-ipconnect.de) |
| 12:35:14 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 260 seconds) |
| 12:35:19 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 12:39:06 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 12:42:41 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 12:42:53 | → | Guest|51 joins (~Guest|51@144.173.23.19) |
| 12:43:06 | × | Guest|51 quits (~Guest|51@144.173.23.19) (Client Quit) |
| 12:44:19 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 12:45:14 | → | azeem joins (~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) |
| 12:46:26 | × | azeem quits (~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) (Read error: Connection reset by peer) |
| 12:47:16 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 12:47:43 | → | fendor_ joins (~fendor@178.165.207.87.wireless.dyn.drei.com) |
| 12:48:04 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 12:49:33 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) |
| 12:50:36 | × | fendor quits (~fendor@178.165.167.3.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 12:53:01 | → | jespada joins (~jespada@2803:9800:9842:7a62:2546:af34:8714:120f) |
| 12:53:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Ping timeout: 260 seconds) |
| 12:58:04 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 12:59:35 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 13:00:12 | × | ddb quits (~ddb@ipv6two.tilde.club) (Remote host closed the connection) |
| 13:00:34 | → | ddb joins (~ddb@ipv6two.tilde.club) |
| 13:02:10 | → | pbrisbin joins (~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) |
| 13:06:37 | → | geranim0 joins (~sam@modemcable242.171-178-173.mc.videotron.ca) |
| 13:06:38 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 13:07:24 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 13:11:05 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:14:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:15:30 | × | xiongxin quits (~quassel@113.116.35.121) (Read error: Connection reset by peer) |
| 13:16:45 | → | xiongxin joins (~quassel@119.123.102.171) |
| 13:22:47 | → | dumbsharka joins (~amirvince@user/amirvincent64) |
| 13:31:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:36:41 | hololeap_ | is now known as hololeap |
| 13:36:41 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 13:37:39 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 13:37:52 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 252 seconds) |
| 13:39:25 | × | geranim0 quits (~sam@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 265 seconds) |
| 13:41:07 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 13:41:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 13:42:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 13:42:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 13:42:06 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:45:21 | → | neurocyte01328 joins (~neurocyte@92.119.9.88) |
| 13:45:21 | × | neurocyte01328 quits (~neurocyte@92.119.9.88) (Changing host) |
| 13:45:21 | → | neurocyte01328 joins (~neurocyte@user/neurocyte) |
| 13:47:53 | × | neurocyte0132 quits (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 13:47:53 | neurocyte01328 | is now known as neurocyte0132 |
| 13:48:09 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 13:53:31 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:57:59 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat) |
| 14:03:42 | → | Pickchea joins (~private@user/pickchea) |
| 14:05:26 | → | ubert1 joins (~Thunderbi@178.165.171.176.wireless.dyn.drei.com) |
| 14:06:05 | → | max22- joins (~maxime@2a01cb08833598006032d61cd2b0f81d.ipv6.abo.wanadoo.fr) |
| 14:06:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 14:07:01 | × | ubert quits (~Thunderbi@91.141.60.166.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 14:07:01 | ubert1 | is now known as ubert |
| 14:09:53 | × | xiongxin quits (~quassel@119.123.102.171) (Ping timeout: 265 seconds) |
| 14:09:56 | → | xiongxin_ joins (~quassel@113.116.35.121) |
| 14:11:24 | → | hammock joins (~Hammock@2600:1700:19a1:3330::588) |
| 14:11:32 | × | Brumaire quits (~quassel@37.164.124.26) (Ping timeout: 252 seconds) |
| 14:11:50 | × | xff0x quits (~xff0x@2001:1a81:5262:8400:7a57:83e4:f571:218) (Ping timeout: 260 seconds) |
| 14:12:34 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 14:14:38 | → | vysn joins (~vysn@user/vysn) |
| 14:14:43 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 14:14:54 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 14:15:36 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 14:18:18 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:20:55 | → | xff0x joins (~xff0x@2001:1a81:5262:8400:7a57:83e4:f571:218) |
| 14:21:11 | → | ubert1 joins (~Thunderbi@91.141.79.118.wireless.dyn.drei.com) |
| 14:23:02 | × | ubert quits (~Thunderbi@178.165.171.176.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 14:23:03 | ubert1 | is now known as ubert |
| 14:27:18 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 14:27:58 | × | acidjnk quits (~acidjnk@p200300d0c703cb7748f323b024886b38.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 14:28:23 | → | terrorjack joins (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) |
| 14:28:39 | → | hololeap joins (~hololeap@user/hololeap) |
| 14:34:52 | × | terrorjack quits (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat) |
| 14:35:29 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 264 seconds) |
| 14:35:41 | × | xsperry quits (~as@user/xsperry) () |
| 14:38:37 | → | zebrag joins (~chris@user/zebrag) |
| 14:39:03 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Read error: Connection reset by peer) |
| 14:39:12 | → | azeem joins (~azeem@emp-48-249.eduroam.uu.se) |
| 14:39:16 | × | ystael quits (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 14:40:06 | → | Guest58 joins (~Guest58@173-17-255-12.client.mchsi.com) |
| 14:41:50 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 14:42:15 | → | hendursaga joins (~weechat@user/hendursaga) |
| 14:42:55 | → | bgamari_ joins (~bgamari@64.223.174.87) |
| 14:43:13 | → | ystael joins (~ystael@user/ystael) |
| 14:43:22 | × | bgamari quits (~bgamari@2001:470:e438::1) (Ping timeout: 252 seconds) |
| 14:43:22 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) |
| 14:43:34 | × | kimjetwav quits (~user@2607:fea8:235f:9730:9246:a28d:f255:7bd7) (Ping timeout: 260 seconds) |
| 14:43:58 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 14:44:47 | × | Guest58 quits (~Guest58@173-17-255-12.client.mchsi.com) (Ping timeout: 256 seconds) |
| 14:45:01 | → | kimjetwav joins (~user@2607:fea8:235f:9730:9246:a28d:f255:7bd7) |
| 14:45:31 | × | azeem quits (~azeem@emp-48-249.eduroam.uu.se) (Ping timeout: 252 seconds) |
| 14:46:29 | → | hnOsmium0001 joins (uid453710@id-453710.hampstead.irccloud.com) |
| 14:48:44 | → | terrorjack joins (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) |
| 14:48:56 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 14:52:42 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:53:14 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:b7d2:712:7ac2:adb6) (Quit: WeeChat 2.8) |
| 14:56:23 | → | azeem joins (~azeem@2a00:801:2d6:ba33:1dbc:2215:71a9:ffcb) |
| 14:58:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:00:02 | × | juhp quits (~juhp@bb42-60-204-249.singnet.com.sg) (Quit: juhp) |
| 15:00:16 | → | juhp joins (~juhp@bb42-60-204-249.singnet.com.sg) |
| 15:02:23 | × | terrorjack quits (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat) |
| 15:02:43 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:03:43 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 252 seconds) |
| 15:03:43 | × | cln quits (sid336875@id-336875.ilkley.irccloud.com) (Ping timeout: 252 seconds) |
| 15:03:47 | × | scav quits (sid309693@id-309693.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 15:03:47 | × | kaychaks__ quits (sid236345@id-236345.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 15:03:47 | × | edmundnoble quits (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 15:03:47 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 15:03:54 | × | Firedancer quits (sid336191@id-336191.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 15:03:54 | × | amir quits (sid22336@user/amir) (Ping timeout: 268 seconds) |
| 15:03:54 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
| 15:03:56 | → | edmundnoble joins (sid229620@id-229620.helmsley.irccloud.com) |
| 15:04:01 | → | kaychaks__ joins (sid236345@id-236345.helmsley.irccloud.com) |
| 15:04:03 | → | Firedancer joins (sid336191@id-336191.hampstead.irccloud.com) |
| 15:04:06 | × | b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 15:04:06 | × | dmj` quits (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 15:04:15 | → | b20n joins (sid115913@id-115913.uxbridge.irccloud.com) |
| 15:04:16 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 252 seconds) |
| 15:04:17 | × | eruditass quits (uid248673@id-248673.uxbridge.irccloud.com) (Ping timeout: 264 seconds) |
| 15:04:17 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 15:04:18 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 15:04:18 | × | acertain quits (sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 15:04:18 | × | obviyus quits (sid415299@user/obviyus) (Ping timeout: 268 seconds) |
| 15:04:23 | → | dmj` joins (sid72307@id-72307.hampstead.irccloud.com) |
| 15:04:31 | × | pjlsergeant quits (sid143467@id-143467.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 15:04:35 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 15:04:35 | × | JSharp quits (sid4580@id-4580.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 15:04:37 | → | amir joins (sid22336@user/amir) |
| 15:04:39 | × | cbarrett quits (sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 15:04:51 | → | scav joins (sid309693@id-309693.helmsley.irccloud.com) |
| 15:04:53 | × | xiongxin_ quits (~quassel@113.116.35.121) (Ping timeout: 252 seconds) |
| 15:05:16 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 15:05:16 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 15:05:18 | → | cbarrett joins (sid192934@id-192934.helmsley.irccloud.com) |
| 15:05:19 | → | pjlsergeant joins (sid143467@id-143467.hampstead.irccloud.com) |
| 15:05:19 | → | acertain joins (sid470584@id-470584.hampstead.irccloud.com) |
| 15:05:24 | → | tapas joins (sid467876@id-467876.ilkley.irccloud.com) |
| 15:05:32 | × | Lycurgus quits (~juan@98.4.112.204) (Quit: Exeunt) |
| 15:05:35 | → | JSharp joins (sid4580@id-4580.lymington.irccloud.com) |
| 15:05:35 | → | xiongxin joins (~quassel@119.123.102.171) |
| 15:05:40 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 15:06:05 | → | eruditass joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 15:06:14 | → | obviyus joins (sid415299@user/obviyus) |
| 15:06:30 | → | cln joins (sid336875@id-336875.ilkley.irccloud.com) |
| 15:06:36 | → | nschoe joins (~quassel@178.251.84.79) |
| 15:06:41 | → | bw joins (sid2730@user/betawaffle) |
| 15:07:20 | → | Guest8 joins (~Guest8@52.149.12.25) |
| 15:08:03 | → | terrorjack joins (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) |
| 15:08:04 | × | Guest8 quits (~Guest8@52.149.12.25) (Client Quit) |
| 15:09:01 | → | Guest95 joins (~Guest95@52.149.12.25) |
| 15:09:51 | <Guest95> | , |
| 15:09:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:10:33 | × | Guest95 quits (~Guest95@52.149.12.25) (Client Quit) |
| 15:10:35 | <geekosaur> | . |
| 15:10:45 | <geekosaur> | o, they left |
| 15:10:50 | × | xiongxin quits (~quassel@119.123.102.171) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 15:12:15 | → | zmt01 joins (~zmt00@user/zmt00) |
| 15:12:59 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 15:13:18 | → | chris joins (~chris@81.96.113.213) |
| 15:13:22 | chris | is now known as Guest7402 |
| 15:14:34 | → | Guest97 joins (~Guest97@52.149.12.25) |
| 15:15:06 | <shapr> | , |
| 15:16:08 | × | Guest97 quits (~Guest97@52.149.12.25) (Client Quit) |
| 15:16:10 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 15:22:22 | → | vpan joins (~vilius@212.117.1.172) |
| 15:23:12 | × | terrorjack quits (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat) |
| 15:25:01 | → | terrorjack joins (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) |
| 15:25:06 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 15:25:22 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 15:25:29 | × | terrorjack quits (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Client Quit) |
| 15:27:32 | → | terrorjack joins (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) |
| 15:28:52 | <[itchyjunk]> | There was a really nice link posted here explaining why numbers are not functions. I wanted to share that link with someone but i can't find it again. |
| 15:28:55 | → | tnm joins (~tnm@ipservice-092-218-228-188.092.218.pools.vodafone-ip.de) |
| 15:30:22 | <monochrom> | And yet there will be a time when it is beneficial to admit numbers as functions. |
| 15:30:38 | → | hexfive joins (~eric@50.35.83.177) |
| 15:30:48 | <monochrom> | And in more than one way, too. |
| 15:30:50 | <[itchyjunk]> | oh ohh.. i finally convinenced myself that numbers are not functions |
| 15:31:08 | <[itchyjunk]> | /o\ disaster |
| 15:32:24 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 15:32:31 | <[itchyjunk]> | found the link : http://conal.net/blog/posts/everything-is-a-function-in-haskell |
| 15:34:25 | <monochrom> | My understand is, for example, operator theory begins by saying this: you have a differential equation like "3*y(t) + y'(t) = 0". Wouldn't it be nice to refactor that to "(3 + diff) y = 0". For example Schrödinger's equation and Dirac's equations are in this form. |
| 15:35:17 | <monochrom> | We can understand that to mean that diff is a higher-order function (now called "operator"), it maps a number function to its derivative. We know how to extend "+" to mean adding two higher-order functions. |
| 15:35:19 | <[itchyjunk]> | interesting.. |
| 15:35:34 | <monochrom> | But this also means "3" is a higher-order function of the same type as diff. |
| 15:36:28 | <monochrom> | Everything is what you need it to be for the purpose at hand. |
| 15:37:37 | <monochrom> | In Haskell, you can take the stance that if the type does not look like "X -> Y" then the term is not a function. This fits Haskell's purpose. |
| 15:37:37 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 15:37:45 | <monochrom> | But Haskell doesn't stand for the whole world. |
| 15:38:00 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 15:38:41 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Remote host closed the connection) |
| 15:40:58 | × | madjestic quits (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 15:41:38 | → | alaspeanutcheese joins (~alaspeanu@52pc67.sshunet.nl) |
| 15:43:38 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 15:44:11 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 15:44:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 15:45:33 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0.1) |
| 15:46:58 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 15:47:35 | <[itchyjunk]> | i see |
| 15:47:52 | <[itchyjunk]> | i knew numbers were treated as function in lambda calculus in some sense |
| 15:48:17 | → | tinhatcat joins (~manjaro-g@2620:103:a000:2201:8e4c:af6a:e11c:11a1) |
| 15:48:35 | <geekosaur> | you can even treat numbers as functions in Haskell to some extent (literals, at least) |
| 15:49:03 | × | tinhatcat quits (~manjaro-g@2620:103:a000:2201:8e4c:af6a:e11c:11a1) (Client Quit) |
| 15:49:07 | → | jtomas joins (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) |
| 15:49:27 | ← | jtomas parts (~jtomas@95.red-88-11-64.dynamicip.rima-tde.net) () |
| 15:50:58 | × | ubert quits (~Thunderbi@91.141.79.118.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 15:51:42 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) (Ping timeout: 260 seconds) |
| 15:55:17 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) |
| 15:56:20 | <Cale> | If the right instances are in scope :) |
| 15:58:29 | <dminuoso> | Or you can treat them as numbers on the basis of being polymorphic, a function taking a Num dictionary.. |
| 15:59:04 | <Cale> | fair, yeah |
| 15:59:04 | <dminuoso> | Though, this line of thinking entertains the idea that the core idea of "X is just a function" is something useful, when in fact it's just particular mind models or perspectives that introduce this idea. |
| 16:00:03 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 16:03:44 | × | Guest7402 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 16:06:21 | × | vpan quits (~vilius@212.117.1.172) (Ping timeout: 265 seconds) |
| 16:08:31 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 16:08:36 | → | chris joins (~chris@81.96.113.213) |
| 16:08:40 | chris | is now known as Guest6764 |
| 16:10:07 | → | zaquest joins (~notzaques@5.128.210.178) |
| 16:12:16 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 16:12:44 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 16:13:07 | × | Guest6764 quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 16:13:35 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 16:14:40 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:16:26 | → | chris joins (~chris@81.96.113.213) |
| 16:16:30 | chris | is now known as Guest2952 |
| 16:17:56 | → | python47` joins (~user@88.160.31.174) |
| 16:18:02 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 16:19:04 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:19:08 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:19:53 | × | python476 quits (~user@88.160.31.174) (Ping timeout: 265 seconds) |
| 16:20:42 | → | vpan joins (~vilius@212.117.1.172) |
| 16:21:42 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 16:27:59 | × | python47` quits (~user@88.160.31.174) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 16:28:22 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 16:30:39 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 16:31:22 | × | _bin quits (~bin@user/bin/x-1583188) (Ping timeout: 260 seconds) |
| 16:35:51 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 276 seconds) |
| 16:36:19 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 16:36:20 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:37:10 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:37:13 | × | xff0x quits (~xff0x@2001:1a81:5262:8400:7a57:83e4:f571:218) (Ping timeout: 252 seconds) |
| 16:37:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:37:15 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 16:37:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:39:09 | → | xff0x joins (~xff0x@2001:1a81:5287:3100:76b:e505:93a5:449f) |
| 16:39:56 | → | ubert joins (~Thunderbi@91.141.79.118.wireless.dyn.drei.com) |
| 16:41:10 | → | pfurla_ joins (~pfurla@235.15.195.173.client.static.strong-in52.as13926.net) |
| 16:41:32 | → | _bin joins (~bin@user/bin/x-1583188) |
| 16:44:03 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 16:44:47 | × | terrorjack quits (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat) |
| 16:45:38 | → | python476 joins (~user@88.160.31.174) |
| 16:49:32 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:53:27 | → | geranim0 joins (~sam@modemcable242.171-178-173.mc.videotron.ca) |
| 16:55:07 | → | tommd joins (~tommd@75-164-130-101.ptld.qwest.net) |
| 16:56:33 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:59:33 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 17:00:36 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 17:02:25 | × | pfurla_ quits (~pfurla@235.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 265 seconds) |
| 17:02:25 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 17:03:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:04:02 | → | terrorjack joins (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) |
| 17:05:19 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 17:06:09 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 17:07:32 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 17:08:05 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 252 seconds) |
| 17:08:50 | × | geranim0 quits (~sam@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 17:09:12 | → | geranim0 joins (~sam@modemcable242.171-178-173.mc.videotron.ca) |
| 17:09:44 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:13:31 | × | geranim0 quits (~sam@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 17:14:19 | × | terrorjack quits (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat) |
| 17:15:19 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) |
| 17:17:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:17:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 17:17:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:17:32 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:18:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:19:27 | → | slep joins (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) |
| 17:24:31 | → | Guest9 joins (~Guest9@ipservice-092-218-228-188.092.218.pools.vodafone-ip.de) |
| 17:24:33 | × | jushur quits (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 17:25:30 | → | tfeb joins (~tfb@88.98.95.237) |
| 17:34:11 | × | tfeb quits (~tfb@88.98.95.237) (Quit: died) |
| 17:35:58 | → | TDANG_ joins (~TDANG@cpe-107-15-144-45.nc.res.rr.com) |
| 17:38:40 | × | TDANG quits (~TDANG@inet-177-7.ets.org) (Ping timeout: 265 seconds) |
| 17:38:52 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Remote host closed the connection) |
| 17:40:56 | × | dehhy^ quits (~dehhy@12.203.127.82) (Remote host closed the connection) |
| 17:41:49 | → | sneedsfeed joins (~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) |
| 17:42:10 | <sneedsfeed> | what is the preferred way of sharing code in this community? |
| 17:42:59 | <dminuoso> | @where paste |
| 17:42:59 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 17:43:06 | <dminuoso> | But you can use whatever you fancy |
| 17:43:13 | <geekosaur> | depends on what you mean by sharing code. snippets via gist or paste.tomsmeding.com, larger programs/libraries on hackage |
| 17:43:21 | <dminuoso> | As long as its not offending in terms of requiring registration of full with advertisements. |
| 17:43:33 | ← | Guest9 parts (~Guest9@ipservice-092-218-228-188.092.218.pools.vodafone-ip.de) () |
| 17:44:13 | <sneedsfeed> | https://paste.tomsmeding.com/ seems perfect. thanks. (y) |
| 17:46:43 | × | vpan quits (~vilius@212.117.1.172) (Quit: Leaving.) |
| 17:48:54 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:49:20 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 17:51:24 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 17:52:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 17:53:13 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 17:53:58 | × | opqdonut quits (opqdonut@pseudo.fixme.fi) (Remote host closed the connection) |
| 17:54:35 | → | opqdonut joins (opqdonut@pseudo.fixme.fi) |
| 17:56:49 | → | nrl^ joins (~nrl@12.203.127.82) |
| 17:57:20 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 17:58:37 | × | kimjetwav quits (~user@2607:fea8:235f:9730:9246:a28d:f255:7bd7) (Ping timeout: 252 seconds) |
| 18:01:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:01:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 18:01:01 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:02:06 | × | rond_ quits (~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed) |
| 18:05:13 | × | tnm quits (~tnm@ipservice-092-218-228-188.092.218.pools.vodafone-ip.de) (Quit: leaving) |
| 18:05:34 | → | econo joins (uid147250@user/econo) |
| 18:05:50 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 18:06:41 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 18:07:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:07:37 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 18:07:50 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 18:07:51 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:07:53 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 18:08:21 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 18:10:02 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) |
| 18:10:09 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:11:28 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 18:18:25 | × | sneedsfeed quits (~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Ping timeout: 256 seconds) |
| 18:18:52 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 18:20:12 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 18:21:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:21:25 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 18:21:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 18:25:31 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:25:31 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 18:25:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:38:42 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 18:41:19 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 18:41:38 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:49:02 | → | VoidNoir0 joins (~VoidNoir0@72.80.203.52) |
| 18:49:37 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:54:28 | → | yinghua joins (~yinghua@2800:2121:1400:1db:c0c5:a435:cabe:dd29) |
| 18:56:50 | × | yinghua quits (~yinghua@2800:2121:1400:1db:c0c5:a435:cabe:dd29) (Read error: Connection reset by peer) |
| 18:57:08 | → | yinghua joins (~yinghua@2800:2121:1400:1db:68a8:baa5:f71b:a8b5) |
| 18:59:32 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:04:50 | → | ubert1 joins (~Thunderbi@91.141.79.118.wireless.dyn.drei.com) |
| 19:13:24 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) (Remote host closed the connection) |
| 19:15:58 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 19:17:01 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 19:17:42 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 19:17:45 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 265 seconds) |
| 19:18:08 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 19:18:21 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 19:19:04 | <zzz> | ki$º-ç4--lllllllmmmmmmmmmmmmmmmm~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:10 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:16 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:22 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:28 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:34 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:40 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:46 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:52 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:19:58 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:04 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:10 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:14 | <awpr> | zzz something's broken on your computer/keyboard/irc client |
| 19:20:16 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:22 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:28 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:34 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:39 | <tomsmeding> | cat on keyboard? |
| 19:20:40 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:46 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:52 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:20:53 | <tomsmeding> | yeah cat on keyboard |
| 19:20:58 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:21:04 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:21:10 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:21:13 | <tomsmeding> | zzz: ping |
| 19:21:16 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:21:22 | ChanServ | sets mode +o geekosaur |
| 19:21:22 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:21:28 | <zzz> | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 19:21:30 | zzz | is kicked by geekosaur (zzz) |
| 19:21:36 | <robbert-vdh> | Or probably, accidentally pasting a bunch of garbage into a terminal window |
| 19:21:56 | <tomsmeding> | perhaps they copied something from ms teams |
| 19:22:03 | geekosaur | sets mode -o geekosaur |
| 19:22:10 | <robbert-vdh> | I'll always blame Teams when given the chance |
| 19:22:19 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 19:22:36 | <maerwald> | I think it's a rat, not a cat |
| 19:24:41 | → | pavonia joins (~user@user/siracusa) |
| 19:28:40 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:35:48 | → | zzz joins (~yin@user/yin) |
| 19:35:55 | <zzz> | so sorry about that |
| 19:36:07 | <zzz> | cat on keyboard... |
| 19:36:18 | <tomsmeding> | we must know, was it a cat? |
| 19:36:45 | <zzz> | it was. do i have to pay cat tax? |
| 19:36:48 | × | Guest2952 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 19:36:54 | <tomsmeding> | maerwald: ha |
| 19:37:01 | <int-e> | just cat-proof that ~ key |
| 19:37:28 | <tomsmeding> | zzz: maerwald thought it was a rat rather than a cat, presumably because it was only one key |
| 19:37:40 | <geekosaur> | the start of it was more keys though |
| 19:37:53 | <maerwald> | I'm suspecting bad keyboard firmware |
| 19:37:56 | <maerwald> | it bailed |
| 19:38:04 | <maerwald> | try qmk |
| 19:38:09 | <monochrom> | I have a cunning plan! Every key on the keyboard should come with a captcha test. |
| 19:38:19 | <zzz> | oh no. i'm just now seeing the damage |
| 19:38:26 | → | chris joins (~chris@81.96.113.213) |
| 19:38:27 | chris | is now known as Guest1466 |
| 19:38:29 | <monochrom> | or perhaps rebrand it to "catcha test" >:) |
| 19:39:05 | <zzz> | wait how did my cat type the |
| 19:39:13 | <zzz> | greek mu? |
| 19:39:26 | <int-e> | monochrom: we need a Completely Automated Public Turing test to tell Cats and Humans Apart |
| 19:39:33 | <mousey> | it's right-alt + m |
| 19:39:44 | <monochrom> | "mu" is the closest to "meow" a cat can get in human society :) |
| 19:39:47 | <tomsmeding> | I don't see a µ, just ç |
| 19:39:58 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 19:40:02 | <zzz> | mousey: right you are |
| 19:40:17 | <zzz> | monochrom: :) |
| 19:40:19 | <mousey> | probably that key got pawed :) |
| 19:41:12 | <zzz> | i came into the room he was already preparing to fall asleep on top of it |
| 19:41:17 | × | Guest1466 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 19:41:43 | <tomsmeding> | cats these days |
| 19:42:44 | <zzz> | anyways, sorry about that |
| 19:43:23 | <zzz> | to be honest, i have no idea how to prevent it from happening again |
| 19:43:32 | <tomsmeding> | lock screen? |
| 19:43:43 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 19:44:49 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 19:45:05 | × | evertedsphere quits (~sm@36.255.87.108) (Remote host closed the connection) |
| 19:45:48 | × | _xor quits (~xor@74.215.232.67) (Quit: brb) |
| 19:46:08 | → | chris joins (~chris@81.96.113.213) |
| 19:46:12 | chris | is now known as Guest5179 |
| 19:46:16 | <hololeap> | I want to know how the cat was hitting <enter> after a certain number of ~'s |
| 19:46:27 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 19:46:54 | <geekosaur> | some clients automatically wrap |
| 19:48:10 | <zzz> | the enter key ir right next to the tilde in this keyboard |
| 19:48:17 | → | _xor joins (~xor@74.215.232.67) |
| 19:48:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:48:53 | <zzz> | but it seems like its wrapping |
| 19:49:53 | <zzz> | interestingly, the µ's count as 2 characters |
| 19:49:58 | <geekosaur> | yeh, every line is the same length (te first looks shorter but has 2 extended chars in it) |
| 19:50:18 | <hololeap> | zzz, here ya go: https://www.thegreenhead.com/imgs/anti-cat-keyboard-cover-5.jpg |
| 19:50:33 | <zzz> | ha! thanks |
| 19:50:35 | <geekosaur> | that's because irc doesn't natively support unicode, so the utf8 expansion is counted in the characters |
| 19:50:38 | × | Guest5179 quits (~chris@81.96.113.213) (Ping timeout: 260 seconds) |
| 19:50:51 | hololeap | wants to know what "EXTREME CAT TUNNEL" is |
| 19:51:10 | <awpr> | configure client to reject messages over N characters? there's only so much spam a cat can generate if it has to press return once per message |
| 19:51:23 | <awpr> | the line wrapping just amplified its capabilities |
| 19:51:47 | <dsal> | Change your cat's password. |
| 19:52:08 | <monochrom> | configure client to reject data chunks of too-low or too-high entropies :) |
| 19:52:09 | <awpr> | configure cat to go to sleep after 30 minutes of inactivity |
| 19:52:21 | <awpr> | or is that the default? |
| 19:52:57 | → | emf joins (~emf@2620:10d:c090:400::5:38ea) |
| 19:53:07 | <exarkun> | looking for `IO a -> IO b -> IO c -> IO (a, b, c)`, not finding it |
| 19:53:26 | <awpr> | :t liftA3 (,,) |
| 19:53:27 | <lambdabot> | Applicative f => f a -> f b -> f c -> f (a, b, c) |
| 19:53:28 | <hololeap> | exarkun: liftA3 (,,) |
| 19:53:57 | <tomsmeding> | hololeap: http://www.unihabitat.jp/wp-content/uploads/2014/10/f66.jpg |
| 19:54:03 | <tomsmeding> | http://www.unihabitat.jp/products/upt15bk/ |
| 19:54:07 | <exarkun> | dang I probably should have known that |
| 19:54:17 | <hololeap> | but you can probably skip (,,) and just use whatever function you're passing the triple to |
| 19:54:25 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host) |
| 19:54:25 | → | zfnmxt joins (~zfnmxtzfn@user/zfnmxt) |
| 19:54:30 | <monochrom> | onoes cat prison |
| 19:54:50 | → | nitrix joins (~nitrix@user/nitrix) |
| 19:55:08 | <hololeap> | lmao |
| 19:55:38 | × | emf quits (~emf@2620:10d:c090:400::5:38ea) (Quit: emf) |
| 19:55:39 | <exarkun> | awpr, hololeap: ty |
| 19:55:40 | <monochrom> | In Chinese we word "house arrest" as "soft custody". Well, this cat prison is literally soft. >:) |
| 19:55:58 | → | emf joins (~emf@2620:10d:c090:400::5:38ea) |
| 19:57:42 | <hololeap> | it's pretty funny that cats seem to be universally attracted to laying on keyboards, for whatever reason |
| 19:59:54 | <c_wraith> | I think it's mostly that they're attention centers. |
| 20:00:05 | <c_wraith> | It's uncommon for cats to lounge on keyboards when no human is present |
| 20:00:34 | <geekosaur> | unless they're laptops and then it's because they're warm |
| 20:02:22 | <tomsmeding> | related: https://np.reddit.com/r/cats/comments/kg5w0u/my_cat_chester_kept_sleeping_on_top_of_my_pc/ |
| 20:06:17 | <dminuoso> | 22:00:05 c_wraith | It's uncommon for cats to lounge on keyboards when no human is present |
| 20:06:17 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 20:06:30 | <dminuoso> | c_wraith: Do video tape your keyboard, or how do you come to this knowledge? |
| 20:06:54 | <geekosaur> | the cat probably follows them around looking for attention |
| 20:07:04 | <c_wraith> | Mostly coming from my cat, who is too busy following me from room to room pretending it's a coincidence to lounge on a keyboard in another room |
| 20:07:04 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:49b6:f37c:5898:ff80) |
| 20:07:59 | → | mikoto-chan joins (~mikoto-ch@83.137.2.249) |
| 20:09:13 | × | frisbro_ quits (uid518331@id-518331.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:10:05 | × | emf quits (~emf@2620:10d:c090:400::5:38ea) (Quit: emf) |
| 20:10:31 | → | Pickchea joins (~private@user/pickchea) |
| 20:11:32 | → | emf joins (~emf@2620:10d:c090:400::5:38ea) |
| 20:11:32 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:14:53 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 20:15:48 | → | acidjnk joins (~acidjnk@p200300d0c703cb77bd57d6e6b991bf0a.dip0.t-ipconnect.de) |
| 20:16:48 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 20:18:33 | <zzz> | when you are not there you must assume the cat is and simultaneously is not on your keyboard |
| 20:19:00 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 20:19:09 | <tomsmeding> | does that effect extend to people that don't have a cat? |
| 20:19:29 | <zzz> | how do you know you don't have a cat? |
| 20:19:36 | <tomsmeding> | right |
| 20:23:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 20:24:52 | × | agoraphobic quits (~agoraphob@ip11-173.bon.riksnet.se) (Ping timeout: 252 seconds) |
| 20:25:36 | <hololeap> | cats are always lurking in the borders between our dimensions |
| 20:27:05 | tomsmeding | hears a cat whining outside |
| 20:27:47 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:27:47 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 20:27:47 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:27:55 | <tomsmeding> | fighting, actually :o |
| 20:35:32 | <hololeap> | or the frisky frolic |
| 20:35:58 | <tomsmeding> | didn't sound too friendly tbh |
| 20:36:21 | <hololeap> | that act isn't particularly friendly among cats :3 |
| 20:36:33 | <tomsmeding> | appropriate emoticon |
| 20:37:05 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 20:38:04 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 20:38:36 | → | agoraphobic joins (~agoraphob@ip11-173.bon.riksnet.se) |
| 20:40:08 | → | dwt_ joins (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 20:45:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:45:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 20:45:57 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:48:54 | <monochrom> | Yikes haha Schrödinger's cat and keyboard entangled system. |
| 20:50:02 | <monochrom> | Hey that's a nice resolution. If you observe junk output on IRC, then it means the cat is alive, not superposed. >:) |
| 20:51:09 | → | yinghua_ joins (~yinghua@2800:2121:1400:1db:c0c5:a435:cabe:dd29) |
| 20:53:31 | × | yinghua quits (~yinghua@2800:2121:1400:1db:68a8:baa5:f71b:a8b5) (Ping timeout: 252 seconds) |
| 20:54:28 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 20:54:56 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 20:59:45 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
| 21:01:00 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 21:01:34 | × | pbrisbin quits (~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 260 seconds) |
| 21:01:46 | × | xff0x quits (~xff0x@2001:1a81:5287:3100:76b:e505:93a5:449f) (Ping timeout: 252 seconds) |
| 21:02:19 | → | hololeap joins (~hololeap@user/hololeap) |
| 21:02:21 | → | xff0x joins (~xff0x@2001:1a81:5287:3100:96a7:c495:38fd:b41b) |
| 21:05:04 | × | fendor_ quits (~fendor@178.165.207.87.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:09:23 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 21:10:38 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 21:10:43 | × | ubert1 quits (~Thunderbi@91.141.79.118.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:12:08 | Lord_of_Life_ | is now known as Lord_of_Life |
| 21:14:39 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 21:17:35 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 21:19:19 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 21:19:52 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
| 21:22:04 | → | madjestic joins (~madjestic@88-159-247-120.fixed.kpn.net) |
| 21:45:54 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:49:34 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 21:55:32 | × | mikoto-chan quits (~mikoto-ch@83.137.2.249) (Quit: mikoto-chan) |
| 21:55:32 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 21:56:32 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 21:59:49 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 22:00:03 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 22:00:26 | → | MQ-17J joins (~MQ-17J@8.21.10.6) |
| 22:00:27 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 22:02:53 | × | michalz quits (~michalz@185.246.204.61) (Remote host closed the connection) |
| 22:04:23 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:04:36 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 22:04:36 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Changing host) |
| 22:04:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:08:38 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 22:08:56 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 22:10:59 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:12:58 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 22:12:58 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 22:14:38 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:15:29 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 22:16:11 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Quit: Leaving) |
| 22:17:11 | → | vysn joins (~vysn@user/vysn) |
| 22:19:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:31:16 | × | _xor quits (~xor@74.215.232.67) (Quit: brb) |
| 22:31:58 | × | xff0x quits (~xff0x@2001:1a81:5287:3100:96a7:c495:38fd:b41b) (Ping timeout: 252 seconds) |
| 22:32:14 | → | _xor joins (~xor@74.215.232.67) |
| 22:32:33 | → | xff0x joins (~xff0x@2001:1a81:5287:3100:448c:6d89:40d5:fb1d) |
| 22:38:06 | → | kimjetwav joins (~user@2607:fea8:235f:9730:8d3b:ad5a:287:4c82) |
| 22:39:15 | hololeap | . o ( hyperdimensional modem where each network port is a different timestream ) |
| 22:40:30 | <hololeap> | if the cat sends junk to libera on all timestreams, you know it's a metacat |
| 22:40:48 | → | daDude joins (~daDude@cpc91646-hart11-2-0-cust432.11-3.cable.virginm.net) |
| 22:41:05 | <geekosaur> | all cats are metacats :þ |
| 22:41:23 | <hololeap> | *queue sci-fi theremin stuff* |
| 22:42:22 | × | chomwitt quits (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Ping timeout: 260 seconds) |
| 22:46:22 | → | hatds joins (~hatds@c-107-4-136-72.hsd1.mn.comcast.net) |
| 22:48:43 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:49:49 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 22:49:50 | <hatds> | I'm using cabal for an otherwise simple throwaway project that compiles into a .exe. How can I instruct cabal to copy the executable to the root folder (where the .cabal file is) each time it builds? |
| 22:53:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 22:53:52 | <hpc> | --bindir=. |
| 22:54:03 | <hpc> | probably |
| 22:54:25 | <hpc> | i haven't ever had to use it, but that looks right |
| 22:54:43 | × | alzgh quits (~alzgh@user/alzgh) (Remote host closed the connection) |
| 22:55:02 | → | alzgh joins (~alzgh@user/alzgh) |
| 22:55:16 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 22:56:04 | × | rawles quits (~o@user/rawles) (Quit: -) |
| 22:56:22 | × | tommd quits (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 22:57:17 | → | tommd joins (~tommd@75-164-130-101.ptld.qwest.net) |
| 22:58:43 | → | Brumaire joins (~quassel@81-64-14-121.rev.numericable.fr) |
| 22:59:40 | <hatds> | @hpc it accepts and recognizes "--bindir=.", but it doesn't seem to do anything |
| 22:59:40 | <lambdabot> | Maybe you meant: src rc pl ghc |
| 22:59:46 | × | phma quits (~phma@host-67-44-208-122.hnremote.net) (Read error: Connection reset by peer) |
| 23:00:17 | → | phma joins (~phma@host-67-44-208-122.hnremote.net) |
| 23:00:43 | × | max22- quits (~maxime@2a01cb08833598006032d61cd2b0f81d.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 23:01:12 | <hpc> | hatds: are you doing cabal build or cabal install? |
| 23:01:19 | <hpc> | i got that out of "cabal build --help" |
| 23:01:24 | <hatds> | cabal build |
| 23:01:25 | × | phma quits (~phma@host-67-44-208-122.hnremote.net) (Read error: Connection reset by peer) |
| 23:01:30 | <hpc> | no clue then |
| 23:01:58 | <hpc> | maybe write some powershell that copies the binary back out? |
| 23:02:06 | → | phma joins (~phma@host-67-44-208-122.hnremote.net) |
| 23:02:17 | × | tommd quits (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds) |
| 23:02:48 | <hatds> | heh |
| 23:02:54 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 23:03:11 | <hpc> | i have a lot of "i give up" bash scripts, myself :P |
| 23:03:50 | <awpr> | wait isn't the difference between build and install precisely that install copies binaries and build doesn't? |
| 23:03:57 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 23:04:51 | <hpc> | install registers the package and copies things to a global or per-user directory |
| 23:05:06 | <hpc> | build still has to put the binaries somewhere, and you can set where that is |
| 23:05:25 | <hpc> | it's like -o in gcc |
| 23:05:33 | <hpc> | except not working apparently |
| 23:05:36 | <hatds> | does install still "register" something when it is just an executable? |
| 23:05:39 | <awpr> | `--bindir=DIR installation directory for executables` |
| 23:05:49 | <awpr> | that sounds like it should have no effect if you're not installing |
| 23:05:58 | <hpc> | oh, hmm, maybe? |
| 23:06:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 23:06:08 | <hpc> | odd that it would show up under cabal build --help then |
| 23:08:53 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 252 seconds) |
| 23:10:00 | × | alzgh quits (~alzgh@user/alzgh) (Remote host closed the connection) |
| 23:10:21 | <geekosaur> | unless it affects Paths.hs? |
| 23:10:37 | → | terrorjack joins (~terrorjac@ec2-35-181-134-114.eu-west-3.compute.amazonaws.com) |
| 23:10:57 | <hatds> | "cabal install" with "--installdir=." works at least |
| 23:15:49 | → | yauhsien joins (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) |
| 23:20:19 | × | madjestic quits (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 23:20:59 | × | yauhsien quits (~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 23:21:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:21:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 23:21:10 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:22:11 | × | smitop quits (~smitop@user/smitop) (Remote host closed the connection) |
| 23:24:07 | → | smitop joins (~smitop@user/smitop) |
| 23:24:46 | → | karim joins (uid519758@id-519758.helmsley.irccloud.com) |
| 23:29:47 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 23:37:03 | <monochrom> | It's --installdir= indeed. --bindir is for a bygone era. |
| 23:37:55 | <hpc> | ah |
| 23:38:05 | <hpc> | it's easy to forget that even haskell sometimes has a bit of a fossil record |
| 23:38:17 | <monochrom> | And watch out for the default "is it copying or is it symlinking?". And the default "I won't replace, it's oh so safer". |
| 23:38:40 | <monochrom> | On both counts the defaults are wrong. |
| 23:39:47 | <monochrom> | The default on "I won't replace" disrespects that if you bother to enter "cabal install the exe" you have very much confirmed that you want to replace. |
| 23:41:07 | <monochrom> | The default on "I make a symlink, I won't copy" disrespects the reality that it is symlinking to what you will consider ephemeral build files that one day you will delete and clean up. |
| 23:41:46 | × | MQ-17J quits (~MQ-17J@8.21.10.6) (Ping timeout: 252 seconds) |
| 23:42:34 | <monochrom> | On top of that, the symlinking misfeature was also a blocking factor in supporting Windows. |
| 23:43:40 | <monochrom> | In retrospect quite frankly why would anyone bother to even offer the choice of symlinking. No one would need it, no one should use it, and it would and did block Windows users. |
| 23:44:19 | <hpc> | better than hardlinking i guess :D |
| 23:45:03 | <geekosaur> | hardlinking across directories doesn't even work on some filesystems |
| 23:45:18 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 23:46:20 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 23:46:36 | <hpc> | my last job had to deal with a system where filesystems were lazily mounted |
| 23:46:46 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 23:46:58 | <hpc> | you had to ssh in, authenticate with this weird thing i can only describe as the 1975 version of 2fa, and then run "find /" |
| 23:47:23 | <hpc> | because not every operation worked to trigger mounting the filesystems |
| 23:47:35 | <monochrom> | Would "ls /tmp/x" work? |
| 23:47:55 | <hpc> | it wasn't just /tmp |
| 23:47:58 | <geekosaur> | presumably only for /and /tmp |
| 23:48:01 | <hpc> | these were real disk filesystems |
| 23:48:04 | <monochrom> | Yikes |
| 23:48:05 | <hpc> | mounted wherever |
| 23:48:27 | <hpc> | imagine having to ls /var/www/html before starting httpd |
| 23:48:46 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 23:48:48 | <monochrom> | Now you've got me wondering what does "1975 2fa" means :) |
| 23:49:12 | <monochrom> | Did it involve walking up to someone else's desk and asking for permission in person? |
| 23:49:15 | <hpc> | i don't remember much of it at all, but it was like you had something on one system |
| 23:49:21 | <hpc> | you ssh in, and it prints a 6 digit number |
| 23:49:32 | <hpc> | you type that into the other program, and it prints out another 6 digit number |
| 23:49:36 | <hpc> | and you type that in |
| 23:49:42 | <geekosaur> | ow |
| 23:50:01 | <monochrom> | Interesting. |
| 23:50:20 | <monochrom> | Did you cryptanalyse reverse-engineer the mapping? |
| 23:50:28 | <monochrom> | I mean >:) |
| 23:50:31 | <hpc> | heh |
| 23:51:18 | <hpc> | i luckily never had to deal with it myself |
| 23:51:40 | × | MQ-17J quits (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 23:51:48 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 23:53:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 23:55:51 | → | MQ-17J joins (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 23:56:00 | <monochrom> | In Haskell.Love, Andrew Boardman's "historical futurism" talk spent a little time relating an old, ad hoc, very personal, version control system that an old company used. |
| 23:56:39 | <monochrom> | I guess as part of illustrating "if you become complacent with your existing tools, you will block new blood". |
| 23:57:01 | <monochrom> | So, you would put your commit/patch on a floppy diskette. |
| 23:57:04 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 23:57:40 | <monochrom> | You would bring it to a dedicated desk for loading up your patch and performing the merge and the conflict resolution. |
| 23:58:06 | <monochrom> | So very nicely the dedicated desk served as a very physical, very personal mutex. |
| 23:58:11 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 23:58:33 | <monochrom> | Clearly it was clumsy. But it was also good enough. No one would have enough incentive to change it. |
| 23:59:06 | <hpc> | in manufacturing they call that a hardware interlock :D |
| 23:59:15 | <monochrom> | He also took the time to explain "floppy diskettes" for the young people who may have no idea what it would mean :) |
| 23:59:29 | <geekosaur> | heh |
All times are in UTC on 2021-09-24.