Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 282 283 284 285 286 287 288 289 290 291 292 .. 5022
— 502,152 events total
2020-09-29 02:43:12 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-29 02:43:27 × thewormkill quits (~thewormki@unaffiliated/twk-) (Ping timeout: 260 seconds)
2020-09-29 02:44:32 → mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-29 02:45:10 → TheScoop joins (~TheScoop@unaffiliated/tryte)
2020-09-29 02:47:02 → josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-29 02:50:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-29 02:51:04 → thewormkill joins (~thewormki@unaffiliated/twk-)
2020-09-29 02:51:07 × theDon quits (~td@94.134.91.183) (Ping timeout: 240 seconds)
2020-09-29 02:51:18 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-29 02:51:24 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-09-29 02:51:27 × josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-29 02:53:05 → theDon joins (~td@94.134.91.135)
2020-09-29 02:53:09 × drbean quits (~drbean@TC210-63-209-16.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-09-29 02:53:10 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-29 02:53:47 × acidjnk_new quits (~acidjnk@p200300d0c72378045c7b1a0a573f1493.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-29 02:53:53 → marek joins (~mmahut@209.250.249.245)
2020-09-29 02:54:02 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-09-29 02:57:18 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-29 02:57:26 → BalterNotz joins (ca420871@202.66.8.113)
2020-09-29 02:59:13 × machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 260 seconds)
2020-09-29 03:00:01 × Guest18351 quits (~angvp@217.146.82.202) ()
2020-09-29 03:02:55 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-29 03:03:13 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds)
2020-09-29 03:03:26 <BalterNotz> hi everyone, do you know about haskell language 2020 report release date?
2020-09-29 03:03:38 <ornxka> some time in 2020
2020-09-29 03:04:09 Lord_of_Life_ is now known as Lord_of_Life
2020-09-29 03:08:04 <monochrom> Nothing
2020-09-29 03:09:41 → roconnor joins (~roconnor@host-45-78-198-49.dyn.295.ca)
2020-09-29 03:09:46 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-29 03:11:33 × bloodstalker quits (~bloodstal@46.166.187.178) (Remote host closed the connection)
2020-09-29 03:13:58 <sepi> I made a function that checks for uniqueness within a list, 2 and 3 could be checked by isSubsetOf, for transition function I think I need to take all the possible outputs of d with q <- qs and c <- sigma and then make sure all these outputs are a valid state
2020-09-29 03:14:32 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-09-29 03:15:24 <ski> sepi : sounds like a plan
2020-09-29 03:15:34 <ski> (show current code ?)
2020-09-29 03:19:20 → Omentiger joins (~Omentiger@cpe-24-25-246-129.hawaii.res.rr.com)
2020-09-29 03:19:25 × solonarv quits (~solonarv@astrasbourg-653-1-252-112.w92-161.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-09-29 03:19:45 → whiteline_ joins (~whiteline@unaffiliated/whiteline)
2020-09-29 03:20:30 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-09-29 03:21:01 × whiteline quits (~whiteline@unaffiliated/whiteline) (Read error: Connection reset by peer)
2020-09-29 03:22:16 → falafel_ joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-29 03:23:20 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-29 03:28:43 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-09-29 03:29:14 × jlamothe quits (~jlamothe@dev.jlamothe.net) (Ping timeout: 256 seconds)
2020-09-29 03:30:15 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-29 03:30:27 × falafel_ quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-29 03:30:39 → jlamothe joins (~jlamothe@dev.jlamothe.net)
2020-09-29 03:30:50 <sepi> I'm not even sure that's correct explanation for transition, conceptually I think I could write out a chart but still need to learn more to apply it to Haskell. https://dpaste.org/FQog
2020-09-29 03:31:01 × mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 258 seconds)
2020-09-29 03:34:15 <monochrom> You have a syntax problem. You should write "isSubsetOf fs qs", not "isSubsetOf (fs qs)".
2020-09-29 03:34:49 <monochrom> You also have a type problem. You should write "isSubsetOf [s] qs", not "isSubsetOf s qs".
2020-09-29 03:34:58 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-29 03:35:14 <Axman6> sepi: why do you have the isSubsetOf a [] = True case? you're saying that all lists are a subset of the empty list, which seems wrong to me
2020-09-29 03:35:44 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-29 03:35:44 <monochrom> haha I didn't catch that. Semantic problems are the best problems.
2020-09-29 03:35:58 <ski> we already pointed that one out, before
2020-09-29 03:36:24 <Axman6> yeah I only just realised that's what you were referring to, since the code changed when I went to look at it again
2020-09-29 03:36:40 <ski> sepi : instead of using `if', could you reexpress that condition, using logical operators ?
2020-09-29 03:36:43 <monochrom> Transition validty is a matter of: for all elements q of qs, for all element c of sigma, is "d q c" is an element of qs?
2020-09-29 03:37:10 <monochrom> Since you have learned the "all" function, transition validity is a one-liner.
2020-09-29 03:37:13 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-09-29 03:37:44 <Axman6> Everything's a one-liner if you're brave enough
2020-09-29 03:37:56 <monochrom> Nah.
2020-09-29 03:38:57 <monochrom> Everything is a one-liner if there are enough support functions, which in turn are one-liners in their own right, recursively down to the built-ins.
2020-09-29 03:39:14 <monochrom> Therefore, we have the very wise and deep tautology:
2020-09-29 03:39:27 <monochrom> Everything is a one-liner if everything is a one-liner. :)
2020-09-29 03:40:00 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-09-29 03:40:31 × Omentiger quits (~Omentiger@cpe-24-25-246-129.hawaii.res.rr.com) (Quit: Leaving)
2020-09-29 03:40:48 <hololeap> everything is a "do" block
2020-09-29 03:41:31 <hololeap> in the IO monad
2020-09-29 03:41:42 <Axman6> Nah
2020-09-29 03:45:23 → paintedindigo joins (~paintedin@2605:a000:1621:8576:21b5:3482:9f3c:3756)
2020-09-29 03:45:26 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Ping timeout: 272 seconds)
2020-09-29 03:45:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-29 03:52:18 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-09-29 03:54:08 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-29 03:55:13 → xmj1 joins (~xmj@178.239.168.171)
2020-09-29 03:57:49 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 264 seconds)
2020-09-29 03:58:16 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-29 03:58:47 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 246 seconds)
2020-09-29 03:58:58 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-29 04:02:19 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-29 04:03:11 → day_ joins (~Unknown@unaffiliated/day)
2020-09-29 04:04:33 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-29 04:06:07 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 240 seconds)
2020-09-29 04:06:07 day_ is now known as day
2020-09-29 04:06:31 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-29 04:07:37 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-29 04:08:44 <sepi> tValid :: Int -> Char -> Int -> BooltValid d q c = all (`elem` q) qs && all (`elem` c) sigma
2020-09-29 04:08:59 <sepi> monochrom would this be a decent start?
2020-09-29 04:09:37 <sepi> ski you mean other than guards correct? for the if statement
2020-09-29 04:12:13 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 264 seconds)
2020-09-29 04:12:29 → alp joins (~alp@2a01:e0a:58b:4920:3dd5:cbe7:ffdd:6e48)
2020-09-29 04:13:05 × dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-09-29 04:13:27 → plutoniix joins (~q@175.176.222.7)
2020-09-29 04:15:06 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 258 seconds)
2020-09-29 04:18:59 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-29 04:20:02 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-29 04:20:17 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-29 04:22:10 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-gvtsuqkvrqeloqyq) ()
2020-09-29 04:23:37 × sepi quits (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 282 283 284 285 286 287 288 289 290 291 292 .. 5022

All times are in UTC.