Logs: freenode/#haskell
| 2021-04-28 16:37:16 | × | st8less quits (~st8less@2603:a060:11fd:0:2197:ee43:9ac5:11fd) (Ping timeout: 276 seconds) |
| 2021-04-28 16:38:32 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-04-28 16:38:48 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-28 16:39:54 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-04-28 16:40:06 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-28 16:40:32 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-04-28 16:41:11 | × | ddellac__ quits (~ddellacos@86.106.143.229) (Ping timeout: 240 seconds) |
| 2021-04-28 16:45:11 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-28 16:46:08 | → | horatiohb joins (~horatiohb@159.203.66.243) |
| 2021-04-28 16:47:12 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-28 16:47:21 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-28 16:47:55 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 2021-04-28 16:51:34 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8da3:57c2:b9e6:3845) (Ping timeout: 276 seconds) |
| 2021-04-28 16:51:43 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-28 16:53:01 | × | Qwerky_ quits (~qwerky@37.165.107.63) (Remote host closed the connection) |
| 2021-04-28 16:54:39 | → | knupfer joins (~Thunderbi@p200300eb4f122d00a46ee5fffe884e7d.dip0.t-ipconnect.de) |
| 2021-04-28 16:56:01 | → | knupfer1 joins (~Thunderbi@p549174c4.dip0.t-ipconnect.de) |
| 2021-04-28 16:57:18 | → | alx741 joins (~alx741@181.196.68.118) |
| 2021-04-28 16:57:35 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-28 16:59:22 | × | knupfer quits (~Thunderbi@p200300eb4f122d00a46ee5fffe884e7d.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-04-28 16:59:23 | knupfer1 | is now known as knupfer |
| 2021-04-28 16:59:26 | <shapr> | I want to buy a copy of SPJ's The Implementation of Functional Programming Languages, but it's $300, yow |
| 2021-04-28 17:00:25 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-04-28 17:01:02 | → | bennofs_ joins (~quassel@x4dbff94d.dyn.telefonica.de) |
| 2021-04-28 17:01:09 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-gkbkfleqsavrnzrc) (Quit: Connection closed for inactivity) |
| 2021-04-28 17:01:22 | <tomsmeding> | shapr: this one? https://www.microsoft.com/en-us/research/wp-content/uploads/1992/01/student.pdf |
| 2021-04-28 17:01:43 | → | knupfer1 joins (~Thunderbi@p549174c4.dip0.t-ipconnect.de) |
| 2021-04-28 17:01:53 | <tomsmeding> | ah no |
| 2021-04-28 17:02:40 | <monochrom> | I think it is better to go to https://www.microsoft.com/en-us/research/people/simonpj/publications/ and look for that. |
| 2021-04-28 17:02:44 | <tomsmeding> | shapr: this one https://www.microsoft.com/en-us/research/uploads/prod/1987/01/slpj-book-1987.pdf |
| 2021-04-28 17:02:50 | → | Qwerky joins (~qwerky@37.165.107.63) |
| 2021-04-28 17:02:58 | <tomsmeding> | as linked from https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/ |
| 2021-04-28 17:02:59 | <monochrom> | While you're at it, you may also notice some other papers about graph reduction. |
| 2021-04-28 17:03:49 | × | knupfer quits (~Thunderbi@p549174c4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-04-28 17:03:50 | knupfer1 | is now known as knupfer |
| 2021-04-28 17:04:11 | <monochrom> | Yikes, https://www.microsoft.com/en-us/research/publication/a-static-semantics-for-haskell/ has a typo, "paper" -> "apper" |
| 2021-04-28 17:04:12 | → | timCF joins (~i.tkachuk@m91-129-104-226.cust.tele2.ee) |
| 2021-04-28 17:04:22 | <monochrom> | I want an apper too. |
| 2021-04-28 17:05:13 | → | jlv joins (jlvmatrixo@gateway/shell/matrix.org/x-aykzzgnedlsynqbm) |
| 2021-04-28 17:05:30 | <tomsmeding> | :D |
| 2021-04-28 17:07:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-28 17:07:48 | × | Qwerky quits (~qwerky@37.165.107.63) (Ping timeout: 265 seconds) |
| 2021-04-28 17:08:00 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2021-04-28 17:09:39 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:5b3:e73b:338e:cc47) |
| 2021-04-28 17:09:46 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-28 17:10:04 | <ep1ctetus> | can anyone recommend a Haskell build system that won't automatically download files from the internet? |
| 2021-04-28 17:10:41 | × | knupfer quits (~Thunderbi@p549174c4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-04-28 17:12:16 | <monochrom> | I haven't tried, but if you edit $HOME/.cabal/config and delete the remote repo settings, cabal would have nowhere to download from. |
| 2021-04-28 17:12:48 | <ep1ctetus> | monochrom: I have successfully done that with stack, but it feels like a hack |
| 2021-04-28 17:13:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-28 17:13:26 | × | pgib quits (textual@lmms/pgib) (Ping timeout: 240 seconds) |
| 2021-04-28 17:13:43 | <monochrom> | If you run Setup.hs, it doesn't download either. |
| 2021-04-28 17:14:27 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-28 17:14:28 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-28 17:14:54 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-28 17:15:14 | <monochrom> | A software engineering prof once asked me a question. It enlightened me and since then I have had a much lower tendency to call unforeseen usages "hacks". |
| 2021-04-28 17:15:26 | → | Qwerky joins (~qwerky@37.165.107.63) |
| 2021-04-28 17:15:45 | <monochrom> | He asked me "what do people use telephone answering machines for?" |
| 2021-04-28 17:16:12 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-28 17:16:41 | × | sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-04-28 17:16:50 | <monochrom> | Well that was before everyone had cellphones (and there were no smartphones). The equiv question today is "what do people use voice mails for?" |
| 2021-04-28 17:17:48 | <monochrom> | The creators had in mind taking messages when the phone owner isn't around to answer the call. |
| 2021-04-28 17:18:40 | <monochrom> | But users ended up using them for screening calls. They would be totally right at the phone and still let the machine answer the call first. If undesired caller, let the machine finish. |
| 2021-04-28 17:18:58 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-28 17:19:26 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 2021-04-28 17:19:44 | × | Qwerky quits (~qwerky@37.165.107.63) (Remote host closed the connection) |
| 2021-04-28 17:20:55 | ski | . o O ( "Don't ask to ask." ) |
| 2021-04-28 17:20:57 | <monochrom> | Is that a life hack, or is it just very natural evolution? |
| 2021-04-28 17:21:43 | <monochrom> | I was a smartass, so I replied the prof, "what do people use Microsoft Word for? answer: spreading VB viruses >:)" |
| 2021-04-28 17:21:53 | <ep1ctetus> | Right, so I can see that stack was designed with the idea in mind that you would always have an internet connection, and that you wouldn't mind it downloading things without asking you |
| 2021-04-28 17:22:25 | <wz1000> | cabal has --offline |
| 2021-04-28 17:22:31 | <ep1ctetus> | aha! |
| 2021-04-28 17:22:35 | <monochrom> | nice |
| 2021-04-28 17:23:25 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:6df4:a206:6bd4:dc59) |
| 2021-04-28 17:28:48 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-04-28 17:29:36 | → | Qwerky joins (~qwerky@37.165.107.63) |
| 2021-04-28 17:29:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-28 17:30:51 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:6df4:a206:6bd4:dc59) (Ping timeout: 260 seconds) |
| 2021-04-28 17:31:56 | <ep1ctetus> | I see that's listed as an "undocumented field" here https://cabal.readthedocs.io/en/3.4/cabal-project.html?highlight=offline#advanced-global-configuration-options |
| 2021-04-28 17:33:32 | → | ADG1089 joins (~aditya@171.76.29.233) |
| 2021-04-28 17:33:35 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 2021-04-28 17:34:12 | × | Qwerky quits (~qwerky@37.165.107.63) (Ping timeout: 240 seconds) |
| 2021-04-28 17:35:44 | × | idhugo__ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-04-28 17:36:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-28 17:36:26 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-28 17:38:14 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-28 17:38:50 | <maerwald> | yes, stack is pretty lax with your bandwidth... it also may download the same git repo 20 times (if you use 20 subdirs) |
| 2021-04-28 17:39:00 | <wz1000> | ep1ctetus: it shows up in --help |
| 2021-04-28 17:39:27 | <maerwald> | on some repos, that caused an initial `stack build` to take 30 minutes on my PC |
| 2021-04-28 17:39:31 | <maerwald> | while cabal was 3 |
| 2021-04-28 17:40:31 | <ep1ctetus> | wz1000: thanks |
| 2021-04-28 17:40:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-28 17:42:25 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-28 17:43:27 | → | cole-h_ joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-28 17:43:29 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-04-28 17:44:05 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-28 17:44:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-28 17:44:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-28 17:46:08 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-oslfpzkstfgdrfpu) (Quit: Connection closed for inactivity) |
| 2021-04-28 17:47:52 | → | Qwerky joins (~qwerky@37.165.107.63) |
All times are in UTC.