Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 .. 5022
— 502,152 events total
2021-03-02 10:40:57 <dminuoso> rond_: These resources contain plenty excercises.
2021-03-02 10:41:04 <dminuoso> Both of them. Pick one though.
2021-03-02 10:42:21 <opqdonut> rond_: I can also plug my course, which has a big emphasis on exercises: https://haskell.mooc.fi/
2021-03-02 10:42:23 <Uniaika> oh, nomeata is teaching CIS194
2021-03-02 10:42:29 <Uniaika> nice
2021-03-02 10:43:04 <rond_> Sure, but I won't be able to use automatic verifiers that their student are able to, right? Hence, no straight-forward way to make sure my code works as intended...?
2021-03-02 10:43:19 <dminuoso> rond_: The excercises are easy to verify yourself.
2021-03-02 10:44:27 <dminuoso> mniip: Can you re-run with `dig tunes.org +trace +additional` ?
2021-03-02 10:44:36 → ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net)
2021-03-02 10:44:36 × ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host)
2021-03-02 10:44:36 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2021-03-02 10:44:40 <dminuoso> Im thinking you're somehow not getting glue records for {ab}.ns.tunes.org
2021-03-02 10:45:19 <mniip> https://gist.github.com/mniip/1494e4263e02bef659be1111a3b861fe
2021-03-02 10:45:42 <rond_> opqdonut Nice! I see that there are "submit" "results" pages. Will I be able to use them given that I'm not a student of University of Helsinki ?
2021-03-02 10:46:02 <rond_> dminuoso Okay, that' good to know. I'll bear it in mind.
2021-03-02 10:46:14 × Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-03-02 10:46:15 × xff0x quits (~xff0x@2001:1a81:53bf:4d00:1b6c:25ca:6266:8e44) (Ping timeout: 240 seconds)
2021-03-02 10:46:33 <dminuoso> mniip: that seems broken. which dig version do you have?
2021-03-02 10:46:51 <dminuoso> `couldn't get address for 'b.ns.tunes.org': failure` seems like a blatant lie, dig just showed you it got the glue records
2021-03-02 10:47:01 <mniip> 9.16.11 says right there
2021-03-02 10:47:08 <opqdonut> rond_: yes, it's completely open
2021-03-02 10:47:27 <opqdonut> rond_: however you can run the tests that check your answers on your machine too, no need to submit anything if you don't want to
2021-03-02 10:47:30 → xff0x joins (~xff0x@2001:1a81:53bf:4d00:5544:da2:365f:359d)
2021-03-02 10:47:34 <Aleksejs> hey, are there patterns to match with arithmetic operations? For example, "let foo a b@(a+1)" I want to match that b is equal to a+1
2021-03-02 10:47:45 <opqdonut> rond_: everything is in the github repo at https://github.com/moocfi/haskell-mooc
2021-03-02 10:47:57 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-02 10:48:53 <mniip> dminuoso, 66.114.33.57 is not responding on port 53
2021-03-02 10:49:06 <rond_> opqdonut I'm used to online verifiers because of a long tradition of using them in my education:)  I'll probably give it a try. Would you recommend going through UPenn course before diving into yours, or would you suggest giving yours a shot immediately?
2021-03-02 10:49:57 <mniip> dminuoso, https://gist.github.com/mniip/1494e4263e02bef659be1111a3b861fe#file-gistfile2-txt
2021-03-02 10:52:31 <dminuoso> mniip: Does 66.114.33.57 respond to ICMP echo request?
2021-03-02 10:52:50 <mniip> yes
2021-03-02 10:52:52 <mniip> to HTTP even
2021-03-02 10:52:55 <dminuoso> Strange
2021-03-02 10:53:15 × ubert quits (~Thunderbi@p200300ecdf25d9c5ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-03-02 10:53:33 <dminuoso> Perhaps there's some fail2ban/DDoS protection that has banned your ip address/AS from DNS on that name server?
2021-03-02 10:53:45 <opqdonut> rond_: I think they're roughly at the same level, and I obviously think mine is better :P
2021-03-02 10:54:08 <rond_> opqdonut I wouldn't say that it's an obvious thing:)
2021-03-02 10:54:20 <rond_> it's good to know though!
2021-03-02 10:54:21 <opqdonut> I think going through both will probably not be that useful
2021-03-02 10:54:34 <opqdonut> but perhaps one will have an approach that suits you better so have a look at both
2021-03-02 10:56:15 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-03-02 10:56:21 <rond_> Okay! Btw I found a typo:
2021-03-02 10:56:21 <rond_> "1.3.2 Some History
2021-03-02 10:56:22 <rond_> A brief timeline of Haskell:
2021-03-02 10:56:22 <rond_> 1930s: Lamba Calculus"
2021-03-02 10:56:23 <rond_> (s/Lamba/Lambda/):)
2021-03-02 10:56:31 <Uniaika> hello there! Do we have a handy way to generate IsLabel instances for a whole record yet?
2021-03-02 10:56:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-02 10:56:40 <Uniaika> or should I manually write them?
2021-03-02 10:56:43 <dminuoso> mniip: I think this is the only likely explanation. The nameserver itself, or some device in the middle, is blocking your ip address (perhaps the single address, or some block, perhaps the entire AS). Perhaps as a result of some previous DNS reflection attack.
2021-03-02 10:57:10 <dminuoso> (Well not just the IP address, but just for that port)
2021-03-02 10:57:52 <mniip> I have like 6 unrelated IPs I could try from
2021-03-02 10:58:05 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-02 10:59:12 <mniip> dminuoso, are you able to reach the port yourself?
2021-03-02 10:59:17 → heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201)
2021-03-02 10:59:46 <dminuoso> Yes
2021-03-02 11:00:56 → fendor_ joins (~fendor@078132053193.public.t-mobile.at)
2021-03-02 11:01:12 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-03-02 11:01:28 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-02 11:02:01 × fendor_ quits (~fendor@078132053193.public.t-mobile.at) (Remote host closed the connection)
2021-03-02 11:03:24 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-02 11:03:35 × heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Ping timeout: 240 seconds)
2021-03-02 11:03:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-02 11:05:53 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-03-02 11:08:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-02 11:08:52 → m0rphism1 joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-02 11:09:20 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-02 11:09:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-02 11:12:24 × MasseR quits (~MasseR@51.15.143.128) (Quit: The Lounge - https://thelounge.chat)
2021-03-02 11:12:50 → MasseR joins (~MasseR@51.15.143.128)
2021-03-02 11:13:34 → ubert joins (~Thunderbi@p200300ecdf25d9c5ca5b76fffe29f233.dip0.t-ipconnect.de)
2021-03-02 11:15:56 <opqdonut> rond_: yeah that's fixed out in master, hasn't yet rolled out to the site
2021-03-02 11:16:36 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-02 11:17:57 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-02 11:22:25 → bobiusbillius joins (6d998222@host109-153-130-34.range109-153.btcentralplus.com)
2021-03-02 11:23:21 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-02 11:25:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-03-02 11:25:56 × knupfer quits (~Thunderbi@200116b82ca6580044988fced9780f6a.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-02 11:26:05 → knupfer joins (~Thunderbi@200116b82ca6580075cba9fc5aa0785d.dip.versatel-1u1.de)
2021-03-02 11:27:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-02 11:30:52 → cgadski_ joins (~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-03-02 11:30:53 × cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-03-02 11:31:17 × cgadski_ quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-03-02 11:31:49 → cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-03-02 11:32:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-02 11:32:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-02 11:32:59 × cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-03-02 11:33:20 → cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-03-02 11:34:02 × cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-03-02 11:34:21 <bobiusbillius> favourite resources for n00bs?
2021-03-02 11:34:25 → cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-03-02 11:34:33 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving)
2021-03-02 11:36:36 × conal quits (~conal@64.71.133.70) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-02 11:36:36 × cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-03-02 11:36:55 → cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt)
2021-03-02 11:37:48 × knupfer quits (~Thunderbi@200116b82ca6580075cba9fc5aa0785d.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-03-02 11:37:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-02 11:38:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-02 11:41:06 <boxscape> bobiusbillius if you're looking for a book, there's "Haskell Programming from first principles" or "Programming in Haskell". If you're looking for something that's freely available online, there's this course material https://www.seas.upenn.edu/~cis194/spring13/lectures.html
2021-03-02 11:42:16 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Quit: (tentatively) reenabling @seen)
←Prev  Next→
Page 1 .. 3570 3571 3572 3573 3574 3575 3576 3577 3578 3579 3580 .. 5022

All times are in UTC.