Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 963 964 965 966 967 968 969 970 971 972 973 .. 5022
— 502,152 events total
2020-10-30 20:33:55 → christo joins (~chris@81.96.113.213)
2020-10-30 20:36:26 → akad_ joins (~akad@109107030050.radomsko.vectranet.pl)
2020-10-30 20:36:49 → conal joins (~conal@64.71.133.70)
2020-10-30 20:39:02 × st8less quits (~st8less@2603:a060:11fd:0:609b:358e:1371:386d) (Ping timeout: 264 seconds)
2020-10-30 20:39:21 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds)
2020-10-30 20:39:57 × stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 2.9)
2020-10-30 20:40:30 → st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2020-10-30 20:41:52 × dmwitch quits (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-30 20:41:57 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-30 20:42:06 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-30 20:43:30 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-30 20:43:31 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-30 20:44:45 → dmwit joins (~dmwit@pool-108-18-228-100.washdc.fios.verizon.net)
2020-10-30 20:45:26 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-30 20:47:44 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-30 20:48:36 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-30 20:48:36 × lnlsn quits (~user@2804:14c:2b:891d::1000) (Ping timeout: 268 seconds)
2020-10-30 20:49:13 × Tario quits (~Tario@200.119.185.200) (Ping timeout: 260 seconds)
2020-10-30 20:50:05 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-30 20:50:29 → Tario joins (~Tario@200.119.185.200)
2020-10-30 20:52:47 <sm[m]> texasmynsted: strange, I access it 24/7
2020-10-30 20:53:10 hackage phonetic-languages-properties 0.1.0.0 - A generalization of the uniqueness-periods-vector-properties package. https://hackage.haskell.org/package/phonetic-languages-properties-0.1.0.0 (OleksandrZhabenko)
2020-10-30 20:53:12 texasmynsted shrug
2020-10-30 20:54:10 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-30 20:54:17 <texasmynsted> I put a few days/weeks as a limit for troubleshooting. After that I figured it would be faster to use something else.
2020-10-30 20:54:30 <texasmynsted> I am fine with limechat for now
2020-10-30 20:55:13 <texasmynsted> It worked okay for me for some channels, but not others. I think the more traffic the channel, the less likely it worked for me over the bridge.
2020-10-30 20:58:59 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-30 21:00:02 × achadwick quits (~achadwick@84.39.117.57) ()
2020-10-30 21:00:17 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-30 21:02:24 × cvlad- quits (sid203065@gateway/web/irccloud.com/x-ldhrbgiqwkppzsfc) (Ping timeout: 240 seconds)
2020-10-30 21:02:57 × cemerick quits (sid54985@gateway/web/irccloud.com/x-syfoeolkqemrbwow) (Ping timeout: 260 seconds)
2020-10-30 21:03:04 → day joins (~Unknown@unaffiliated/day)
2020-10-30 21:03:05 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-kvxiagmqenenwcwd) (Ping timeout: 260 seconds)
2020-10-30 21:03:12 × d0liver quits (sid363046@gateway/web/irccloud.com/x-rjnvymcoomahofrn) (Ping timeout: 260 seconds)
2020-10-30 21:03:12 × aristid quits (sid1599@gateway/web/irccloud.com/x-wgvcorkiyhxgnpel) (Ping timeout: 260 seconds)
2020-10-30 21:03:18 × systemfault quits (sid267009@gateway/web/irccloud.com/x-csgxnmticedbceeh) (Read error: Connection reset by peer)
2020-10-30 21:03:30 → Ariakenom joins (~Ariakenom@h-155-4-221-164.NA.cust.bahnhof.se)
2020-10-30 21:03:32 × eruditass quits (uid248673@gateway/web/irccloud.com/x-fakbfhwrqsthhqfr) (Ping timeout: 260 seconds)
2020-10-30 21:03:32 × Cir0X quits (sid221743@gateway/web/irccloud.com/x-vbsqpqvnwnaxxlao) (Ping timeout: 260 seconds)
2020-10-30 21:03:51 × fiadliel quits (sid399568@gateway/web/irccloud.com/x-yvsjefcorozedvpx) (Ping timeout: 272 seconds)
2020-10-30 21:03:52 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-pfvqbqpaoeusjfcx)
2020-10-30 21:03:54 × rusua quits (uid124537@gateway/web/irccloud.com/x-tukvvfoeealcalpr) (Read error: Connection reset by peer)
2020-10-30 21:04:00 → systemfault joins (sid267009@gateway/web/irccloud.com/x-juyqqmfstcqekvbi)
2020-10-30 21:04:01 × alanz quits (sid110616@gateway/web/irccloud.com/x-eagdffxzloqjlfmd) (Ping timeout: 268 seconds)
2020-10-30 21:04:07 → cemerick joins (sid54985@gateway/web/irccloud.com/x-zrzfloaemrmpgqmz)
2020-10-30 21:04:08 → aristid joins (sid1599@gateway/web/irccloud.com/x-ilqgyqbvhbrziter)
2020-10-30 21:04:08 → cvlad- joins (sid203065@gateway/web/irccloud.com/x-nspzwlyvupawshac)
2020-10-30 21:04:10 × AndreasK quits (sid320732@gateway/web/irccloud.com/x-ktiwazcixhtnosgk) (Ping timeout: 256 seconds)
2020-10-30 21:04:19 → rusua joins (uid124537@gateway/web/irccloud.com/x-cncclluxfybvzlls)
2020-10-30 21:04:24 × hc quits (~hc@bsd.pm) (Remote host closed the connection)
2020-10-30 21:04:24 × wpcarro quits (sid397589@gateway/web/irccloud.com/x-reptnryktqywamkq) (Ping timeout: 240 seconds)
2020-10-30 21:04:38 × totbwf quits (sid402332@gateway/web/irccloud.com/x-amykbrbjjlsoojsk) (Ping timeout: 268 seconds)
2020-10-30 21:04:42 × SrPx quits (sid108780@gateway/web/irccloud.com/x-uslzvcburhozaynt) (Ping timeout: 260 seconds)
2020-10-30 21:04:42 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-30 21:04:52 → eruditass joins (uid248673@gateway/web/irccloud.com/x-hmiqmtrgdlavbpwr)
2020-10-30 21:04:56 → wpcarro joins (sid397589@gateway/web/irccloud.com/x-acwmxyqgeyskyphp)
2020-10-30 21:04:58 → Cir0X joins (sid221743@gateway/web/irccloud.com/x-smmdmragpgxrsuxw)
2020-10-30 21:05:05 → fiadliel joins (sid399568@gateway/web/irccloud.com/x-krrigsmeuaxeyvln)
2020-10-30 21:05:10 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-30 21:05:24 → SrPx joins (sid108780@gateway/web/irccloud.com/x-yrwlrdlfqyblrniu)
2020-10-30 21:05:32 → totbwf joins (sid402332@gateway/web/irccloud.com/x-pssrurqrlsgffxlv)
2020-10-30 21:06:05 → d0liver joins (sid363046@gateway/web/irccloud.com/x-gqmixearkciaakmk)
2020-10-30 21:06:08 → alanz joins (sid110616@gateway/web/irccloud.com/x-kxtlxodtagwnitvv)
2020-10-30 21:06:21 → AndreasK joins (sid320732@gateway/web/irccloud.com/x-jqlvoqrfkfkmzsvx)
2020-10-30 21:09:39 hackage predicate-typed 0.7.4.1 - Predicates, Refinement types and Dsl https://hackage.haskell.org/package/predicate-typed-0.7.4.1 (gbwey)
2020-10-30 21:12:20 × bartemius quits (~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-30 21:12:49 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds)
2020-10-30 21:13:57 → hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-30 21:19:11 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-30 21:20:44 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds)
2020-10-30 21:21:43 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-30 21:25:20 → taio joins (~enrik@p200300ceaf3ada00a0ac217f85c7e4a1.dip0.t-ipconnect.de)
2020-10-30 21:27:59 × coot quits (~coot@37.30.51.206.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-30 21:29:43 <taio> A question about Haskell's terms: Type constructors are functions at the type level that return a type when fully applied. But how are such structures called ?: Num :: * -> Constraint
2020-10-30 21:29:56 <taio> A type class constructor or a constraint constructor?
2020-10-30 21:29:58 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-30 21:30:30 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-30 21:30:48 <icebreaker> join ##trading
2020-10-30 21:31:15 <icebreaker> sorry guys 😅
2020-10-30 21:32:23 × ubert quits (~Thunderbi@p200300ecdf1e53c1e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-30 21:33:06 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-30 21:34:51 × alp_ quits (~alp@88.126.45.36) (Ping timeout: 268 seconds)
2020-10-30 21:35:13 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-30 21:35:46 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-30 21:36:13 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-30 21:36:50 → pgib joins (~textual@lmms/pgib)
2020-10-30 21:37:52 → jbox joins (~atlas@unaffiliated/jbox)
2020-10-30 21:38:40 × Tario quits (~Tario@200.119.185.200) (Read error: Connection reset by peer)
2020-10-30 21:39:33 → britva joins (~britva@2a02:aa13:7240:2980:cc7a:5a21:3f32:5110)
2020-10-30 21:39:45 → Tario joins (~Tario@201.204.63.11)
2020-10-30 21:41:01 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-30 21:41:50 × britva quits (~britva@2a02:aa13:7240:2980:cc7a:5a21:3f32:5110) (Client Quit)
2020-10-30 21:43:12 <monsterchrom> Num is a type class.
2020-10-30 21:43:23 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-30 21:43:28 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-10-30 21:43:34 <monsterchrom> This shows that generally if you see Foo :: * -> Constraint, Foo is a type class.
2020-10-30 21:44:16 <monsterchrom> Well OK maybe I forgot equality constraints, which you wouldn't call that.
2020-10-30 21:44:30 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-30 21:44:55 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
←Prev  Next→
Page 1 .. 963 964 965 966 967 968 969 970 971 972 973 .. 5022

All times are in UTC.